Loading article…
マイケル・シプサー | |
|---|---|
 | |
| 生まれる | マイケル・フレドリック・シプサー 1954年9月17日 |
| 国籍 | アメリカ人 |
| 母校 | |
| 受賞歴 | |
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | マサチューセッツ工科大学 |
| 論文 | 非決定性と双方向有限オートマトンのサイズ (1980) |
| 博士課程の指導教員 | マヌエル・ブルム |
| 博士課程の学生 | |
| Webサイト | 翻訳: |
マイケル・フレドリック・シプサー（1954年9月17日生まれ）は、計算複雑性理論に初期の貢献をしたアメリカの理論計算機科学者である。彼はマサチューセッツ工科大学の応用数学の教授であり、理学部長でもあった。
バイオグラフィー
シプサーはニューヨーク州ブルックリンで生まれ育ち、12歳のときにニューヨーク州オスウィーゴに移住した。1974年にコーネル大学で数学の学士号を取得し、 1980年にカリフォルニア大学バークレー校でマヌエル・ブルムの指導のもと工学の博士号を取得した。[1] [2]
1979年にMITのコンピュータサイエンス研究所に研究員として加わり、その後サンノゼのIBM研究所の研究員となった。1980年にMITの教員となった。1985年から1986年にかけてカリフォルニア大学バークレー校の教員を務め、その後MITに戻った。2004年から2014年までMIT数学科長を務めた。 2013年にMIT理学部の暫定学部長に任命され、2014年には学部長に就任した。 [3] 2020年にネルギス・マヴァルヴァラが後任となるまで学部長を務めた。[4]アメリカ芸術科学アカデミーの会員である。[5] 2015年に「複雑性理論への貢献と数学界へのリーダーシップと奉仕」によりアメリカ数学会の会員に選出された。 [6] 2017年にACMフェロー に選出された。[7]
科学者としてのキャリア
シプサーはアルゴリズムと複雑性理論を専門としており、特に効率的な誤り訂正符号、対話型証明システム、ランダム性、量子計算、問題の固有の計算困難性の確立を専門としている。彼はメリック・ファーストとジェームズ・B・サックスとの共著論文で、回路複雑性の超多項式下限を証明するための確率的制限法を紹介した。[8]彼らの結果は後にアンドリュー・ヤオとヨハン・ハスタッドによって指数下限に改良された。[9]
初期のデランダム化定理において、シプサーはBPPが多項式階層に含まれていることを示しました。[10]その後ピーター・ガックスとクレメンス・ラウテマンによって改良され、現在ではシプサー・ガックス・ラウテマン定理として知られる定理が形成されました。シプサーはまた、エキスパンダーグラフとデランダム化の関係を確立しました。 [11]彼と彼の博士課程の学生ダニエル・スピルマンはエキスパンダーグラフの応用であるエキスパンダーコードを導入しました。 [12]シプサーは大学院生のデビッド・リヒテンシュタインとともに、囲碁がPSPACE困難であることを証明しました。[13]
量子計算理論では、エドワード・ファリ、ジェフリー・ゴールドストーン、サミュエル・ガットマンと共同で断熱アルゴリズムを導入した。 [14]
シプサーは長い間P対NP問題に興味を持っていた。1975年、彼はレナード・エイドルマンと1オンスの金を賭け、20世紀末までにP≠NPの証明で問題が解決されるだろうと賭けた。問題が未解決のままであったため、シプサーは2000年にエイドルマンにアメリカン・ゴールド・イーグル・コインを贈った。 [15]
注目の本
シプサーは理論計算機科学の教科書『計算理論入門』[16]の著者である。
私生活
シプサーは妻のイナとマサチューセッツ州ケンブリッジに住んでおり、ニューヨーク大学を卒業した娘レイチェルとMITを卒業した息子アーロンの2人の子供がいる。[1]
参考文献
- ^ ab 「マイケル・シプサーが理学部の学部長に任命」。MITニュース | マサチューセッツ工科大学。2014年6月5日。 2024年9月20日閲覧。
- ^ 数学系譜プロジェクトのマイケル・シプサー
- ^ MIT 数学 | 人物ディレクトリ 2008-12-18 に Wayback Machineでアーカイブ
- ^ 「School of Science | MIT History」。2020年8月25日閲覧。
- ^ 「会員資格」アメリカ芸術科学アカデミー。 2014年9月23日閲覧。
- ^ 2016 AMSフェロークラス、アメリカ数学会、2015年11月16日閲覧。
- ^ ACM がデジタル時代における変革的貢献と技術の進歩に貢献した 2017 年度フェローを表彰、Association for Computing Machinery、2017 年 12 月 11 日、 2017-11-13取得
- ^ Furst, Merrick; Saxe, James B. ; Sipser, Michael (1984). 「パリティ、回路、および多項式時間階層」.数学システム理論. 17 (1): 13–27. doi :10.1007/BF01744431. MR 0738749. S2CID 14677270.
- ^ 「Research Vignette: Hard Problems All The Way Up | Simons Institute for the Theory of Computing」. simons.berkeley.edu . 2015年7月30日. 2015年9月17日閲覧。
- ^ Sipser, Michael (1983). 「ランダム性に対する複雑性理論的アプローチ」第 15 回 ACM コンピューティング理論シンポジウム議事録。
- ^ Sipser, Michael (1986). 「エクスパンダー、ランダム性、または時間対空間」。複雑性理論の構造: 1986 年 6 月 2 日から 5 日までカリフォルニア大学バークレー校で開催された会議の議事録。コンピュータ サイエンスの講義ノート。第 223 巻。325 ～ 329 ページ。doi : 10.1007 /3-540-16486-3_108。ISBN 978-3-540-16486-9。
- ^ Sipser, Michael; Spielman, Daniel (1996). 「Expander Codes」（PDF） . IEEE Transactions on Information Theory . 42 (6): 1710–1722. doi :10.1109/18.556667.
- ^ リヒテンシュタイン、デイビッド; シプサー、マイケル (1980-04-01). 「GO は多項式空間困難」J. ACM . 27 (2): 393–401. doi : 10.1145/322186.322201 . ISSN 0004-5411. S2CID 29498352.
- ^ Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam; Sipser, Michael (2000-01-28). 「断熱進化による量子計算」. arXiv : quant-ph/0001106 .
- ^ Pavlus, John (2012-01-01). 「無限の機械」. Scientific American . 307 (3): 66–71. Bibcode :2012SciAm.307c..66P. doi :10.1038/scientificamerican0912-66. PMID 22928263.
- ^ Sipser, Michael (2012-06-27).計算理論入門(第3版). Cengage Learning. ISBN 978-1133187790。
外部リンク
- MITの個人ホームページ