アラン・チューリング

提供: miniwiki
2018/8/19/ (日) 17:34時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索
ファイル:Alan Turing Memorial Closer.jpg
マンチェスターのSackville Gardensにあるアラン・チューリングの銅像

アラン・マシスン・チューリングAlan Mathieson Turing英語発音: [tjúǝrɪŋ]〔テュァリング〕, OBE, FRS 1912年6月23日 - 1954年6月7日)はイギリス数学者論理学者、暗号解読者、コンピュータ科学者。

略歴

チャーチ=チューリングのテーゼ計算可能性理論への貢献が、まず真っ先に挙げられる。特に、アルゴリズムを実行するマシンを形式的に記述したものの一つである「チューリングマシン」にその名を残し、人によっては前述のテーゼを「チューリング=チャーチ」と呼称するべきであるとする者もいるほどである。また、任意のチューリングマシンを模倣(エミュレート)できる「万能チューリングマシン」は、同分野の基本的な定理のひとつである停止性問題の決定不能性定理と関係する。さらに、理論面だけではなく、実際面でもコンピュータの誕生に重要な役割を果たした[1][2]。コンピュータ科学および(チューリング・テストなどからは)人工知能の父とも言われる[3]。がっしりした体形で、声は甲高く、話好きで機知に富み、多少学者ぶったところがあったといわれている[4]。また、アスペルガー症候群を暗示する特徴の多くを示しているとの指摘もある[5]

第二次世界大戦の間、ブレッチリー・パークにあるイギリスの暗号解読センターの政府暗号学校で、ドイツの暗号を解読するいくつかの手法を考案し、英国の海上補給線を脅かすドイツ海軍のUボートの暗号通信を解読する部門 (Hut 8) の責任者となった。ドイツが使用していた、エニグマ暗号機を利用した通信の暗文を解読する(その通信における暗号機の設定を見つける)ための機械 bombe を開発した。

戦後は、イギリス国立物理学研究所 (NPL) に勤務し、プログラム内蔵式コンピュータの初期の設計のひとつACE (Automatic Computing Engine) に携わった(ただし、チューリング自身は、その完成を見ずに異動している)。1947年、マンチェスター大学に移ると、初期のコンピュータ Manchester Mark I のソフトウェア開発に従事し[6]数理生物学に興味を持つようになる。形態形成の化学的基礎についての論文を書き[7]、1960年代に初めて観察されたベロウソフ・ジャボチンスキー反応のような発振する化学反応の存在を予言した。

1952年、同性愛の罪(風俗壊乱罪)で警察に逮捕され、保護観察の身となり、ホルモン療法を受ける。1954年に41歳で死去。検死によると、青酸中毒による自殺と断定されたが、母親や一部の友人は事故だと信じていた。

2009年9月10日、インターネットでのキャンペーンに続いて、首相ゴードン・ブラウンが、戦後のイギリス政府によるチューリングへの扱いについて、公式に謝罪した[8]

生涯

出生から大学進学まで

母エセルは、イギリス領インド帝国オリッサ州チャトラプルでアラン・チューリングを妊娠した[9][10]。父のジュリアス・チューリングは、当時インド高等文官であり、1911年に妻エセルの妊娠を知ると、イギリス本国での養育を考えて、ロンドンのメイダヴェールに戻った。[11]1912年6月23日、アランが誕生した。現在、アランが生まれた病院(現在はホテル[9])には、それを記念したブルー・プラークがある[12][13]

父の任期が続いており、両親はインドとイギリスのヘイスティングス[14]を行き来する生活を送っていた。そのため、アランと兄のジョンは、イギリスの友人に預けられる。文字を読むことは三週間で覚えたといわれる。また、数字に強くパズルが非常に得意だった[15]

6歳でセント・マイケルズ学校に入学した。担任教師に続き、校長もすぐに彼の才能に気づく。1926年、14歳でシャーボーン学校に入学。登校初日がゼネラル・ストライキ予定日と重なったため、前日から100kmの距離を一人で自転車で行くことにして、途中で宿をとって登校。このできごとは地元紙に掲載された[16]

シャーボーンは有名なパブリックスクールであり、その校風は古典を重視するものだったが、チューリングは、主に数学と科学に才能を発揮した。そのため、同校の校長は、アランの両親に「ふたつの学校の間で落ちこぼれないことを望みます。パブリックスクールに留まるなら、教養を身に付けねばなりません。単に科学者になるのなら、パブリックスクールに通うのは、時間の無駄です」[17]という手紙を書いた。

しかし、このようなことがあっても、アランは、学問に対する驚くべき能力を示し、初等微分積分学も習っていない1927年に、もっと難しい問題を解いていた。1928年アルベルト・アインシュタインの書いた文章に触れ、16歳でその内容を理解しただけでなく、そこには明記されていなかったニュートン力学について、アインシュタインの疑問を外挿したという[18]

親友のクリストファー・モルコムに恋をしたが、シャーボーンの最終学期中、感染牛のミルクを小さいころに飲んでいたため[19]牛結核症を患って、モルコムは死去した(1930年2月13日)[20]。このことがきっかけとなり、チューリングは、無神論者になった。また、脳の働きなどの現象についても、唯物論的に解釈するようになったが[21]、心のどこかで死後の生を信じていたという[22]

大学時代と計算可能性についての研究

ファイル:KingsCollegeChapel.jpg
キングス・カレッジの計算機室はTuringと名づけられている

数学や科学ほど古典をまじめに学ばなかったことが原因で、ケンブリッジ大学トリニティ・カレッジの奨学金を受けられなかったため、第二希望であったケンブリッジ大学キングス・カレッジへ進学した。1931年から1934年まで学生として学び、数学で優秀な成績を修めて卒業した。1935年に、中心極限定理を証明した論文が認められ、キングス・カレッジのフェロー(特別研究員)に選ばれた[23]。ただし、中心極限定理は1922年にJ・W・リンデベルグEnglish版が証明済みだったが、チューリングはその業績を知らなかった[24]

1928年、ドイツの数学者ダフィット・ヒルベルトは、「決定問題」への注目を呼びかけた。チューリングは、重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"(「計算可能数、ならびにそのヒルベルトの決定問題への応用」、1936年5月28日提出、11月12日配布)[25]で、この問題の解決に重要な役割を果たした。

