チューリング賞しょう

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア（Wikipedia）』
ACMチューリング賞しょう
国くにアメリカ合衆国の旗 アメリカ合衆国あめりかがっしゅうこく
主催しゅさいAssociation for Computing Machinery (ACM)
報酬ほうしゅう100万まんUSドル[1]
初回しょかい1966年ねん (58年ねん前まえ) (1966)
最新さいしん回かい2023年ねん
公式こうしきサイトamturing.acm.org

ACM A・M・チューリング賞しょう(ACM A.M. Turing Award)、通称つうしょうチューリング賞しょう(Turing Award)は、計算けいさん機き科学かがく分野ぶんやの国際こくさい的てきな学会がっかいであるACMが、計算けいさん機き科学かがく分野ぶんやにおける「永続えいぞく的てきな重要じゅうよう性せいを持もつ主要しゅような業績ぎょうせき」に対たいして毎年まいとし授与じゅよしている賞しょうである[2]。

賞しょうの名称めいしょうは、アラン・チューリングの名なに由来ゆらいする。チューリングは、理論りろん計算けいさん機き科学かがくや人工じんこう知能ちのうの重要じゅうような創始そうし者しゃとしてしばしば言及げんきゅうされる[3]。

この賞しょうは、計算けいさん機き科学かがくの分野ぶんやにおける最高さいこうの栄誉えいよとされ、「計算けいさん機き科学かがくのノーベル賞しょう」と広ひろく認識にんしきされている[4][5][6][7]。受賞じゅしょう者しゃにはハーバート・サイモンなどノーベル賞しょう受賞じゅしょう者しゃも存在そんざいしている。

賞しょうの授与じゅよは毎年まいとし1回かい行おこなわれる。2007年ねんから2013年ねんまでは、インテルとグーグルからの支援しえんにより25万まんドルの賞金しょうきんが追加ついかされた[2]。2014年ねんからは、グーグルからの支援しえんにより100万まんドルの賞金しょうきんが追加ついかされている[1][8]。

1966年ねんの最初さいしょの受賞じゅしょう者しゃはカーネギーメロン大学だいがくのアラン・パリスだった。初はつの女性じょせい受賞じゅしょう者しゃは、2006年ねんのフランシス・E・アレン(IBM)だった[9]。

受賞じゅしょう者しゃ[編集へんしゅう]

