A.M.チューリング賞 - 通信用語の基礎知識

情報工学や計算機科学におけるもっとも権威ある賞で、ACMから贈られる。

概要
受賞者一覧

概要

天才数学者アラン・マティソン・チューリング(Alan Mathison Turing)の名から賞の名前がとられた賞である。

この賞は、化学や物理学などでのノーベル賞に匹敵する賞とみなされている。

現在は、IntelとGoogleの協賛により、受賞者に賞金25万ドルが贈られている。

受賞者一覧

1966(昭和41)年: アラン・パリス(Alan J. Perlis): コンパイラーの開発
1967(昭和42)年: モーリス・ウィルクス(Maurice V. Wilkes): EDSACの開発
1968(昭和43)年: リチャード・ハミング(Richard W. Hamming): 誤り訂正コード(ハミングコード)の研究
1969(昭和44)年: マーヴィン・ミンスキー(Marvin Minsky): 人工知能の研究
1970(昭和45)年: ジェームズ・ウィルキンソン(James H. Wilkinson): 線形代数の研究
1971(昭和46)年: ジョン・マッカーシー(John McCarthy): 人工知能の研究
1972(昭和47)年: エドガー・ダイクストラ(Edsger W. Dijkstra): 構造化プログラミング
1973(昭和48)年: チャールズ・バッチマン(Charles W. Bachman): データベースの研究
1974(昭和49)年: ドナルド・クヌース(Donald E. Knuth): アルゴリズム分析
1975(昭和50)年: アレン・ニューウェル(Allen Newell)、ハーバード・サイモン(Herbert A. Simon): 人工知能の研究
1976(昭和51)年: デーナ・スコット(Dana S. Scott)、ミッチェル・ラビン(Michael O. Rabin): 有限オートマトンの研究
1977(昭和52)年: ジョン・バッカス(John W. Backus): FORTRANの開発
1978(昭和53)年: ロバート・フロイド(Robert W. Floyd): ソフトウェア工学の研究
1979(昭和54)年: ケネス・アイバーソン(Kenneth E. Iverson): プログラミング言語APLの開発
1980(昭和55)年: アントニー・ホーア(C. Antony R. Hoare): プログラミング言語の設計に関する研究
1981(昭和56)年: エドガー・コッド(Edgar F. Codd): リレーショナル・モデル・データベースの研究
1982(昭和57)年: ステファン・クック(Stephen A. Cook): NP完全問題の存在の証明
1983(昭和58)年: ケン・トンプソン(Ken Thompson)、デニス・リッチー(Dennis M. Ritchie): UNIXの開発
1984(昭和59)年: ニクラウス・ヴィルト(Niklaus Wirth): プログラミング言語Pascalの開発
1985(昭和60)年: リチャード・カープ(Richard M. Karp): NP完全問題の研究
1986(昭和61)年: ジョン・ホップクロフト(John Hopcroft)、ロバート・タージャン(Robert E. Tarjan): データ構造の研究
1987(昭和62)年: ジョン・クック(John Cocke): RISCの発明
1988(昭和63)年: イワン・サザーランド(Ivan E. Sutherland): コンピューターグラフィックス
1989(平成元)年: ウィリアム・カーン(William V. Kahan): 浮動小数点の研究
1990(平成2)年: フェルナンド・コルバト(Fernando J. Corbato): シェアリング・システムの開発
1991(平成3)年: ロビン・ミルナー(Robin Milner): LCF, ML, CCSの研究
1992(平成4)年: バトラー・ランプソン(Butler W. Lampson): セキュリティの研究等
1993(平成5)年: ジュリス・ハートマニス(Juris Hartmanis)、リチャード・スターンズ(Richard E. Stearns): アルゴリズム計算量の研究
1994(平成6)年: エドワード・ファイゲンバウム(Edward Feigenbaum)、ラージ・レディ(Raj Reddy): 人工知能の研究
1995(平成7)年: マヌエル・ブラム(Manuel Blum): 暗号化における計算量の研究
1996(平成8)年: アミール・プヌーリ(Amir Pnueli): 時相論理(Temporal Logic)の開発
1997(平成9)年: ダグラス・カール・エンゲルバート(Douglas C. Engelbart): インタラクティブ・コンピューティング
1998(平成10)年: ジェームズ・グレイ(James Gray): トランザクション処理の研究
1999(平成11)年: フレドリック・ブロックス(Frederick P. Brooks, Jr.): ソフトウェア工学への寄与
2000(平成12)年: アンドリュー・チーチー・ヤオ(Andrew Chi-Chih Yao)(姚期智): 疑似一様乱数、暗号の研究
2001(平成13)年: オルヨハン・ダール(Ole-Johan Dahl)、クリステン・ニガード(Kristen Nygaard): オブジェクト指向プログラミング
2002(平成14)年: ロナルド・リベスト(Ronald L. Rivest)、アディ・シャミア(Adi Shamir)、レオナルド・エーデルマン(Leonard M. Adleman): 公開鍵暗号方式(RSA)の開発
2003(平成15)年: アラン・カーティス・ケイ(Alan C. Kay): プログラミング言語Smalltalkの開発; パーソナルコンピューターの構想
2004(平成16)年: ヴィントン・サーフ(Vinton G. Cerf)、ロバート・カーン(Robert E. Kahn): インターネットにおけるTCP/IPの研究と普及
2005(平成17)年: ピーター・ナウア(Peter Naur): ALGOL60の開発とプログラミングスタイルの確立
2006(平成18)年: フランシス・アレン(Frances E. Allen): 最適化コンパイラー技術の研究開発; マルチプロセッサー環境での自動プログラム並列化の研究
2007(平成19)年: エドムンド・クラーク(Edmund Melson Clarke, Jr.)、アレン・エマーソン(Ernest Allen Emerson)、ジョセフ・シカキス(Joseph Sifakis): ハードウェアやソフトウェア開発に広く使われたモデル検査の開発
2008(平成20)年: バーバラ・リスコフ(Barbara H. Liskov): プログラミング言語、システム設計(特にデータ抽象化、フォルトトレランス、分散コンピューティング)に関する実践と基礎理論への貢献
2009(平成21)年: チャールズ・P・サッカー(Charles P. Thacker): 最初の近代的なパソコンの設計と実現の先駆者としての活動、影響力の大きい発明、そして、LAN(とEthernet)、マルチプロセッサーワークステーション、snooping cache coherenceプロトコル、タブレットパソコンへの貢献
2010(平成22)年: レスリー・ヴァリアント(Leslie G. Valiant): 確率的近似(PAC)学習理論、列挙型と代数計算の複雑さ、並列と分散コンピューティングの理論に関する計算理論の変革への貢献
2011(平成23)年: ジューディア・パール(Judea Pearl): 人工知能の先駆的研究への貢献
2012(平成24)年: シャフィ・ゴールドワッサー(Shafi Goldwasser)、シルビオ・ミカリ(Silvio Micali): 計算複雑性理論と暗号理論への貢献

リンク