この論文の重要な点を、現代の数学および数学基礎論およびコンピュータ科学の視点からまとめると次のようになる。(1)「チューリングマシン」という計算モデルを提示し、19世紀以前の数学では数理論理の視点からすると自然言語で記述されるなど曖昧な点があったアルゴリズムを形式的に表現する手法(のひとつ)を確立し、「何らかのチューリングマシンで計算可能な関数を計算可能関数とする」という計算可能性理論における重要なテーゼであるチャーチ=チューリングのテーゼを示した(チャーチの業績とは独立であり[26]、チューリングのほうがよりわかりやすく直感的であった。人によってはチューリング=チャーチのテーゼ、の順とすることもある)。(2)どんなチューリングマシンの動作をも、現代の言葉で言えば「エミュレート」できる、「万能チューリングマシン」が可能であることを証明し、その構成法を示した。(注意: この(1)と(2)が表現していることを曖昧に理解しないように注意すること。「テーゼ」は証明ではない(証明できるような性質のものではない)。しばしば、万能チューリングマシンによりあらゆる計算が可能であることを証明した、というような誤解が見受けられる。)(3)「万能チューリングマシン」の概念を利用して、停止性問題を否定的に証明した(これはゲーデル不完全性定理と同等の結果とも言えるものである。詳細は停止性問題の記事を参照)。[27]

1936年9月から1938年7月にかけて、プリンストン高等研究所においてアロンゾ・チャーチ(前述の「チャーチ=チューリングのテーゼ」のチャーチである)に師事した。1938年、プリンストンで博士号を得た。博士論文[28]では、数の広がり(正の整数→負数→無理数→虚数)とその公理体系の進化に関して、それらすべてを包含する「順序数」という概念の体系を整理しようとした。その中で、チューリング還元の概念を提案している。純粋数学とは別に暗号理論もここで学び、電気機械式乗算器も試作している[29]。また、この時期、ジョン・フォン・ノイマンも同じくプリンストンにおり、二人は親交があったと言われている。ノイマンは、チューリングにアメリカに残ることを勧めたという。

1939年にケンブリッジに戻ると、ウィトゲンシュタインとの講義に参加した[30]。そこでは、ウィトゲンシュタインが「数学は絶対的真実を発見するのではなく、発明している」という立場を取ったのに対して、チューリングは形式主義を擁護する立場を取った[31]

暗号解読

ファイル:Turing flat.jpg
ブレッチリー・パーク内にあるこの建物で、チューリングは、1939年から1940年まで働き、その後 Hut 8 に移った。

第二次世界大戦中、チューリングは、ブレッチリー・パークでドイツの暗号を解読する仕事をしていた。歴史家で自らも戦時中に暗号解読に従事していたエイザ・ブリッグズEnglish版は次のように述べている。

類まれな才能が必要で、ブレッチリーで天才が必要とされていた。チューリングは、まさにその天才だった。[32]

第二次世界大戦に先立つ1938年9月から、イギリスにおける暗号解読組織である政府暗号学校 (GCCS) でパートタイムで働き始める。そこで、ディリー・ノックスEnglish版と共にエニグマの解読に当たった[33]。その少し前の1939年7月、ポーランドの暗号局 (en) とイギリスおよびフランスの関係者がワルシャワで会合し、ポーランドが解明したエニグマのローター回路についての情報を得ていた。チューリングとノックスは、その情報を元に、問題にアプローチしようとしていた[34]。ポーランドの解読法は不安定なもので、ドイツ側がいつでも変更可能だった。実際1940年5月に変更されている。チューリングの方法はもっと汎用的でクリブ式暗号解読全般に使えるもので、最初の bombe の機能仕様に盛り込まれていた。

1939年9月4日、イギリスがドイツに宣戦布告した翌日、GCCSの戦時中の基地となっていたブレッチリー・パークに出頭した[35]。bombe の仕様は戦時中の暗号解読でチューリングが成し遂げた5つの成果のうち最初の1つである。他には、ドイツ海軍が使っていたインジケーター手続きの推測、Banburismus と名付けた bombe の効率を上げる統計的手法の開発、Turingery と名付けた Lorenz SZ 40/42 (Tunny) のホイール群のカム設定を明らかにする手続きの開発、そして終戦間近に開発した音声信号スクランブラー Delilah である。

ブレッチリー・パークでは変人で通っていた。同僚は彼を 'Prof' と呼び、 エニグマに関する論文は 'The Prof's Book' と呼ばれていた[36][37]。同僚の暗号解読者ジャック・グッドEnglish版はチューリングについて次のように述べている。

6月の第1週には毎年花粉症に悩まされるので、彼は花粉を吸わないようガスマスクをして自転車でオフィスに通っていた。自転車は故障していて、定期的にチェーンが外れていた。それを修理してもらう代わりに、ペダルをこいだ回数を数えて、危なくなると一旦降りてチェーンを調整していた。もうひとつの変人ぶりとして、マグカップが盗まれるのを防ぐために、それをラジエータパイプに鎖で繋いでいた。[38]

ブレッチリーで働いていたころ、ロンドンで重要な会議に出席しなければならないとき、長距離走が得意だったチューリングは、約 64km を走ったという[39]。タイムは、世界レベルのマラソン記録に匹敵していたという[40]

1945年、戦時中の功績によりOBEを授与されたが、その後1970年代までその業績は秘密にされ、近しい友人すらそのことを知らなかった。その功績の大きさにもかかわらず、暗号という重要な機密事項を扱う仕事柄ゆえに、ブレッチレイ・パークから一歩外に出れば、チューリングの仕事を知る者は誰一人いなかった。それは、家族すら例外ではなく、母親に一度だけ「軍関係の研究をしている」と話した際には、政府の仕事に携わっていながら身なりに気を払わない息子に対し、母はかえって落胆するばかりであったという。戦後もブレッチリー・パークに関係する事柄は引き続き機密とされ、チューリングが同性愛者として罰せられてからは、その功績を知らない世間から、公然と辱めを受けることとなる(後述)。

チューリングとウェルチマンの bombe

ファイル:Bombe-rebuild.jpg
ブレッチリー・パークに展示されている完全動作する bombe のレプリカ

