アラン・チューリング

アラン・チューリングは、計算の理論的基盤を築き、電子計算機の実現に先鞭をつけ、人工知能の概念的枠組みを提案した20世紀最重要の数学者の一人である。彼の業績は純粋数学から暗号解読、初期のコンピュータ設計、生物学的パターン形成の数理モデルにまで及び、複数の学問分野の創設に関わった稀有な知性であった。

1912年、ロンドンに生まれた。父はインド帝国政庁の文官であり、幼少期は里親のもとで過ごすことが多かった。シャーボーン・スクール在学中から数学と科学に並外れた関心を示し、ケンブリッジ大学キングズ・カレッジに進学して数学を専攻した。在学中にフォン・ノイマンの注目を引くほどの才能を示し、フェローに選出された。

1936年に発表された論文「計算可能な数について」は、計算機科学の出発点となった画期的な業績である。この論文でチューリングは、あらゆる計算過程を実行できる仮想的な機械（後にチューリングマシンと呼ばれる）を定義し、計算可能性の理論的限界を明確にした。ある問題が「計算可能」であるとはチューリングマシンで解けることであるという定義は、計算の概念そのものを厳密に基礎づけ、後のコンピュータの理論的設計指針となった。同時に、停止問題が計算不可能であることを証明し、計算の原理的限界をも示した。

第二次世界大戦中、チューリングはブレッチリー・パークの暗号解読チームに参加し、ドイツ軍のエニグマ暗号機の解読に決定的な貢献をした。ポーランドの数学者たちによる先行研究を発展させ、「ボンベ」と呼ばれる暗号解読装置の改良版を設計した。このボンベはエニグマの暗号文を体系的に解析し、連合軍の情報優位を確立するのに不可欠な役割を果たした。この貢献は戦争の帰趨に大きな影響を与えたとされるが、作戦は極秘扱いであったため長年にわたって公にされなかった。

戦後、チューリングはイギリスの国立物理学研究所でACE（Automatic Computing Engine）の設計に携わり、その後マンチェスター大学でマンチェスターマーク1コンピュータの開発に参加した。1950年に発表された論文「計算機械と知能」では、機械が思考できるかどうかを判定する「模倣ゲーム」（後にチューリングテストと呼ばれる）を提案した。人間の審査員がテキストベースの対話を通じて、相手が人間か機械かを判定できなければ、その機械は知的であると見なせるというこの提案は、人工知能研究の出発点として位置づけられている。

晩年のチューリングは、生物における形態形成の数理モデルの研究にも取り組んだ。反応拡散方程式によって動物の模様（シマウマの縞やヒョウの斑点）の形成を説明しようとするこの研究は、数理生物学の先駆的成果として後年再評価されている。

1952年、チューリングは当時のイギリスの法律で犯罪とされていた同性愛の罪で起訴され、有罪判決を受けた。化学的去勢処分を選択させられ、セキュリティクリアランスも失った。1954年6月7日、シアン化物による中毒で死亡した。自殺とされるが、事故死の可能性も指摘されている。2009年にイギリス政府が公式謝罪し、2013年にエリザベス女王の名で死後恩赦が与えられた。チューリングの名を冠したチューリング賞は、計算機科学における最高の栄誉として「コンピュータ科学のノーベル賞」と呼ばれている。チューリングの悲劇は、偏見が科学の才能をいかに損なうかを示す痛切な教訓として記憶されている。