「アラン・チューリング」の版間の差分
LightgrayShips2015 (会話 | 投稿記録) |
|||
(100人を超える利用者による、間の287版が非表示) | |||
1行目: | 1行目: | ||
{{複数の問題 |
|||
|出典の明記=2011-12 |
|||
|参照方法=2011-12 |
|||
}} |
|||
{{Infobox scientist |
{{Infobox scientist |
||
| birth_name= Alan Mathison Turing |
| birth_name = Alan Mathison Turing |
||
| image = Turing |
| image = Alan Turing az 1930-as években.jpg |
||
| image_size= |
| image_size = 200px |
||
| caption = |
|||
| caption = [[サリー大学]]にあるチューリング像 |
|||
| birth_date= {{Birth date|1912|6|23|df=yes}} |
| birth_date = {{Birth date|1912|6|23|df=yes}} |
||
| birth_place = {{ |
| birth_place = {{GBR1801}}<br>{{ENG}}・ロンドン・<br />{{仮リンク|メイダヴェール|en|Maida Vale}} |
||
| death_date= {{Death date and age|1954|6|7|1912|6|23|df=yes}} |
| death_date = {{Death date and age|1954|6|7|1912|6|23|df=yes}} |
||
| death_place = {{GBR}}・チェシャー・<br />{{仮リンク|ウィルムズロー|en|Wilmslow}} |
| death_place = {{GBR}}<br>{{ENG}}・チェシャー・<br />{{仮リンク|ウィルムズロー|en|Wilmslow}} |
||
| residence = {{GBR}} |
| residence = {{GBR}} |
||
| nationality = {{GBR}} |
| nationality = {{GBR}} |
||
| field = [[数学]]、[[暗号解読]]、[[計算機科学]] |
| field = [[数学]]、[[暗号解読]]、[[計算機科学]]、[[数理生物学]] |
||
| work_institutions = [[ケンブリッジ大学]]<br />[[政府通信本部]]<br /> |
| work_institutions = [[ケンブリッジ大学]]<br />[[政府通信本部]]<br />[[国立物理研究所 (イギリス)]]<br />[[マンチェスター大学]] |
||
| alma_mater= [[キングス・カレッジ (ケンブリッジ大学)]]<br />[[プリンストン大学]] |
| alma_mater = [[キングス・カレッジ (ケンブリッジ大学)]]<br />[[プリンストン大学]] |
||
| doctoral_advisor= [[アロンゾ・チャーチ]] |
| doctoral_advisor = [[アロンゾ・チャーチ]] |
||
| doctoral_students = {{仮リンク|ロビン・ガンディー|en|Robin Gandy}} |
| doctoral_students = {{仮リンク|ロビン・ガンディー|en|Robin Gandy}} |
||
| known_for = [[停止性問題]]<br />[[チューリングマシーン]]<br />{{仮リンク|エニグマの暗号解読|en|Cryptanalysis of the Enigma}}<br />[[ACE (コンピュータ)]]<br />[[チューリング賞]]<br />[[チューリング・テスト]]<br />[[チューリング・パターン]] |
| known_for = [[停止性問題]]<br />[[チューリングマシーン]]<br />{{仮リンク|エニグマの暗号解読|en|Cryptanalysis of the Enigma}}<br />[[ACE (コンピュータ)]]<br />[[チューリング賞]]<br />[[チューリング・テスト]]<br />[[チューリング・パターン]] |
||
| prizes= [[大英帝国勲章]]<br />[[王立協会 |
| prizes = [[大英帝国勲章]]<br />[[王立協会フェロー]]<ref>{{FRS |code = NA1673 |title = Turing; Alan (1912 - 1954) |accessdate = 2011-12-11 }}</ref> |
||
| signature = Alan Turing signature.svg |
|||
}} |
}} |
||
[[ |
[[File:Alan Turing Memorial Closer.jpg|thumb|マンチェスターの[[:en:Sackville Gardens|Sackville Gardens]]にあるアラン・チューリングの銅像]] |
||
'''アラン・チューリング''' |
'''アラン・マシスン・チューリング'''(Alan Mathison Turing、{{IPA-en|tjúǝrɪŋ}}〔音写の一例:テュァリング〕, {{post-nominals|post-noms=[[大英帝国勲章|OBE]], [[王立協会フェロー|FRS]]}} [[1912年]][[6月23日]] - [[1954年]][[6月7日]])は、[[イギリス]]の[[数学者]]、[[暗号]]研究者、[[計算機科学]]者、[[哲学]]者である。日本語において、姓の {{en|Turing}} は'''テューリング'''とも表記される<ref>{{Cite Kotobank|word=テューリング|encyclopedia=ブリタニカ国際大百科事典 小項目事典|accessdate=2024-12-08}}</ref>。 |
||
黎明期の[[電子計算機]]の研究に従事し、計算機械[[チューリングマシン]]として計算を定式化し、その知性や思考に繋がりうる能力と限界の問題を議論するなど、情報処理の基礎的・原理的分野において大きく貢献した。また、[[偏微分方程式]]におけるパターン形成の研究などでも先駆的な業績を持つ。 |
|||
== 略歴 == |
|||
現代[[情報工学|計算機科学]]の父と言われている。[[チューリング・テスト]]では、[[人工意識]](機械が[[意識]]を持ち[[思考]]することができるか)についての議論に挑発的かつ大きな影響を与えた。[[チャーチ=チューリングのテーゼ]]のチューリング版として広く認識されている[[チューリングマシン]]では、計算と[[アルゴリズム]]の概念の形式化手法を提供した。実用的なほとんどのコンピュータモデルはチューリングマシンと同等かサブセットの機能を持っている。 |
|||
== 人物 == |
|||
[[第二次世界大戦]]の間、ブレッチレイ・パークにあるイギリスの[[暗号解読]]センターの[[政府暗号学校]]でドイツの暗号を解読するいくつかの手法を考案し、英国の海上補給線を脅かすドイツ海軍の[[Uボート]]の暗号通信を解読する部門 (Hut 8) の責任者となった。ドイツの暗号機[[エニグマ (暗号機)|エニグマ]]の設定を見つけるための機械 bombe を開発した。 |
|||
経歴・業績の基盤となる出発点は数学であったが、[[第二次世界大戦]]中の[[暗号解読]]業務に従事した。また、黎明期の電子計算機の開発に携わったことから、[[コンピュータ]]・[[情報処理]]の基礎理論である計算可能性などに関する仕事をすることとなった。 |
|||
第二次世界大戦の間、[[ブレッチリー・パーク]]にあるイギリスの暗号解読センターの[[政府暗号学校]]にてドイツの暗号を解読するいくつかの手法を考案し、英国の海上補給線を脅かすドイツ海軍の[[Uボート]]の暗号通信を解読する部門 (Hut 8) の責任者となった。ドイツが使用していた、[[エニグマ (暗号機)|エニグマ]]暗号機を利用した通信の暗文を解読する(その通信における暗号機の設定を見つける)ための機械「bombe」を開発した。 |
|||
戦後、[[イギリス国立物理学研究所]] (NPL) に勤務し、プログラム内蔵式コンピュータの初期の設計のひとつ[[ACE (コンピュータ)|ACE]](Automatic Computing Engine)に携わったが、実際に製作されるには至らなかった。[[1947年]]、マンチェスター大学に移ると、初期のコンピュータ [[Manchester Mark I]] のソフトウェア開発に従事した。 |
|||
チューリングの業績を紹介する時、[[チャーチ=チューリングのテーゼ]]と[[計算可能性理論]]への貢献がまず第一に挙げられる。特に[[アルゴリズム]]を実行するマシンを形式的に記述したものの一つであるチューリングマシンにその名を残し、人によっては前述のテーゼを「チューリング=チャーチ」と呼称するべきであるとする者もいるほどである。また、任意のチューリングマシンを模倣([[エミュレータ (コンピュータ)|エミュレート]])できる「万能チューリングマシン」は、同分野の基本的な定理のひとつである[[停止性問題]]の決定不能性定理と関係する。さらに、理論面だけではなく、実際面でもコンピュータの誕生に重要な役割を果たした<ref name="frs">{{cite journal|last1=Newman|first1=M. H. A.|title=Alan Mathison Turing. 1912-1954|journal=Biographical Memoirs of Fellows of the Royal Society|volume=1|issue=0|year=1955|pages=253–263|issn=0080-4606|doi=10.1098/rsbm.1955.0019}}</ref><ref name=AFP>{{Cite news| title =Alan Turing – Time 100 People of the Century |url= http://www.time.com/time/magazine/article/0,9171,990624,00.html |work=Time Magazine |quote=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. |first=Paul |last=Gray |date=29 March 1999}}</ref>。「[[コンピュータ科学]]の父」および([[チューリング・テスト]]など)からは「[[人工知能]](AI)の父」とも言われる<ref>{{Cite book|author=Homer, Steven and Alan L. |title=Computability and Complexity Theory|url= https://books.google.co.jp/books?id=r5kOgS1IB-8C&pg=PA35&redir_esc=y&hl=ja|publisher=Springer via Google Books limited view|page=35|isbn=0-387-95055-9|accessdate=13 May 2011|year=2001}}</ref>。 |
|||
[[1952年]]、同性愛の罪で逮捕。保護観察の身となり、[[ホルモン療法]]を受ける。 |
|||
がっしりした体形で、声は甲高く話好きで機知に富み、多少学者ぶったところがあったといわれている<ref>{{Citation| last = Garner | first = Alan | author-link = アラン・ガーナー | title = My Hero: Alan Turing | newspaper = Saturday Guardian Review | page = 5 | date = 12 November 2011 | url = http://www.guardian.co.uk/books/2011/nov/11/alan-turing-my-hero-alan-garner | accessdate = 2011-11-23 }}</ref>。また、[[アスペルガー症候群]]([[自閉症スペクトラム障害]]・ASD)を示唆する特徴の多くを示しているとの指摘もある<ref>{{Harvnb|O'Connell|Fitzgerald|2003|pp=28-31}}</ref>。 |
|||
[[1954年]]、死去。42歳の若さであった。検死によると、[[シアン化水素|青酸中毒]]による自殺であった。 |
|||
戦後は[[イギリス国立物理学研究所]] (NPL) に勤務し、プログラム内蔵式コンピュータの初期設計のひとつである[[ACE (コンピュータ)|ACE]] (Automatic Computing Engine) に携わった(ただし、チューリング自身はその完成を見ずに異動している)。[[1947年]]、マンチェスター大学に移ると、初期のコンピュータである [[Manchester Mark I]] のソフトウェア開発に従事し<ref>{{Harvnb|Leavitt|2007|pp=231-233}}</ref>、[[数理生物学]]に興味を持つようになる。[[形態形成]]の化学的基礎についての論文を書き<ref>{{Cite journal| last= Turing | first= A. M. | title = The Chemical Basis of Morphogenesis | journal=Philosophical Transactions of the Royal Society of London, series B | volume = 237 | pages = 37–72 | year = 1952 | doi=10.1098/rstb.1952.0012| issue= 641| ref= harv}}</ref>、1960年代に初めて観察された[[ベロウソフ・ジャボチンスキー反応]]のような発振する[[化学反応]]の存在を予言した。 |
|||
=== 出生から大学進学まで === |
|||
インドで公務員として働く父のジュリアス・チューリングは、1911年に妻エセルの妊娠を知ると、[[イギリス]]本国での養育を考え[[ロンドン]]に戻り、1912年6月23日にアランが誕生。 |
|||
[[1952年]]、同性愛の罪(風俗壊乱罪)で警察に逮捕されて保護観察の身となり、[[転向療法]]としてホルモン治療を受ける。[[1954年]]に41歳で死去。検死によると、[[シアン化水素|青酸中毒]]による自殺と断定されたが、母や一部の友人は事故だと信じていた。 |
|||
父の任期が続いていたため、幼年期に両親はインドとイギリスを行ったり来たりする生活を送り、アランと兄のジョンはイギリスの友人に預けられる。文字を読むことは三週間で覚え、数字に強くパズルが非常に得意だったと、幼年期に天才の片鱗を見せ始める。 |
|||
2009年9月10日、インターネットでのキャンペーンに続いて[[イギリスの首相|首相]]の[[ゴードン・ブラウン]]が、戦後のイギリス政府によるチューリングへの扱いについて公式に謝罪した<ref name = "PM-apology">{{Cite news| url = http://news.bbc.co.uk/2/hi/technology/8249792.stm | title = PM apology after Turing petition | date = 11 September 2009 |work=BBC News }}</ref>。 |
|||
6歳でセント・マイケルズ学校に入学、担任教師に続き、校長もすぐに彼の才能に気づく。[[1926年]]、14歳でシャーボーン学校に入学。登校初日が[[ゼネスト]]予定日と重なったため、前日から100kmの距離を一人で自転車で行くことにして、途中で宿をとって登校。このできごとは[[地方紙|地元紙]]に掲載された。 |
|||
== 生涯 == |
|||
シャーボーンは有名な[[パブリックスクール]]であり、その校風は古典を重視するものだったのである。校長は両親に「ふたつの学校の間で落ちこぼれないことを望みます。パブリックスクールに留まるなら、教養を身に付けねばなりません。単に科学者になるのなら、パブリックスクールに通うのは時間の無駄です」 (Hodges, 2000, p26)という手紙を書くなど、数学と科学への興味は、シャーボーンの教師たちとは合わなかった。 |
|||
=== 生い立ち === |
|||
母エセル・チューリングは、[[イギリス領インド帝国]][[オリッサ州]]チャトラプルにてアランを妊娠した<ref name = "Hodges1983P5">{{Harvnb|Hodges|1992|p=5}}</ref><ref> {{Cite web|url= http://www.turing.org.uk/turing/scrapbook/early.html |title=The Alan Turing Internet Scrapbook |publisher=Turing.org.uk |date= |accessdate=2012-01-02}} </ref>。父のジュリアス・チューリングは、当時[[インド高等文官]]であり、1911年にエセルの妊娠を知ると、[[イギリス]]本国での養育を考えて[[ロンドン]]のメイダヴェールに戻った<ref name="englishheritaget">{{Cite web| url = http://www.english-heritage.org.uk/server/show/nav.001002006005/chooseLetter/T | archiveurl = https://webcitation.org/5jkyjSdgY | archivedate = 2009-09-13 | title = London Blue Plaques | accessdate =2007-02-10 | work=English Heritage}}</ref>。1912年6月23日、アランが誕生した{{efn|アランが生まれた病院(現在はホテル<ref name="Hodges1983P5"/>)には、それを記念した[[ブルー・プラーク]]がある<ref>{{Openplaque|381}}</ref><ref name="turingorguk">{{Cite web| url= http://www.turing.org.uk/turing/scrapbook/memorial.html | title=The Alan Turing Internet Scrapbook | accessdate=2006-09-26}} </ref>。}}。 |
|||
ジュリアスの任期が続いており、両親はインドとイギリスの[[ヘイスティングス]]<ref>{{Harvnb|Hodges|1992|p=6}}</ref>を行き来する生活を送っていたため、アランと兄のジョン・チューリングはイギリスの友人に預けられる。アランは文字を読むことを3週間で覚えたほか、数字に強くパズルが非常に得意だったという<ref name=toolbox>{{Cite web|title=Alan Turing – Towards a Digital Mind: Part 1 |first=G. James |last=Jones |date=11 December 2001 |url= http://www.systemtoolbox.com/article.php?history_id=3 |accessdate=2007-07-27 |work=System Toolbox}}</ref>。 |
|||
このようなことがあっても、学問に対する驚くべき能力を示し、初等[[微分積分学]]も習っていない[[1927年]]にもっと難しい問題を解いていた。[[1928年]]、[[アルベルト・アインシュタイン]]の書いた文章に触れた16歳でその内容を理解しただけでなく、明記されていなかった[[ニュートン力学]]についてのアインシュタインの疑問を外挿したという。 |
|||
6歳でセント・マイケルズ学校に入学した。担任教師に続き、校長もすぐにアランの才能に気づく。 |
|||
親友のクリストファー・モルコムに恋をしたが、シャーボーンの最終学期中、感染牛のミルクを小さいころに飲んでいたため牛結核症を患って、モルコムは死去。 |
|||
=== パブリックスクール時代 === |
|||
[[1926年]]、14歳で{{仮リンク|シャーボーン・スクール|en|Sherborne School}}に入学。登校初日が[[ゼネラル・ストライキ]]予定日と重なったため、前日から100kmの距離を一人で自転車で行くことにして、途中で宿をとって登校。このできごとは[[地方紙|地元紙]]に掲載された<ref name=metamagical>{{Cite book|title=Metamagical Themas: Questing for the Essence of Mind and Pattern |first=Douglas R. |last=Hofstadter |year=1985 |publisher=Basic Books |isbn=0-465-04566-9 |oclc=230812136}}</ref>。 |
|||
シャーボーンは有名な[[パブリックスクール]]であり、その校風は[[西洋古典学|古典]]を重視するものだったが、チューリングは、主に数学と科学に才能を発揮した。そのため、同校の校長は、アランの両親に「どっちつかずにならないと良いですが。パブリックスクールに留まるなら、教養を身に付けねばなりません。単に科学者になるのなら、パブリックスクールに通うのは、時間の無駄です」<ref>{{Harvnb|Hodges|1992|p=26}}</ref>という手紙を書いた。 |
|||
しかし、このようなことがあっても、アランは、学問に対する驚くべき能力を示し、初等[[微分積分学]]も習っていない[[1927年]]に、もっと難しい問題を解いていた。[[1928年]]、[[アルベルト・アインシュタイン]]の書いた文章に触れ、16歳でその内容を理解しただけでなく、そこには明記されていなかった[[ニュートン力学]]について、アインシュタインの疑問を外挿したという<ref>{{Harvnb|Hodges|1992|p=34}}</ref>。 |
|||
同性の親友であるクリストファー・モルコムに恋をしたが、シャーボーンの最終学期中、感染牛のミルクを小さいころに飲んでいたため<ref name=teuscher>{{Cite book|last=Teuscher |first=Christof (ed.) |title=Alan Turing: Life and Legacy of a Great Thinker |year=2004 |publisher=[[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer-Verlag]] |isbn=3-540-20020-7 |oclc=53434737 62339998}}</ref>牛結核症を患って、モルコムは死去した(1930年2月13日)<ref>{{Cite web |url= http://www.gap-system.org/~history/Biographies/Turing.html |title=Turing biography |publisher=Gap-system.org |date= |accessdate=2012-01-02}}</ref>。このことがきっかけとなり、チューリングは、[[無神論]]者になった。また、脳の働きなどの[[現象]]についても、[[唯物論]]的に解釈するようになったが<ref>Paul Gray, [http://www.time.com/time/magazine/article/0,9171,990624,00.html Alan Turing] Time Magazine's Most Important People of the Century, p.2</ref>、心のどこかで死後の生を信じていたという<ref>[http://www.turing.org.uk/turing/scrapbook/spirit.html The Inspiration of Life and Death, 1928–1932] Alan Turing Scrapbook</ref>。 |
|||
=== 大学時代と計算可能性についての研究 === |
=== 大学時代と計算可能性についての研究 === |
||
[[ |
[[File:KingsCollegeChapel.jpg|thumb|キングス・カレッジの計算機室はTuringと名づけられている]] |
||
ケンブリッジ大学[[キングス・カレッジ_(ケンブリッジ大学)|キングス・カレッジ]]へ進学した。1931年から1934年まで学生として学び、[[数学]]で優秀な成績を修めて卒業した。1935年に、[[中心極限定理]]を証明した論文が認められ、キングス・カレッジの[[フェロー]](特別研究員)に選ばれた<ref>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 [http://www.jehps.net/decembre2009.html Decembre 2009] Journal Electronique d'Histoire des Probabilités et de la Statistique</ref>。ただし、中心極限定理は1922年に{{仮リンク|J・W・リンデベルグ|en|Jarl Waldemar Lindeberg}}が証明済みだったが、チューリングはその業績を知らなかった<ref>{{Harvnb|Hodges|1992|pp=88,94}}</ref>。 |
|||
1928年、ドイツの数学者[[ダフィット・ヒルベルト]]は、「[[決定問題]]」への注目を呼びかけた。チューリングは、重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"(「計算可能数、ならびにその[[ダフィット・ヒルベルト|ヒルベルト]]の決定問題への応用」、1936年5月28日提出、11月12日配布)<ref>{{Cite journal| last= Turing | first= A. M. |year=1936 | publication-date = 1936–37 | title = On Computable Numbers, with an Application to the Entscheidungsproblem | periodical = Proceedings of the London Mathematical Society | series = 2 | volume = 42 | pages = 230–65 | doi= 10.1112/plms/s2-42.1.230 | url = http://www.comlab.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf | ref= harv}}(および {{Cite news| last = Turing | first = A.M. | publication-date = 1937 | title = On Computable Numbers, with an Application to the Entscheidungsproblem: A correction | periodical = Proceedings of the London Mathematical Society | series = 2 | volume = 43 | pages = 544–6 | doi = 10.1112/plms/s2-43.6.544 | year = 1938 }})</ref>で、この問題の解決に重要な役割を果たした。 |
|||
この論文の重要な点を、現代の数学および[[数学基礎論]]および[[コンピュータ科学]]の視点からまとめると次のようになる。(1)「[[チューリングマシン]]」という[[計算モデル]]を提示し、19世紀以前の数学では[[数理論理学|数理論理]]の視点からすると[[自然言語]]で記述されるなど曖昧な点があった[[アルゴリズム]]を形式的に表現する手法(のひとつ)を確立し、「何らかのチューリングマシンで計算可能な関数を[[計算可能関数]]とする」という[[計算可能性理論]]における重要なテーゼである[[チャーチ=チューリングのテーゼ]]を示した(チャーチの業績とは独立であり<ref>{{Harvnb|Hodges|1992|p=111}}</ref>、チューリングのほうがよりわかりやすく直感的であった。人によってはチューリング=チャーチのテーゼ、の順とすることもある)。(2)どんなチューリングマシンの動作をも、現代の言葉で言えば「[[エミュレータ (コンピュータ)|エミュレート]]」できる、「万能チューリングマシン」が可能であることを証明し、その構成法を示した。('''注意:''' この(1)と(2)が表現していることを曖昧に理解しないように注意すること。「テーゼ」は証明ではない(証明できるような性質のものではない)。しばしば、万能チューリングマシンによりあらゆる計算が可能であることを証明した、というような誤解が見受けられる。)(3)「万能チューリングマシン」の概念を利用して、[[停止性問題]]を否定的に証明した(これは[[クルト・ゲーデル|ゲーデル]]の[[不完全性定理]]と同等の結果とも言えるものである。詳細は[[停止性問題]]の記事を参照)。 |
|||
重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"(「計算可能数、ならびにその[[ダフィット・ヒルベルト|ヒルベルト]]の決定問題への応用」、[[1936年]]5月28日)で、[[チューリングマシン]]という概念を導入する事で[[アルゴリズム]]の概念を定式化し、[[1931年]]に[[クルト・ゲーデル|ゲーデル]]が発表した[[不完全性定理]]を別の形式で公式化した。 |
|||
1936年9月から1938年7月にかけて、[[プリンストン大学]]において[[アロンゾ・チャーチ]](前述の「チャーチ=チューリングのテーゼ」のチャーチである)に師事した。1938年、プリンストンで[[博士号]]を得た。博士論文<ref> {{Citation| last = Turing | first = A. M. | title = Systems of Logic Based on Ordinals | year = 1938 | url = https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf }} </ref>では、数の広がり(正の整数→負数→無理数→虚数)とその公理体系の進化に関して、それらすべてを包含する「[[順序数]]」という概念の体系を整理しようとした。その中で、[[チューリング還元]]の概念を提案している。純粋数学とは別に暗号理論もここで学び、電気機械式乗算器も試作している<ref>{{Harvnb|Hodges|1992|p=138}}</ref>。また、この時期、[[ジョン・フォン・ノイマン]]も同じくプリンストンにおり、二人は親交があったと言われている。ノイマンは、チューリングにアメリカに残ることを勧めたという。 |
|||
チューリングマシンは現在の[[コンピュータ]]を先取りした概念で、今日から見れば[[コンピュータ]]を抽象化したものであるともいえる。この論文でまず、チューリングマシンを適切に設計すれば、いかなるアルゴリズムもチューリングマシンで実行可能である事を証明した。([[万能チューリングマシン]]。今日でいう[[ノイマン型コンピュータ]]の理論的背景。)そしてこの事実を使い、「与えられたアルゴリズムが有限時間で停止するか?」という問題([[停止性問題]])を完全解決する事は不可能である事を示し、コンピュータが実現されないうちに、コンピュータの理論的限界を示した。この証明は[[アロンゾ・チャーチ]]の[[ラムダ算法]]による同等の証明の直後に発表されたが、チューリングの論文のほうがずっとわかりやすく直感的であった。チューリングのこの論文ではまた[[決定可能数]]の記述法も導かれた。成果と前後して「アルゴリズム」の概念が様々な方法で定式化されたが、それらは全て同値である事が後に示し[[チャーチの提唱]])「アルゴリズム」の概念に最初に定式化を与えた人物の一人であるといえる。 |
|||
1939年にケンブリッジに戻ると、[[ルートヴィヒ・ウィトゲンシュタイン|ウィトゲンシュタイン]]との講義に参加した<ref>{{Harvnb|Hodges|1992|p=152}}</ref>。そこでは、ウィトゲンシュタインが「数学は絶対的真実を発見するのではなく、発明している」という立場を取ったのに対して、チューリングは[[形式主義 (数学)|形式主義]]を擁護する立場を取った<ref>{{Harvnb|Hodges|1992|pp=153–154}}</ref>。 |
|||
チューリングマシンの停止判定不可能の証明は、コンピュータにはできないことがあることを示している。例えば、万能ウィルス発見プログラムは作れないし、プログラムが盗作かどうかを完璧に判定するプログラムも作れない。同様にプログラムにバグがあるかどうかを完璧に判定するプログラムも作れない。このことは、無駄なソフトウェア開発を防ぐという意味で有意義であった。 |
|||
=== 不思議な性格 === |
|||
[[1937年]]から[[1938年]]にかけて[[プリンストン大学]]においてアロンゾ・チャーチに師事し、[[1938年]]、プリンストンで[[博士号]]を得ている。博士論文では、数の広がり(正の整数→負数→無理数→虚数)とその公理体系の進化に関して、それらすべてを包含する「[[順序数]]」という概念の体系を整理しようとした。またこの時期、[[ジョン・フォン・ノイマン]]も同じくプリンストンにおり、二人は親交があったと言われている。ノイマンはアメリカに残ることを勧めたという。 |
|||
ブレッチリー・パークでは変人で通っていた。同僚は彼を 'Prof' と呼び、 |
|||
エニグマに関する論文は 'The Prof's Book' と呼ばれていた<ref>[http://cryptocellar.org/Turing/ Turing's Treatise on Enigma]</ref><ref> {{Harvnb|Hodges|1992|p=208}}</ref>。同僚の暗号解読者{{仮リンク|I・J・グッド|en|I.J. Good|label=ジャック・グッド}}はチューリングについて次のように述べている。 |
|||
<blockquote> |
|||
6月の第1週には毎年花粉症に悩まされるので、彼は花粉を吸わないようガスマスクをして自転車でオフィスに通っていた。自転車は故障していて、定期的にチェーンが外れていた。それを修理してもらう代わりに、ペダルをこいだ回数を数えて、危なくなると一旦降りてチェーンを調整していた。もうひとつの変人ぶりとして、マグカップが盗まれるのを防ぐために、それをラジエータパイプに鎖で繋いでいた。<ref>{{Harvnb|Lewin|1978|p=57}}</ref> |
|||
</blockquote> |
|||
=== チューリングとマラソン === |
|||
1939年にケンブリッジに戻ると、[[ルートヴィヒ・ウィトゲンシュタイン|ウィトゲンシュタイン]]の[[数学基礎論]]という講義に参加。ウィトゲンシュタインの数学批判に対して、数学を擁護する立場を取った。 |
|||
ブレッチリーで働いていたころ、ロンドンで重要な会議に出席しなければならないとき、長距離走が得意だったチューリングは、約 64km を走ったという<ref> {{Citation| last = Brown | first = Anthony Cave | title = Bodyguard of Lies: The Extraordinary True Story Behind D-Day | publisher = The Lyons Press | year = 1975 | isbn = 978-1-59921-383-5}} </ref>。マラソンにおけるベストタイムは2時間46分3秒であり、1948年ロンドンオリンピックのマラソン代表選考にも参加して5位となっている<ref>{{Cite news|url= http://www.guardian.co.uk/commentisfree/2010/mar/10/alan-turing-2012-olympics|title=An Olympic honour for Alan Turing|author=John Graham-Cumming|publisher= the Guardian|date=10 March 2010}}</ref>。 |
|||
=== 暗号解読 === |
=== 暗号解読 === |
||
[[File:Turing flat.jpg|thumb|[[ブレッチリー・パーク]]内にあるこの建物で、チューリングは、1939年から1940年まで働き、その後 [[:en:Hut 8|Hut 8]] に移った。]] |
|||
[[Image:BletchleyPark MainBuilding1.JPG|thumb|暗号解読部門があったブレッチレイ・パークの建物]] |
|||
[[Image:Bletchley Park Bombe IMG 3562.JPG|thumb|アナログ式暗号解読機 bombe の内部]] |
|||
[[第二次世界大戦]]に先立つ[[1938年]]9月から、暗号解読機関のある[[政府暗号学校|ブレッチレイ・パーク]]に勤務して大きな功績を残す。暗号解読に従事していたことは[[1970年代]]まで極秘とされ、近しい友人すらそのことを知らなかった。<!-- [[エニグマ (暗号機)|エニグマ]]と Lorenz SZ 40/42(英国が"Tunny"と名づけたテレタイプ用暗号機)について数学的洞察を与え、-->Uボートの跳梁により亡国に瀕したイギリスを救うためにドイツ海軍の暗号解読部門 (Hut 8) の責任者となり、1940年にその解読に成功する。{{main|エニグマ (暗号機)}} |
|||
第二次世界大戦中、チューリングは、[[ブレッチリー・パーク]]でドイツの[[暗号]]を解読する仕事をしていた。歴史家で自らも戦時中に暗号解読に従事していた{{仮リンク|エイザ・ブリッグズ|en|Asa Briggs, Baron Briggs}}は次のように述べている。 |
|||
<!-- なんか専門的すぎて訳せないのでコメントアウト。 |
|||
{{Quote|類まれな才能が必要で、ブレッチリーで天才が必要とされていた。チューリングは、まさにその天才だった。<ref>{{Citation| last = Briggs | first = Asa | work = Britain's Greatest Codebreaker | publisher = [[チャンネル4|UK Channel 4]] | format = TV programme broadcast 21 November 2011 }} </ref>}} |
|||
In December [[1940]], Turing solved the naval Enigma indicator system, which was more complex than the indicator systems used by the other services. Turing also invented a [[Bayesian]] statistical technique termed "[[Banburismus]]" to assist in breaking Naval Enigma. Banburismus could rule out certain orders of the Enigma rotors, reducing time needed to test settings on the bombes. Against the Lorenz cipher, Turing devised a technique termed ''Turingismus'' or ''Turingery'', although other methods were also used.--> |
|||
[[1941年]]春、ある女性にプロポーズしているが、後に同性愛者であることを告白して破談となっている。1942年11月にはアメリカを訪れ、英米間の盗聴されない通信手段の確立に従事した。この時、エニグマ解読法についてもアメリカ側に伝えている。1943年3月英国に帰国。この間に Hut 8 の責任者が変わっていたため、ブレッチレイ・パークの暗号解読コンサルタントのような立場となった。その後終戦まで、盗聴されない携帯型の通話装置 Delilah の開発に従事し、電子工学への造詣を深める。ある時は役人の前で[[ウィンストン・チャーチル]]の演説を暗号化してさらにそれを元に戻すデモンストレーションを行ったが、遠距離間の無線通話に難があり、結局 Delilah を終戦までに実用化することはできなかった。 |
|||
[[第二次世界大戦]]に先立つ[[1938年]]9月から、イギリスにおける暗号解読組織である[[政府暗号学校]] (GCCS) でパートタイムで働き始める。そこで、{{仮リンク|ディリー・ノックス|en|Dilly Knox}}と共に[[エニグマ (暗号機)|エニグマ]]の解読に当たった<ref>[[:en:Jack Copeland|Jack Copeland]], "Colossus and the Dawning of the Computer Age", p. 352 in ''Action This Day'', 2001</ref>。第二次世界大戦勃発の5週間前の1939年7月25日、[[ポーランド軍参謀本部]]第2部暗号局 ([[:en:Biuro Szyfrów|en]])とイギリスおよびフランスの関係者が[[ワルシャワ]]で会合し、ポーランドが解明したエニグマのローター回路についての情報を得ていた。チューリングとノックスは、その情報を元に、問題にアプローチしようとしていた<ref>{{Harvnb|Copeland|2004|p=217}}</ref>。ポーランドの解読法は不安定なもので、ドイツ側がいつでも変更可能だった。実際1940年5月に変更されている。チューリングの方法はもっと汎用的で[[クリブ]]式暗号解読全般に使えるもので、最初の [[:en:Bombe|bombe]](ボンブ) の機能仕様に盛り込まれていた。 |
|||
なお、[[Colossus]]は ローレンツ暗号機(Lorenz maschine)の暗号解読に使われた計算機であり、こちらの開発には大きく関わっていない。この点を間違って記述しているものが多いので注意が必要である(下記のサリー大学のWebなど)。 |
|||
{{Main|[[マリアン・レイェフスキ]]#ボンバ設計者}} |
|||
その功績の大きさにもかかわらず、暗号という重要な機密事項を扱う仕事柄ゆえにブレッチレイ・パークから一歩外に出ればチューリングの仕事を知る者は誰一人いなかった。それは家族すら例外ではなく、母親に一度だけ「軍関係の研究をしている」と話した際には、政府の仕事に携わっていながら身なりに気を払わない息子に彼女は却って落胆するばかりであったという。戦後もブレッチレイ・パークに関係する事柄は引き続き機密とされ、チューリングが同性愛者として罰せられてからはその功績を知らない世間から公然と辱めを受けることとなる(後述)。 |
|||
{{Main|[[ヘンリク・ジガルスキ]]#ボンバ制作者のひとり}} |
|||
{{Main|[[イェジ・ルジツキ]]#ボンバ制作者のひとり}} |
|||
{{Main|[[ボンバ (暗号解読機)]]#ポーランド軍参謀本部第2部暗号局#作成}} |
|||
1939年9月4日、イギリスがドイツに宣戦布告した翌日、GCCSの戦時中の基地となっていたブレッチリー・パークに出頭した<ref name=Copeland2006p378>{{Harvnb|Copeland|2006|p=378}}</ref>。bombe の仕様は戦時中の暗号解読でチューリングが成し遂げた5つの成果のうち最初の1つである。他には、ドイツ海軍が使っていたインジケーター手続きの推測、''[[:en:Banburismus|Banburismus]]'' と名付けた bombe の効率を上げる統計的手法の開発、''[[:en:Turingery|Turingery]]'' と名付けた [[:en:Lorenz SZ 40/42|Lorenz SZ 40/42]] (''Tunny'') のホイール群のカム設定を明らかにする手続きの開発、そして終戦間近に開発した音声信号スクランブラー ''Delilah'' である。 |
|||
1945年、戦時中の功績により[[大英帝国勲章|OBE]]を授与されたが、その後[[1970年代]]までその業績は秘密にされ、近しい友人すらそのことを知らなかった。その功績の大きさにもかかわらず、暗号という重要な機密事項を扱う仕事柄ゆえに、ブレッチリー・パークから一歩外に出れば、チューリングの仕事を知る者は誰一人いなかった。それは、家族すら例外ではなく、母親に一度だけ「軍関係の研究をしている」と話した際には、政府の仕事に携わっていながら身なりに気を払わない息子に対し、母はかえって落胆するばかりであったという。戦後もブレッチリー・パークに関係する事柄は引き続き機密とされ、チューリングが同性愛者として罰せられてからは、その功績を知らない世間から、公然と辱めを受けることとなる(後述)。 |
|||
==== チューリングとウェルチマンの bombe ==== |
|||
[[File:Bombe-rebuild.jpg|thumbnail|ブレッチリー・パークに展示されている完全動作する bombe のレプリカ]] |
|||
ブレッチリー・パークに到着して数週間後<ref name=Copeland2006p378 />、ポーランドの「[[ボンバ (暗号解読機)|ボンバ]]」 ([[:en:bomba (cryptography)|bomba kryptologiczna]]) よりも効率的にエニグマの暗号を解読する電気機械式の装置の仕様を生み出し、ポーランドの bomba にちなんで bombe と名付けた。数学者{{仮リンク|ゴードン・ウェルチマン|en|Gordon Welchman}}の示唆によって改良した bombe は、エニグマの暗号解読の主要な自動化ツールとなった。 |
|||
ジャック・グッドは次のように述べている。 |
|||
<blockquote> |
|||
チューリングの最も重要な貢献は、私が思うに暗号解読機 bombe の設計だ。彼はあなたも使えるアイデアを持っていた。要するに、やや不合理な訓練されていない耳でも聞き分けられる論理的理論で、すべてを推論できる。<ref>[http://www.imdb.com/title/tt1155383/episodes "The Men Who Cracked Enigma"], Episode 4 in the UKTV History Channel documentary series [https://www.imdb.com/title/tt1157073/ "Heroes of World War II"]</ref> |
|||
</blockquote> |
|||
bombe はエニグマの暗号文で使われたと考えられる正しい設定(ローターの順序、ローターの設定、プラグボードの設定など)を、適当な[[クリブ]]([[平文]]中に含まれているであろうと思われる単語やフレーズ)を使って探索する。ローターの考えられる設定(組み合わせのオーダーは 10<sup>19</sup>、4ローターのUボート版では 10<sup>22</sup>)ごとに<ref>Professor Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct"</ref>、bombe はクリブに基づいた一連の推論を電気的に行う。bombe は矛盾が生じるとそれを検出し、その設定を除外し、次の設定を調べる。ほとんどの設定は矛盾を生じるので除外でき、詳細に調べるべき少数の設定だけが残る。最初の bombe は1940年3月18日に実装された<ref>{{Harvnb|Oakley|2006|p=40/03B}}</ref>。終戦のころには200台以上の bombe が使われていた<ref name=codebreaker>{{Cite web|title=Alan Turing, Codebreaker and Computer Pioneer |last=Copeland |first=Jack |coauthors=Diane Proudfoot |month=May | year=2004 |url= http://www.alanturing.net/turing_archive/pages/Reference%20Articles/codebreaker.html |accessdate=2007-07-27}} </ref>。 |
|||
==== Hut 8 と海軍のエニグマ ==== |
|||
[[File:AlanTuring-Bletchley.jpg|thumbnail|ブレッチリー・パークにあるチューリングの石像<ref>{{Cite web2 |url=http://www.bletchleypark.org.uk/news/docview.rhtm/454075 |title=Bletchley Park Unveils Statue Commemorating Alan Turing |date=2007-06-20 |publisher=Bletchley Park |archiveurl=https://web.archive.org/web/20070702100108/http://www.bletchleypark.org.uk/news/docview.rhtm/454075 |df=ja |url-status=dead |archivedate=2007-07-02 |accessdate=2007-07-02}}</ref>]] |
|||
チューリングは「他の誰もそれに取り組まず、自分ならやれるかもしれない」と思い、ドイツ海軍のエニグマの解読というさらに難しい問題に取り組むことを決めた<ref name=MahonP14>{{Harvnb|Mahon|1945|p=14}}</ref>。1939年12月、海軍のエニグマのインジケーターシステムの基本部分を解明。海軍以外が使っているインジケーターシステムよりも複雑だった<ref name=MahonP14 /><ref>{{Harvnb|Leavitt|2007|pp=184–186}}</ref>。そしてある夜、''[[:en:Banburismus|Banburismus]]'' のアイデアを思いつく。これは逐次的かつ統計的な技法で(後に[[エイブラハム・ウォールド]]は [[:en:sequential analysis|sequential analysis]] と呼んだ)、海軍版エニグマの暗号解読を助けるものだった。「私はそれが現場でうまく機能するか確信を持てず、何日かかけて具体化してやっと確信した」<ref name=MahonP14 /> このために彼は証拠を重み付けするための測度を考案し、それを ''[[:en:Ban (information)|Ban]]'' と呼んだ。Banburismus はエニグマの特定のローターの並びを除外することができ、bombe の設定をテストする時間を大幅に減らすことに寄与した。 |
|||
1941年、チューリングは、 [[:en:Hut 8|Hut 8]] の同僚で数学者・暗号解読者の[[ジョーン・クラーク]]に結婚を申し込んだが、婚約期間は短かった。同性愛者であることをフィアンセに告白しても、彼女は動じなかったといわれているが、チューリングのほうがこのまま結婚はできないと別れることを決心した<ref>{{Harvnb|Leavitt|2007|pp=176–178}}</ref>。 |
|||
1942年11月には、暗号に関する情報交換の一環として、アメリカを訪れた<ref>{{Harvnb|Hodges|1992|pp=242-245}}</ref>。そこでは、ワシントンでアメリカ海軍の暗号解読者に海軍版エニグマと bombe の構造について伝授し、英米間の盗聴不可能な音声通信手段として[[ベル研究所]]で当時開発中だった[[秘話|秘話装置]][[SIGSALY]]の情報提供を受け暗号化方式の安全性についての評価作業を行った<ref>{{Harvnb|Hodges|1992|pp=245-253}}</ref>。ベル研究所では同じようにSIGSALYの評価を行っていた[[クロード・シャノン|シャノン]]にも会っている。1943年3月、ブレッチリー・パークに戻る。この間に Hut 8 の責任者が[[コーネル・ヒュー・オドネル・アレグザンダー|ヒュー・アレグザンダー]]に変わり、チューリング自身は部門の日常業務の運営に興味を持たなくなっていたため、ブレッチリー・パークの暗号解読コンサルタントのような立場となった。 |
|||
アレグザンダーは、次のように書いている。 |
|||
<blockquote> |
|||
チューリングの仕事が Hut 8 の成功の最大の要因であることは誰もがわかっていた。当初、暗号解読者としては、彼だけがこの問題に取り組む価値があると考え、彼1人ではないものの Hut における理論的成果の最大の功績者であり、彼に次いでウェルチマンとキーンが bombe の発明に貢献した。全員が不可欠だったというのは難しいが、Hut 8 で誰が一番不可欠だったかといえば、それはチューリングだ。経験と日常がすべてを簡単なように見せるので、先駆者の業績は忘れられがちだが、Hut 8 の多くの者がチューリングの功績の大きさが外の世界に完全に伝わることは決してないだろうと感じていた。<ref>{{Harvnb|Alexander|circa 1945|p=42}}</ref> |
|||
</blockquote> |
|||
==== Turingery ==== |
|||
1942年、チューリングは ''[[:en:Turingery|Turingery]]''(冗談で ''Turingismus'' とも)と名付けた技法を考案<ref>{{Harvnb|Copeland|2006|p=380}}</ref>。ドイツが新たに開発した暗号生成ローターつきの[[テレタイプ端末]]で生成されるローレンツ暗号を解読するための技法である。この暗号機械をブレッチリー・パークでは ''Tunny'' と呼んでいた。Turingery は Tunny のホイール群のカム設定を解明する手続きである<ref>{{Harvnb|Copeland|2006|p=381}}</ref>。彼は Tunny のチームに[[トミー・フラワーズ]]を紹介し、フラワーズが[[マックス・ニューマン]]の指導下で世界初のプログラム可能な電子式デジタル計算機 [[Colossus]] を構築することになった。Colossus は当時としては極めて高性能で、総当り的な統計的暗号解読技法を適用しても十分な性能を発揮した<ref>{{Harvnb|Copeland|2006|p=72}}</ref>。なお、チューリングが[[Colossus]]の設計に重要な役割を果たしたと間違って主張している文献などがある。Turingery と Banburismus の統計的暗号解読法は間違いなくローレンツ暗号の解読技術に影響を与えているが<ref>{{Harvnb|Gannon|2007|p=230}}</ref>、チューリング自身がColossus開発に直接関与した事実はない<ref>{{Harvnb|Copeland|2006|pp=382,383}}</ref>。 |
|||
==== 秘話装置 Delilah ==== |
|||
アメリカのベル研究所で提供を受けた[[SIGSALY]]の情報を元に<ref>{{Harvnb|Hodges|1992|pp=245-250}}</ref>、よりシンプルな形で電話の音声信号を電子的に暗号化するというアイデアを追求し、戦時中の後半はハンスロープ・パークにある[[イギリス情報局秘密情報部]]のラジオセキュリティサービス(後の[[:en:Her Majesty's Government Communications Centre|HMGCC]])で働いた。そこで彼は技術者ドナルド・ベイリーの助けを得て、電子工学への造詣を深める。2人は携帯型の[[秘話|秘話装置]] ''Delilah'' を設計・構築<ref>{{Harvnb|Hodges|1992|p=273}}</ref>。Delilah は様々な応用が意図されていたが、長距離の無線通信ができず、いずれにしても完成したのは終戦間近で遅すぎた。それでも役人の前で[[ウィンストン・チャーチル]]の演説を暗号化してさらにそれを元に戻すデモンストレーションを行ったが、実際には使われなかった<ref>{{Harvnb|Hodges|1992|p=346}}</ref>。 |
|||
=== 初期のコンピュータに関する仕事とチューリングテスト === |
=== 初期のコンピュータに関する仕事とチューリングテスト === |
||
[[1945年]]から[[1947年]]まで、チューリングは[[イギリス国立物理学研究所]] (NPL) にて |
[[1945年]]から[[1947年]]まで、チューリングはロンドンのリッチモンドに住み<ref>{{Openplaque|1619}}</ref>、[[イギリス国立物理学研究所]] (NPL) にて[[ACE (コンピュータ)|ACE]] (Automatic Computing Engine) の設計を行う。1946年2月の論文では、[[ノイマン型|プログラム内蔵式コンピュータ]]の英国初の完全なデザインを発表している<ref>{{Harvnb|Copeland|2006|p=108}}</ref>。[[ジョン・フォン・ノイマン|フォン・ノイマン]]の「[[EDVACに関する報告書の第一草稿]]」はチューリングの論文より先に存在したが、チューリングの論文の方が詳細であり、NPL数学部門の責任者だった [[:en:John R. Womersley|John R. Womersley]] は「チューリング博士の独自のアイデアがいくつか含まれていた」と記している<ref> {{Citation| last = Randell | first = B | title = A History of Computing in the Twentieth Century: Colossus | year = 1980 | url = http://www.cs.ncl.ac.uk/research/pubs/books/papers/133.pdf | accessdate = 2012-01-27}} で以下を引用 {{Citation| last = Womersley | first = J. R. | title = 'ACE' Machine Project | journal = Executive Committee, National Physical Laboratory, Teddington, Middlesex | date = 13 February 1946 }}</ref>。また、フォン・ノイマンはさらに遡る[[1936年]]の時点でチューリングがプログラム内蔵式について先駆的な論文を発表していたことを認めていた<ref>Christof Teuscher (2004). Alan Turing: life and legacy of a great thinker. Springer. p. 321–322. ISBN 978-3-540-20020-8.</ref>。ACEは実現可能な設計だったが、ブレッチリー・パークで軍事機密に関わる仕事をしていたことが原因でプロジェクトは遅々として進まず、1947年、[[サバティカル]]休暇でケンブリッジに戻る。彼がケンブリッジにいる間にACEを縮小した [[パイロットACE]] が作られた。1950年5月10日に初めてプログラムの実行を達成している。 |
||
1948年にマックス・ニューマンの招きで[[マンチェスター大学]]に[[準教授]]として招かれ、チューリングは同大学で設立されていた王立協会計算機研究所の副所長に就任し<ref>Swinton, Jonathan (2019). Alan Turing's Manchester. Manchester: Infang Publishing. ISBN 978-0-9931789-2-4. Archived from the original on 17 February 2019. Retrieved 18 March 2019.</ref><ref>Copeland, Jack (2010). "9. Colossus and the Rise of the Modern Computer". In Copeland, B. Jack (ed.). Colossus The Secrets of Bletchley Park's Codebreaking Computers. Oxford University Press. pp. 91–100. ISBN 978-0-19-957814-6.</ref>、そこで初期のコンピュータ [[Manchester Mark I]] におけるソフトウェア開発に従事。この時期はより概念的な仕事にも取り組み、''Computing Machinery and Intelligence''(「計算する機械と知性」、1950年10月、「Mind」誌)という論文では[[人工知能]]の問題を提起、今日[[チューリングテスト]]として知られている実験を提案している。すなわち、機械を「知的」と呼ぶ際の基準を提案したもので、人間の質問者が機械と会話をして人間か機械か判別できない場合に、その機械が「思考」していると言えるというものである<ref>[[:en:Stevan Harnad|Harnad, Stevan]] (2008) [http://eprints.ecs.soton.ac.uk/7741 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</ref>。その中で、最初から大人の精神をプログラムによって構築するよりも、子どもの精神をプログラムして教育によって育てていくのがよいと示唆している。 |
|||
[[1948年]]、当時まだ存在していなかった[[コンピュータチェス]]のプログラムを書き始める。[[1952年]]、当時のコンピュータは性能が低くそのプログラム実行には適さなかったため、自分でコンピュータをシミュレートして[[チェス]]の試合を行ったが、一手打つのに30分かかったという。その対戦の棋譜が残っている<ref>[http://www.chessgames.com/perl/chessgame?gid=1356927 Alan Turing vs Alick Glennie (1952) "Turing Test"] Chessgames.com</ref>。同僚との対戦ではプログラムが負けているが、別の同僚の妻にはプログラムが勝利している。 |
|||
[[チューリングテスト]]は独特の挑発的特徴があり、[[人工知能]]に関する議論で半世紀にわたってよく引き合いにだされ続けた<ref>Saygin, A.P., Cicekli, I., & Akman, V. (2000) Turing Test: 50 years later. Minds and Machines, Vol. 10, pp 463–518.</ref>。 |
|||
[[1949年]]、[[マンチェスター大学]]のコンピュータ研究室に移り、そこで初期のコンピュータ [[Manchester Mark I]] におけるソフトウェア開発に従事。この時期はより概念的な仕事にも取り組み、「計算機構と知能」(1950年10月、「Mind」誌)という論文では[[人工知能]]の問題を提起、今日[[チューリングテスト]]として知られている実験を提案している。ただし軽い気持ちで書いたと言われ、同僚の前で笑いながら論文を読んだという逸話も残っている。 |
|||
1948年には行列の[[LU分解]]も考案しており、今でも線形方程式の解法として使われている<ref>{{Cite web|url= http://www.intusoft.com/nlhtm/nl71.htm |title=SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003 |publisher=Intusoft.com |date=16 August 2001 |accessdate=2011-05-29}}</ref>。 |
|||
[[1948年]]、当時まだ存在していなかった[[コンピュータチェス]]のプログラムを書き始める。[[1952年]]、当時のコンピュータは性能が低くそのプログラム実行には適さなかったため、自分でコンピュータをシミュレートしてチェスの試合を行ったが、一手打つのに30分かかったという。対戦相手は同僚の奥さんであったがプログラムは勝利している。 |
|||
=== 形態形成と数理生物学に関する仕事 === |
=== 形態形成と数理生物学に関する仕事 === |
||
1952年から、亡くなる1954年まで[[数理生物学]]、特に[[多細胞生物]]の[[個体発生]]における[[形態形成]]に関する研究を行い、それがどのように生じるかについて仮説を提唱した。1952年に発表した “The Chemical Basis of Morphogenesis” (形態形成の化学的基礎)<ref>Alan Mathison Turing: ''The Chemical Basis of Morphogenesis'', Philosophical Transactions on The Royal Society B, Vol.237, No.641 (1952).</ref>と題する論文において、[[反応拡散系]]と呼ばれる[[偏微分方程式]]系で反応を抑制する因子の拡散が活性化因子よりも速いとき、[[チューリング不安定性]]と呼ばれる不安定化を起こして形態形成の手がかりとなる空間構造を生み出しうることを指摘した<ref>"Control Mechanism For Biological Pattern Formation Decoded" ''ScienceDaily'', 30 November 2006</ref>。こうして生じる空間パターンは'''[[チューリング・パターン]]'''と呼ばれている。この論文の最終節においてチューリングは、容易に解析できないこの種のさらに複雑な問題への将来的なデジタルコンピューターの利用について触れている。実際、20世紀末よりコンピューターの計算能力の急速な発達によって、反応拡散系の研究の発展がもたらされた<ref>{{cite report|title=Turing から Ertl まで ―パターンダイナミクスの半世紀―|author=西浦廉政|series=現象数理学:冬の学校「パターンダイナミクス 1‒2‒3」報告集|year=2009}}</ref>。 |
|||
1952年から、亡くなる1954年まで[[数理生物学]]、特に[[形態形成]]について研究を行う。"The Chemical Basis of Morphogenesis"(形態形成の化学的基礎)と題する論文を1952年に発表。この分野での関心は、[[フィボナッチ]]の葉序研究、すなわち植物の葉のつき方に現れる[[フィボナッチ数]]の存在で反応拡散方程式を用いたが、これは形態形成の分野で現在よく使われる手法である。その後の論文は 1992年の ''Collected Works of A.M. Turing'' の出版まで未発表だった。近年再評価が著しい仕事である。 |
|||
また同じ年、[[ヒマワリ]]の種にみられる螺旋構造が隣接する[[フィボナッチ数]]に従っているらしいことを未発表の研究ノートに記していた。葉序構造など種々の植物に見られるこの関係は[[黄金角]]と呼ばれる角度で葉や種のもととなる[[原基]]が生ずればよいことがわかっている。 |
|||
=== 同性愛の告発と死 === |
|||
その後の論文は 1992年の ''Collected Works of A.M. Turing'' の出版まで未発表だった。近年再評価が著しい仕事である<ref>{{Wayback|url= http://www.swintons.net/deodands/archives/000087.html |title=Turing's Last, Lost work |date=20030823032620}}</ref>。 |
|||
[[同性愛]]者であったが、当時のイギリスでは違法だった。[[1952年]]、自宅を[[泥棒]]に入られた事件を[[警察]]に報告したが、捜査の過程で、泥棒の手引きをした19歳の青年と同性愛関係にあったことが警察の知るところとなり、有罪となる。また、その前年[[1951年]]に起きた[[ケンブリッジ5人組]]事件の影響で[[スパイ]]の嫌疑がかけられ、[[イギリス情報局秘密情報部]]の監視下に置かれることになる。入獄或いは化学的去勢を条件とした保護観察かの選択を与えられ、入獄を避けるため、同性愛の性向を矯正するために、性欲を抑えると当時考えられていた[[エストロゲン|女性ホルモン]]注射の投与を受け入れた。その結果副作用として胸が膨らんだ。 |
|||
=== 同性愛の告発 === |
|||
[[1954年]]6月8日、自宅で死んでいるのを発見された。検死の結果、青酸中毒による死であることが判明。ベッドの脇には齧りかけのリンゴが落ちていた。リンゴに青酸化合物が塗ってあったのかの分析はなされなかったが、部屋には青酸の瓶が多数あった。彼の死は自殺であるという説がある<ref>同僚によれば、映画『[[白雪姫]]』を見た直後の彼が「魔法の秘薬にリンゴを浸けよう、永遠なる眠りがしみこむように」と言っていたのを耳にしており、白雪姫のワンシーンを真似てこのような死に方をしたのだという。</ref>。 |
|||
Anthony Cave Brown の著書 ''"C": The Secret Life of Sir Stewart Menzies, Spymaster to Winston Churchill'' には次のような記述がある。 |
|||
しかし母は、実験用化学物質を不注意に扱ったために起こった事故であると主張している<ref>食器を自身で金メッキ・銀メッキする趣味を持っており、メッキに使用する青酸が常時、家にあった。母はメッキ作業をした後は手を良く洗うようにと息子にいつもいっていたという。すなわち、作業後に手に残存していた青酸を誤って口にした事故とする。</ref>。 |
|||
{{Quote|ミンギス<ref>[[イギリス情報局秘密情報部|MI6]]長官</ref>は、チューリングをブレッチリーで雇用した直後から彼が長年の積極的な同性愛者だと知っていた。しかし、ブレッチリーの同僚にちょっかいを出すこともなく、ミンギスの部下の中では唯一「不可欠」と呼べる男だったので、そのまま雇っていた… 1944年初め、ブレッチリーに程近い大きな工業都市ルートンの公立図書館で男子生徒が性暴力を受けるという事件があり、チューリングが犯人ではないかと疑われた。全く記録には残っていないが、秩序と風紀を保つには彼を排除するしかないという決定がなされた。しかし、それも彼が素晴らしい仕事を完了してからのことである。<ref>{{Citation| last = Cave Brown | first = Anthony | title = C : The Secret Life of Sir Stewart Graham Menzies, Spymaster to Winston Churchill| place = New York | publisher = Macmillan | year = 1987 | isbn = 978-0-02-517390-3 }}</ref> }} |
|||
その他、事故に見せかけた暗殺ではないかと言う説もある<ref>戦後も政府の暗号解読などについてのコンサルタントをしており、政府の機密に多く接していたからとする。</ref>。 |
|||
[[1952年]]1月、チューリングはマンチェスターの映画館のそばでアーノルド・マレーと出会う。ランチデートの後、週末を一緒に過ごそうとマレーを自宅に招いたが、マレーはその誘いを断わっている。次の月曜日、2人は再びマンチェスターで会い、今度はチューリングの自宅を訪問している。数週間後、マレーは再びチューリング宅を訪れ、一夜を共にしたとみられている<ref>{{Harvnb|Leavitt|2007|p=266}}</ref>。 |
|||
間もなく自宅に[[泥棒]]が入り、事件を[[警察]]に報告したが、捜査の過程で、泥棒の手引きをした19歳の青年(マレー)と[[同性愛]]関係にあったことが警察の知るところとなった。同性愛は当時のイギリスでは違法であり<ref>{{Harvnb|Hodges|1992|p=458}}</ref>、2人とも逮捕された<ref name=LeavittP268>{{Harvnb|Leavitt|2007|p=268}}</ref>。 |
|||
チューリングは有罪となり、入獄か化学的去勢を条件とした保護観察かの選択を与えられ、入獄を避けるため、同性愛の性向を矯正するために、性欲を抑えると当時考えられていた[[エストロゲン|女性ホルモン]]注射の投与を受け入れた<ref>{{Cite web|url= http://www.glbtq.com/social-sciences/turing_a,2.html |title=Turing, Alan (1912–1954) |publisher=Glbtq.com |accessdate= 2011-05-29|url-status=dead|url-status-date=2015-09-09}}</ref>。 |
|||
結果として[[セキュリティ・クリアランス]]を剥奪され、[[政府通信本部|GCHQ]]で暗号コンサルタントを続けることができなくなった。当時、[[ケンブリッジ・ファイヴ]]の最初の2名ガイ・バージェスと[[ドナルド・マクリーン]]が[[ソ連国家保安委員会|KGB]]のスパイだと露見した事件があり、スパイについて大衆の不安が増大し、ソ連のエージェントが同性愛者を罠にかけるという噂があった<ref>{{Harvnb|Leavitt|2007|p=269}}</ref>。スパイ活動で告発されたわけではないが、ブレッチリー・パークで働いていた全員と同様、戦時下の業績について論じることは禁止された<ref>{{Harvnb|Copeland|2006|p=143}}</ref>。 |
|||
=== 死 === |
|||
[[1954年]]6月8日、家政婦がチューリングが自宅で死んでいるのを発見した。検死の結果、死亡したのは前日で、[[青酸中毒]]による死であることが判明。ベッドの脇には齧りかけの[[リンゴ]]が落ちていた。リンゴに[[青酸化合物]]が塗ってあったかの分析はなされなかったが<ref>{{Harvnb|Hodges|1992|p=488}}</ref>、部屋には青酸の瓶が多数あった。 |
|||
[[死因審問]]で自殺と断定され、1954年6月12日に火葬された<ref>{{Harvnb|Hodges|1992|p=529}}</ref>。母は、実験用化学物質を不注意に扱ったために起こった事故であると主張している<ref group="注釈">食器を自身で金[[メッキ]]・銀メッキする趣味を持っており、メッキに使用する青酸が常時、家にあった。母はメッキ作業をした後は手を良く洗うようにと息子にいつもいっていたという。すなわち、作業後に手に残存していた青酸を誤って口にした事故とする。</ref>。あるいは、母に事故だと思わせるようにして自殺したという説もある<ref>{{Harvnb|Hodges|1992|pp=488, 489}}</ref>。同僚によれば、映画『[[白雪姫]]』を見た直後の彼が「魔法の秘薬にリンゴを浸けよう、永遠なる眠りがしみこむように」と言っていたのを耳にしており、[[白雪姫]]のワンシーンを真似てこのような死に方をしたのだという<ref>{{Harvnb|Leavitt|2007|p=140}}</ref>。 |
|||
== 再評価 == |
== 再評価 == |
||
[[File:Turing Plaque.jpg|thumbnail|ウィルムズローのチューリング宅にある[[ブルー・プラーク]]]] |
|||
[[1974年]]夏、ブレッチレイ・パークの活動について書かれた「ウルトラ・シークレット」出版、チューリングらの功績について世間の知るところとなる。 |
|||
チューリングの死後まもなく(戦時中の業績が機密扱いだったころ)、[[王立協会]]が伝記を出版しており、以下のように記されている<ref name="frs"/>。 |
|||
<blockquote> |
|||
[[1998年]]6月23日、86回目の誕生日に、伝記作者にして数学者のアンドリュー・ホッジスは公式の英国遺産として[[ブルー・プラーク]](記念[[銘板]])をチューリングの生家であった[[ロンドン]]のウォーリントン・クレセントにあるコロネードホテル [http://www.turing.org.uk/bio/oration.html], [http://www.blueplaque.com/detail.php?plaque_id=348] に掲げた。 |
|||
3つの多様な数学的主題について、戦前に3つの特筆すべき論文を書いており、この重要な時期(戦時のこと)に何らかの大きな問題にとりかかっていたら重大な業績を残していただろうということがわかる。外務省での業績により、[[大英帝国勲章|OBE]]が授与された。 |
|||
その3年後の[[2001年]]6月23日には、[[マンチェスター]]のサックビル・パークに銅像が設置。 |
|||
</blockquote> |
|||
[[2004年]]6月7日には、死去50周年を記念して、ウィルムズロウ・ホリーミードの家に、記念のプラークが設置された。同じく死去50年を記念して、同[[2004年]]10月28日には、幼少時に住んでいた町にあるサリー大学 [http://portal.surrey.ac.uk/press/oct2004/281004a/] のキャンパス内に銅像が置かれる。 |
|||
国立物理学研究所の同僚で、後にチューリング賞を受賞したジェイムス・H・ウィルキンソンも、受賞講演で、外務省時代にチューリングが別の環境にいたならば、もっとも生産的な時期たりえた可能性が大きい、としている。しかし、問題やパズルといったものであれば種類を問わず大好きであったから、外務省での仕事にも興味をもって取り組んだであろうし、電子工学について知識を獲得したのもその時であった、と指摘している<ref>ジェイムス・H・ウィルキンソン「一数値解析研究者の回顧と展望」、『ACMチューリング賞講演集』 pp. 289-290</ref>。 |
|||
[[Association for Computing Machinery|ACM]]は、コンピュータ社会に技術的に貢献した人物に[[チューリング賞]]を授与している。これは、コンピュータ関係者の[[ノーベル賞]]と考えられている。 |
|||
1966年から、[[コンピュータ科学]]者らによる国際的学会の[[Association for Computing Machinery|ACM]]は、同学会の守備範囲であるコンピュータ科学を中心とした分野の最高の賞として、[[チューリング賞]]を授与している。物理や化学といったようなかなり広い分野の最高の賞、という位置づけにあるものとして、コンピュータ科学分野における[[ノーベル賞]]に相当するものと一般に扱われている<ref>{{Cite web|url= http://www.acm.org/press-room/news-releases-2007/turingaward/|title=ACM'S Turing Award Prize Raised To $250,000|publisher=[[Association for Computing Machinery|ACM]] press release|date=27 July 2007|accessdate=2008-10-16|author=Steven Geringer}}</ref>。 |
|||
2002年、[[BBC]]が行った「[[100名の最も偉大な英国人|偉大な英国人]]」投票で第21位にランクインした。 |
|||
[[1974年]]夏、ブレッチリー・パークの活動について書かれた「ウルトラ・シークレット」出版<ref>{{ Citation | last = Winterbotham | first = F.W. | title = The Ultra secret: the inside story of Operation Ultra, Bletchley Park and Enigma | place = London | publisher = Orion Books Ltd | origyear = 1974 | year = 2000 | oclc = 222735270 | isbn = 978-0-7528-3751-2 }} 機密解除になる以前に関係者の記憶を元に書かれたノンフィクションで、若干正確性に欠ける。</ref>、チューリングらの功績について世間の知るところとなる。 |
|||
2004年夏、[[:en:University of Manchester Institute of Science and Technology|マンチェスター工科大学]]と[[:en:Victoria University of Manchester|マンチェスター・ビクトリア大学]]はアラン・チューリング研究所を設立した。なお、マンチェスター工科大学とマンチェスター・ビクトリア大学は2004年10月に合併し、現在は[[マンチェスター大学]]となっている。 |
|||
1986年、[[ヒュー・ホワイトモア]]の戯曲「[[ブレイキング・ザ・コード]]」でチューリングが描かれた。1986年11月からロンドンのウェストエンドで公開され、1987年11月15日から1988年4月10日までブロードウェイで興行。1996年にはBBCでテレビドラマ化されている。いずれもチューリング役は[[デレク・ジャコビ]]。ブロードウェイでの公演は[[トニー賞]]3部門にノミネートされている。 |
|||
生涯と業績に関する催しが英国論理学会議と英国数学史学会主催で[[2004年]]6月5日にマンチェスター大学で行われる。 |
|||
[[1998年]]6月23日、86回目の誕生日に、伝記作者にして数学者のアンドリュー・ホッジスは公式の[[イングリッシュ・ヘリテッジ|英国遺産]]として[[ブルー・プラーク]](記念[[銘板]])をチューリングの生まれた病院であった[[ロンドン]]のウォーリントン・クレセントにあるコロネードホテルに掲げた<ref>{{Cite web| url= http://www.turing.org.uk/bio/oration.html | title=Unveiling the official Blue Plaque on Alan Turing's Birthplace | accessdate=2006-09-26}}</ref><ref>{{Cite web| url= http://www.blueplaque.com/detail.php?plaque_id=348 | archiveurl= https://web.archive.org/web/20071013143212/http://www.blueplaque.com/detail.php?plaque_id=348 | archivedate=13 October 2007 | title=About this Plaque – Alan Turing | accessdate=2006-09-25}}</ref>。[[2004年]]6月7日には、死去50周年を記念して、ウィルムズロウ・ホリーミードの家にも記念のプラークが設置された<ref>{{Openplaque|3276}}</ref>。 |
|||
[[2009年]]9月、イギリス首相の[[ゴードン・ブラウン]]は「彼の抜群の功績がなければ、第二次世界大戦の歴史は変わっていたと言っても過言ではない」「時計の針は戻すことはできないが、彼に対する処置はまったく不当であり、深い遺憾の意を表す」と声明を発表し、政府として正式な謝罪を表明した<ref>[http://www.tokyo-np.co.jp/article/world/news/CK2009091202000065.html 天才数学者 55年ぶり名誉回復 チューリングに英首相謝罪]</ref>。 |
|||
1999年、[[タイム (雑誌)|タイム誌]]の「[[タイム100]]: 20世紀の最も影響力のある100人」で、コンピューター創造に果たした役割からチューリングを選んでいる<ref name=AFP/>。1999年の[[ニール・スティーブンスン]]の小説『クリプトノミコン』にはチューリングが登場している。2000年3月13日、[[セントビンセント・グレナディーン]]にて20世紀の偉人を集めた[[切手]]セットが発行された。その中にチューリングの肖像が描かれた切手もあり、「1937: アラン・チューリングのデジタルコンピュータ理論」と記されている。2002年、[[BBC]]が行った「[[100名の最も偉大な英国人|偉大な英国人]]」投票で第21位にランクインした<ref>{{Cite news| url = http://news.bbc.co.uk/2/hi/entertainment/2208671.stm | title = 100 great British heroes | date = 21 August 2002 |work=BBC News }}</ref>。 |
|||
晩年に働いていた[[マンチェスター]]では、様々な方法でその栄誉を称えている。1994年、マンチェスターの環状道路が ''"Alan Turing Way"'' と名付けられている。またこの道路には Alan Turing Bridge という橋もある。[[2001年]]6月23日(誕生日)には、[[マンチェスター大学]]に隣接するサックビル・パークにベンチに座っている形の銅像が設置された。 |
|||
[[File:Sackville Park Turing plaque.jpg|left|thumb|サックビル・パークの銅像に付随する銘板]] |
|||
この銅像はリンゴを持っている。リンゴは古来「禁じられた愛」の象徴であり、[[アイザック・ニュートン]]の万有引力の法則も思い起こさせるし、チューリングの死の状況も思い起こさせる。また、ブロンズ製のベンチにはレリーフで 'Alan Mathison Turing 1912–1954' と書かれていて、その下には 'Founder of Computer Science' を[[エニグマ (暗号機)|エニグマ]]で暗号化した文字列が書かれている。台座には「計算機科学の父、数学者、論理学者、戦時中の暗号解読者、偏見の犠牲者」と記されている。[[バートランド・ラッセル]]の言葉も引用されていて「正しく見た数学は、真実だけでなく最高の美 - 彫刻のように冷たく厳しい美も有している」とある。台座の下には彫刻家が所有していた古い[[アムストラッド]]製パソコンが「あらゆる現代のコンピュータのゴッドファーザー」への捧げ物として埋められている<ref name="computerburied">{{Cite news| title = Computer buried in tribute to genius | publisher=Manchester Evening News| date = 15 June 2001 | url = http://www.manchestereveningnews.co.uk/news/s/27/27595_computer_buried_in_tribute_to_genius.html | accessdate =2009-06-23 }}{{リンク切れ|date=2015年9月}}</ref>。 |
|||
没後50年を記念して、[[2004年]]10月28日には、幼少時に住んでいた町にあるサリー大のキャンパス内に銅像が置かれる<ref name="univsurrey">{{Cite web|url= http://portal.surrey.ac.uk/press/oct2004/281004a/ |title=The Earl of Wessex unveils statue of Alan Turing |accessdate= 2007-02-10 |url-status=dead|url-status-date=2015-09-09}}</ref>。 |
|||
[[プリンストン大学]]の発行する Princeton Alumni Weekly では、チューリングを[[ジェームズ・マディソン]]に次ぐ偉大な卒業生だとしている。 |
|||
2007年6月19日、ブレッチリー・パークに1.5トンの等身大の石像が立てられた。[[ウェールズ]]の[[粘板岩]]を多数使用したもので、億万長者の [[:en:Sidney Frank|Sidney Frank]] が彫刻家 [[:en:Stephen Kettle|Stephen Kettle]] に制作を依頼したものである<ref>[http://www.bletchleypark.org.uk/news/docview.rhtm/454075/article.html Bletchley Park Unveils Statue Commemorating Alan Turing]{{リンク切れ|date=2015年9月}}, Bletchley Park press release, 20 June 2007</ref>。 |
|||
2011年2月、チューリングの第二次世界大戦中の論文がオークションで買い取られ、ブレッチリー・パークに戻された<ref>{{Cite news|author=Josh Halliday |url= http://www.guardian.co.uk/science/2011/feb/25/turing-papers-auction-bid-bletchley |title=Turing papers to stay in UK after 11th-hour auction bid at |work=The Guardian |location=UK |accessdate= 2011-05-29 |date=25 February 2011}}</ref>。 |
|||
[[2014年]]、グレアム・ムーアによる脚本<ref name=":0">{{Cite web|和書|title=脚本家が明かす9つの秘密:アラン・チューリングとは何者か? 映画『イミテーション・ゲーム』徹底解読 « WIRED.jp|url=https://wired.jp/special/2015/imitationgame/02/|website=WIRED.jp|accessdate=2020-08-21|language=ja}}</ref>、人気俳優[[ベネディクト・カンバーバッチ]]がチューリングを演じる映画『[[イミテーション・ゲーム/エニグマと天才数学者の秘密]]』が公開された。 |
|||
2019年、アラン・チューリングが新50ポンド紙幣に採用される事となった。新紙幣は2021年末頃に一般に出回ることになる。<ref>[https://www.bbc.com/news/business-48962557?ns_source=twitter&ns_mchannel=social&ocid=socialflow_twitter&ns_campaign=bbcnews/ New face of the Bank of England's £50 note is revealed] - BBC News, July 15, 2019</ref><ref name=":0" /> |
|||
=== 政府による謝罪 === |
|||
2009年8月、[[ジョン・グラハム=カミング]]がイギリス政府に対して、アラン・チューリングを同性愛で告発したことへ謝罪するよう請願活動をはじめた<ref group="注釈">請願活動はイギリス市民のみを対象として行われた。</ref><ref>{{Cite news|title=Thousands call for Turing apology |url= http://news.bbc.co.uk/2/hi/technology/8226509.stm |publisher=BBC News |date=31 August 2009 |accessdate= 2009-08-31}}</ref><ref>{{Cite news| title = Petition seeks apology for Enigma code-breaker Turing | url = https://edition.cnn.com/2009/WORLD/europe/09/01/alan.turing.petition/index.html | publisher=CNN | date = 01 September 2009 | accessdate =2009-09-01}}</ref>。これに対して数千の署名が集まった<ref name="PMapology"/>。 |
|||
イギリス首相の[[ゴードン・ブラウン]]はこの請願を認め、[[2009年]]9月10日に政府として正式な謝罪を表明し、当時のチューリングの扱いを「呆れたもの (appalling)」と表現して<ref name = "PM-apology" /><ref name="PMapology">{{Cite news| title = PM's apology to codebreaker Alan Turing: we were inhumane | url = http://www.guardian.co.uk/world/2009/sep/11/pm-apology-to-alan-turing |work=The Guardian |location=UK| date = 11 September 2009 | first=Caroline | last=Davies}}</ref>、次のように声明を発表した。 |
|||
<blockquote> |
|||
数千の人々がアラン・チューリングのための正義と彼がぞっとする扱われ方をしたという認識を求めて集まった。チューリングは当時の法律に則って扱われ、時計の針は戻すことはできないが、彼に対する処置はまったく不当であり、深い遺憾の意を表す機会を得たことを我々全てが満足に思っている… イギリス政府とアランのおかげで自由に生活している全ての人々を代表し、『すまない、あなたは賞賛に値する』と言えることを非常に誇りに思う。<ref name="PMapology"/> |
|||
</blockquote> |
|||
2011年12月、William Jones はイギリス政府に対してアラン・チューリングの罪を免罪(名誉回復)してほしい<ref name="BBBCPardon">{{Cite news| title = Petition to pardon computer pioneer Alan Turing started | url = http://www.bbc.co.uk/news/uk-england-manchester-16061279 | date = 6 December 2011 | work=BBC News}}</ref>という電子請願を申請した<ref name="PardonPetition">{{Cite web| title = Grant a pardon to Alan Turing | url = https://submissions.epetitions.direct.gov.uk/petitions/23526 | date = 6 December 2011 |accessdate=2012-02-22}}</ref>。この請願には21,000以上の署名が集まったが、法務大臣はチューリングが有罪宣告されたことは遺憾だが、当時の法律に則った正当な行為であったとしてこれを拒否した<ref group="注釈">同性愛行為 (gross indecency) に対する刑罰が削除されたのは1967年。 </ref><ref name="PardonPetitionDenied">{{Cite web| title = Widespread Celebrations But No Pardon For Turing | url = http://www.i-programmer.info/news/82-heritage/3735-widespread-celebrations-but-no-pardon-for-turing.html | date = 6 February 2012 |accessdate=2012-02-22}}</ref>。 |
|||
その後、2012年に[[貴族院 (イギリス)|イギリス貴族院]]に正式な恩赦の法案が提出され、2013年12月24日に[[エリザベス2世|エリザベス2世女王]]の名をもって正式に恩赦<ref>Royal Prerogative of Mercy</ref>が発効した<ref>{{Cite news |title=英国政府、アラン・チューリングに没後59年目の恩赦。計算機科学の父 |newspaper=Engadget 日本版 |date=2013-12-24 |author=ittousai |url=http://japanese.engadget.com/2013/12/24/59/ |archiveurl=https://web.archive.org/web/20190818203656/https://japanese.engadget.com/2013/12/24/59/|archivedate=2019-08-18|deadlinkdate=2022-05-01|accessdate=2013-12-28}}</ref>。キャメロン首相は、彼の業績をたたえる声明を発表した。 |
|||
=== 各大学における顕彰 === |
|||
[[File:Alan Turing Building 1.jpg|thumbnail|マンチェスター大学のアラン・チューリング・ビルディング]] |
|||
生涯と業績に関する催しが英国論理学会議と英国数学史学会主催で[[2004年]]6月5日にマンチェスター大学で行われた。 |
|||
* [[エディンバラ大学]]情報学科には 'Turing Room' と呼ばれる部屋があり、[[エドゥアルド・パオロッツィ]]作の胸像がある。 |
|||
* [[サリー大学]]の主広場には銅像がある。 |
|||
* [[:en:Istanbul Bilgi University|Istanbul Bilgi University]] では計算理論の会議が毎年開催されており、その期間を "Turing Days" と呼んでいる<ref name="bilgiuniv">{{Cite web| url = http://cs.bilgi.edu.tr/pages/turing_days/ | title = Turing Days @ İstanbul Bilgi University | accessdate =2011-10-29 |url-status=dead|url-status-date=2015-09-09}}</ref>。 |
|||
* [[マンチェスター大学]]、[[オープン大学]]、[[オックスフォード・ブルックス大学]]、[[オーフス大学]]([[デンマーク]][[オーフス]])には、それぞれチューリングの名を冠した建物がある。 |
|||
* [[オレゴン大学]]計算機科学科の建物のそばにはチューリングの胸像がある<ref name="Oregon">{{Cite web|url= http://www.mathcomp.leeds.ac.uk/turing2012/files/oregon.html|title=Turing at the University of Oregon|accessdate=2011-11-01 }}</ref>。 |
|||
* [[スイス連邦工科大学ローザンヌ校]]にはチューリングの名を冠した道路と広場(Chemin de Alan Turing と Place de Alan Turing)がある<ref name="epfl">{{Cite web|url= http://plan.epfl.ch/?zoom=20&recenter_y=5863918.36573&recenter_x=730628.82407&layerNodes=fonds,batiments,labels,information,parkings_publics,arrets_metro|title=Turing at the EPFL|accessdate= 2012-01-06 }}</ref>。 |
|||
=== 生誕100周年 === |
|||
{{main article|en: Alan Turing Year}} |
|||
[[File:David Chalmers, delivering a talk at De La Salle University-Manila, March 27, 2012.jpg|thumb|left|デ・ラ・サール大学(マニラ)において開催されたAlan Turing Yearカンファレンスの壇上に立つデイヴィッド・チャーマーズ(2012年3月27日)]] |
|||
生誕100年を記念して、Turing Centenary Advisory Committee (TCAC) は2012年を [[:en:Alan Turing Year|Alan Turing Year]]とし、一年を通して世界各地でチューリングの生涯およびその功績を称えるイベントを行った。TCACには、[[マンチェスター大学]]、[[ケンブリッジ大学]]、[[ブレッチリー・パーク]]などの関係者が協力しており、数学者の{{仮リンク|S・バリー・クーパー|en|S. Barry Cooper}}が議長を務め、甥のジョン・ダーモット・チューリングが名誉会長を務めている。 |
|||
2012年6月23日には、[[Google Doodle]]([[Google]]トップページのロゴ)がチューリングマシンを模したデザインに変更された。アルゴリズムを設定するミニゲームが遊べるようになっていた<ref>{{Cite web|和書|url= http://www.mdn.co.jp/di/newstopics/24002/?rm=1|title=今日のGoogleホリデーロゴはアラン・チューリング生誕100周年|accessdate= 2012-06-23 }}</ref>。 |
|||
ブレッチリー・パーク・トラストは、Winning Moves社と共同で、[[モノポリー]]のアラン・チューリング版を発表した。このモノポリーのマスとカードは、メイダヴェールにある出生の地からブレッチリー・パークのHut 8に勤務するまでのアラン・チューリングの生涯をたどるような内容に改訂されている<ref>{{cite news | url = http://www.bbc.co.uk/news/technology-19543039 | title = Special Monopoly edition celebrates Alan Turing's life | publisher=BBC News | accessdate =10 September 2012 | date=10 September 2012}}</ref>。また、このゲームには、チューリングを指導していた[[マックス・ニューマン]]の息子であるウィリアム・ニューマンが手書きで作成したモノポリーの原型のレプリカも同梱されている。この原型となったゲームを、1950年代にチューリングもプレイしていた<ref>{{cite web|url=http://www.bletchleypark.org.uk/news/docview.rhtm/668532 |title=Bletchley Park Launches Special Edition Alan Turing Monopoly Board|date= |accessdate=13 September 2012}}</ref>。 |
|||
フィリピンでは、デ・ラ・サール大学の哲学科が、2012年3月27日から28日にかけて、チューリングの生誕100周年を記念し、哲学、人工知能および認知科学に関する国際会議であるTuring 2012を開催した<ref>{{cite news | url=http://www.abs-cbnnews.com/lifestyle/03/24/12/dlsu-host-intl-summit-philosophy | title=DLSU to host int'l summit on philosophy | work=ABS-CBN.com | date=24 March 2012 | accessdate=18 December 2013 }}</ref><ref>{{cite news | url=http://www.gmanetwork.com/news/story/255746/scitech/science/the-thinking-machine-a-philosophical-analysis-of-the-singularity | title=The Thinking Machine: A philosophical analysis of the Singularity | work=GMA News Online | date=21 April 2012 | accessdate=18 December 2013 | author=Layug-Rosero, Regina}}</ref>。インドでは、[[マドゥライ]]において、6,000人の学生が出席する記念式典が行われた<ref>{{cite news | url=http://www.thehindu.com/features/metroplus/making-themselves-heard/article3605820.ece | title=Making themselves heard | work=The Hindu | date=5 July 2012 | accessdate=31 October 2013 | author=Shankar, M. Gopi | location=Chennai, India}}</ref>。 |
|||
==== 英国での記念イベント ==== |
|||
ACMが6月にマンチェスターにおいて3日間のカンファレンスと、サンフランシスコにおいて2日間のカンファレンスをそれぞれ開催した。またケンブリッジでは、[[キングス・カレッジ (ケンブリッジ大学)|キングス・カレッジ]]およびケンブリッジ大学においてそれぞれチューリングの誕生日パーティとチューリング生誕100周年記念カンファレンスが開催された。ケンブリッジ大学でのものは、Computability in Europeにより開催された<ref>{{cite web|url=http://m.guardian.co.uk/uk/2011/feb/23/northerner-alan-turing-centenary-celebrations?cat=uk&type=article |title=The Northerner: Alan Turing, computer pioneer, has centenary marked by a year of celebrations |newspaper=The Guardian |date=23 February 2011 |accessdate=29 May 2011}}</ref>。 |
|||
ロンドンの[[サイエンス・ミュージアム]]は、2012年6月から2013年7月にかけて、チューリングの生涯とその功績に特化した無料の展示を行った<ref>{{cite news | date=18 June 2012 | accessdate=23 June 2012 | authorlink=Rory Cellan-Jones | first1=Rory | first2=David | last1=Cellan-Jones | url=http://www.bbc.co.uk/news/technology-18459979 | title=Enigma? First look at Alan Turing exhibition (report with video preview) | work=[[BBC News Online]] | last2=Rooney (curator)}}</ref>。2012年2月には、[[ロイヤルメール]]が「Britons of Distinction」シリーズの一環として、チューリングの切手を発行した<ref>{{cite news | url=http://www.gizmodo.co.uk/2012/01/alan-turing-to-feature-in-britons-of-distinction-stamp-series/ | title=Codebreaker Alan Turing gets stamp of approval | work=Gizmodo | date=2 January 2012 | accessdate=2 January 2012 | author=Cutlack, Gary}}</ref><ref>{{Cite news|author=Caroline Davies |url= http://www.guardian.co.uk/artanddesign/2012/jan/02/codebreaker-alan-turing-stamp-approval |title=Codebreaker Alan Turing gets stamp of approval | Art and design |publisher=The Guardian |date= 2 January 2012|accessdate=2012-01-02}}</ref>。[[2012年ロンドンオリンピックの聖火リレー]]は、チューリングの100回目の誕生日である2012年6月23日に、サックヴィル・ガーデンズにあるチューリングの像の前で引き継がれた。 |
|||
2012年6月22日、マンチェスター市議会は、Lesbian and Gay Foundationと共同で、Alan Turing Memorial Awardを創設し、マンチェスターにおいて[[ホモフォビア]]に立ち向かうことに顕著な貢献のあった個人・団体を表彰することとした<ref>{{cite news|url=http://menmedia.co.uk/manchestereveningnews/news/s/1581770_centenary-award-tribute-to-enigma-codebreaker-alan-turing|title=Centenary award tribute to "enigma" codebreaker Alan Turing.|last=Anon|date=22 June 2012|work=Manchester Evening News|publisher=MEN media|accessdate=22 June 2012|location=Manchester}}</ref>。 |
|||
[[オックスフォード大学]]では、チューリングの生誕100周年を記念して、[[計算機科学|コンピュータサイエンス]]と哲学の新しい科目が開設された<ref>{{ Cite journal | title = Computer Science and Philosophy | publisher = University of Oxford | url = http://www.cs.ox.ac.uk/admissions/ugrad/Computer_Science_and_Philosophy | accessdate = 23 June 2013 | ref = harv }}。学士課程における新しい科目の最初の学生は、チューリングの生誕100周年にあたる2012年から受け入れ開始となる</ref>。 |
|||
これ以前にも、2004年6月5日にマンチェスター大学において、British Logic ColloquiumおよびBritish Society for the History of Mathematicsの主催で行われた、チューリングの生涯とその功績を称えるイベントを含め、さまざまなイベントが行われている<ref>{{cite web |url=http://www.dcs.warwick.ac.uk/bshm/archive/meetings.html |title=BSHM Meetings (1992–2007) |publisher=dcs.warwick.ac.uk |year= |accessdate=24 December 2013}}</ref>。 |
|||
== 栄誉 == |
|||
* 1946年に[[大英帝国勲章]]オフィサーを授与 |
|||
;名前にちなむもの |
|||
{{main|en:List of things named after Alan Turing}} |
|||
*[[チューリングマシン]] |
|||
*[[チューリング・テスト]] |
|||
*[[チューリング賞]] |
|||
;その他 |
|||
* 2021年6月23日に[[イングランド銀行]]から発効される、イギリスの50[[スターリング・ポンド|イギリス・ポンド]]紙幣の絵柄となった<ref>[https://www.bbc.com/news/business-56503741 New Alan Turing £50 note design is revealed] BBC 参照日・更新日 2021年3月25日</ref>。 |
|||
== 脚注 == |
|||
{{脚注ヘルプ}} |
|||
=== 注釈 === |
|||
{{Notelist}} |
|||
=== 出典 === |
|||
{{Reflist|20em}} |
|||
== 参考文献 == |
== 参考文献 == |
||
{{Refbegin}} |
|||
# Hodges, Andrew, ''Alan Turing: The Enigma''. Simon & Schuster, 1983. ISBN 0-671-49207-1. Also: Walker Publishing Company, 2000. |
|||
* {{Citation| last = Alexander | first = C. Hugh O'D. | year = circa 1945 | title = Cryptographic History of Work on the German Naval Enigma | url = http://www.ellsbury.com/gne/gne-000.htm | publisher=The National Archives, Kew, Reference HW 25/1}} |
|||
# 『甦るチューリング -コンピュータ科学に残された夢 -』星野力(著)、NTT出版(2002年)、ISBN 4-7571-0079-5 |
|||
* {{Citation| last = Copeland | first = B. Jack | title = Colossus: Its Origins and Originators | journal=[[:en:IEEE Annals of the History of Computing|IEEE Annals of the History of Computing]] | volume = 26 | issue = 4 | pages = 38–45 | year = 2004 |doi = 10.1109/MAHC.2004.26}} |
|||
* {{Citation| last = Copeland | first = B. Jack | title = Colossus: The secrets of Bletchley Park's code-breaking computers | year = 2006 | publisher=Oxford University Press | isbn = 978-0-19-284055-4 }} |
|||
* {{Citation| last = Gannon | first = Paul | title = Colossus: Bletchley Park's Greatest Secret | place = London | publisher = Atlantic Books | origyear = 2006 | year = 2007 | isbn = 978-1-84354-331-2 }} |
|||
* {{Citation| last = Hodges | first = Andrew | origyear = 1983 | year = 1992 | title = Alan Turing: the enigma |location = London | publisher=Burnett Books | isbn = 0-04-510060-8 | ref = harv }} |
|||
* {{Citation| last = Leavitt | first = David | year = 2007 | title = The man who knew too much: Alan Turing and the invention of the computer | publisher=Phoenix | isbn = 978-0-7538-2200-5}} |
|||
* {{Citation| last = Lewin | first = Ronald | title = Ultra Goes to War: The Secret Story | edition = Classic Penguin | series = Classic Military History | year = 1978 | publication-date = 2001 | publisher=Hutchinson & Co | location = London, England | isbn = 978-1-56649-231-7 }} |
|||
* {{Citation| last = Mahon | first = A.P. | title = The History of Hut Eight 1939–1945 | publisher=UK National Archives Reference HW 25/2 | year = 1945 | url = http://www.ellsbury.com/hut8/hut8-000.htm | accessdate =2009-12-10 | ref = harv }} |
|||
* {{Citation| editor-last = Oakley | editor-first = Brian | title = The Bletchley Park War Diaries: July 1939 — August 1945 | publisher = Wynne Press | year = 2006 | edition = 2.6 }} |
|||
* {{Citation| last = O'Connell | first = H | last2 = Fitzgerald | first2 = M | title = Did Alan Turing have Asperger's syndrome? | journal = Irish Journal of Psychological Medicine | volume = 20 | pages = 28-31 | publisher = Irish Institute of Psychological Medicine | date = 2003 | issn = 0790-9667 }} |
|||
* {{Cite book|和書|author=星野力 |title=甦るチューリング -コンピュータ科学に残された夢 - |origdate= |origyear= |url= |format= |accessdate= |edition= |date= |year=2002 |publisher=[[NTT出版]] |isbn=4-7571-0079-5 |oclc=54637816|ref=harv}} |
|||
{{Refend}} |
|||
== 関連文献 == |
== 関連文献 == |
||
{{Refbegin|2}} |
|||
# 『天才の栄光と挫折 数学者列伝』[[藤原正彦]](著)、[[新潮選書]]、2002年、[[文春文庫]]、2008年 |
|||
*{{Cite journal|title=The Mind and the Computing Machine: Alan Turing and others|journal=[[:en:The Rutherford Journal|The Rutherford Journal]]|url= http://www.rutherfordjournal.org/article010111.html |editor = Jack Copeland|ref=harv}} |
|||
*{{Cite encyclopedia|last=Hodges |first=Andrew |editor=Edward N. Zalta |encyclopedia=[[スタンフォード哲学百科事典|Stanford Encyclopedia of Philosophy]] |title=Alan Turing |url= http://plato.stanford.edu/entries/turing/ |accessdate=2011-01-10 |edition=Winter 2009 |date=27 August 2007 |publisher=[[スタンフォード大学|Stanford University]] |ref={{SfnRef|Hodges|1992}} }} |
|||
*{{Cite journal|last=Gray|first=Paul|date=29 March 1999|title=Computer Scientist: Alan Turing|journal=TIME|url= http://www.time.com/time/magazine/article/0,9171,990624,00.html|ref=harv}} |
|||
* Gleick, James, ''[[:en:The Information: A History, a Theory, a Flood|The Information: A History, A Theory, A Flood]]'', New York: Pantheon, 2011, ISBN 978-0-375-42372-7 |
|||
* Leavitt, David, ''The Man Who Knew Too Much: Alan Turing and the Invention of the Computer'', W. W. Norton, 2006 |
|||
* {{Cite book|和書 |author=藤原正彦|authorlink=藤原正彦|title=天才の栄光と挫折 数学者列伝|year=2002 |publisher=[[新潮社]]|series=[[新潮選書]] |isbn=4-10-603511-1 |oclc=54715289|ref=harv}} |
|||
* {{Cite book|和書 |author=藤原正彦|authorlink=藤原正彦|title=天才の栄光と挫折 数学者列伝|year=2008 |publisher=[[文芸春秋]]|series=[[文春文庫]] |isbn=978-4-16-774902-6 |oclc=247848683|ref=harv}} |
|||
* {{Cite journal |author= |date=2012-07 |title=特集I チューリング生誕100年 |journal=[[数学セミナー]] |volume=51 |issue=7 |pages= |publisher=[[日本評論社]] }}、(通巻609号、2012年7月号) |
|||
{{Refend}} |
|||
== 関連項目 == |
== 関連項目 == |
||
120行目: | 292行目: | ||
{{ウィキプロジェクトリンク|LGBT}} |
{{ウィキプロジェクトリンク|LGBT}} |
||
{{refbegin|2}}<!--段組み--> |
{{refbegin|2}}<!--段組み--> |
||
*[[チューリング賞]] |
* [[チューリング賞]] |
||
*[[チューリングマシン]] |
* [[チューリングマシン]] |
||
*[[チューリング・テスト]] |
* [[チューリング・テスト]] |
||
*[[チューリング |
* [[チューリング次数]] |
||
* [[チューリング・パターン]] |
|||
*[[計算機科学]] |
|||
* [[計算機科学]] |
|||
*[[ブレイキング・ザ・コード]] |
|||
* [[アナログ計算機]] |
|||
* [[ブレイキング・ザ・コード]] |
|||
* [[イミテーション・ゲーム/エニグマと天才数学者の秘密]] |
|||
{{refend}} |
{{refend}} |
||
== 外部リンク == |
|||
==注釈== |
|||
{{Commonscat|Alan Turing}} |
|||
<div class="references-small"><references /></div> |
|||
{{Wikiquote|en:Alan Turing|アラン・チューリング}} |
|||
*[http://www.turingcentenary.eu/ Alan Turing Year] |
|||
*[http://cie2012.eu/ CiE 2012: Turing Centenary Conference] |
|||
*[http://www.turing.org.uk/ Alan Turing] {{仮リンク|アンドリュー・ホッジス|en|Andrew Hodges}}の運営するサイト。[http://www.turing.org.uk/bio/part1.html short biography] もある。 |
|||
*[http://www.alanturing.net/ AlanTuring.net – Turing Archive for the History of Computing] {{仮リンク|ジャック・コープランド|en|Jack Copeland}} |
|||
*[http://www.turingarchive.org/ The Turing Digital Archive] – ケンブリッジ大学キングス・カレッジ所有の出版されていない資料のスキャンなどがある。 |
|||
*{{Cite journal|last=Jones|first=G. James|date=11 December 2001|title=Alan Turing – Towards a Digital Mind: Part 1|journal=System Toolbox|publisher=The Binary Freedom Project|url= http://www.systemtoolbox.com/article.php?history_id=3|ref=harv}} |
|||
*[http://openplaques.org/people/368 Alan Turing plaques] on openplaques.org |
|||
* {{SEP|turing/|Alan Turing}} |
|||
=== 論文 === |
|||
* [http://bibnetwiki.org/wiki/Category:Alan_M._Turing_Paper チューリングの論文、報告書、講義、翻訳版など] BibNetWiki |
|||
* {{AcademicSearch|2612734}} |
|||
* {{Citation| last = Turing| first = Alan| year=1950| title = Computing Machinery and Intelligence| journal=[[:en:Mind (journal)|Mind]] | issn=0026-4423 | volume = LIX | issue = 236 | date=October 1950 | pages= 433–460 | url = http://loebner.net/Prizef/TuringArticle.html | doi=10.1093/mind/LIX.236.433 |accessdate=2008-08-18}} |
|||
* [http://conservancy.umn.edu/handle/107241 Oral history interview with Donald W. Davies], [[チャールズ・バベッジ研究所|Charles Babbage Institute]], University of Minnesota |
|||
* [http://conservancy.umn.edu/handle/107493 Oral history interview with Nicholas C. Metropolis], [[チャールズ・バベッジ研究所|Charles Babbage Institute]], University of Minnesota |
|||
{{Commonscat|Alan Turing}} |
|||
{{心の哲学}} |
{{心の哲学}} |
||
{{Logic}} |
{{Logic}} |
||
{{100名の最も偉大な英国人}} |
|||
{{Normdaten}} |
|||
{{デフォルトソート:ちゆうりんく あらん}} |
|||
{{Scientist-stub}} |
|||
[[Category:アラン・チューリング|*]] |
|||
{{DEFAULTSORT:ちゆうりんく あらん}} |
|||
[[Category: |
[[Category:20世紀の数学者|120623]] |
||
[[Category: |
[[Category:20世紀イングランドの哲学者]] |
||
[[Category: |
[[Category:20世紀イングランドの数学者]] |
||
[[Category: |
[[Category:20世紀イングランドの科学者]] |
||
[[Category:20世紀の論理学者]] |
|||
[[Category:無神論の哲学者]] |
|||
[[Category:イングランドの論理学者]] |
|||
[[Category:イギリスの計算機科学者]] |
|||
[[Category:計算可能性理論の研究者]] |
|||
[[Category:イギリスのLGBTの科学者]] |
|||
[[Category:イギリスの暗号研究者]] |
|||
[[Category:人工知能の歴史]] |
|||
[[Category:大英帝国勲章受章者]] |
|||
[[Category:王立協会フェロー]] |
|||
[[Category:形式手法の人物]] |
[[Category:形式手法の人物]] |
||
[[Category:20世紀の数学者|120623]] |
|||
[[Category:マンチェスター大学の教員]] |
[[Category:マンチェスター大学の教員]] |
||
[[Category:イギリス国立物理学研究所の人物]] |
[[Category:イギリス国立物理学研究所の人物]] |
||
[[Category: |
[[Category:イングランドの無神論者]] |
||
[[Category: |
[[Category:プリンストン大学出身の人物]] |
||
[[Category:ケンブリッジ大学キングス・カレッジ出身の人物]] |
|||
[[Category:シティ・オブ・ウェストミンスター出身の人物]] |
|||
[[Category:ゲイの学術関係者]] |
|||
[[Category:LGBTの歴史]] |
|||
[[Category:数学に関する記事]] |
|||
[[Category:イギリス政府通信本部]] |
|||
[[Category:1912年生]] |
[[Category:1912年生]] |
||
[[Category:1954年没]] |
[[Category:1954年没]] |
||
[[Category: |
[[Category:イギリス・ポンド紙幣の人物]] |
||
[[Category:自殺したLGBTの人物]] |
|||
[[Category:LGBTの数学者]] |
|||
{{Link FA|es}} |
|||
[[Category:LGBTの哲学者]] |
|||
{{Link FA|la}} |
|||
{{Link GA|en}} |
|||
[[af:Alan Turing]] |
|||
[[an:Alan Turing]] |
|||
[[ar:آلان تورنج]] |
|||
[[arz:الان تورينج]] |
|||
[[ast:Alan Turing]] |
|||
[[az:Alan Türinq]] |
|||
[[bat-smg:Alans Tiorėngs]] |
|||
[[be:Алан Матысан Цьюрынг]] |
|||
[[be-x-old:Элан Т’юрынг]] |
|||
[[bg:Алън Тюринг]] |
|||
[[bn:অ্যালান টুরিং]] |
|||
[[br:Alan Turing]] |
|||
[[bs:Alan Turing]] |
|||
[[ca:Alan Turing]] |
|||
[[cs:Alan Turing]] |
|||
[[cy:Alan Turing]] |
|||
[[da:Alan Turing]] |
|||
[[de:Alan Turing]] |
|||
[[el:Άλαν Τούρινγκ]] |
|||
[[en:Alan Turing]] |
|||
[[eo:Alan Turing]] |
|||
[[es:Alan Turing]] |
|||
[[et:Alan Turing]] |
|||
[[eu:Alan Turing]] |
|||
[[fa:آلن تورینگ]] |
|||
[[fi:Alan Turing]] |
|||
[[fr:Alan Turing]] |
|||
[[fy:Alan Turing]] |
|||
[[ga:Alan Turing]] |
|||
[[gan:圖靈]] |
|||
[[gd:Alan Turing]] |
|||
[[gl:Alan Turing]] |
|||
[[gu:ઍલન ટ્યુરિંગ]] |
|||
[[he:אלן טיורינג]] |
|||
[[hi:एलेन ट्यूरिंग]] |
|||
[[hif:Alan Turing]] |
|||
[[hr:Alan Turing]] |
|||
[[ht:Alan Turing]] |
|||
[[hu:Alan Turing]] |
|||
[[id:Alan Turing]] |
|||
[[io:Alan Turing]] |
|||
[[is:Alan Turing]] |
|||
[[it:Alan Turing]] |
|||
[[jv:Alan Turing]] |
|||
[[ka:ალან ტიურინგი]] |
|||
[[ko:앨런 튜링]] |
|||
[[ku:Alan Turing]] |
|||
[[la:Alanus Mathison Turing]] |
|||
[[lb:Alan M. Turing]] |
|||
[[li:Alan Turing]] |
|||
[[lt:Alan Turing]] |
|||
[[lv:Alans Tjūrings]] |
|||
[[mk:Алан Тјуринг]] |
|||
[[ml:അലൻ ട്യൂറിംഗ്]] |
|||
[[mn:Алан Матисон Тюринг]] |
|||
[[mr:अॅलन ट्युरिंग]] |
|||
[[ms:Alan Turing]] |
|||
[[mt:Alan Turing]] |
|||
[[mwl:Alan Turing]] |
|||
[[nl:Alan Turing]] |
|||
[[nn:Alan Turing]] |
|||
[[no:Alan Turing]] |
|||
[[oc:Alan Turing]] |
|||
[[pl:Alan Turing]] |
|||
[[pms:Alan Turing]] |
|||
[[pnb:الان ٹورنگ]] |
|||
[[pt:Alan Turing]] |
|||
[[ro:Alan Turing]] |
|||
[[ru:Тьюринг, Алан]] |
|||
[[rue:Алан Тюрінґ]] |
|||
[[sa:एलेन ट्यूरिंग]] |
|||
[[scn:Alan Turing]] |
|||
[[sh:Alan Turing]] |
|||
[[simple:Alan Turing]] |
|||
[[sk:Alan Mathison Turing]] |
|||
[[sl:Alan Turing]] |
|||
[[sq:Alan Turing]] |
|||
[[sr:Алан Тјуринг]] |
|||
[[sv:Alan Turing]] |
|||
[[sw:Alan Turing]] |
|||
[[ta:அலன் டூரிங்]] |
|||
[[te:అలాన్ ట్యూరింగ్]] |
|||
[[tg:Алан Тюринг]] |
|||
[[th:แอลัน ทัวริง]] |
|||
[[tl:Alan Turing]] |
|||
[[tr:Alan Turing]] |
|||
[[uk:Алан Тюрінг]] |
|||
[[vi:Alan Turing]] |
|||
[[vo:Alan Turing]] |
|||
[[war:Alan Turing]] |
|||
[[yo:Alan Turing]] |
|||
[[zh:艾伦·图灵]] |
|||
[[zh-min-nan:Alan Turing]] |
|||
[[zh-yue:Alan Turing]] |
2024年12月12日 (木) 00:43時点における最新版
アラン・チューリング | |
---|---|
生誕 |
Alan Mathison Turing 1912年6月23日 イギリス イングランド・ロンドン・ メイダヴェール |
死没 |
1954年6月7日 (41歳没) イギリス イングランド・チェシャー・ ウィルムズロー |
居住 | イギリス |
国籍 | イギリス |
研究分野 | 数学、暗号解読、計算機科学、数理生物学 |
研究機関 |
ケンブリッジ大学 政府通信本部 国立物理研究所 (イギリス) マンチェスター大学 |
出身校 |
キングス・カレッジ (ケンブリッジ大学) プリンストン大学 |
博士課程 指導教員 | アロンゾ・チャーチ |
博士課程 指導学生 | ロビン・ガンディー |
主な業績 |
停止性問題 チューリングマシーン エニグマの暗号解読 ACE (コンピュータ) チューリング賞 チューリング・テスト チューリング・パターン |
主な受賞歴 |
大英帝国勲章 王立協会フェロー[1] |
署名 | |
プロジェクト:人物伝 |
アラン・マシスン・チューリング(Alan Mathison Turing、英語発音: [tjúǝrɪŋ]〔音写の一例:テュァリング〕, OBE, FRS 1912年6月23日 - 1954年6月7日)は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において、姓の Turing はテューリングとも表記される[2]。
黎明期の電子計算機の研究に従事し、計算機械チューリングマシンとして計算を定式化し、その知性や思考に繋がりうる能力と限界の問題を議論するなど、情報処理の基礎的・原理的分野において大きく貢献した。また、偏微分方程式におけるパターン形成の研究などでも先駆的な業績を持つ。
人物
[編集]経歴・業績の基盤となる出発点は数学であったが、第二次世界大戦中の暗号解読業務に従事した。また、黎明期の電子計算機の開発に携わったことから、コンピュータ・情報処理の基礎理論である計算可能性などに関する仕事をすることとなった。
第二次世界大戦の間、ブレッチリー・パークにあるイギリスの暗号解読センターの政府暗号学校にてドイツの暗号を解読するいくつかの手法を考案し、英国の海上補給線を脅かすドイツ海軍のUボートの暗号通信を解読する部門 (Hut 8) の責任者となった。ドイツが使用していた、エニグマ暗号機を利用した通信の暗文を解読する(その通信における暗号機の設定を見つける)ための機械「bombe」を開発した。
チューリングの業績を紹介する時、チャーチ=チューリングのテーゼと計算可能性理論への貢献がまず第一に挙げられる。特にアルゴリズムを実行するマシンを形式的に記述したものの一つであるチューリングマシンにその名を残し、人によっては前述のテーゼを「チューリング=チャーチ」と呼称するべきであるとする者もいるほどである。また、任意のチューリングマシンを模倣(エミュレート)できる「万能チューリングマシン」は、同分野の基本的な定理のひとつである停止性問題の決定不能性定理と関係する。さらに、理論面だけではなく、実際面でもコンピュータの誕生に重要な役割を果たした[3][4]。「コンピュータ科学の父」および(チューリング・テストなど)からは「人工知能(AI)の父」とも言われる[5]。
がっしりした体形で、声は甲高く話好きで機知に富み、多少学者ぶったところがあったといわれている[6]。また、アスペルガー症候群(自閉症スペクトラム障害・ASD)を示唆する特徴の多くを示しているとの指摘もある[7]。
戦後はイギリス国立物理学研究所 (NPL) に勤務し、プログラム内蔵式コンピュータの初期設計のひとつであるACE (Automatic Computing Engine) に携わった(ただし、チューリング自身はその完成を見ずに異動している)。1947年、マンチェスター大学に移ると、初期のコンピュータである Manchester Mark I のソフトウェア開発に従事し[8]、数理生物学に興味を持つようになる。形態形成の化学的基礎についての論文を書き[9]、1960年代に初めて観察されたベロウソフ・ジャボチンスキー反応のような発振する化学反応の存在を予言した。
1952年、同性愛の罪(風俗壊乱罪)で警察に逮捕されて保護観察の身となり、転向療法としてホルモン治療を受ける。1954年に41歳で死去。検死によると、青酸中毒による自殺と断定されたが、母や一部の友人は事故だと信じていた。
2009年9月10日、インターネットでのキャンペーンに続いて首相のゴードン・ブラウンが、戦後のイギリス政府によるチューリングへの扱いについて公式に謝罪した[10]。
生涯
[編集]生い立ち
[編集]母エセル・チューリングは、イギリス領インド帝国オリッサ州チャトラプルにてアランを妊娠した[11][12]。父のジュリアス・チューリングは、当時インド高等文官であり、1911年にエセルの妊娠を知ると、イギリス本国での養育を考えてロンドンのメイダヴェールに戻った[13]。1912年6月23日、アランが誕生した[注釈 1]。
ジュリアスの任期が続いており、両親はインドとイギリスのヘイスティングス[16]を行き来する生活を送っていたため、アランと兄のジョン・チューリングはイギリスの友人に預けられる。アランは文字を読むことを3週間で覚えたほか、数字に強くパズルが非常に得意だったという[17]。
6歳でセント・マイケルズ学校に入学した。担任教師に続き、校長もすぐにアランの才能に気づく。
パブリックスクール時代
[編集]1926年、14歳でシャーボーン・スクールに入学。登校初日がゼネラル・ストライキ予定日と重なったため、前日から100kmの距離を一人で自転車で行くことにして、途中で宿をとって登校。このできごとは地元紙に掲載された[18]。
シャーボーンは有名なパブリックスクールであり、その校風は古典を重視するものだったが、チューリングは、主に数学と科学に才能を発揮した。そのため、同校の校長は、アランの両親に「どっちつかずにならないと良いですが。パブリックスクールに留まるなら、教養を身に付けねばなりません。単に科学者になるのなら、パブリックスクールに通うのは、時間の無駄です」[19]という手紙を書いた。
しかし、このようなことがあっても、アランは、学問に対する驚くべき能力を示し、初等微分積分学も習っていない1927年に、もっと難しい問題を解いていた。1928年、アルベルト・アインシュタインの書いた文章に触れ、16歳でその内容を理解しただけでなく、そこには明記されていなかったニュートン力学について、アインシュタインの疑問を外挿したという[20]。
同性の親友であるクリストファー・モルコムに恋をしたが、シャーボーンの最終学期中、感染牛のミルクを小さいころに飲んでいたため[21]牛結核症を患って、モルコムは死去した(1930年2月13日)[22]。このことがきっかけとなり、チューリングは、無神論者になった。また、脳の働きなどの現象についても、唯物論的に解釈するようになったが[23]、心のどこかで死後の生を信じていたという[24]。
大学時代と計算可能性についての研究
[編集]ケンブリッジ大学キングス・カレッジへ進学した。1931年から1934年まで学生として学び、数学で優秀な成績を修めて卒業した。1935年に、中心極限定理を証明した論文が認められ、キングス・カレッジのフェロー(特別研究員)に選ばれた[25]。ただし、中心極限定理は1922年にJ・W・リンデベルグが証明済みだったが、チューリングはその業績を知らなかった[26]。
1928年、ドイツの数学者ダフィット・ヒルベルトは、「決定問題」への注目を呼びかけた。チューリングは、重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"(「計算可能数、ならびにそのヒルベルトの決定問題への応用」、1936年5月28日提出、11月12日配布)[27]で、この問題の解決に重要な役割を果たした。
この論文の重要な点を、現代の数学および数学基礎論およびコンピュータ科学の視点からまとめると次のようになる。(1)「チューリングマシン」という計算モデルを提示し、19世紀以前の数学では数理論理の視点からすると自然言語で記述されるなど曖昧な点があったアルゴリズムを形式的に表現する手法(のひとつ)を確立し、「何らかのチューリングマシンで計算可能な関数を計算可能関数とする」という計算可能性理論における重要なテーゼであるチャーチ=チューリングのテーゼを示した(チャーチの業績とは独立であり[28]、チューリングのほうがよりわかりやすく直感的であった。人によってはチューリング=チャーチのテーゼ、の順とすることもある)。(2)どんなチューリングマシンの動作をも、現代の言葉で言えば「エミュレート」できる、「万能チューリングマシン」が可能であることを証明し、その構成法を示した。(注意: この(1)と(2)が表現していることを曖昧に理解しないように注意すること。「テーゼ」は証明ではない(証明できるような性質のものではない)。しばしば、万能チューリングマシンによりあらゆる計算が可能であることを証明した、というような誤解が見受けられる。)(3)「万能チューリングマシン」の概念を利用して、停止性問題を否定的に証明した(これはゲーデルの不完全性定理と同等の結果とも言えるものである。詳細は停止性問題の記事を参照)。
1936年9月から1938年7月にかけて、プリンストン大学においてアロンゾ・チャーチ(前述の「チャーチ=チューリングのテーゼ」のチャーチである)に師事した。1938年、プリンストンで博士号を得た。博士論文[29]では、数の広がり(正の整数→負数→無理数→虚数)とその公理体系の進化に関して、それらすべてを包含する「順序数」という概念の体系を整理しようとした。その中で、チューリング還元の概念を提案している。純粋数学とは別に暗号理論もここで学び、電気機械式乗算器も試作している[30]。また、この時期、ジョン・フォン・ノイマンも同じくプリンストンにおり、二人は親交があったと言われている。ノイマンは、チューリングにアメリカに残ることを勧めたという。
1939年にケンブリッジに戻ると、ウィトゲンシュタインとの講義に参加した[31]。そこでは、ウィトゲンシュタインが「数学は絶対的真実を発見するのではなく、発明している」という立場を取ったのに対して、チューリングは形式主義を擁護する立場を取った[32]。
不思議な性格
[編集]ブレッチリー・パークでは変人で通っていた。同僚は彼を 'Prof' と呼び、 エニグマに関する論文は 'The Prof's Book' と呼ばれていた[33][34]。同僚の暗号解読者ジャック・グッドはチューリングについて次のように述べている。
6月の第1週には毎年花粉症に悩まされるので、彼は花粉を吸わないようガスマスクをして自転車でオフィスに通っていた。自転車は故障していて、定期的にチェーンが外れていた。それを修理してもらう代わりに、ペダルをこいだ回数を数えて、危なくなると一旦降りてチェーンを調整していた。もうひとつの変人ぶりとして、マグカップが盗まれるのを防ぐために、それをラジエータパイプに鎖で繋いでいた。[35]
チューリングとマラソン
[編集]ブレッチリーで働いていたころ、ロンドンで重要な会議に出席しなければならないとき、長距離走が得意だったチューリングは、約 64km を走ったという[36]。マラソンにおけるベストタイムは2時間46分3秒であり、1948年ロンドンオリンピックのマラソン代表選考にも参加して5位となっている[37]。
暗号解読
[編集]第二次世界大戦中、チューリングは、ブレッチリー・パークでドイツの暗号を解読する仕事をしていた。歴史家で自らも戦時中に暗号解読に従事していたエイザ・ブリッグズは次のように述べている。
類まれな才能が必要で、ブレッチリーで天才が必要とされていた。チューリングは、まさにその天才だった。[38]
第二次世界大戦に先立つ1938年9月から、イギリスにおける暗号解読組織である政府暗号学校 (GCCS) でパートタイムで働き始める。そこで、ディリー・ノックスと共にエニグマの解読に当たった[39]。第二次世界大戦勃発の5週間前の1939年7月25日、ポーランド軍参謀本部第2部暗号局 (en)とイギリスおよびフランスの関係者がワルシャワで会合し、ポーランドが解明したエニグマのローター回路についての情報を得ていた。チューリングとノックスは、その情報を元に、問題にアプローチしようとしていた[40]。ポーランドの解読法は不安定なもので、ドイツ側がいつでも変更可能だった。実際1940年5月に変更されている。チューリングの方法はもっと汎用的でクリブ式暗号解読全般に使えるもので、最初の bombe(ボンブ) の機能仕様に盛り込まれていた。
1939年9月4日、イギリスがドイツに宣戦布告した翌日、GCCSの戦時中の基地となっていたブレッチリー・パークに出頭した[41]。bombe の仕様は戦時中の暗号解読でチューリングが成し遂げた5つの成果のうち最初の1つである。他には、ドイツ海軍が使っていたインジケーター手続きの推測、Banburismus と名付けた bombe の効率を上げる統計的手法の開発、Turingery と名付けた Lorenz SZ 40/42 (Tunny) のホイール群のカム設定を明らかにする手続きの開発、そして終戦間近に開発した音声信号スクランブラー Delilah である。
1945年、戦時中の功績によりOBEを授与されたが、その後1970年代までその業績は秘密にされ、近しい友人すらそのことを知らなかった。その功績の大きさにもかかわらず、暗号という重要な機密事項を扱う仕事柄ゆえに、ブレッチリー・パークから一歩外に出れば、チューリングの仕事を知る者は誰一人いなかった。それは、家族すら例外ではなく、母親に一度だけ「軍関係の研究をしている」と話した際には、政府の仕事に携わっていながら身なりに気を払わない息子に対し、母はかえって落胆するばかりであったという。戦後もブレッチリー・パークに関係する事柄は引き続き機密とされ、チューリングが同性愛者として罰せられてからは、その功績を知らない世間から、公然と辱めを受けることとなる(後述)。
チューリングとウェルチマンの bombe
[編集]ブレッチリー・パークに到着して数週間後[41]、ポーランドの「ボンバ」 (bomba kryptologiczna) よりも効率的にエニグマの暗号を解読する電気機械式の装置の仕様を生み出し、ポーランドの bomba にちなんで bombe と名付けた。数学者ゴードン・ウェルチマンの示唆によって改良した bombe は、エニグマの暗号解読の主要な自動化ツールとなった。
ジャック・グッドは次のように述べている。
チューリングの最も重要な貢献は、私が思うに暗号解読機 bombe の設計だ。彼はあなたも使えるアイデアを持っていた。要するに、やや不合理な訓練されていない耳でも聞き分けられる論理的理論で、すべてを推論できる。[42]
bombe はエニグマの暗号文で使われたと考えられる正しい設定(ローターの順序、ローターの設定、プラグボードの設定など)を、適当なクリブ(平文中に含まれているであろうと思われる単語やフレーズ)を使って探索する。ローターの考えられる設定(組み合わせのオーダーは 1019、4ローターのUボート版では 1022)ごとに[43]、bombe はクリブに基づいた一連の推論を電気的に行う。bombe は矛盾が生じるとそれを検出し、その設定を除外し、次の設定を調べる。ほとんどの設定は矛盾を生じるので除外でき、詳細に調べるべき少数の設定だけが残る。最初の bombe は1940年3月18日に実装された[44]。終戦のころには200台以上の bombe が使われていた[45]。
Hut 8 と海軍のエニグマ
[編集]チューリングは「他の誰もそれに取り組まず、自分ならやれるかもしれない」と思い、ドイツ海軍のエニグマの解読というさらに難しい問題に取り組むことを決めた[47]。1939年12月、海軍のエニグマのインジケーターシステムの基本部分を解明。海軍以外が使っているインジケーターシステムよりも複雑だった[47][48]。そしてある夜、Banburismus のアイデアを思いつく。これは逐次的かつ統計的な技法で(後にエイブラハム・ウォールドは sequential analysis と呼んだ)、海軍版エニグマの暗号解読を助けるものだった。「私はそれが現場でうまく機能するか確信を持てず、何日かかけて具体化してやっと確信した」[47] このために彼は証拠を重み付けするための測度を考案し、それを Ban と呼んだ。Banburismus はエニグマの特定のローターの並びを除外することができ、bombe の設定をテストする時間を大幅に減らすことに寄与した。
1941年、チューリングは、 Hut 8 の同僚で数学者・暗号解読者のジョーン・クラークに結婚を申し込んだが、婚約期間は短かった。同性愛者であることをフィアンセに告白しても、彼女は動じなかったといわれているが、チューリングのほうがこのまま結婚はできないと別れることを決心した[49]。
1942年11月には、暗号に関する情報交換の一環として、アメリカを訪れた[50]。そこでは、ワシントンでアメリカ海軍の暗号解読者に海軍版エニグマと bombe の構造について伝授し、英米間の盗聴不可能な音声通信手段としてベル研究所で当時開発中だった秘話装置SIGSALYの情報提供を受け暗号化方式の安全性についての評価作業を行った[51]。ベル研究所では同じようにSIGSALYの評価を行っていたシャノンにも会っている。1943年3月、ブレッチリー・パークに戻る。この間に Hut 8 の責任者がヒュー・アレグザンダーに変わり、チューリング自身は部門の日常業務の運営に興味を持たなくなっていたため、ブレッチリー・パークの暗号解読コンサルタントのような立場となった。
アレグザンダーは、次のように書いている。
チューリングの仕事が Hut 8 の成功の最大の要因であることは誰もがわかっていた。当初、暗号解読者としては、彼だけがこの問題に取り組む価値があると考え、彼1人ではないものの Hut における理論的成果の最大の功績者であり、彼に次いでウェルチマンとキーンが bombe の発明に貢献した。全員が不可欠だったというのは難しいが、Hut 8 で誰が一番不可欠だったかといえば、それはチューリングだ。経験と日常がすべてを簡単なように見せるので、先駆者の業績は忘れられがちだが、Hut 8 の多くの者がチューリングの功績の大きさが外の世界に完全に伝わることは決してないだろうと感じていた。[52]
Turingery
[編集]1942年、チューリングは Turingery(冗談で Turingismus とも)と名付けた技法を考案[53]。ドイツが新たに開発した暗号生成ローターつきのテレタイプ端末で生成されるローレンツ暗号を解読するための技法である。この暗号機械をブレッチリー・パークでは Tunny と呼んでいた。Turingery は Tunny のホイール群のカム設定を解明する手続きである[54]。彼は Tunny のチームにトミー・フラワーズを紹介し、フラワーズがマックス・ニューマンの指導下で世界初のプログラム可能な電子式デジタル計算機 Colossus を構築することになった。Colossus は当時としては極めて高性能で、総当り的な統計的暗号解読技法を適用しても十分な性能を発揮した[55]。なお、チューリングがColossusの設計に重要な役割を果たしたと間違って主張している文献などがある。Turingery と Banburismus の統計的暗号解読法は間違いなくローレンツ暗号の解読技術に影響を与えているが[56]、チューリング自身がColossus開発に直接関与した事実はない[57]。
秘話装置 Delilah
[編集]アメリカのベル研究所で提供を受けたSIGSALYの情報を元に[58]、よりシンプルな形で電話の音声信号を電子的に暗号化するというアイデアを追求し、戦時中の後半はハンスロープ・パークにあるイギリス情報局秘密情報部のラジオセキュリティサービス(後のHMGCC)で働いた。そこで彼は技術者ドナルド・ベイリーの助けを得て、電子工学への造詣を深める。2人は携帯型の秘話装置 Delilah を設計・構築[59]。Delilah は様々な応用が意図されていたが、長距離の無線通信ができず、いずれにしても完成したのは終戦間近で遅すぎた。それでも役人の前でウィンストン・チャーチルの演説を暗号化してさらにそれを元に戻すデモンストレーションを行ったが、実際には使われなかった[60]。
初期のコンピュータに関する仕事とチューリングテスト
[編集]1945年から1947年まで、チューリングはロンドンのリッチモンドに住み[61]、イギリス国立物理学研究所 (NPL) にてACE (Automatic Computing Engine) の設計を行う。1946年2月の論文では、プログラム内蔵式コンピュータの英国初の完全なデザインを発表している[62]。フォン・ノイマンの「EDVACに関する報告書の第一草稿」はチューリングの論文より先に存在したが、チューリングの論文の方が詳細であり、NPL数学部門の責任者だった John R. Womersley は「チューリング博士の独自のアイデアがいくつか含まれていた」と記している[63]。また、フォン・ノイマンはさらに遡る1936年の時点でチューリングがプログラム内蔵式について先駆的な論文を発表していたことを認めていた[64]。ACEは実現可能な設計だったが、ブレッチリー・パークで軍事機密に関わる仕事をしていたことが原因でプロジェクトは遅々として進まず、1947年、サバティカル休暇でケンブリッジに戻る。彼がケンブリッジにいる間にACEを縮小した パイロットACE が作られた。1950年5月10日に初めてプログラムの実行を達成している。
1948年にマックス・ニューマンの招きでマンチェスター大学に準教授として招かれ、チューリングは同大学で設立されていた王立協会計算機研究所の副所長に就任し[65][66]、そこで初期のコンピュータ Manchester Mark I におけるソフトウェア開発に従事。この時期はより概念的な仕事にも取り組み、Computing Machinery and Intelligence(「計算する機械と知性」、1950年10月、「Mind」誌)という論文では人工知能の問題を提起、今日チューリングテストとして知られている実験を提案している。すなわち、機械を「知的」と呼ぶ際の基準を提案したもので、人間の質問者が機械と会話をして人間か機械か判別できない場合に、その機械が「思考」していると言えるというものである[67]。その中で、最初から大人の精神をプログラムによって構築するよりも、子どもの精神をプログラムして教育によって育てていくのがよいと示唆している。
1948年、当時まだ存在していなかったコンピュータチェスのプログラムを書き始める。1952年、当時のコンピュータは性能が低くそのプログラム実行には適さなかったため、自分でコンピュータをシミュレートしてチェスの試合を行ったが、一手打つのに30分かかったという。その対戦の棋譜が残っている[68]。同僚との対戦ではプログラムが負けているが、別の同僚の妻にはプログラムが勝利している。
チューリングテストは独特の挑発的特徴があり、人工知能に関する議論で半世紀にわたってよく引き合いにだされ続けた[69]。
1948年には行列のLU分解も考案しており、今でも線形方程式の解法として使われている[70]。
形態形成と数理生物学に関する仕事
[編集]1952年から、亡くなる1954年まで数理生物学、特に多細胞生物の個体発生における形態形成に関する研究を行い、それがどのように生じるかについて仮説を提唱した。1952年に発表した “The Chemical Basis of Morphogenesis” (形態形成の化学的基礎)[71]と題する論文において、反応拡散系と呼ばれる偏微分方程式系で反応を抑制する因子の拡散が活性化因子よりも速いとき、チューリング不安定性と呼ばれる不安定化を起こして形態形成の手がかりとなる空間構造を生み出しうることを指摘した[72]。こうして生じる空間パターンはチューリング・パターンと呼ばれている。この論文の最終節においてチューリングは、容易に解析できないこの種のさらに複雑な問題への将来的なデジタルコンピューターの利用について触れている。実際、20世紀末よりコンピューターの計算能力の急速な発達によって、反応拡散系の研究の発展がもたらされた[73]。
また同じ年、ヒマワリの種にみられる螺旋構造が隣接するフィボナッチ数に従っているらしいことを未発表の研究ノートに記していた。葉序構造など種々の植物に見られるこの関係は黄金角と呼ばれる角度で葉や種のもととなる原基が生ずればよいことがわかっている。 その後の論文は 1992年の Collected Works of A.M. Turing の出版まで未発表だった。近年再評価が著しい仕事である[74]。
同性愛の告発
[編集]Anthony Cave Brown の著書 "C": The Secret Life of Sir Stewart Menzies, Spymaster to Winston Churchill には次のような記述がある。
1952年1月、チューリングはマンチェスターの映画館のそばでアーノルド・マレーと出会う。ランチデートの後、週末を一緒に過ごそうとマレーを自宅に招いたが、マレーはその誘いを断わっている。次の月曜日、2人は再びマンチェスターで会い、今度はチューリングの自宅を訪問している。数週間後、マレーは再びチューリング宅を訪れ、一夜を共にしたとみられている[77]。
間もなく自宅に泥棒が入り、事件を警察に報告したが、捜査の過程で、泥棒の手引きをした19歳の青年(マレー)と同性愛関係にあったことが警察の知るところとなった。同性愛は当時のイギリスでは違法であり[78]、2人とも逮捕された[79]。
チューリングは有罪となり、入獄か化学的去勢を条件とした保護観察かの選択を与えられ、入獄を避けるため、同性愛の性向を矯正するために、性欲を抑えると当時考えられていた女性ホルモン注射の投与を受け入れた[80]。
結果としてセキュリティ・クリアランスを剥奪され、GCHQで暗号コンサルタントを続けることができなくなった。当時、ケンブリッジ・ファイヴの最初の2名ガイ・バージェスとドナルド・マクリーンがKGBのスパイだと露見した事件があり、スパイについて大衆の不安が増大し、ソ連のエージェントが同性愛者を罠にかけるという噂があった[81]。スパイ活動で告発されたわけではないが、ブレッチリー・パークで働いていた全員と同様、戦時下の業績について論じることは禁止された[82]。
死
[編集]1954年6月8日、家政婦がチューリングが自宅で死んでいるのを発見した。検死の結果、死亡したのは前日で、青酸中毒による死であることが判明。ベッドの脇には齧りかけのリンゴが落ちていた。リンゴに青酸化合物が塗ってあったかの分析はなされなかったが[83]、部屋には青酸の瓶が多数あった。
死因審問で自殺と断定され、1954年6月12日に火葬された[84]。母は、実験用化学物質を不注意に扱ったために起こった事故であると主張している[注釈 2]。あるいは、母に事故だと思わせるようにして自殺したという説もある[85]。同僚によれば、映画『白雪姫』を見た直後の彼が「魔法の秘薬にリンゴを浸けよう、永遠なる眠りがしみこむように」と言っていたのを耳にしており、白雪姫のワンシーンを真似てこのような死に方をしたのだという[86]。
再評価
[編集]チューリングの死後まもなく(戦時中の業績が機密扱いだったころ)、王立協会が伝記を出版しており、以下のように記されている[3]。
3つの多様な数学的主題について、戦前に3つの特筆すべき論文を書いており、この重要な時期(戦時のこと)に何らかの大きな問題にとりかかっていたら重大な業績を残していただろうということがわかる。外務省での業績により、OBEが授与された。
国立物理学研究所の同僚で、後にチューリング賞を受賞したジェイムス・H・ウィルキンソンも、受賞講演で、外務省時代にチューリングが別の環境にいたならば、もっとも生産的な時期たりえた可能性が大きい、としている。しかし、問題やパズルといったものであれば種類を問わず大好きであったから、外務省での仕事にも興味をもって取り組んだであろうし、電子工学について知識を獲得したのもその時であった、と指摘している[87]。
1966年から、コンピュータ科学者らによる国際的学会のACMは、同学会の守備範囲であるコンピュータ科学を中心とした分野の最高の賞として、チューリング賞を授与している。物理や化学といったようなかなり広い分野の最高の賞、という位置づけにあるものとして、コンピュータ科学分野におけるノーベル賞に相当するものと一般に扱われている[88]。
1974年夏、ブレッチリー・パークの活動について書かれた「ウルトラ・シークレット」出版[89]、チューリングらの功績について世間の知るところとなる。
1986年、ヒュー・ホワイトモアの戯曲「ブレイキング・ザ・コード」でチューリングが描かれた。1986年11月からロンドンのウェストエンドで公開され、1987年11月15日から1988年4月10日までブロードウェイで興行。1996年にはBBCでテレビドラマ化されている。いずれもチューリング役はデレク・ジャコビ。ブロードウェイでの公演はトニー賞3部門にノミネートされている。
1998年6月23日、86回目の誕生日に、伝記作者にして数学者のアンドリュー・ホッジスは公式の英国遺産としてブルー・プラーク(記念銘板)をチューリングの生まれた病院であったロンドンのウォーリントン・クレセントにあるコロネードホテルに掲げた[90][91]。2004年6月7日には、死去50周年を記念して、ウィルムズロウ・ホリーミードの家にも記念のプラークが設置された[92]。
1999年、タイム誌の「タイム100: 20世紀の最も影響力のある100人」で、コンピューター創造に果たした役割からチューリングを選んでいる[4]。1999年のニール・スティーブンスンの小説『クリプトノミコン』にはチューリングが登場している。2000年3月13日、セントビンセント・グレナディーンにて20世紀の偉人を集めた切手セットが発行された。その中にチューリングの肖像が描かれた切手もあり、「1937: アラン・チューリングのデジタルコンピュータ理論」と記されている。2002年、BBCが行った「偉大な英国人」投票で第21位にランクインした[93]。
晩年に働いていたマンチェスターでは、様々な方法でその栄誉を称えている。1994年、マンチェスターの環状道路が "Alan Turing Way" と名付けられている。またこの道路には Alan Turing Bridge という橋もある。2001年6月23日(誕生日)には、マンチェスター大学に隣接するサックビル・パークにベンチに座っている形の銅像が設置された。
この銅像はリンゴを持っている。リンゴは古来「禁じられた愛」の象徴であり、アイザック・ニュートンの万有引力の法則も思い起こさせるし、チューリングの死の状況も思い起こさせる。また、ブロンズ製のベンチにはレリーフで 'Alan Mathison Turing 1912–1954' と書かれていて、その下には 'Founder of Computer Science' をエニグマで暗号化した文字列が書かれている。台座には「計算機科学の父、数学者、論理学者、戦時中の暗号解読者、偏見の犠牲者」と記されている。バートランド・ラッセルの言葉も引用されていて「正しく見た数学は、真実だけでなく最高の美 - 彫刻のように冷たく厳しい美も有している」とある。台座の下には彫刻家が所有していた古いアムストラッド製パソコンが「あらゆる現代のコンピュータのゴッドファーザー」への捧げ物として埋められている[94]。
没後50年を記念して、2004年10月28日には、幼少時に住んでいた町にあるサリー大のキャンパス内に銅像が置かれる[95]。
プリンストン大学の発行する Princeton Alumni Weekly では、チューリングをジェームズ・マディソンに次ぐ偉大な卒業生だとしている。
2007年6月19日、ブレッチリー・パークに1.5トンの等身大の石像が立てられた。ウェールズの粘板岩を多数使用したもので、億万長者の Sidney Frank が彫刻家 Stephen Kettle に制作を依頼したものである[96]。
2011年2月、チューリングの第二次世界大戦中の論文がオークションで買い取られ、ブレッチリー・パークに戻された[97]。
2014年、グレアム・ムーアによる脚本[98]、人気俳優ベネディクト・カンバーバッチがチューリングを演じる映画『イミテーション・ゲーム/エニグマと天才数学者の秘密』が公開された。
2019年、アラン・チューリングが新50ポンド紙幣に採用される事となった。新紙幣は2021年末頃に一般に出回ることになる。[99][98]
政府による謝罪
[編集]2009年8月、ジョン・グラハム=カミングがイギリス政府に対して、アラン・チューリングを同性愛で告発したことへ謝罪するよう請願活動をはじめた[注釈 3][100][101]。これに対して数千の署名が集まった[102]。
イギリス首相のゴードン・ブラウンはこの請願を認め、2009年9月10日に政府として正式な謝罪を表明し、当時のチューリングの扱いを「呆れたもの (appalling)」と表現して[10][102]、次のように声明を発表した。
数千の人々がアラン・チューリングのための正義と彼がぞっとする扱われ方をしたという認識を求めて集まった。チューリングは当時の法律に則って扱われ、時計の針は戻すことはできないが、彼に対する処置はまったく不当であり、深い遺憾の意を表す機会を得たことを我々全てが満足に思っている… イギリス政府とアランのおかげで自由に生活している全ての人々を代表し、『すまない、あなたは賞賛に値する』と言えることを非常に誇りに思う。[102]
2011年12月、William Jones はイギリス政府に対してアラン・チューリングの罪を免罪(名誉回復)してほしい[103]という電子請願を申請した[104]。この請願には21,000以上の署名が集まったが、法務大臣はチューリングが有罪宣告されたことは遺憾だが、当時の法律に則った正当な行為であったとしてこれを拒否した[注釈 4][105]。
その後、2012年にイギリス貴族院に正式な恩赦の法案が提出され、2013年12月24日にエリザベス2世女王の名をもって正式に恩赦[106]が発効した[107]。キャメロン首相は、彼の業績をたたえる声明を発表した。
各大学における顕彰
[編集]生涯と業績に関する催しが英国論理学会議と英国数学史学会主催で2004年6月5日にマンチェスター大学で行われた。
- エディンバラ大学情報学科には 'Turing Room' と呼ばれる部屋があり、エドゥアルド・パオロッツィ作の胸像がある。
- サリー大学の主広場には銅像がある。
- Istanbul Bilgi University では計算理論の会議が毎年開催されており、その期間を "Turing Days" と呼んでいる[108]。
- マンチェスター大学、オープン大学、オックスフォード・ブルックス大学、オーフス大学(デンマークオーフス)には、それぞれチューリングの名を冠した建物がある。
- オレゴン大学計算機科学科の建物のそばにはチューリングの胸像がある[109]。
- スイス連邦工科大学ローザンヌ校にはチューリングの名を冠した道路と広場(Chemin de Alan Turing と Place de Alan Turing)がある[110]。
生誕100周年
[編集]生誕100年を記念して、Turing Centenary Advisory Committee (TCAC) は2012年を Alan Turing Yearとし、一年を通して世界各地でチューリングの生涯およびその功績を称えるイベントを行った。TCACには、マンチェスター大学、ケンブリッジ大学、ブレッチリー・パークなどの関係者が協力しており、数学者のS・バリー・クーパーが議長を務め、甥のジョン・ダーモット・チューリングが名誉会長を務めている。
2012年6月23日には、Google Doodle(Googleトップページのロゴ)がチューリングマシンを模したデザインに変更された。アルゴリズムを設定するミニゲームが遊べるようになっていた[111]。
ブレッチリー・パーク・トラストは、Winning Moves社と共同で、モノポリーのアラン・チューリング版を発表した。このモノポリーのマスとカードは、メイダヴェールにある出生の地からブレッチリー・パークのHut 8に勤務するまでのアラン・チューリングの生涯をたどるような内容に改訂されている[112]。また、このゲームには、チューリングを指導していたマックス・ニューマンの息子であるウィリアム・ニューマンが手書きで作成したモノポリーの原型のレプリカも同梱されている。この原型となったゲームを、1950年代にチューリングもプレイしていた[113]。
フィリピンでは、デ・ラ・サール大学の哲学科が、2012年3月27日から28日にかけて、チューリングの生誕100周年を記念し、哲学、人工知能および認知科学に関する国際会議であるTuring 2012を開催した[114][115]。インドでは、マドゥライにおいて、6,000人の学生が出席する記念式典が行われた[116]。
英国での記念イベント
[編集]ACMが6月にマンチェスターにおいて3日間のカンファレンスと、サンフランシスコにおいて2日間のカンファレンスをそれぞれ開催した。またケンブリッジでは、キングス・カレッジおよびケンブリッジ大学においてそれぞれチューリングの誕生日パーティとチューリング生誕100周年記念カンファレンスが開催された。ケンブリッジ大学でのものは、Computability in Europeにより開催された[117]。
ロンドンのサイエンス・ミュージアムは、2012年6月から2013年7月にかけて、チューリングの生涯とその功績に特化した無料の展示を行った[118]。2012年2月には、ロイヤルメールが「Britons of Distinction」シリーズの一環として、チューリングの切手を発行した[119][120]。2012年ロンドンオリンピックの聖火リレーは、チューリングの100回目の誕生日である2012年6月23日に、サックヴィル・ガーデンズにあるチューリングの像の前で引き継がれた。
2012年6月22日、マンチェスター市議会は、Lesbian and Gay Foundationと共同で、Alan Turing Memorial Awardを創設し、マンチェスターにおいてホモフォビアに立ち向かうことに顕著な貢献のあった個人・団体を表彰することとした[121]。
オックスフォード大学では、チューリングの生誕100周年を記念して、コンピュータサイエンスと哲学の新しい科目が開設された[122]。
これ以前にも、2004年6月5日にマンチェスター大学において、British Logic ColloquiumおよびBritish Society for the History of Mathematicsの主催で行われた、チューリングの生涯とその功績を称えるイベントを含め、さまざまなイベントが行われている[123]。
栄誉
[編集]- 1946年に大英帝国勲章オフィサーを授与
- 名前にちなむもの
- その他
脚注
[編集]注釈
[編集]出典
[編集]- ^ "Turing; Alan (1912 - 1954)". Record (英語). The Royal Society. 2011年12月11日閲覧。
- ^ 「テューリング」『ブリタニカ国際大百科事典 小項目事典』 。コトバンクより2024年12月8日閲覧。
- ^ a b Newman, M. H. A. (1955). “Alan Mathison Turing. 1912-1954”. Biographical Memoirs of Fellows of the Royal Society 1 (0): 253–263. doi:10.1098/rsbm.1955.0019. ISSN 0080-4606.
- ^ a b Gray, Paul (29 March 1999). “Alan Turing – Time 100 People of the Century”. Time Magazine . "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."
- ^ Homer, Steven and Alan L. (2001). Computability and Complexity Theory. Springer via Google Books limited view. p. 35. ISBN 0-387-95055-9 13 May 2011閲覧。
- ^ Garner, Alan (12 November 2011), “My Hero: Alan Turing”, Saturday Guardian Review: p. 5 2011年11月23日閲覧。
- ^ O'Connell & Fitzgerald 2003, pp. 28–31
- ^ Leavitt 2007, pp. 231–233
- ^ 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.
- ^ a b “PM apology after Turing petition”. BBC News. (11 September 2009)
- ^ a b Hodges 1992, p. 5
- ^ “The Alan Turing Internet Scrapbook”. Turing.org.uk. 2012年1月2日閲覧。
- ^ “London Blue Plaques”. English Heritage. 2009年9月13日時点のオリジナルよりアーカイブ。2007年2月10日閲覧。
- ^ Plaque #381 on Open Plaques.
- ^ “The Alan Turing Internet Scrapbook”. 2006年9月26日閲覧。
- ^ Hodges 1992, p. 6
- ^ Jones, G. James (11 December 2001). “Alan Turing – Towards a Digital Mind: Part 1”. System Toolbox. 2007年7月27日閲覧。
- ^ Hofstadter, Douglas R. (1985). Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books. ISBN 0-465-04566-9. OCLC 230812136
- ^ Hodges 1992, p. 26
- ^ Hodges 1992, p. 34
- ^ Teuscher, Christof (ed.) (2004). Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. ISBN 3-540-20020-7. OCLC 53434737 62339998
- ^ “Turing biography”. Gap-system.org. 2012年1月2日閲覧。
- ^ Paul Gray, Alan Turing Time Magazine's Most Important People of the Century, p.2
- ^ The Inspiration of Life and Death, 1928–1932 Alan Turing Scrapbook
- ^ 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
- ^ Hodges 1992, pp. 88, 94
- ^ 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 .(および 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)
- ^ Hodges 1992, p. 111
- ^ Turing, A. M. (1938), Systems of Logic Based on Ordinals
- ^ Hodges 1992, p. 138
- ^ Hodges 1992, p. 152
- ^ Hodges 1992, pp. 153–154
- ^ Turing's Treatise on Enigma
- ^ Hodges 1992, p. 208
- ^ Lewin 1978, p. 57
- ^ Brown, Anthony Cave (1975), Bodyguard of Lies: The Extraordinary True Story Behind D-Day, The Lyons Press, ISBN 978-1-59921-383-5
- ^ John Graham-Cumming (10 March 2010). “An Olympic honour for Alan Turing”. the Guardian
- ^ Briggs, Asa, (TV programme broadcast 21 November 2011)Britain's Greatest Codebreaker (UK Channel 4)
- ^ Jack Copeland, "Colossus and the Dawning of the Computer Age", p. 352 in Action This Day, 2001
- ^ Copeland 2004, p. 217
- ^ a b Copeland 2006, p. 378
- ^ "The Men Who Cracked Enigma", Episode 4 in the UKTV History Channel documentary series "Heroes of World War II"
- ^ Professor Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct"
- ^ Oakley 2006, p. 40/03B
- ^ Copeland, Jack; Diane Proudfoot (2004年5月). “Alan Turing, Codebreaker and Computer Pioneer”. 2007年7月27日閲覧。
- ^ "Bletchley Park Unveils Statue Commemorating Alan Turing". Bletchley Park. 2007年6月20日. 2007年7月2日時点のオリジナルよりアーカイブ。2007年7月2日閲覧。
- ^ a b c Mahon 1945, p. 14
- ^ Leavitt 2007, pp. 184–186
- ^ Leavitt 2007, pp. 176–178
- ^ Hodges 1992, pp. 242–245
- ^ Hodges 1992, pp. 245–253
- ^ Alexander & circa 1945, p. 42
- ^ Copeland 2006, p. 380
- ^ Copeland 2006, p. 381
- ^ Copeland 2006, p. 72
- ^ Gannon 2007, p. 230
- ^ Copeland 2006, pp. 382, 383
- ^ Hodges 1992, pp. 245–250
- ^ Hodges 1992, p. 273
- ^ Hodges 1992, p. 346
- ^ Plaque #1619 on Open Plaques.
- ^ Copeland 2006, p. 108
- ^ Randell, B (1980), A History of Computing in the Twentieth Century: Colossus 2012年1月27日閲覧。 で以下を引用 Womersley, J. R. (13 February 1946), “'ACE' Machine Project”, Executive Committee, National Physical Laboratory, Teddington, Middlesex
- ^ Christof Teuscher (2004). Alan Turing: life and legacy of a great thinker. Springer. p. 321–322. ISBN 978-3-540-20020-8.
- ^ Swinton, Jonathan (2019). Alan Turing's Manchester. Manchester: Infang Publishing. ISBN 978-0-9931789-2-4. Archived from the original on 17 February 2019. Retrieved 18 March 2019.
- ^ Copeland, Jack (2010). "9. Colossus and the Rise of the Modern Computer". In Copeland, B. Jack (ed.). Colossus The Secrets of Bletchley Park's Codebreaking Computers. Oxford University Press. pp. 91–100. ISBN 978-0-19-957814-6.
- ^ 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
- ^ Alan Turing vs Alick Glennie (1952) "Turing Test" Chessgames.com
- ^ Saygin, A.P., Cicekli, I., & Akman, V. (2000) Turing Test: 50 years later. Minds and Machines, Vol. 10, pp 463–518.
- ^ “SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003”. Intusoft.com (16 August 2001). 2011年5月29日閲覧。
- ^ Alan Mathison Turing: The Chemical Basis of Morphogenesis, Philosophical Transactions on The Royal Society B, Vol.237, No.641 (1952).
- ^ "Control Mechanism For Biological Pattern Formation Decoded" ScienceDaily, 30 November 2006
- ^ 西浦廉政 (2009). Turing から Ertl まで ―パターンダイナミクスの半世紀― (Report). 現象数理学:冬の学校「パターンダイナミクス 1‒2‒3」報告集.
- ^ Turing's Last, Lost work - ウェイバックマシン(2003年8月23日アーカイブ分)
- ^ MI6長官
- ^ 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
- ^ Leavitt 2007, p. 266
- ^ Hodges 1992, p. 458
- ^ Leavitt 2007, p. 268
- ^ “Turing, Alan (1912–1954)”. Glbtq.com. 2011年5月29日閲覧。[リンク切れ]
- ^ Leavitt 2007, p. 269
- ^ Copeland 2006, p. 143
- ^ Hodges 1992, p. 488
- ^ Hodges 1992, p. 529
- ^ Hodges 1992, pp. 488, 489
- ^ Leavitt 2007, p. 140
- ^ ジェイムス・H・ウィルキンソン「一数値解析研究者の回顧と展望」、『ACMチューリング賞講演集』 pp. 289-290
- ^ Steven Geringer (27 July 2007). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. 2008年10月16日閲覧。
- ^ 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 機密解除になる以前に関係者の記憶を元に書かれたノンフィクションで、若干正確性に欠ける。
- ^ “Unveiling the official Blue Plaque on Alan Turing's Birthplace”. 2006年9月26日閲覧。
- ^ “About this Plaque – Alan Turing”. 13 October 2007時点のオリジナルよりアーカイブ。2006年9月25日閲覧。
- ^ Plaque #3276 on Open Plaques.
- ^ “100 great British heroes”. BBC News. (21 August 2002)
- ^ “Computer buried in tribute to genius”. Manchester Evening News. (15 June 2001) 2009年6月23日閲覧。[リンク切れ]
- ^ “The Earl of Wessex unveils statue of Alan Turing”. 2007年2月10日閲覧。[リンク切れ]
- ^ Bletchley Park Unveils Statue Commemorating Alan Turing[リンク切れ], Bletchley Park press release, 20 June 2007
- ^ Josh Halliday (25 February 2011). “Turing papers to stay in UK after 11th-hour auction bid at”. The Guardian (UK) 2011年5月29日閲覧。
- ^ a b “脚本家が明かす9つの秘密:アラン・チューリングとは何者か? 映画『イミテーション・ゲーム』徹底解読 « WIRED.jp”. WIRED.jp. 2020年8月21日閲覧。
- ^ New face of the Bank of England's £50 note is revealed - BBC News, July 15, 2019
- ^ “Thousands call for Turing apology”. BBC News. (31 August 2009) 2009年8月31日閲覧。
- ^ “Petition seeks apology for Enigma code-breaker Turing”. CNN. (01 September 2009) 2009年9月1日閲覧。
- ^ a b c Davies, Caroline (11 September 2009). “PM's apology to codebreaker Alan Turing: we were inhumane”. The Guardian (UK)
- ^ “Petition to pardon computer pioneer Alan Turing started”. BBC News. (6 December 2011)
- ^ “Grant a pardon to Alan Turing” (6 December 2011). 2012年2月22日閲覧。
- ^ “Widespread Celebrations But No Pardon For Turing” (6 February 2012). 2012年2月22日閲覧。
- ^ Royal Prerogative of Mercy
- ^ ittousai (2013年12月24日). “英国政府、アラン・チューリングに没後59年目の恩赦。計算機科学の父”. Engadget 日本版. オリジナルの2019年8月18日時点におけるアーカイブ。 2013年12月28日閲覧。
- ^ “Turing Days @ İstanbul Bilgi University”. 2011年10月29日閲覧。[リンク切れ]
- ^ “Turing at the University of Oregon”. 2011年11月1日閲覧。
- ^ “Turing at the EPFL”. 2012年1月6日閲覧。
- ^ “今日のGoogleホリデーロゴはアラン・チューリング生誕100周年”. 2012年6月23日閲覧。
- ^ “Special Monopoly edition celebrates Alan Turing's life”. BBC News. (10 September 2012) 10 September 2012閲覧。
- ^ “Bletchley Park Launches Special Edition Alan Turing Monopoly Board”. 13 September 2012閲覧。
- ^ “DLSU to host int'l summit on philosophy”. ABS-CBN.com. (24 March 2012) 18 December 2013閲覧。
- ^ Layug-Rosero, Regina (21 April 2012). “The Thinking Machine: A philosophical analysis of the Singularity”. GMA News Online 18 December 2013閲覧。
- ^ Shankar, M. Gopi (5 July 2012). “Making themselves heard”. The Hindu (Chennai, India) 31 October 2013閲覧。
- ^ “The Northerner: Alan Turing, computer pioneer, has centenary marked by a year of celebrations” (23 February 2011). 29 May 2011閲覧。
- ^ Cellan-Jones, Rory; Rooney (curator), David (18 June 2012). “Enigma? First look at Alan Turing exhibition (report with video preview)”. BBC News Online 23 June 2012閲覧。
- ^ Cutlack, Gary (2 January 2012). “Codebreaker Alan Turing gets stamp of approval”. Gizmodo 2 January 2012閲覧。
- ^ Caroline Davies (2 January 2012). “Codebreaker Alan Turing gets stamp of approval | Art and design”. The Guardian 2012年1月2日閲覧。
- ^ Anon (22 June 2012). “Centenary award tribute to "enigma" codebreaker Alan Turing.”. Manchester Evening News (Manchester: MEN media) 22 June 2012閲覧。
- ^ Computer Science and Philosophy. University of Oxford 23 June 2013閲覧。.。学士課程における新しい科目の最初の学生は、チューリングの生誕100周年にあたる2012年から受け入れ開始となる
- ^ “BSHM Meetings (1992–2007)”. dcs.warwick.ac.uk. 24 December 2013閲覧。
- ^ New Alan Turing £50 note design is revealed BBC 参照日・更新日 2021年3月25日
参考文献
[編集]- Alexander, C. Hugh O'D. (circa 1945), Cryptographic History of Work on the German Naval Enigma, The National Archives, Kew, Reference HW 25/1
- Copeland, B. Jack (2004), “Colossus: Its Origins and Originators”, IEEE Annals of the History of Computing 26 (4): 38–45, doi:10.1109/MAHC.2004.26
- Copeland, B. Jack (2006), Colossus: The secrets of Bletchley Park's code-breaking computers, Oxford University Press, ISBN 978-0-19-284055-4
- Gannon, Paul (2007) [2006], Colossus: Bletchley Park's Greatest Secret, London: Atlantic Books, ISBN 978-1-84354-331-2
- Hodges, Andrew (1992) [1983], Alan Turing: the enigma, London: Burnett Books, ISBN 0-04-510060-8
- Leavitt, David (2007), The man who knew too much: Alan Turing and the invention of the computer, Phoenix, ISBN 978-0-7538-2200-5
- Lewin, Ronald (1978), Ultra Goes to War: The Secret Story, Classic Military History (Classic Penguin ed.), London, England: Hutchinson & Co (2001発行), ISBN 978-1-56649-231-7
- Mahon, A.P. (1945), The History of Hut Eight 1939–1945, UK National Archives Reference HW 25/2 2009年12月10日閲覧。
- Oakley, Brian, ed. (2006), The Bletchley Park War Diaries: July 1939 — August 1945 (2.6 ed.), Wynne Press
- O'Connell, H; Fitzgerald, M (2003), “Did Alan Turing have Asperger's syndrome?”, Irish Journal of Psychological Medicine (Irish Institute of Psychological Medicine) 20: 28-31, ISSN 0790-9667
- 星野力『甦るチューリング -コンピュータ科学に残された夢 -』NTT出版、2002年。ISBN 4-7571-0079-5。OCLC 54637816。
関連文献
[編集]- Jack Copeland, ed. “The Mind and the Computing Machine: Alan Turing and others”. The Rutherford Journal .
- Hodges, Andrew (27 August 2007). "Alan Turing". In Edward N. Zalta (ed.). Stanford Encyclopedia of Philosophy (Winter 2009 ed.). Stanford University. 2011年1月10日閲覧。
- Gray, Paul (29 March 1999). “Computer Scientist: Alan Turing”. TIME .
- Gleick, James, The Information: A History, A Theory, A Flood, New York: Pantheon, 2011, ISBN 978-0-375-42372-7
- Leavitt, David, The Man Who Knew Too Much: Alan Turing and the Invention of the Computer, W. W. Norton, 2006
- 藤原正彦『天才の栄光と挫折 数学者列伝』新潮社〈新潮選書〉、2002年。ISBN 4-10-603511-1。OCLC 54715289。
- 藤原正彦『天才の栄光と挫折 数学者列伝』文芸春秋〈文春文庫〉、2008年。ISBN 978-4-16-774902-6。OCLC 247848683。
- “特集I チューリング生誕100年”. 数学セミナー (日本評論社) 51 (7). (2012-07).、(通巻609号、2012年7月号)
関連項目
[編集]外部リンク
[編集]- Alan Turing Year
- CiE 2012: Turing Centenary Conference
- Alan Turing アンドリュー・ホッジスの運営するサイト。short biography もある。
- AlanTuring.net – Turing Archive for the History of Computing ジャック・コープランド
- The Turing Digital Archive – ケンブリッジ大学キングス・カレッジ所有の出版されていない資料のスキャンなどがある。
- Jones, G. James (11 December 2001). “Alan Turing – Towards a Digital Mind: Part 1”. System Toolbox (The Binary Freedom Project) .
- Alan Turing plaques on openplaques.org
- Alan Turing - スタンフォード哲学百科事典「アラン・チューリング」の項目。
論文
[編集]- チューリングの論文、報告書、講義、翻訳版など BibNetWiki
- 著作一覧 - Microsoft Academic Search.
- Turing, Alan (October 1950), “Computing Machinery and Intelligence”, Mind LIX (236): 433–460, doi:10.1093/mind/LIX.236.433, ISSN 0026-4423 2008年8月18日閲覧。
- Oral history interview with Donald W. Davies, Charles Babbage Institute, University of Minnesota
- Oral history interview with Nicholas C. Metropolis, Charles Babbage Institute, University of Minnesota
- アラン・チューリング
- 20世紀の数学者
- 20世紀イングランドの哲学者
- 20世紀イングランドの数学者
- 20世紀イングランドの科学者
- 20世紀の論理学者
- 無神論の哲学者
- イングランドの論理学者
- イギリスの計算機科学者
- 計算可能性理論の研究者
- イギリスのLGBTの科学者
- イギリスの暗号研究者
- 人工知能の歴史
- 大英帝国勲章受章者
- 王立協会フェロー
- 形式手法の人物
- マンチェスター大学の教員
- イギリス国立物理学研究所の人物
- イングランドの無神論者
- プリンストン大学出身の人物
- ケンブリッジ大学キングス・カレッジ出身の人物
- シティ・オブ・ウェストミンスター出身の人物
- ゲイの学術関係者
- LGBTの歴史
- 数学に関する記事
- イギリス政府通信本部
- 1912年生
- 1954年没
- イギリス・ポンド紙幣の人物
- 自殺したLGBTの人物
- LGBTの数学者
- LGBTの哲学者