ブレッチリー・パークに到着して数週間後[35]、ポーランドの bomba kryptologiczna よりも効率的にエニグマの暗号を解読する電気機械式の装置の仕様を生み出し、ポーランドの bomba にちなんで bombe と名付けた。数学者ゴードン・ウェルチマンEnglish版の示唆によって改良した bombe は、エニグマの暗号解読の主要な自動化ツールとなった。

ジャック・グッドは次のように述べている。

チューリングの最も重要な貢献は、私が思うに暗号解読機 bombe の設計だ。彼はあなたも使えるアイデアを持っていた。要するに、やや不合理な訓練されていない耳でも聞き分けられる論理的理論で、すべてを推論できる。[41]

bombe はエニグマの暗号文で使われたと考えられる正しい設定(ローターの順序、ローターの設定、プラグボードの設定など)を、適当なクリブ平文に存在が推定される単語やフレーズ)を使って探索する。ローターの考えられる設定(組み合わせのオーダーは 1019、4ローターのUボート版では 1022)ごとに[42]、bombe はクリブに基づいた一連の推論を電気的に行う。bombe は矛盾が生じるとそれを検出し、その設定を除外し、次の設定を調べる。ほとんどの設定は矛盾を生じるので除外でき、詳細に調べるべき少数の設定だけが残る。最初の bombe は1940年3月18日に実装された[43]。終戦のころには200台以上の bombe が使われていた[44]

Hut 8 と海軍のエニグマ

ファイル:AlanTuring-Bletchley.jpg
ブレッチリー・パークにあるチューリングの石像[45]

チューリングは「他の誰もそれに取り組まず、自分ならやれるかもしれない」と思い、ドイツ海軍のエニグマの解読というさらに難しい問題に取り組むことを決めた[46]。1939年12月、海軍のエニグマのインジケーターシステムの基本部分を解明。海軍以外が使っているインジケーターシステムよりも複雑だった[46][47]。そしてある夜、Banburismus のアイデアを思いつく。これは逐次的かつ統計的な技法で(後にエイブラハム・ウォールドsequential analysis と呼んだ)、海軍版エニグマの暗号解読を助けるものだった。「私はそれが現場でうまく機能するか確信を持てず、何日かかけて具体化してやっと確信した」[46] このために彼は証拠を重み付けするための測度を考案し、それを Ban と呼んだ。Banburismus はエニグマの特定のローターの並びを除外することができ、bombe の設定をテストする時間を大幅に減らすことに寄与した。

1941年、チューリングは、 Hut 8 の同僚で数学者・暗号解読者のジョーン・クラークに結婚を申し込んだが、婚約期間は短かった。同性愛者であることをフィアンセに告白しても、彼女は動じなかったといわれているが、チューリングのほうがこのまま結婚はできないと別れることを決心した[48]

1942年11月には、暗号に関する情報交換の一環として、アメリカを訪れた[49]。そこでは、ワシントンでアメリカ海軍の暗号解読者に海軍版エニグマと bombe の構造について伝授し、英米間の盗聴不可能な音声通信手段としてベル研究所で当時開発中だった秘話装置SIGSALYの情報提供を受け暗号化方式の安全性についての評価作業を行った[50]。ベル研究所では同じようにSIGSALYの評価を行っていたシャノンにも会っている。1943年3月、ブレッチリー・パークに戻る。この間に Hut 8 の責任者がヒュー・アレグザンダーに変わり、チューリング自身は部門の日常業務の運営に興味を持たなくなっていたため、ブレッチリー・パークの暗号解読コンサルタントのような立場となった。

アレグザンダーは、次のように書いている。

チューリングの仕事が Hut 8 の成功の最大の要因であることは誰もがわかっていた。当初、暗号解読者としては、彼だけがこの問題に取り組む価値があると考え、彼1人ではないものの Hut における理論的成果の最大の功績者であり、彼に次いでウェルチマンとキーンが bombe の発明に貢献した。全員が不可欠だったというのは難しいが、Hut 8 で誰が一番不可欠だったかといえば、それはチューリングだ。経験と日常がすべてを簡単なように見せるので、先駆者の業績は忘れられがちだが、Hut 8 の多くの者がチューリングの功績の大きさが外の世界に完全に伝わることは決してないだろうと感じていた。[51]

Turingery

1942年、チューリングは Turingery(冗談で Turingismus とも)と名付けた技法を考案[52]。ドイツが新たに開発した暗号生成ローターつきのテレタイプ端末で生成されるローレンツ暗号を解読するための技法である。この暗号機械をブレッチリー・パークでは Tunny と呼んでいた。Turingery は Tunny のホイール群のカム設定を解明する手続きである[53]。彼は Tunny のチームにトミー・フラワーズを紹介し、フラワーズがマックス・ニューマンの指導下で世界初のプログラム可能な電子式デジタル計算機 Colossus を構築することになった。Colossus は当時としては極めて高性能で、総当り的な統計的暗号解読技法を適用しても十分な性能を発揮した[54]。なお、チューリングがColossusの設計に重要な役割を果たしたと間違って主張している文献などがある。Turingery と Banburismus の統計的暗号解読法は間違いなくローレンツ暗号の解読技術に影響を与えているが[55]、チューリング自身がColossus開発に直接関与した事実はない[56]

秘話装置 Delilah

アメリカのベル研究所で提供を受けたSIGSALYの情報を元に[57]、よりシンプルな形で電話の音声信号を電子的に暗号化するというアイデアを追求し、戦時中の後半はハンスロープ・パークにあるイギリス情報局秘密情報部のラジオセキュリティサービス(後のHMGCC)で働いた。そこで彼は技術者ドナルド・ベイリーの助けを得て、電子工学への造詣を深める。2人は携帯型の秘話装置 Delilah を設計・構築[58]。Delilah は様々な応用が意図されていたが、長距離の無線通信ができず、いずれにしても完成したのは終戦間近で遅すぎた。それでも役人の前でウィンストン・チャーチルの演説を暗号化してさらにそれを元に戻すデモンストレーションを行ったが、実際には使われなかった[59]

初期のコンピュータに関する仕事とチューリングテスト