年度ねんど 受賞じゅしょう者しゃ名めい 写真しゃしん 受賞じゅしょう理由りゆう
1966 アラン・パリス 高度こうどなコンピュータプログラミング技法ぎほうとコンパイラ構築こうちくの分野ぶんやへの貢献こうけんに対たいして。[10]
1967 モーリス・ウィルクス 世界せかい初はつのプログラム内蔵ないぞう方式ほうしきのコンピュータである EDSAC の開発かいはつ者しゃとして最もっともよく知しられている。1949年ねんに作つくられたとき、EDSAC は水銀すいぎん遅延ちえん記憶きおく装置そうちを使用しようしていた。さらに、1951年ねんに Wheeler, Gill とともに出版しゅっぱんした "Preparation of Programs for Electronic Digital Computers" の著者ちょしゃとしても知しられており、プログラムライブラリを効果こうか的てきに紹介しょうかいした。[11]
1968 リチャード・ハミング 数値すうち解析かいせき、自動じどうプログラミング、誤あやまり検出けんしゅつと誤あやまり訂正ていせい符号ふごうにおける業績ぎょうせきに対たいして[12]
1969 マービン・ミンスキー 人工じんこう知能ちのう分野ぶんやの創造そうぞう、形成けいせい、促進そくしん、発展はってんにおける中心ちゅうしん的てきな役割やくわりに対たいして[13]
1970 ジェームズ・H・ウィルキンソン 高速こうそくなデジタルコンピュータを利用りようした数値すうち解析かいせきに関かんする研究けんきゅうと線形せんけい代数だいすうと誤差ごさ解析かいせきの処理しょりに関かんする深ふかい洞察どうさつに対たいして。[14]
1971 ジョン・マッカーシー マッカーシーの講演こうえん "The Present State of Research on Artificial Intelligence" (人工じんこう知能ちのう研究けんきゅうの現状げんじょう) は、彼かれの業績ぎょうせきで高たかい評価ひょうかを得えた[15]
1972 エドガー・ダイクストラ 明快めいかいさと数学すうがく的てき厳密げんみつさのモデルとなった高こうレベルのプログラミング言語げんご ALGOL の開発かいはつへの貢献こうけん、およびプログラミング言語げんご全般ぜんぱんの構造こうぞう・表現ひょうげん・実装じっそうの理解りかいへの多大ただいな貢献こうけんに対たいして。[16]
1973 チャールズ・バックマン データベース技術ぎじゅつへの多大ただいなる貢献こうけんに対たいして。[17]
1974 ドナルド・クヌース アルゴリズムの解析かいせきやプログラミング言語げんごの設計せっけいに大おおきく貢献こうけんし、特とくに ”The Art of Computer Programming” に貢献こうけんしたことに対たいして。[18]
1975 アレン・ニューウェル RAND 社しゃの J. C. Shaw との共同きょうどう研究けんきゅうを皮切かわきりに、カーネギーメロン大学だいがくの多おおくの教員きょういんや学生がくせいとの共同きょうどう研究けんきゅうで、人工じんこう知能ちのう、人間にんげんの認知にんち心理しんり学がく、リスト処理しょりの分野ぶんやでの基礎きそ的てきな貢献こうけんに対たいして。[19]
ハーバート・サイモン
1976 マイケル・ラビン 彼かれらの共とも作さく論文ろんぶん "Finite Automata and Their Decision Problem" (有限ゆうげん状態じょうたい機械きかいとその決定けってい性せい問題もんだい) に対たいして。[20] その論文ろんぶんは非ひ決定けってい性せいマシンという非常ひじょうに貴重きちょうな概念がいねんを導入どうにゅうし、この分野ぶんやの後続こうぞくの者ものたちに絶たえずインスピレーションを与あたえた。[21][22]
デイナ・スコット
1977 ジョン・バッカス 特とくにFORTRANの研究けんきゅうによって行おこなわれた、実用じつよう的てきな高水準こうすいじゅんプログラミングシステムの設計せっけいへの深ふかく影響えいきょう力りょくのある恒久こうきゅう的てき貢献こうけん、およびプログラミング言語げんご仕様しようの形式けいしき的てき手法しゅほうに関かんする画期的かっきてきな出版しゅっぱんに対たいして。[23]
1978 ロバート・フロイド 効率こうりつ的てきで信頼しんらい性せいの高たかいソフトウェアを生うみ出だす方法ほうほう論ろんに明確めいかくな影響えいきょうを与あたえたこと、また、解析かいせき理論りろん、プログラミング言語げんごの意味いみ論ろん、プログラムの自動じどう検証けんしょう、プログラムの自動じどう合成ごうせい、アルゴリズムの解析かいせきなど、コンピュータサイエンスの重要じゅうような分野ぶんやの発見はっけんへの貢献こうけんに対たいして。[24]
1979 ケネス・アイバーソン
APLに代表だいひょうされる数学すうがく的てき記法きほうとプログラミング言語げんご理論りろんへの貢献こうけんに対たいして。[25]
1980 アントニー・ホーア プログラミング言語げんごの定義ていぎと設計せっけいに対たいする基礎きそ的てきな貢献こうけんに対たいして。[26]
1981 エドガー・F・コッド データベース管理かんりシステム、特とくに関係かんけいデータベースの理論りろんと実用じつようにおける基本きほん的てき貢献こうけんに対たいして。[27]
1982 スティーブン・クック 重要じゅうようかつ意義いぎ深ふかい方法ほうほうで我々われわれの計算けいさん複雑ふくざつ性せいへの理解りかいを高たかめさせた貢献こうけんに対たいして。[28]
1983 ケン・トンプソン 汎用はんようオペレーティングシステム理論りろんの発展はってんへの貢献こうけん、特とくにUNIXオペレーティングシステムの実装じっそうに対たいして。[29][30]
デニス・リッチー
1984 ニクラウス・ヴィルト EULER, ALGOL-W, MODULA, Pascalといった革新かくしん的てきなコンピュータ言語げんごの開発かいはつに対たいして。
1985 リチャード・カープ ネットワークフローや組合くみあわせ最適さいてき化か問題もんだいに関かんする効率こうりつ的てきアルゴリズムの開発かいはつ、アルゴリズムの効率こうりつを判断はんだんする基準きじゅんとなる多項式たこうしき時間じかんの識別しきべつなど計算けいさん理論りろんに関かんする長年ながねんの貢献こうけんと、特とくにNP完全かんぜん理論りろんへの貢献こうけんに対たいして。理論りろん上じょうでも実際じっさい上じょうでも与あたえられた問題もんだいの計算けいさん複雑ふくざつ度どを識別しきべつしてNP完全かんぜんかどうかを証明しょうめいするための方法ほうほう論ろんはカープが導入どうにゅうし、今日きょうでは一般いっぱん化かしている。
1986 ジョン・ホップクロフト アルゴリズムとデータ構造こうぞうの設計せっけいと分析ぶんせきにおける基本きほん的てき貢献こうけんに対たいして。
ロバート・タージャン
1987 ジョン・コック コンパイラの開発かいはつと理論りろん、大だい規模きぼシステムのアーキテクチャ、RISCの開発かいはつにおける多大ただいなる貢献こうけんに対たいして。
1988 アイバン・サザランド Sketchpadに始はじまり、その後ごも続つづいた、コンピュータグラフィックスにおける先駆せんく的てきで先見せんけん性せいのある貢献こうけんに対たいして。
1989 ウィリアム・カハン 数値すうち解析かいせきへの基礎きそ的てき貢献こうけんに対たいして。浮動ふどう小数点しょうすうてん計算けいさんにおける最前線さいぜんせんの専門せんもん家かであり、カハンは「数値すうち計算けいさんにとって安全あんぜんな世界せかいを作つくること」に専念せんねんした。
1990 フェルナンド・J・コルバト CTSSやMulticsといった汎用はんようで大だい規模きぼなタイムシェアリング・リソース共有きょうゆう型がたコンピュータシステムの概念がいねんを構築こうちくし、開発かいはつを導みちびいた先駆せんく的てき業績ぎょうせきに対たいして
1991 ロビン・ミルナー 3つの明確めいかくで完全かんぜんな業績ぎょうせきに対たいして。1) LCF、Scottの計算けいさん可能かのう関数かんすう論理ろんりの機械きかい化か、機械きかい支援しえん証明しょうめい構築こうちくのためのおそらく最初さいしょの理論りろんに基もとづいた実用じつよう的てきなツール、2) ML、多た相しょう型がた推論すいろんと型かた安全あんぜんな例外れいがい処理しょり機構きこうを含ふくむ最初さいしょの言語げんご、3) CCS、同時どうじ実行じっこうの一般いっぱん的てきな理論りろん。さらに、完全かんぜん抽象ちゅうしょう化か、すなわち、操作そうさ的てき意味いみ論ろんと叙述じょじゅつ的てき意味いみ論ろんの関係かんけいの研究けんきゅうを定式ていしき化かし、強力きょうりょくに推進すいしんした。[31]
1992 バトラー・ランプソン 分散ぶんさん型がたのパーソナルコンピューティングの環境かんきょうの発展はってんとそれを実装じっそうするための技術ぎじゅつ(ワークステーション、ネットワーク、オペレーティングシステム、プログラミングシステム、ディスプレイ、セキュリティ、文書ぶんしょ作成さくせい)への貢献こうけんに対たいして。
1993 ユリス・ハルトマニス 計算けいさん複雑ふくざつ性せい理論りろんの分野ぶんやを確立かくりつした独創どくそう的てきな論文ろんぶんに対たいして。[32]
リチャード・スターンズ
1994 エドワード・ファイゲンバウム 先駆せんく的てきな大だい規模きぼ人工じんこう知能ちのうシステムの設計せっけいと開発かいはつおよび、人工じんこう知能ちのう技術ぎじゅつの実用じつよう性せいと潜在せんざい的てき価値かちを広ひろく知しらしめたことに対たいして。[33]
ラジ・レディ
1995 マヌエル・ブラム 計算けいさん複雑ふくざつ性せい理論りろんの基礎きそ的てき研究けんきゅうとその暗号あんごうおよびプログラム検証けんしょうへの応用おうように関かんする貢献こうけんに対たいして。[34]
1996 アミール・プヌーリ 計算けいさん機き科学かがくに時どき相しょう論理ろんりを導入どうにゅうした独創どくそう的てき業績ぎょうせきとプログラムやシステムの検証けんしょうへの多大ただいな貢献こうけんに対たいして。[35]
1997 ダグラス・エンゲルバート 対話たいわ型がたコンピューティングの未来みらいを切きり開ひらき、それを現実げんじつ化かするのに鍵かぎとなる技術ぎじゅつを発明はつめいしたことに対たいして。[36]
1998 ジム・グレイ データベースおよびトランザクション処理しょりに関かんする独創どくそう的てきな研究けんきゅうとシステム実装じっそうについての技術ぎじゅつ的てきリーダーシップに対たいして。
1999 フレデリック・ブルックス コンピュータ・アーキテクチャ、オペレーティングシステム、ソフトウェア工学こうがくに対たいする貢献こうけんに対たいして。
2000 アンドリュー・チーチー・ヤオ 計算けいさん複雑ふくざつ性せい理論りろんに基もとづく擬似ぎじ乱数らんすう、暗号あんごう理論りろん、通信つうしん複雑ふくざつ性せいなどの計算けいさん理論りろんへの基本きほん的てき貢献こうけんに対たいして。
2001 オルヨハン・ダール プログラミング言語げんご Simula I と Simula 67 の設計せっけいを通とおしてオブジェクト指向しこうプログラミングの基本きほん的てきなアイデアを生うみ出だしたことに対たいして。
クリステン・ニガード
2002 ロナルド・リベスト 公開こうかい鍵かぎ暗号あんごうの実用じつよう化か(RSA暗号あんごう)における独創どくそう的てきな貢献こうけんに対たいして。
アディ・シャミア
レオナルド・エーデルマン
2003 アラン・ケイ Smalltalk の開発かいはつチームを指導しどうし、現代げんだいのオブジェクト指向しこうプログラミングの元もととなる多おおくの考かんがえを開拓かいたくしたことに対たいして、また、パーソナルコンピューティングへの基礎きそ的てき貢献こうけんに対たいして。
2004 ヴィントン・サーフ インターネットの基本きほん通信つうしんプロトコルである TCP/IP の開発かいはつと実装じっそうを含ふくむインターネットワーキングにおける先駆せんく的てき貢献こうけんとネットワーク全般ぜんぱんでのリーダーシップに対たいして。
ロバート・カーン
2005 ピーター・ナウア プログラミング言語げんごの設計せっけいとALGOL 60の定義ていぎ、コンパイラの設計せっけい、コンピュータプログラミングの技術ぎじゅつと実践じっせんへの基礎きそ的てきな貢献こうけんに対たいして。
2006 フランシス・E・アレン 現代げんだいの最適さいてき化かコンパイラ (en:Optimizing compiler) と自動じどう並列へいれつ実行じっこう (en:Automatic parallelization) の基礎きそを築きずいた最適さいてき化かコンパイラ技術ぎじゅつの理論りろんと実践じっせんへの先駆せんく的てきな貢献こうけんに対たいして。
2007 エドムンド・クラーク ハードウェア・ソフトウェア産業さんぎょうにおいて広ひろく採用さいようされているモデル検査けんさを極きわめて効果こうか的てきな検査けんさ技術ぎじゅつに発達はったつさせた役割やくわりに対たいして。[37]
アレン・エマーソン
ジョセフ・シファキス
2008 バーバラ・リスコフ プログラミング言語げんごとシステム設計せっけいの実用じつよう的てき・理論りろん的てき基礎きそ、特とくにデータ抽象ちゅうしょう化か、フォールトトレランス、分散ぶんさんコンピューティングへの貢献こうけんに対たいして。
2009 チャック・サッカー 最初さいしょの近代きんだい的てきなパーソナルコンピュータであるXerox Altoの先駆せんく的てきな設計せっけいと実現じつげん、さらにイーサネットとタブレットPCへの貢献こうけんに対たいして。
2010 レスリー・ヴァリアント probably approximately correct (PAC) 学習がくしゅうの理論りろん、列挙れっきょと代数だいすう計算けいさんの複雑ふくざつさ、並列へいれつ分散ぶんさんコンピューティングの理論りろんなど、計算けいさん理論りろんへの革新かくしん的てき貢献こうけんに対たいして。
2011 ジューディア・パール[38] 確かく率りつ的てきおよび因果いんが的てき推論すいろんの算法さんぽうを発展はってんさせたことによる人工じんこう知能ちのうへの基礎きそ的てき貢献こうけんに対たいして。[39]
2012 シルビオ・ミカリ 暗号あんごうの科学かがくのために複雑ふくざつ性せい理論りろんの基礎きそを築きずき、その過程かていで複雑ふくざつ性せい理論りろんにおける数学すうがく的てき証明しょうめいを効率こうりつ的てきに検証けんしょうするための新あたらしい方法ほうほうを開拓かいたくした変革へんかく的てきな業績ぎょうせきに対たいして。[40]
シャフィ・ゴールドワッサー
2013 レスリー・ランポート 特とくに、因果いんが関係かんけいや論理ろんりクロック、安全あんぜん性せいや活性かっせい度ど、複製ふくせいされたステートマシン、逐次ちくじ一貫いっかん性せいなどの概念がいねんの発明はつめいなど、分散ぶんさんシステムや並行へいこうシステムの理論りろんと実践じっせんへの基礎きそ的てきな貢献こうけんに対たいして。[41][42]
2014 マイケル・ストーンブレーカー 現代げんだいのデータベースシステムの基本きほんとなる概念がいねんと実用じつように対たいする基礎きそ的てきな貢献こうけんに対たいして。[43]
2015 マーティン・ヘルマン 現代げんだいの暗号あんごう技術ぎじゅつへの基本きほん的てきな貢献こうけんについて。Diffie と Hellman の画期的かっきてきな 1976 年ねんの論文ろんぶん "New Directions in Cryptography" は、公開こうかい鍵かぎ暗号あんごうとデジタル署名しょめいのアイデアを紹介しょうかいしたもので、今日きょうのインターネット上じょうで最もっとも一般いっぱん的てきに使用しようされているセキュリティプロトコルの基礎きそとなっている。[44]
ホイットフィールド・ディフィー
2016 ティム・バーナーズ＝リー World Wide Web、最初さいしょのWebブラウザ、そして Web が今いまの規模きぼとなるための基本きほん的てきなプロトコルとアルゴリズムを発明はつめいしたことに対たいして。[45]
2017 ジョン・ヘネシー マイクロプロセッサ産業さんぎょうの衝撃しょうげきに耐たえられるように、組織そしき的てきで定量ていりょう的てきな方法ほうほうを用もちいてコンピュータ・アーキテクチャの設計せっけいと評価ひょうかを行おこなったことに対たいして。[46]
デイビッド・パターソン
2018 ヨシュア・ベンジオ ディープニューラルネットワークをコンピューティングにおける重要じゅうような要素ようそにした概念的がいねんてきおよび技術ぎじゅつ的てきな躍進やくしんに対たいして。[47]
ジェフリー・ヒントン
ヤン・ルカン
2019 エドウィン・キャットマル 3次元じげんコンピュータグラフィックスへの基礎きそ的てき貢献こうけんと、この技術ぎじゅつが映画えいが製作せいさくやその他たのアプリケーションにおける Computer Generated Imagery (CGI) に革命かくめい的てきな影響えいきょうを与あたえたことに対たいして。[48]
パット・ハンラハン
2020 アルフレッド・エイホ

