Loading article…
アラン・ベルモント・コブハム | |
|---|---|
| 生まれる | 1927年11月4日 |
| 死亡 | 2011年6月28日（享年83歳） |
| 国籍 | アメリカ人 |
| 職業 | 理論計算機科学者 |
| 知られている | Pクラスの定義、コブハムのテーゼ、コブハムの定理、優先キューの発明、コントラクトブリッジをプレイするプログラムの作成 |
アラン・ベルモント・コブハム（1927年11月4日 - 2011年6月28日）[1]は、アメリカの数学者、コンピュータ科学者で、ジャック・エドモンズ、マイケル・O・ラビンとともに、多項式時間の概念と計算量クラスPを発明したことで知られる。[2] [B] 、コンピュータで実際に解ける問題は多項式時間を持つことが特徴であるというコブハムの論文[3] [B]、有限オートマトンが認識できる数の集合に関するコブハムの定理[4] [C]。また、自動シーケンスに関する基礎研究[5] [D] 、優先キューを発明してキュー理論の観点から研究[6] [A] 、当時（1980年代半ば）世界最高のプログラムの1つであったコントラクトブリッジのプログラムを書いた。 [7]
コブハムはオバリン大学、シカゴ大学、カリフォルニア大学バークレー校、マサチューセッツ工科大学で学んだが、博士号は取得しなかった。その後、アメリカ海軍のオペレーションズ・リサーチャー、トーマス・J・ワトソン研究所のIBMリサーチの研究員、ウェズリアン大学のコンピューターサイエンス学部の教授兼初代学部長となった。[1]
主な出版物
参考文献
- ^ ab Shallit, Jeffrey (2010 年 3 月 31 日). 「Alan Cobham」.再帰性。 Shallit, Jeffrey (2014 年 11 月 12 日)。「Alan Cobham: An Appreciation」。Recursivity。
- ^ コゼン、デクスター C. (2006)。計算理論。スプリンガー。 p. 4.ISBN 978-1-84628-297-3。
- ^ オーシエッロ、ジョルジオ（2018）。新しい科学の誕生：理論計算機科学の黎明期を辿る個人的な旅。シュプリンガー。p.43。ISBN 978-3-319-62680-2。
- ^ Durand, Fabien; Rigo, Michel (2010). 「Cobham の定理について」(PDF)。Pin, J.-É. (編) 『オートマトン: 数学から応用まで』。欧州数学会。
- ^ Rowland, Eric (2015 年 3 月). 「自動シーケンスとは何か?」(PDF) .アメリカ数学会報. 62 (3): 274–276. doi :10.1090/noti1218.
- ^ Miller, Rupert G. Jr. (1960). 「優先キュー」. Annals of Mathematical Statistics . 31 : 86–103. doi : 10.1214/aoms/1177705990 . MR 0120688.
- ^ トラスコット、アラン（1984年10月7日）。「ブリッジ：コンピュータと対戦する」ニューヨークタイムズ。