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

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

天才数学者アラン・マティソン・チューリング(Alan Mathison Turing)の名から賞の名前がとられ、この賞は化学や物理学などでのノーベル賞に匹敵する賞とみなされている。

受賞者一覧

1966(昭和41)年: Alan J. Perlis(アラン・パリス): コンパイラの開発
1967(昭和42)年: Maurice V. Wilkes(モーリス・ウィルクス): EDSACの開発
1968(昭和43)年: Richard W. Hamming(リチャード・ハミング): 誤り訂正コード(ハミングコード)の研究
1969(昭和44)年: Marvin Minsky(マーヴィン・ミンスキー): 人工知能の研究
1970(昭和45)年: J.H. Wilkinson(J.H.ウィルキンソン): 線形代数の研究
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(ジョセフ・シカキス)、: ハードウェアやソフトウェア開発に広く使われたモデル検査の開発