1945年から1947年まで、チューリングはロンドンのリッチモンドに住み[60]イギリス国立物理学研究所 (NPL) にてACE (Automatic Computing Engine) の設計を行う。1946年2月の論文では、プログラム内蔵式コンピュータの英国初の完全なデザインを発表している[61]フォン・ノイマンFirst Draft of a Report on the EDVAC はチューリングの論文より先に存在したが、チューリングの論文の方が詳細であり、NPL数学部門の責任者だった John R. Womersley は「チューリング博士の独自のアイデアがいくつか含まれていた」と記している[62]。ACEは実現可能な設計だったが、ブレッチリー・パークで軍事機密に関わる仕事をしていたことが原因でプロジェクトは遅々として進まず、1947年、サバティカル休暇でケンブリッジに戻る。彼がケンブリッジにいる間にACEを縮小した Pilot ACE が作られた。1950年5月10日に初めてプログラムの実行を達成している。

1948年、マンチェスター大学数学科の助教授に招かれる。1949年マンチェスター大学のコンピュータ研究室に移り、そこで初期のコンピュータ Manchester Mark I におけるソフトウェア開発に従事。この時期はより概念的な仕事にも取り組み、Computing Machinery and Intelligence(「計算する機械と知性」、1950年10月、「Mind」誌)という論文では人工知能の問題を提起、今日チューリングテストとして知られている実験を提案している。すなわち、機械を「知的」と呼ぶ際の基準を提案したもので、人間の質問者が機械と会話をして人間か機械か判別できない場合に、その機械が「思考」していると言えるというものである[63]。その中で、最初から大人の精神をプログラムによって構築するよりも、子どもの精神をプログラムして教育によって育てていくのがよいと示唆している。

1948年、当時まだ存在していなかったコンピュータチェスのプログラムを書き始める。1952年、当時のコンピュータは性能が低くそのプログラム実行には適さなかったため、自分でコンピュータをシミュレートしてチェスの試合を行ったが、一手打つのに30分かかったという。その対戦の棋譜が残っている[64]。同僚との対戦ではプログラムが負けているが、別の同僚の奥さんにはプログラムが勝利している。

チューリングテストは独特の挑発的特徴があり、人工知能に関する議論で半世紀にわたってよく引き合いにだされ続けた[65]

1948年にはLU分解も考案しており、今でも方程式行列の解法として使われている[66]

形態形成と数理生物学に関する仕事

1952年から、亡くなる1954年まで数理生物学、特に形態形成について研究を行う。"The Chemical Basis of Morphogenesis"(形態形成の化学的基礎)と題する論文を1952年に発表、形態形成について仮説を提唱した[67]。この分野での関心は、フィボナッチの葉序研究、すなわち植物の葉のつき方に現れるフィボナッチ数の存在である。これに反応拡散方程式を用いたが、これは形態形成の分野で現在よく使われる手法である。その後の論文は 1992年の Collected Works of A.M. Turing の出版まで未発表だった。近年再評価が著しい仕事である[68]

同性愛の告発

Anthony Cave Brown の著書 "C": The Secret Life of Sir Stewart Menzies, Spymaster to Winston Churchill には次のような記述がある。

ミンギス[69]は、チューリングをブレッチリーで雇用した直後から彼が長年の積極的な同性愛者だと知っていた。しかし、ブレッチリーの同僚にちょっかいを出すこともなく、ミンギスの部下の中では唯一「不可欠」と呼べる男だったので、そのまま雇っていた… 1944年初め、ブレッチリーに程近い大きな工業都市ルートンの公立図書館で男子生徒が性暴力を受けるという事件があり、チューリングが犯人ではないかと疑われた。全く記録には残っていないが、秩序と風紀を保つには彼を排除するしかないという決定がなされた。しかし、それも彼が素晴らしい仕事を完了してからのことである。[70]

1952年1月、チューリングはマンチェスターの映画館のそばでアーノルド・マレーと出会う。ランチデートの後、週末を一緒に過ごそうとマレーを自宅に招いたが、マレーはその誘いを断わっている。次の月曜日、2人は再びマンチェスターで会い、今度はチューリングの自宅を訪問している。数週間後、マレーは再びチューリング宅を訪れ、一夜を共にしたとみられている[71]

間もなく自宅に泥棒が入り、事件を警察に報告したが、捜査の過程で、泥棒の手引きをした19歳の青年(マレー)と同性愛関係にあったことが警察の知るところとなった。同性愛は当時のイギリスでは違法であり[72]、2人とも逮捕された[73]

チューリングは有罪となり、入獄か化学的去勢を条件とした保護観察かの選択を与えられ、入獄を避けるため、同性愛の性向を矯正するために、性欲を抑えると当時考えられていた女性ホルモン注射の投与を受け入れた[74]

結果としてセキュリティ・クリアランスを剥奪され、GCHQで暗号コンサルタントを続けることができなくなった。当時、ケンブリッジ・ファイヴの最初の2名ガイ・バージェスとドナルド・マクリーンKGBのスパイだと露見した事件があり、スパイについて大衆の不安が増大し、ソ連のエージェントが同性愛者を罠にかけるという噂があった[75]。スパイ活動で告発されたわけではないが、ブレッチリー・パークで働いていた全員と同様、戦時下の業績について論じることは禁止された[76]

1954年6月8日、家政婦がチューリングが自宅で死んでいるのを発見した。検死の結果、死亡したのは前日で、青酸中毒による死であることが判明。ベッドの脇には齧りかけのリンゴが落ちていた。リンゴに青酸化合物が塗ってあったかの分析はなされなかったが[77]、部屋には青酸の瓶が多数あった。死因審問で自殺と断定され、1954年6月12日に火葬された[78]。母は、実験用化学物質を不注意に扱ったために起こった事故であると主張している[79]。あるいは、母に事故だと思わせるようにして自殺したという説もある[80]。同僚によれば、映画『白雪姫』を見た直後の彼が「魔法の秘薬にリンゴを浸けよう、永遠なる眠りがしみこむように」と言っていたのを耳にしており、白雪姫のワンシーンを真似てこのような死に方をしたのだという[81]

再評価

ファイル:Turing Plaque.jpg
ウィルムズローのチューリング宅にあるブルー・プラーク

チューリングの死後まもなく(戦時中の業績が機密扱いだったころ)、王立協会が伝記を出版しており、以下のように記されている[1]

3つの多様な数学的主題について、戦前に3つの特筆すべき論文を書いており、この重要な時期(戦時のこと)に何らかの大きな問題にとりかかっていたら重大な業績を残していただろうということがわかる。外務省での業績により、OBEが授与された。

