Loading article…
ラリー・ストックマイヤー | |
|---|---|
| 生まれる | 1948 |
| 死亡 | 2004年7月31日 |
| 国籍 | アメリカ人 |
| 職業 | コンピュータ科学者 |
| 知られている | 計算複雑性理論の分野の先駆者 |
ラリー・ジョセフ・ストックマイヤー（1948年 - 2004年7月31日）はアメリカのコンピュータ科学者である。彼は計算複雑性理論の分野の先駆者の一人であり、分散コンピューティングの分野でも研究していた。彼は膵臓癌で亡くなった。[1]
キャリア
- 1972年：マサチューセッツ工科大学で数学の理学士号を取得。
- 1972年：マサチューセッツ工科大学で電気工学の修士号を取得。
- 1974年：マサチューセッツ工科大学でコンピュータサイエンスの博士号を取得。
- 監督: Albert R. Meyer。
- 1974～1982年: IBMリサーチ、トーマス・J・ワトソン研究センター、ニューヨーク州ヨークタウン・ハイツ。
- 1982年～2003年11月: IBMリサーチ、アルマデンリサーチセンター、カリフォルニア州サンノゼ。
- 2002 年 10 月 – 2004 年:カリフォルニア大学サンタクルーズ校、コンピュータサイエンス学部 – 研究員。
認識
- 1996年:計算機協会フェロー:「計算複雑性理論へのいくつかの基本的な貢献により、この分野の進路に大きな影響を与えた。」[2]
- 2007年：論文「Dwork, Lynch & Stockmeyer (1988)」により分散コンピューティングにおけるエドガー・W・ダイクストラ賞を受賞。 [3] [4]
著名な出版物
- マイヤーとストックマイヤー（1972）—この研究は多項式階層を導入した。[5] [6]
- ストックマイヤー（1974）—「コンピュータサイエンスにおける最も注目すべき博士論文の一つ」[7]
- チャンドラ＆ストックマイヤー（1976）—この研究では交代型チューリングマシンが導入された。[8]
- Dwork、Lynch、Stockmeyer（1988）—この論文は2007年にダイクストラ賞を受賞しました。 [3]
注記
- ^ 「In Memoriam」. currents online . UC Santa Cruz. 2004年8月9日. 2015年9月30日時点のオリジナルよりアーカイブ。 2016年6月6日閲覧。
- ^ ACM: Fellows Award / Larry Stockmeyer、Wayback Machineで 2007-12-14 にアーカイブ。
- ^ ab PODC Web サイト: 2007 年ダイクストラ賞。
- ^ ボルトニコフ（2007年）。
- ^ フォートナウ（2005年）。
- ^ ライスバウム（2004年）。
- ^ STOC 2005 プログラム。
- ^ チャンドラ＆ストックマイヤー（1976年）。
参考文献
- ボルトニコフ、エドワード (2007)、「DISC '07 のレビュー」、ACM SIGACT News、38 (4): 49–53、doi : 10.1145/1345189.1386170、ISSN 0163-5700。
- Chandra, Ashok K.; Stockmeyer , Larry J. (1976)。「第 17 回コンピュータ サイエンスの基礎に関する年次シンポジウム (SFCS 1976)」。Proc. 第 17 回 IEEE コンピュータ サイエンスの基礎に関するシンポジウム。テキサス州ヒューストン。pp. 98–108。doi :10.1109/SFCS.1976.4。
- Dwork, Cynthia ; Lynch, Nancy ; Stockmeyer, Larry (1988)、「部分同期がある場合の合意」、Journal of the ACM、35 (2): 288–323、CiteSeerX 10.1.1.13.3423、doi :10.1145/42282.42283、S2CID 17007235。
- フォートナウ、ランス(2005)、「NP を超えて: ラリー・ストックマイヤーの業績と遺産」(PDF)、第 37 回 ACM コンピューティング理論シンポジウム (STOC、米国メリーランド州ボルチモア、2005 年)、pp. 120–127、doi :10.1145/1060590.1060609、ISBN 978-1-58113-960-0、S2CID 16558679。
- マイヤー、アルバート R. ; ストックマイヤー、ラリー J. (1972)、「平方化を伴う正規表現の同値性問題には指数空間が必要」、スイッチングおよびオートマトン理論に関する第 13 回年次シンポジウム議事録、pp. 125–129、doi :10.1109/SWAT.1972.29。
- ラージスバウム、セルジオ (2004)、「ラリー・ストックマイヤー: 1948–2004」、ACM SIGACT News、35 (4): 39、doi :10.1145/1054916.1054930、ISSN 0163-5700、S2CID 26255529。
- ストックマイヤー、ラリー J. (1974)、「オートマトン理論と論理における決定問題の複雑性」 (論文)、マサチューセッツ工科大学、hdl :1721.1/15540博士論文。
- 「ラリー・ストックマイヤー」。ISI Web of Knowledge、引用数の多い研究者。[リンク切れ ]
- 「追悼 – ラリー・ストックマイヤー」。カリフォルニア大学サンタクルーズ校カレントオンライン。2004 年 8 月 9 日。
- 「管理メッセージ: Larry Stockmeyer 氏の逝去」。カリフォルニア大学サンタクルーズ校。2004 年 8 月 5 日。2008 年 5 月 28 日時点のオリジナルよりアーカイブ。2009年 2 月 8 日閲覧。
- 「ラリー・ジョセフ・ストックマイヤー」。数学系譜プロジェクト。
- 「STOC 2005 会議プログラム」(PDF)。「ラリー・ストックマイヤー追悼式」（2005 年 5 月 21 日）のプログラムが含まれています。
外部リンク
- Larry Stockmeyer のホームページ。
- DBLP書誌サーバーの Larry J. Stockmeyer