プログラミング言語げんごの実装じっそうのアルゴリズムと理論りろんの基礎きそを構築こうちくし、何なに世代せだいにもわたってコンピュータ科学かがく者しゃを教育きょういくした大おおきな影響えいきょう力りょくを持もつ書籍しょせきの出版しゅっぱんにおいて、これらの成果せいかなどを統合とうごうしたことに対たいして[49]。

ジェフリー・ウルマン
2021 ジャック・ドンガラ 直近ちょっきん40年間ねんかんにおけるハードウェアの指数しすう関数かんすう的てきな進歩しんぽに対応たいおうするための高性能こうせいのう計算けいさんソフトウェアを可能かのうにした数値すうちアルゴリズムとライブラリに対たいして[50]。
2022 ロバート・メトカーフ イーサネットの発明はつめいと標準ひょうじゅん化か、実用じつよう化かに対たいして[51]。
2023 アヴィ・ヴィグダーソン 計算けいさんにおけるランダム性せいの役割やくわりについての理解りかいの再さい構築こうちく、および理論りろんコンピューターサイエンスにおける数すう十じゅう年ねんにわたる知的ちてきリーダーシップに対たいして[52]。

脚注きゃくちゅう[編集へんしゅう]

[脚注きゃくちゅうの使つかい方かた]
  1. ^ a b Cacm Staff (2014). “ACM's Turing Award prize raised to $1 million”. Communications of the ACM 57 (12): 20. doi:10.1145/2685372. 
  2. ^ a b “A. M. Turing Award”. ACM. 2009年ねん12月12日にち時点じてんのオリジナルよりアーカイブ。2007年ねん11月5日にち閲覧えつらん。
  3. ^ Homer, Steven and Alan L.. Computability and Complexity Theory. p. 35. ISBN 978-0-387-95055-6. https://books.google.com/books?id=r5kOgS1IB-8C&pg=PA35 2007年ねん11月5日にち閲覧えつらん。 
  4. ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. McGraw-Hill. p. 317. ISBN 978-0-07-352340-8. https://archive.org/details/algorithms00dasg_934 
  5. ^ Bibliography of Turing Award lectures, DBLP
  6. ^ Geringer, Steven (2007年ねん7月がつ27日にち). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. 2008年ねん12月30日にち時点じてんのオリジナルよりアーカイブ。2008年ねん10月がつ16日にち閲覧えつらん。
  7. ^ See also: Brown, Bob (2011年ねん6月がつ6日にち). “Why there's no Nobel Prize in Computing”. Network World. 2015年ねん6月がつ3日にち閲覧えつらん。
  8. ^ “ACM's Turing Award Prize Raised to $1 Million”. ACM. 2015年ねん11月23日にち時点じてんのオリジナルよりアーカイブ。2014年ねん11月13日にち閲覧えつらん。
  9. ^ "First Woman to Receive ACM Turing Award" (Press release). The Association for Computing Machinery. 21 February 2007. 2007年ねん7月がつ2日にち時点じてんのオリジナルよりアーカイブ。2007年ねん11月5日にち閲覧えつらん。
  10. ^ Perlis, A. J. (1967). “The Synthesis of Algorithmic Systems”. Journal of the ACM 14: 1–9. doi:10.1145/321371.321372. 
  11. ^ Wilkes, M. V. (1968). “Computers then and Now”. Journal of the ACM 15: 1–7. doi:10.1145/321439.321440. 
  12. ^ Hamming, R. W. (1969). “One Man's View of Computer Science”. Journal of the ACM 16: 3–12. doi:10.1145/321495.321497. 
  13. ^ Minsky, M. (1970). “Form and Content in Computer Science (1970 ACM turing lecture)”. Journal of the ACM 17 (2): 197–215. doi:10.1145/321574.321575. 
  14. ^ Wilkinson, J. H. (1971). “Some Comments from a Numerical Analyst”. Journal of the ACM 18 (2): 137–147. doi:10.1145/321637.321638. 
  15. ^ McCarthy, J. (1987). “Generality in artificial intelligence”. Communications of the ACM 30 (12): 1030–1035. doi:10.1145/33447.33448. http://www-formal.stanford.edu/jmc/generality.ps. 
  16. ^ Dijkstra, E. W. (1972). “The humble programmer”. Communications of the ACM 15 (10): 859–866. doi:10.1145/355604.361591. 
  17. ^ Bachman, C. W. (1973). “The programmer as navigator”. Communications of the ACM 16 (11): 653–658. doi:10.1145/355611.362534. 
  18. ^ Knuth, D. E. (1974). “Computer programming as an art”. Communications of the ACM 17 (12): 667–673. doi:10.1145/361604.361612. 
  19. ^ Newell, A.; Simon, H. A. (1976). “Computer science as empirical inquiry: Symbols and search”. Communications of the ACM 19 (3): 113. doi:10.1145/360018.360022. 
  20. ^ Rabin, M. O.; Scott, D. (1959). “Finite Automata and Their Decision Problems”. IBM Journal of Research and Development 3 (2): 114. doi:10.1147/rd.32.0114. 
  21. ^ Rabin, M. O. (1977). “Complexity of computations”. Communications of the ACM 20 (9): 625–633. doi:10.1145/359810.359816. 
  22. ^ Scott, D. S. (1977). “Logic and programming languages”. Communications of the ACM 20 (9): 634–641. doi:10.1145/359810.359826. 
  23. ^ Backus, J. (1978). “Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs”. Communications of the ACM 21 (8): 613–641. doi:10.1145/359576.359579. 
  24. ^ Floyd, R. W. (1979). “The paradigms of programming”. Communications of the ACM 22 (8): 455–460. doi:10.1145/359138.359140. http://dl.acm.org/ft_gateway.cfm?id=359140&ftid=289772&dwn=1&CFID=285645736&CFTOKEN=55009136. 
  25. ^ Iverson, K. E. (1980). “Notation as a tool of thought”. Communications of the ACM 23 (8): 444–465. doi:10.1145/358896.358899. 
  26. ^ Hoare, C. A. R. (1981). “The emperor's old clothes”. Communications of the ACM 24 (2): 75–83. doi:10.1145/358549.358561. 
  27. ^ Codd, E. F. (1982). “Relational database: A practical foundation for productivity”. Communications of the ACM 25 (2): 109–117. doi:10.1145/358396.358400. 
  28. ^ Cook, S. A. (1983). “An overview of computational complexity”. Communications of the ACM 26 (6): 400–408. doi:10.1145/358141.358144. 
  29. ^ “A.M. Turing Award Laureate - Kenneth Lane Thompson”. amturing.acm.org. 2018年ねん11月4日にち閲覧えつらん。
  30. ^ “A.M. Turing Award Laureate - Dennis M. Ritchie”. amturing.acm.org. 2018年ねん11月4日にち閲覧えつらん。
  31. ^ Milner, R. (1993). “Elements of interaction: Turing award lecture”. Communications of the ACM 36: 78–89. doi:10.1145/151233.151240. 
  32. ^ Stearns, R. E. (1994). “Turing Award lecture: It's time to reconsider time”. Communications of the ACM 37 (11): 95–99. doi:10.1145/188280.188379. 
  33. ^ Reddy, R. (1996). “To dream the possible dream”. Communications of the ACM 39 (5): 105–112. doi:10.1145/229459.233436. 
  34. ^ “A.M. Turing Award Laureate - Manuel Blum”. amturing.acm.org. 2018年ねん11月4日にち閲覧えつらん。
  35. ^ “A.M. Turing Award Laureate - Amir Pnueli”. amturing.acm.org. 2018年ねん11月4日にち閲覧えつらん。
  36. ^ “A.M. Turing Award Laureate - Douglas Engelbart”. amturing.acm.org. 2018年ねん11月4日にち閲覧えつらん。
  37. ^ 2007 Turing Award Winners Announced
  38. ^ Pearl, Judea (2011) (mp4). The Mechanization of Causal Inference: A "mini" Turing Test and Beyond. doi:10.1145/1283920.2351636. ISBN 978-1-4503-1049-9. http://dl.acm.org/citation.cfm?id=1283920.2351636 
  39. ^ “Judea Pearl”. ACM. 2012年ねん3月がつ15日にち閲覧えつらん。
  40. ^ “Turing award 2012”. ACM. 2013年ねん3月がつ18日にち時点じてんのオリジナルよりアーカイブ。2013年ねん3月がつ13日にち閲覧えつらん。
  41. ^ “Turing award 2013”. ACM. 2014年ねん3月がつ18日にち閲覧えつらん。
  42. ^ Lamport, L. (1978). “Time, clocks, and the ordering of events in a distributed system”. Communications of the ACM 21 (7): 558–565. doi:10.1145/359545.359563. http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf. 
  43. ^ “Turing award 2014”. ACM. 2015年ねん3月がつ25日にち閲覧えつらん。
  44. ^ “Cryptography Pioneers Receive 2015 ACM A.M. Turing Award”. ACM. 2016年ねん3月がつ1日にち閲覧えつらん。
  45. ^ “Turing award 2016”. ACM. 2017年ねん4月がつ4日にち閲覧えつらん。
  46. ^ “Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award”. ACM. 2018年ねん3月がつ21日にち閲覧えつらん。
  47. ^ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award
  48. ^ Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award
  49. ^ ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms. Retrieved March 31, 2021.
  50. ^ ACM Turing Award Honors Jack Dongarra for Pioneering Concepts and Methods Which Resulted in World-Changing Computations
  51. ^ ACM A.M. Turing Award Honors Bob Metcalfe for Invention, Standardization, and Commercialization of Ethernet
  52. ^ ACM A.M. Turing Award Honors Avi Wigderson for Foundational Contributions to the Theory of Computation

外部がいぶリンク[編集へんしゅう]

ウィキメディア・コモンズには、チューリング賞しょうに関連かんれんするカテゴリがあります。
「https://ja.wikipedia.org/w/index.php?title=チューリング賞しょう&oldid=99990253」から取得しゅとく