国立物理学研究所の同僚で、後にチューリング賞を受賞したジェイムス・H・ウィルキンソンも、受賞講演で、外務省時代に別の環境にチューリングがいたなら、もっとも生産的な時期たりえた可能性が大きい、としている。しかし、問題やパズルといったものであれば種類を問わず大好きであったから、外務省での仕事にも興味をもって取り組んだであろうし、電子工学について知識を獲得したのもその時であった、と指摘している[82]

1966年から、コンピュータ科学者らによる国際的学会のACMは、同学会の守備範囲であるコンピュータ科学を中心とした分野の最高の賞として、チューリング賞を授与している。物理や化学といったようなかなり広い分野の最高の賞、という位置づけにあるものとして、コンピュータ科学分野におけるノーベル賞に相当するものと一般に扱われている[83][84]

1974年夏、ブレッチリー・パークの活動について書かれた「ウルトラ・シークレット」出版[85]、チューリングらの功績について世間の知るところとなる。

1986年、ヒュー・ホワイトモアの戯曲「ブレイキング・ザ・コード」でチューリングが描かれた。1986年11月からロンドンのウェストエンドで公開され、1987年11月15日から1988年4月10日までブロードウェイで興行。1996年にはBBCでテレビドラマ化されている。いずれもチューリング役はデレク・ジャコビ。ブロードウェイでの公演はトニー賞3部門にノミネートされている。

1998年6月23日、86回目の誕生日に、伝記作者にして数学者のアンドリュー・ホッジスは公式の英国遺産としてブルー・プラーク(記念銘板)をチューリングの生まれた病院であったロンドンのウォーリントン・クレセントにあるコロネードホテルに掲げた[86][87]2004年6月7日には、死去50周年を記念して、ウィルムズロウ・ホリーミードの家にも記念のプラークが設置された[88]

1999年、タイム誌の「タイム100: 20世紀の最も影響力のある100人」で、コンピューター創造に果たした役割からチューリングを選んでいる[2]。1999年のニール・スティーブンスンの小説『クリプトノミコン』にはチューリングが登場している。2000年3月13日、セントビンセント・グレナディーンにて20世紀の偉人を集めた切手セットが発行された。その中にチューリングの肖像が描かれた切手もあり、「1937: アラン・チューリングのデジタルコンピュータ理論」と記されている。2002年、BBCが行った「偉大な英国人」投票で第21位にランクインした[89]

晩年に働いていたマンチェスターでは、様々な方法でその栄誉を称えている。1994年、マンチェスターの環状道路が "Alan Turing Way" と名付けられている。またこの道路には Alan Turing Bridge という橋もある。2001年6月23日(誕生日)には、マンチェスター大学に隣接するサックビル・パークにベンチに座っている形の銅像が設置された。

ファイル:Sackville Park Turing plaque.jpg
サックビル・パークの銅像に付随する銘板

この銅像はリンゴを持っている。リンゴは古来「禁じられた愛」の象徴であり、アイザック・ニュートンの万有引力の法則も思い起こさせるし、チューリングの死の状況も思い起こさせる。また、ブロンズ製のベンチにはレリーフで 'Alan Mathison Turing 1912–1954' と書かれていて、その下には 'Founder of Computer Science' をエニグマで暗号化した文字列が書かれている。台座には「計算機科学の父、数学者、論理学者、戦時中の暗号解読者、偏見の犠牲者」と記されている。バートランド・ラッセルの言葉も引用されていて「正しく見た数学は、真実だけでなく最高の美 - 彫刻のように冷たく厳しい美も有している」とある。台座の下には彫刻家が所有していた古いアムストラッド製パソコンが「あらゆる現代のコンピュータのゴッドファーザー」への捧げ物として埋められている[90]

没後50年を記念して、2004年10月28日には、幼少時に住んでいた町にあるサリー大のキャンパス内に銅像が置かれる[91]

プリンストン大学の発行する Princeton Alumni Weekly では、チューリングをジェームズ・マディソンに次ぐ偉大な卒業生だとしている。

2007年6月19日、ブレッチリー・パークに1.5トンの等身大の石像が立てられた。ウェールズ粘板岩を多数使用したもので、億万長者の Sidney Frank が彫刻家 Stephen Kettle に制作を依頼したものである[92]

2011年2月、チューリングの第二次世界大戦中の論文がオークションで買い取られ、ブレッチリー・パークに戻された[93]

2014年、人気俳優ベネディクト・カンバーバッチがチューリングを演じる映画『イミテーション・ゲーム/エニグマと天才数学者の秘密』が公開された。

政府による謝罪

2009年8月、ジョン・グラハム=カミングがイギリス政府に対して、アラン・チューリングを同性愛で告発したことへ謝罪するよう請願活動をはじめた[94][95]。これに対して数千の署名が集まった[96][97]

イギリス首相のゴードン・ブラウンはこの請願を認め、2009年9月10日に政府として正式な謝罪を表明し、当時のチューリングの扱いを「呆れたもの (appalling)」と表現して[8][96]、次のように声明を発表した。

数千の人々がアラン・チューリングのための正義と彼がぞっとする扱われ方をしたという認識を求めて集まった。チューリングは当時の法律に則って扱われ、時計の針は戻すことはできないが、彼に対する処置はまったく不当であり、深い遺憾の意を表す機会を得たことを我々全てが満足に思っている… イギリス政府とアランのおかげで自由に生活している全ての人々を代表し、『すまない、あなたは賞賛に値する』と言えることを非常に誇りに思う。[96]

2011年12月、William Jones はイギリス政府に対してアラン・チューリングの罪を免罪(名誉回復)してほしい[98]という電子請願を申請した[99]

この請願には21,000以上の署名が集まったが、法務大臣はチューリングが有罪宣告されたことは遺憾だが、当時の法律に則った正当な行為であったとしてこれを拒否した[100][101]

その後、2012年に英国貴族院に正式な恩赦の法案が提出され、2013年12月24日にエリザベス2世女王の名をもって正式に恩赦[102]が発効した[103]。キャメロン首相は、彼の業績をたたえる声明を発表した。

各大学における顕彰

ファイル:Alan Turing Building 1.jpg
マンチェスター大学のアラン・チューリング・ビルディング

生涯と業績に関する催しが英国論理学会議と英国数学史学会主催で2004年6月5日にマンチェスター大学で行われた。

