ニューヨーク州バッファロー生まれ。1965年にオハイオ州クリーブランドのクリーブランド・ハイツ高校を卒業し、ピッツバーグ大学に入学。1969年、同卒業（化学）。1973年にハーネマン・メディカル・カレッジ（現在のドレクセル大学医学部の一部）を卒業し、学位を取得。アリゾナ州ツーソンのツーソン医療センターでのインターンシップを経て、1975年から1977年までアリゾナ大学でレジデンシー。その後、1977年から現在まで一貫してアリゾナ大学で勤務。1978年に助教授。1979年麻酔科専門医認定試験に合格。1979年-85年、アリゾナ大学ペインクリニック長。1984年アリゾナ大学准教授に着任、テニュア（終身在職権）を得る。1994年、アリゾナ大学心理学科准教授を兼任。1995年アリゾナ大学麻酔科・心理学科教授。1999年アリゾナ大学意識研究センター副所長（現在は所長）。2003年、アリゾナ大学名誉教授。現在、アリゾナ大学附属アリゾナ健康科学センター内の研究所、ユニヴァーシティ・メディカル・センターで研究員を務めている。
スチュワート・ハメロフ（英: Stuart Hameroff、1947年7月16日 - ）は、アメリカ合衆国の麻酔科医。医学博士。現在アリゾナ大学教授。意識に関する国際会議ツーソン会議のオーガナイザー。ロジャー・ペンローズとの意識に関する共同研究で有名。
PCP アルゴリズムの多くは明確に説明するのが困難だが、3CNFSAT のための単純なアルゴリズムの考え方をここで解説する。3CNFSAT とは、各節に必ず3つのリテラルがある連言標準形（CNF）で構成される論理式についての充足可能性問題である。これはNP完全問題である。m 個の変数と n 個の節からなる論理式 F があるとする。問題は、この論理式を真とするような m 個の変数の値の組合せがあるかどうかである。ただし、ここでは m 個の変数全部を調べるのではなく、O(log n) のランダムビット列で無作為に節を選択する。そして、その節内の変数について、3回の神託機械呼び出しを行って値を得る。それによってその節が真になるなら、検証者がその節を選んだのだから、1/n の確率でそれが真になることを確信できる。このアルゴリズムを n 回繰り返すと、O(nlog n) のランダムビット列と 3n 回の神託機械呼び出しで、ある誤り率を伴いつつ、NP完全問題（さらに全てのNP問題）を PCP(nlog n, n) に置くことができる。
計算複雑性理論において、PCP 系は対話型証明系の一種と見ることができ、証明者がメモリを持たない神託機械であり、検証者が多項式時間の乱択アルゴリズムである。ある言語に属する入力（すなわち答えがYES）の場合、検証者が確実に受理する神託（証明）が存在する。答えがNOの入力の場合、神託がどうであれ、検証者はそれを少なくとも1/2の確率で拒絶する（co-RP参照）。PCP の別の見方として、NP の強力版と見ることもできる。NPに属する言語について、証明の検証にかかる時間は少なくとも証明にかかる時間程度であるが、PCPに属する言語ではその限りではない。従って、PCPについての証明はNPよりも長くなる可能性がある。上記の解説では、検証者が神託機械に問い合わせできる回数の上限を特に設定していない。PCP系の能力に影響するもう1つの要因として、検証者が実施できるコイントス回数がある。また、コイントス回数が増えれば、検証者はより厳密に証明を検証できる。従って PCP は実際には、2つの引数を持つ関数でパラメータ化された複雑性クラスのメタクラスと言うことができる。PCP(r(·), q(·)) は、確率的検査可能証明のある言語のクラスであり、検証者は r(n) 回のコイントスと q(n) 回の神託機械への問い合わせが可能である（n は入力長）。
「「けいおん!」イメージソング」は、2009年6月17日からポニーキャニオンよりリリースされているテレビアニメ『けいおん!』の一連のシングルである。2010年9月21日よりリリースされている「「けいおん!!」イメージソング」についても扱う。
「姫街道」の呼称は、気賀関所 (2016a)は、宝永4年（1707年）の地震の後、本坂越を利用する公家の奥方や姫君・女中衆が増加に伴い、18世紀初めの享保の頃から、「姫街道」と呼ばれるようになったという。万治元年（1658年）の『東海道名所記』や寛政9年（1796年）の『東海道名所図絵』、1802年の『東海道中膝栗毛』などでは、「本坂越」、「本坂道」、「二見の道」などの名称が用いられていて、江戸時代の公文書に「姫街道」の呼称はみられない。江戸時代末期になって、民間文書に姫の名を冠した呼称が登場するため（「姫街道」の呼称の定着も参照）、「姫街道」の呼称はこの頃に定着したとみられている「姫街道」と呼ばれるようになった理由については、江戸時代、新居（今切）の関所を避けた女性が本坂越を選んだため（説1）で、女性が新居を避けた理由については、新居関所の女性に対する取締りが厳しかった（入り鉄砲に出女の詮議が厳しかった）ためとする説、新居‐舞阪の海がよく荒れ、女性が渡海を怖がったためとする説、そして「今切」が「縁切れ」に通ずるため縁起が悪く、不吉な感じを与えるからとする説がある。その他に、古代から中世にかけて栄えた街道のため「古い街道」という意味で「鄙（ひね）街道」と呼ばれていたのが「姫」（ひめ）に転訛したとする説、「姫」は愛宕山を真っ直ぐに登る表坂を「男坂」と呼び、遠回りではあるが傾斜の緩い脇坂を「女坂」と呼ぶように、本街道の半分の規格で造られた脇道を「女道」「姫道」として「姫街道」と呼ぶようになったとする説、そして、本坂峠の麓で父の墓守をしていた橘逸勢の娘の妙冲や、平宗盛の寵愛を振り切って天竜川畔で余生を過ごした熊野御前、近くは8代将軍吉宗の母が大勢の人足を引き連れて通行したことなど、女性のイメージが強く残る街道だったため、特に「姫」の名で呼ばれたとする説がある。