生誕100周年

ファイル:David Chalmers, delivering a talk at De La Salle University-Manila, March 27, 2012.jpg
デ・ラ・サール大学(マニラ)において開催されたAlan Turing Yearカンファレンスの壇上に立つデイヴィッド・チャーマーズ(2012年3月27日)

生誕100年を記念して、Turing Centenary Advisory Committee (TCAC) は2012年を Alan Turing Yearとし、一年を通して世界各地でチューリングの生涯およびその功績を称えるイベントを行った。TCACには、マンチェスター大学ケンブリッジ大学ブレッチリー・パークなどの関係者が協力しており、数学者のS・バリー・クーパーEnglish版が議長を務め、甥のジョン・ダーモット・チューリングが名誉会長を務めている。

2012年6月23日には、Google DoodleGoogleトップページのロゴ)がチューリングマシンを模したデザインに変更された。アルゴリズムを設定するミニゲームが遊べるようになっていた[107]

ブレッチリー・パーク・トラストは、Winning Moves社と共同で、モノポリーのアラン・チューリング版を発表した。このモノポリーのマスとカードは、メイダヴェールにある出生の地からブレッチリー・パークのHut 8に勤務するまでのアラン・チューリングの生涯をたどるような内容に改訂されている[108]。また、このゲームには、チューリングを指導していたマックス・ニューマンの息子であるウィリアム・ニューマンが手書きで作成したモノポリーの原型のレプリカも同梱されている。この原型となったゲームを、1950年代にチューリングもプレイしていた[109]

フィリピンでは、デ・ラ・サール大学の哲学科が、2012年3月27日から28日にかけて、チューリングの生誕100周年を記念し、哲学、人工知能および認知科学に関する国際会議であるTuring 2012を開催した[110][111]。インドでは、マドゥライにおいて、6,000人の学生が出席する記念式典が行われた[112]

英国での記念イベント

ACMが6月にマンチェスターにおいて3日間のカンファレンスと、サンフランシスコにおいて2日間のカンファレンスをそれぞれ開催した。またケンブリッジでは、キングス・カレッジおよびケンブリッジ大学においてそれぞれチューリングの誕生日パーティとチューリング生誕100周年記念カンファレンスが開催された。ケンブリッジ大学でのものは、Computability in Europeにより開催された[113]

ロンドンのサイエンス・ミュージアムは、2012年6月から2013年7月にかけて、チューリングの生涯とその功績に特化した無料の展示を行った[114]。2012年2月には、ロイヤルメールが「Britons of Distinction」シリーズの一環として、チューリングの切手を発行した[115][116]2012年ロンドンオリンピックの聖火リレーは、チューリングの100回目の誕生日である2012年6月23日に、サックヴィル・ガーデンズにあるチューリングの像の前で引き継がれた。

2012年6月22日、マンチェスター市議会は、Lesbian and Gay Foundationと共同で、Alan Turing Memorial Awardを創設し、マンチェスターにおいてホモフォビアに立ち向かうことに顕著な貢献のあった個人・団体を表彰することとした[117]

オックスフォード大学では、チューリングの生誕100周年を記念して、コンピュータサイエンスと哲学の新しい科目が開設された[118]

これ以前にも、2004年6月5日にマンチェスター大学において、British Logic ColloquiumおよびBritish Society for the History of Mathematicsの主催で行われた、チューリングの生涯とその功績を称えるイベントを含め、さまざまなイベントが行われている[119]

脚注・出典

  1. 1.0 1.1 テンプレート:Cite doi
  2. 2.0 2.1 Gray, Paul (1999年3月29日). “Alan Turing – Time 100 People of the Century”. Time Magazine. http://www.time.com/time/magazine/article/0,9171,990624,00.html. "The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine." 
  3. Homer, Steven and Alan L. (2001). Computability and Complexity Theory. Springer via Google Books limited view. ISBN 0-387-95055-9. Retrieved on 13 May 2011. 
  4. Garner, Alan (12 November 2011), “My Hero: Alan Turing”, Saturday Guardian Review: 5, http://www.guardian.co.uk/books/2011/nov/11/alan-turing-my-hero-alan-garner . 2011閲覧. 
  5. O'Connell & Fitzgerald 2003, pp. 28-31
  6. Leavitt 2007, pp. 231-233
  7. Turing, A. M. (1952). “The Chemical Basis of Morphogenesis”. Philosophical Transactions of the Royal Society of London, series B 237 (641): 37–72. doi:10.1098/rstb.1952.0012. 
  8. 8.0 8.1 “PM apology after Turing petition”. BBC News. (2009年9月11日). http://news.bbc.co.uk/2/hi/technology/8249792.stm 
  9. 9.0 9.1 Hodges 1992, p. 5
  10. The Alan Turing Internet Scrapbook”. Turing.org.uk. . 2012閲覧.
  11. London Blue Plaques”. English Heritage. 2009年9月13日時点のオリジナルよりアーカイブ。. 2007閲覧.
  12. テンプレート:Openplaque
  13. The Alan Turing Internet Scrapbook”. . 2006閲覧.
  14. Hodges 1992, p. 6
  15. Jones, G. James (2001年12月11日). “Alan Turing – Towards a Digital Mind: Part 1”. System Toolbox. . 2007閲覧.
  16. Hofstadter, Douglas R. (1985). Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books. ISBN 0-465-04566-9. OCLC 230812136. 
  17. Hodges 1992, p. 26
  18. Hodges 1992, p. 34
  19. Teuscher, Christof (ed.) (2004). Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. ISBN 3-540-20020-7. OCLC 53434737 62339998. 
  20. Turing biography”. Gap-system.org. . 2012閲覧.
  21. Paul Gray, Alan Turing Time Magazine's Most Important People of the Century, p.2
  22. The Inspiration of Life and Death, 1928–1932 Alan Turing Scrapbook
  23. See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 Decembre 2009 Journal Electronique d'Histoire des Probabilités et de la Statistique
  24. Hodges 1992, pp. 88,94
  25. Turing, A. M. (1936). “On Computable Numbers, with an Application to the Entscheidungsproblem”. Proceedings of the London Mathematical Society. 2 42: 230–65. 1936–37. doi:10.1112/plms/s2-42.1.230. http://www.comlab.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf. (および Turing, A.M. (1938年). “On Computable Numbers, with an Application to the Entscheidungsproblem: A correction”. Proceedings of the London Mathematical Society 43: pp. 544–6. 1937. doi:10.1112/plms/s2-43.6.544 
  26. Hodges 1992, p. 111
  27. 以上のようにチューリングマシン及び万能チューリングマシンについての研究は第二次大戦より前のものであり、映画『イミテーション・ゲーム』の作中では、「あなたの論文を読んだ」と研究所で言われる場面があるのは史実を参考にしたものと思われるが、一方でエピローグの、戦中の業績が元でチューリングマシンにつながっているかのような表現は正しくない。
  28. Turing, A. M. (1938), Systems of Logic Based on Ordinals, https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf 
  29. Hodges 1992, p. 138
  30. Hodges 1992, p. 152
  31. Hodges 1992, pp. 153–154
  32. Briggs, Asa, (TV programme broadcast 21 November 2011)Britain's Greatest Codebreaker (UK Channel 4) 
  33. Jack Copeland, "Colossus and the Dawning of the Computer Age", p. 352 in Action This Day, 2001
  34. Copeland 2004, p. 217
  35. 35.0 35.1 Copeland 2006, p. 378
  36. Turing's Treatise on Enigma
  37. Hodges 1992, p. 208
  38. Lewin 1978, p. 57
  39. Brown, Anthony Cave (1975), Bodyguard of Lies: The Extraordinary True Story Behind D-Day, The Lyons Press, ISBN 978-1-59921-383-5 
  40. John Graham-Cumming (2010年3月10日). “An Olympic honour for Alan Turing”. the Guardian. http://www.guardian.co.uk/commentisfree/2010/mar/10/alan-turing-2012-olympics 
  41. "The Men Who Cracked Enigma", Episode 4 in the UKTV History Channel documentary series "Heroes of World War II"
  42. Professor Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct"
  43. Oakley 2006, p. 40/03B
  44. Copeland, Jack; Diane Proudfoot (2004年5月). “Alan Turing, Codebreaker and Computer Pioneer”. . 2007閲覧.
  45. Bletchley Park Unveils Statue Commemorating Alan Turing”. . 2007閲覧.
  46. 46.0 46.1 46.2 Mahon 1945, p. 14
  47. Leavitt 2007, pp. 184–186
  48. Leavitt 2007, pp. 176–178
  49. Hodges 1992, pp. 242-245
  50. Hodges 1992, pp. 245-253
  51. Alexander circa 1945, p. 42
  52. Copeland 2006, p. 380
  53. Copeland 2006, p. 381
  54. Copeland 2006, p. 72
  55. Gannon 2007, p. 230
  56. Copeland 2006, pp. 382,383
  57. Hodges 1992, pp. 245-250
  58. Hodges 1992, p. 273
  59. Hodges 1992, p. 346
  60. テンプレート:Openplaque
  61. Copeland 2006, p. 108
  62. Randell, B (1980), A History of Computing in the Twentieth Century: Colossus, http://www.cs.ncl.ac.uk/research/pubs/books/papers/133.pdf . 2012閲覧.  で以下を引用 Womersley, J. R. (13 February 1946), “'ACE' Machine Project”, Executive Committee, National Physical Laboratory, Teddington, Middlesex 
  63. Harnad, Stevan (2008) The Annotation Game: On Turing (1950) on Computing, Machinery and Intelligence. In: Epstein, Robert & Peters, Grace (Eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Springer
  64. Alan Turing vs Alick Glennie (1952) "Turing Test" Chessgames.com
  65. Saygin, A.P., Cicekli, I., & Akman, V. (2000) Turing Test: 50 years later. Minds and Machines, Vol. 10, pp 463–518.
  66. SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003”. Intusoft.com (2001年8月16日). . 2011閲覧.
  67. "Control Mechanism For Biological Pattern Formation Decoded" ScienceDaily, 30 November 2006
  68. Turing's Last, Lost work - ウェイバックマシン(2003年8月23日アーカイブ分)
  69. MI6長官
  70. Cave Brown, Anthony (1987), C : The Secret Life of Sir Stewart Graham Menzies, Spymaster to Winston Churchill, New York: Macmillan, ISBN 978-0-02-517390-3 
  71. Leavitt 2007, p. 266
  72. Hodges 1992, p. 458
  73. Leavitt 2007, p. 268
  74. Turing, Alan (1912–1954)”. Glbtq.com. . 2011閲覧.
  75. Leavitt 2007, p. 269
  76. Copeland 2006, p. 143
  77. Hodges 1992, p. 488
  78. Hodges 1992, p. 529
  79. 食器を自身で金メッキ・銀メッキする趣味を持っており、メッキに使用する青酸が常時、家にあった。母はメッキ作業をした後は手を良く洗うようにと息子にいつもいっていたという。すなわち、作業後に手に残存していた青酸を誤って口にした事故とする。
  80. Hodges 1992, pp. 488, 489
  81. Leavitt 2007, p. 140
  82. ジェイムス・H・ウィルキンソン「一数値解析研究者の回顧と展望」、『ACMチューリング賞講演集』 pp. 289-290
  83. Steven Geringer (2007年7月27日). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. . 2008閲覧.
  84. 近年、高性能計算(HPC)分野を中心に、そういった副分野の(それはそれで権威はあるのだが)賞が、マスコミ向けや素人向けとして「コンピュータ分野のノーベル賞」などという「わかりやすい(しかし間違った)」表現がなされることがあるが、コンピュータ科学の分野においてノーベル賞に相当する賞は、チューリング賞をおいて他にない。
  85. Winterbotham, F.W. (2000) [1974], The Ultra secret: the inside story of Operation Ultra, Bletchley Park and Enigma, London: Orion Books Ltd, ISBN 978-0-7528-3751-2, OCLC 222735270  機密解除になる以前に関係者の記憶を元に書かれたノンフィクションで、若干正確性に欠ける。
  86. Unveiling the official Blue Plaque on Alan Turing's Birthplace”. . 2006閲覧.
  87. About this Plaque – Alan Turing”. 2007年10月13日時点のオリジナルよりアーカイブ。. 2006閲覧.
  88. テンプレート:Openplaque
  89. “100 great British heroes”. BBC News. (2002年8月21日). http://news.bbc.co.uk/2/hi/entertainment/2208671.stm 
  90. “Computer buried in tribute to genius”. Manchester Evening News. (2001年6月15日). http://www.manchestereveningnews.co.uk/news/s/27/27595_computer_buried_in_tribute_to_genius.html . 2009閲覧. 
  91. The Earl of Wessex unveils statue of Alan Turing”. . 2007閲覧.
  92. Bletchley Park Unveils Statue Commemorating Alan Turing, Bletchley Park press release, 20 June 2007
  93. Josh Halliday (2011年2月25日). “Turing papers to stay in UK after 11th-hour auction bid at”. The Guardian (UK). http://www.guardian.co.uk/science/2011/feb/25/turing-papers-auction-bid-bletchley . 2011閲覧. 
  94. “Thousands call for Turing apology”. BBC News. (31 August 2009). http://news.bbc.co.uk/2/hi/technology/8226509.stm . 2009閲覧. 
  95. “Petition seeks apology for Enigma code-breaker Turing”. CNN. (01 September 2009). http://www.cnn.com/2009/WORLD/europe/09/01/alan.turing.petition/index.html . 2009閲覧. 
  96. 96.0 96.1 96.2 Davies, Caroline (2009年9月11日). “PM's apology to codebreaker Alan Turing: we were inhumane”. The Guardian (UK). http://www.guardian.co.uk/world/2009/sep/11/pm-apology-to-alan-turing 
  97. 請願活動はイギリス市民のみを対象として行われた。
  98. “Petition to pardon computer pioneer Alan Turing started”. BBC News. (2011年12月6日). http://www.bbc.co.uk/news/uk-england-manchester-16061279 
  99. Grant a pardon to Alan Turing” (2011年12月6日). . 2012閲覧.
  100. Widespread Celebrations But No Pardon For Turing” (2012年2月6日). . 2012閲覧.
  101. 同性愛行為 (gross indecency) に対する刑罰が削除されたのは1967年。
  102. Royal Prerogative of Mercy
  103. ittousai (2013年12月24日). “英国政府、アラン・チューリングに没後59年目の恩赦。計算機科学の父”. Engadget 日本版. http://japanese.engadget.com/2013/12/24/59/ . 2013閲覧. 
  104. Turing Days @ İstanbul Bilgi University”. . 2011閲覧.
  105. Turing at the University of Oregon”. . 2011閲覧.
  106. Turing at the EPFL”. . 2012閲覧.
  107. 今日のGoogleホリデーロゴはアラン・チューリング生誕100周年”. . 2012閲覧.
  108. “Special Monopoly edition celebrates Alan Turing's life”. BBC News. (2012年9月10日). http://www.bbc.co.uk/news/technology-19543039 . 10 September 2012閲覧. 
  109. Bletchley Park Launches Special Edition Alan Turing Monopoly Board”. . 13 September 2012閲覧.
  110. “DLSU to host int'l summit on philosophy”. ABS-CBN.com. (2012年3月24日). http://www.abs-cbnnews.com/lifestyle/03/24/12/dlsu-host-intl-summit-philosophy . 18 December 2013閲覧. 
  111. Layug-Rosero, Regina (2012年4月21日). “The Thinking Machine: A philosophical analysis of the Singularity”. GMA News Online. http://www.gmanetwork.com/news/story/255746/scitech/science/the-thinking-machine-a-philosophical-analysis-of-the-singularity . 18 December 2013閲覧. 
  112. Shankar, M. Gopi (2012年7月5日). “Making themselves heard”. The Hindu (Chennai, India). http://www.thehindu.com/features/metroplus/making-themselves-heard/article3605820.ece . 31 October 2013閲覧. 
  113. The Northerner: Alan Turing, computer pioneer, has centenary marked by a year of celebrations” (2011年2月23日). . 29 May 2011閲覧.
  114. Cellan-Jones, Rory; Rooney (curator), David (2012年6月18日). “Enigma? First look at Alan Turing exhibition (report with video preview)”. BBC News Online. http://www.bbc.co.uk/news/technology-18459979 . 23 June 2012閲覧. 
  115. Cutlack, Gary (2012年1月2日). “Codebreaker Alan Turing gets stamp of approval”. Gizmodo. http://www.gizmodo.co.uk/2012/01/alan-turing-to-feature-in-britons-of-distinction-stamp-series/ . 2 January 2012閲覧. 
  116. Caroline Davies (2012年1月2日). “Codebreaker Alan Turing gets stamp of approval | Art and design”. The Guardian. http://www.guardian.co.uk/artanddesign/2012/jan/02/codebreaker-alan-turing-stamp-approval . 2012閲覧. 
  117. Anon (2012年6月22日). “Centenary award tribute to "enigma" codebreaker Alan Turing.”. Manchester Evening News (Manchester: MEN media). http://menmedia.co.uk/manchestereveningnews/news/s/1581770_centenary-award-tribute-to-enigma-codebreaker-alan-turing . 22 June 2012閲覧. 
  118. Computer Science and Philosophy. University of Oxford. http://www.cs.ox.ac.uk/admissions/ugrad/Computer_Science_and_Philosophy . 23 June 2013閲覧.. 。学士課程における新しい科目の最初の学生は、チューリングの生誕100周年にあたる2012年から受け入れ開始となる。
  119. BSHM Meetings (1992–2007)”. dcs.warwick.ac.uk. . 24 December 2013閲覧.

参考文献

関連文献

関連項目

外部リンク

論文

テンプレート:心の哲学 テンプレート:Logic

カテゴリ:20世紀イギリスの哲学者 120623 カテゴリ:無神論の哲学者 カテゴリ:イングランドの哲学者 カテゴリ:イングランドの数学者 カテゴリ:イギリスの論理学者 カテゴリ:イギリスの計算機科学者 カテゴリ:暗号研究者 カテゴリ:コンピュータ関連人物 カテゴリ:大英帝国勲章 カテゴリ:王立協会フェロー カテゴリ:形式手法の人物 カテゴリ:マンチェスター大学の教員 カテゴリ:イギリス国立物理学研究所の人物 カテゴリ:シティ・オブ・ウェストミンスター出身の人物 カテゴリ:ゲイの人物 カテゴリ:LGBTの歴史 カテゴリ:数学に関する記事 カテゴリ:イギリス政府通信本部 カテゴリ:1912年生 カテゴリ:1954年没