クイズ問題: 映画『イミテーション・ゲーム』ではベネディクト・カンバーバッチが彼の役を演じた、コンピュータ科学の最高賞にもその名を残すイギリスの数学者は誰でしょう?
答え: アラン・チューリング

関連するWikipedia記事の抜粋:
title: ある数学者の生涯と弁明
text: ロバート・ハリスは自身の小説、『暗号機エニグマへの挑戦』の標語をハーディの本から引用している。この小説は、第二次世界大戦に従事していて、神経性の精神病を患っている数学者の主人公、プロタガニストがブレッチリー・パークで働き、ドイツ軍の暗号を数学を応用して破るという物語である。
title: モハマド・ハルディ・ジャーファル
text: 「フェルマーの最終定理」を証明したイギリスの数学者、アンドリュー・ワイルズに因んで命名された。
title: サイモン・シン
text: パンジャーブからの移民である両親の元、イギリス南西部サマーセット州に生まれる。 インペリアル・カレッジ・ロンドンで学び、その後ケンブリッジ大学大学院にて素粒子物理学の博士号を取得。 のちにテレビ局BBCに就職し、ドキュメンタリー番組『フェルマーの最終定理――ホライズンシリーズ』にて各種の賞を受賞した。後にこの番組はエミー賞にもノミネートされた。
title: 論理学の歴史
text: アロンゾ・チャーチとアラン・チューリングは計算可能性の形式的なモデルを提議し、1936年および1937年にそれぞれ独自にヒルベルトの「決定問題」を否定的に解決した。「決定問題」とは、任意の形式的・数学的言明が与えられたときにその言明の真偽をアルゴリズム的に決定できる手順を探求するものである。チャーチとチューリングはそのような手順が存在しないことを証明した; チューリングの論文ではアルゴリズム的な解決が存在しない数学的問題の重要な例として停止性問題が挙げられている。
title: 桂む雀
text: 賞の名称は、アラン・チューリングの名に由来する。チューリングは、理論計算機科学や人工知能の重要な創始者としてしばしば言及される。
title: アーサー・C・クラーク
text: 死の数日前、クラークは最後の作品 The Last Theorem (邦題『最終定理』)の原稿のチェックを終えたところだった。この作品はフレデリック・ポールと電子メールでやり取りしながら書いた共作である。同書はクラークの死後に出版された。クラークは3月22日にコロンボの墓地にスリランカ風に埋葬された。弟のフレッド・クラークやクラークのスリランカ人家族が数千人の観衆に混じって参列した。
title: アラン・チューリング
text: 2014年、グレアム・ムーアによる脚本、人気俳優ベネディクト・カンバーバッチがチューリングを演じる映画『イミテーション・ゲーム/エニグマと天才数学者の秘密』が公開された。
title: Logic Theorist
text: Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
title: 生命、宇宙、そして万物についての究極の疑問の答え
text: ダグラス・アダムズの『銀河ヒッチハイク・ガイド』(The Hitchhiker's Guide to the Galaxy)は、イギリスのラジオドラマで、のちに小説化、テレビドラマ化、そしてついに映画化がなされた人気シリーズである。奇抜な、ほとんど意味不明の領域に近づいたアイデアと、軽妙な語り口を持つスラップスティック(Slapstick = ドタバタ)SF小説である。作中、「生命、宇宙、そして万物についての究極の疑問の答え」を問われたスーパーコンピュータ、ディープ・ソートが750万年の計算の末に出した答えが、「42」である。同シリーズの日本語訳は新潮社から出版されたが、日本ではそこまでで留まり、派生文化を生み出さなかった。
title: マックハック
text: 話題性のあったものとしては、『コンピュータには何ができないか』という著書で話題となったヒューバート・ドレイファスに勝ってしまった、という対戦がある。
title: アンドリュー・ワイルズ
text: アンドリュー・ワイルズ(Andrew John Wiles, 1953年4月11日 - )は、イギリスの数学者。オックスフォード大学教授(整数論)。「フェルマーの最終定理」を証明したことで知られる。
title: クヌース賞
text: クヌース賞(英: Donald E.Knuth Prize)は、計算機科学の基礎に対する並外れた貢献に贈られる賞であり、ドナルド・クヌースの名を冠している。
title: RSA暗号
text: RSA暗号方式は、1977年に発明され、発明者であるロナルド・リベスト、アディ・シャミア、レオナルド・エーデルマンの原語表記の頭文字をつなげてこのように呼ばれる。前年(1976年)にディフィーとヘルマンによって発表されたばかりの公開鍵暗号という新しい概念に対し、秘匿や認証を実現できる具体的なアルゴリズムを与えた。発明者3氏は、この功績によって2002年のチューリング賞を受賞した。この暗号はフェルマーの小定理に基づいている。
title: 人工知能
text: 2010年に英国エコノミスト誌で「ビッグデータ」という用語が提唱された。同年に質問応答システムのワトソンが、クイズ番組「ジェパディ!」の練習戦で人間に勝利し、大きなニュースとなった。2012年に画像処理コンテストでジェフリー・ヒントン氏のチームが従来手法からの大幅な精度改善を果たした上で優勝したことで、第三次AIブームが始まった。
title: マイロン・ショールズ
text: マートンとショールズは、ノーベル賞で一躍有名になってから1年足らずで、今度は衝撃的な倒産劇で悪名を轟かせてしまった。
title: アロンゾ・チャーチ
text: アロンゾ・チャーチ(Alonzo Church、1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ=チューリングのテーゼ」の提唱者として知られる。
title: 関数型プログラミング
text: 1950 年代後半にジョン・マッカーシーが発表した LISP は関数型言語の歴史において重要である。ラムダ計算は LISP の基礎であると言われるが、マッカーシー自身が 1978 年に説明したところによると、匿名関数を表現したいというのが最初にあって、その手段としてマッカーシーはチャーチのラムダ計算を選択したに過ぎない。
title: 自動推論
text: Logic Theorist (LT) は1956年、アレン・ニューウェル、クリフ・ショー、ハーバート・サイモンが開発した人間の行う推論を真似て定理を証明するプログラムであり、『プリンキピア・マテマティカ』の第2章にある52の定理のうち38を証明してみせた。さらに言えば、単に証明しただけでなく、そのうちの1つはホワイトヘッドとラッセルが示した証明よりも洗練されていた。彼らは1958年にその成果を The Next Advance in Operation Research にて発表した。
title: ロバート・マートン
text: マートンとショールズは、ノーベル賞で一躍有名になってから1年足らずで、今度は衝撃的な倒産劇で悪名を轟かせてしまった。
title: ドナルド・クヌース
text: TAoCPあるいはACPと略されることがある。コンピュータプログラミングの「Art」について集積した大著である。クヌース自身がここで意図している「Art」がどのようなものであるかは、本書の公刊という業績によって第3巻を刊行後の1974年にチューリング賞を受賞した際に、受賞講演の冒頭で詳細に述べている。
title: アラン・チューリング
text: 1999年、タイム誌の「タイム100: 20世紀の最も影響力のある100人」で、コンピューター創造に果たした役割からチューリングを選んでいる。1999年のニール・スティーブンスンの小説『クリプトノミコン』にはチューリングが登場している。2000年3月13日、セントビンセント・グレナディーンにて20世紀の偉人を集めた切手セットが発行された。その中にチューリングの肖像が描かれた切手もあり、「1937: アラン・チューリングのデジタルコンピュータ理論」と記されている。2002年、BBCが行った「偉大な英国人」投票で第21位にランクインした。
title: マリリン・ボス・サバント
text: 1990年、「マリリンに聞く」で読者が「モンティ・ホール問題」について質問した際、直感に反するマリリンの回答が大きな反響を呼び、高名な数学者ポール・エルデシュまでもが反論する事態となったが、コンピュータによる実験でマリリンの正しさが実証された。
title: クワイン (プログラミング)
text: クワインという名称は、自己参照の研究について業績を残した哲学者ウィラード・ヴァン・オーマン・クワイン(1908-2000)に由来し、命名したのはダグラス・ホフスタッターでそれほど古いことではないため、古い文献では自己複製・自己再生成などといった表現で呼ばれていることがある。(プログラミング言語ではない)言語的には次の一文で表されるクワインのパラドックスと、同様の構造を持っている。
title: DNAコンピュータ
text: 2000年前後に広まった研究のきっかけとなった論文は、南カリフォルニア大学のコンピューター科学者で、RSA暗号の「A」として知られるレオナルド・エーデルマンによるものである。彼はジェームズ・ワトソンの『遺伝子の分子生物学』を読んでいてDNAによるコンピューティングの可能性に気付いたと言われている。エーデルマンは1994年に初めてDNA鎖を用いて、NP完全な問題の1例としてよく知られている「ハミルトン路問題」を解いた。ハミルトン路問題は一筆書きの一種であり、グラフ上のすべてのノードを1回ずつ通るような路(パス)が存在するかどうか、存在する場合は具体的な解を示せ、という問題である。エーデルマンの実験ではノード7、パス14という規模だった。問題を21本 (7+14) のDNA鎖に翻訳し、解を示した。
title: 無限の猿定理
text: ホフマン (Hoffmann) とホフマン (Hofmann) は、2001年の論文「猿とタイプライターとネットワークと——偶発的卓越性の理論から見たインターネット」の序章で、この定理が地道にしかし広く一般にひろまっていることを注意した。2002年のワシントン・ポスト紙の記事にはこうある——「少なからぬ人々が、無限の数の猿が無限の数のタイプライターで無限の時間をかければ、いつかシェイクスピアの作品ができあがるかもしれないという考えを楽しんでいる」。2003年、前述のArts Councilが実在の猿とコンピュータのキーボードを使った実験に出資し、このことは広く報道された。2007年、『WIRED』誌はこの定理を「史上8大思考実験」のひとつに挙げた。
title: マックス・ニューマン
text: 1927年にはケンブリッジ大学の数学講師となり、1935年のゲーデルの定理についての講義がアラン・チューリングに着想を与え、仮説的な計算機械(チューリングマシン)を使って「決定問題」を考えるという先駆的業績へとつながった。ニューマンはチューリングをプリンストン大学に行かせ、同じ問題をラムダ計算で定式化していたアロンゾ・チャーチに会わせてもいる。また、位相幾何学における重要な論文 Elements of the topology of plane sets of points (1939) を書き、今も学部学生のテキストとしてよく使われている。
title: 食事する哲学者の問題
text: 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。
title: 人工無脳
text: チューリング・テストの議論では、人工知能が真の知性を持っているかを判断することの難しさが指摘されている。例えば、ジョン・サールの中国語の部屋やネド・ブロックのブロックヘッドなどがよく知られている。
title: 自然言語理解
text: 世界初の自然言語理解の試みとしては、1964年、MITのダニエル・ボブロウ(英語版)が博士課程の研究の一環として開発したプログラムSTUDENT(英語版)がある。ジョン・マッカーシーが人工知能 (artificial intelligence) という呼称を生み出したのは、ボブロウが博士論文 Natural Language Input for a Computer Problem Solving System を書く8年前のことである。ボブロウの論文は、単純な英語で書かれた代数学の文章問題を入力として、それを理解して解くプログラムを示したものである。
title: チューリングジャンプ
text: チューリングジャンプ(Turing jump または Turing jump operator)とは、計算可能性理論におけるある数学的な操作に付与された名前。名称はアラン・チューリングに因む。直感的に言えば、何らかの決定問題 X について、より難しい決定問題 X’を対応付けることである。ここでいう X’は、X を解けるようなオラクルを持つ神託機械では決定出来ない問題を指す。
title: Logic Theorist
text: ニューウェルとサイモンは、機械に考えることを学ばせる可能性について話し合った。彼らの最初のプロジェクトは、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』で使われているような数学的定理の証明をするプログラムの開発である。ランド研究所にいたプログラマのJ・C・ショーの助けを得て、そのプログラムの開発を行った。ニューウェルは、「3人の中で本物の計算機科学者はショーだけだった」と述べている。
title: 人工知能の歴史
text: 1950年、アラン・チューリングは記念碑的論文 Computing Machinery and Intelligence を発表し、真の知性を持った機械を創りだす可能性について論じた。彼は「知性」を定義するのは難しいとして、有名なチューリング・テストを考案した。テレタイプ端末を介した機械との対話が人間との対話と区別できない場合、その機械は「知的」だといえる。このように問題を単純化したことでチューリングは少なくとも「もっともらしい」「思考機械」の可能性を説得力のあるものとして主張でき、この論文は全ての一般的な反論に答えた。チューリング・テストは人工知能の哲学(英語版)における最初の真面目な提案となった。
title: ベイジアンネットワーク
text: ジューディア・パールが1985年に命名した。ジューディア・パールはこの研究の功績によりチューリング賞を受賞した。 人工知能の分野では、ベイジアンネットワークを確率推論アルゴリズムとして1980年頃から研究が進められ、既に長い研究と実用化の歴史がある。
title: 計算可能性理論
text: アロンゾ・チャーチとスティーブン・コール・クリーネが開発したラムダ計算により、計算可能性理論の定式化に重要な役割を果たした。アラン・チューリングは現代計算機科学の父とされる人物であり、チューリングマシンなど計算可能性理論にも数々の重要な足跡を残している(、1936年)。
title: サイエントロジー
text: L・ロン・ハバードが1950年に出版した『ダイアネティックス-明確な思考を取り戻せ』はアメリカ合衆国でベストセラーになった。その後、同書の読者たちによるダイアネティックスの実践グループが全米に広がった。ハバードは、その技術の教育と普及を目指してハバード・ダイアネティックス財団を設立した。
title: Manchester Small-Scale Experimental Machine
text: プログラム制御式コンピュータの世界初の設計はチャールズ・バベッジの解析機関で、1830年代のことである。約1世紀後の1936年、数学者アラン・チューリングは後にチューリングマシンと呼ばれるようになる概念を発表した。これは、機械的な計算の限界を考えるための理論上の概念だった。チューリングは実際のマシンを想定したわけではなく、テープに記された命令に従ってテープ上のシンボルの読み書きなどの操作を行う人を \"computer\" と呼んだ。チューリングは、数学の問題を解くアルゴリズムを書ける場合、チューリングマシンでそれを実行できることを証明した。
title: QUBE RED
text: 『QUBE RED』(キューブ・レッド、原題:La habitación de Fermat)は、2007年公開のスペインの映画。数学者「フェルマー」を名乗る招待主から招待された4人が、四方より迫りくる壁に囲まれながら出題される問題を解いていく。
title: 人工知能
text: 1950年代になるとAIに関して活発な成果が出始めた。ジョン・マッカーシーはAIに関する最初の会議で「人工知能」という用語を作り出した。彼はまたプログラミング言語LISPを開発した。知的ふるまいに関するテストを可能にする方法として、アラン・チューリングは「チューリングテスト」を導入した。ジョセフ・ワイゼンバウムはELIZAを構築した。これは来談者中心療法を行うおしゃべりロボットである。
title: 強いAIと弱いAI
text: 直接的アプローチにおける主な疑問は「AIとは何か?」である。最も有名なAIの定義は、アラン・チューリングが「チューリング・テスト」の提案時に行った操作的なものである。その後、AIの定義をしようという試みは数えるほどしかない(その一部は AI Project にある)。ジョン・マッカーシーは What is AI? の中で、未だに知能の明確な定義がないと述べている。
title: 人工知能の歴史
text: 1982年、物理学者のジョン・ホップフィールド(後にホップフィールド・ネットワークと呼ばれるようになった)は、ある形式のニューラルネットワークが従来とは全く異なる方法で学習し、情報を処理出来ることを示した。同じ頃、デビッド・ラメルハートは、ニューラルネットワークの新たな訓練方法である「バックプロパゲーション」を一般化させた(ポール・ワーボス(英語版)より数年早く発見した)。それら2つの発見によって、1970年以来下火になっていたコネクショニズムが復活した。
title: Manchester Mark I
text: 1936年、数学者アラン・チューリングは、その中で「チューリングマシン」を提示した論文を発表した。チューリングマシンは後に「チャーチ=チューリングのテーゼ」と呼ばれるテーゼ(それ自体は何かを証明するものではない(ので、テーゼと呼ばれている))により「計算可能」という概念と結び付けられた。1940年代には、チューリングやコンラート・ツーゼといった人々が、チューリングマシンにおける理論的なテープの具体化として計算機械のメモリにプログラムとデータの両方を格納するというアイデアを考案している。プログラム内蔵方式、特にノイマン型の発案者とされるのはその名の通りジョン・フォン・ノイマンであるが、功績をノイマン一人に帰すのは不当だとする見方も多い(詳細はノイマン型の記事を参照)。ともあれ、Manchester Mark 1 もその方式をベースとしている。
title: スティーブ・ジョブズ (書籍)
text: 『スティーブ・ジョブズ』(英語: Steve Jobs)は、スティーブ・ジョブズに関する伝記である。かつてCNNのCEOやタイム誌の編集長を務めていて、ベンジャミン・フランクリンやアルベルト・アインシュタインの最も売れた伝記を著した実績のあるウォルター・アイザックソンがジョブズの要請により著作した。
title: ウォズニアック・テスト
text: ウォズニアック・テスト(英: Wozniak test)もしくはミスター・コーヒー・テスト(英: Mr. coffee test)とは、スティーブ・ウォズニアックによって考案された、ある機械が汎用人工知能であるかを判定するためのテスト。
title: Logic Theorist
text: 1956年夏、ジョン・マッカーシー、マービン・ミンスキー。クロード・シャノン、ナサニエル・ロチェスターがいわゆる「人工知能」についての会議(ダートマス会議)を開催した(人工知能という呼称はマッカーシーがこのときに考案した)。ニューウェルとサイモンはその会議で Logic Theorist を意気込んで公開したが、反応が微妙だったため若干驚いた。パメラ・マコーダック(英語版)は「ニューウェルとサイモンは長期的観点で重要なことを達成したと感じていたが、記録によれば誰もそれを褒め称えなかった」と記している。サイモンは後に「我々はたぶん非常に横柄だった」と述べ、さらに次のように続けている。
title: リチャード・P・ファインマン
text: カリフォルニア工科大学時代の講義内容をもとにした物理学の教科書『ファインマン物理学』は、世界中で高い評価を受けた。また、『ご冗談でしょう、ファインマンさん』などユーモラスな逸話集も好評を博している。生涯を通し、抜群の人気を誇っていた。
title: 池原止戈夫
text: 大阪府生まれ。マサチューセッツ工科大学でノーバート・ウィーナーに師事し1928年卒業。1932年にはウィーナーとともにタウバー型定理を確立、その応用として素数定理の新しい証明を与えた。帰国後、東京工業大学教授などを歴任。ウィーナーが提唱したサイバネティックスの学理を追求するとともに、その国内普及に寄与した。
title: ゲイリー・キルドール
text: キルドールは、IBM事件は過去のものとして、その前後の業績で知られることを望んだ。しかし、彼の貢献についての記憶は薄れて行き、彼とビル・ゲイツとの比較に絶えず直面するようになった。ゲイツとジャーナリストたちによって、宿命的なIBMとデジタルリサーチの会議についての、「キルドールは気晴らしに飛行機に乗るために無責任に休暇をとった」という伝説は次第に成長した。彼はその伝説を絶えず否定するのに嫌気がさした。
title: カリーのパラドックス
text: カリーのパラドックス(英: Curry's paradox)は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。
title: 人工知能
text: バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドは『数学原理』を出版し、形式論理に革命をもたらした。ウォーレン・マカロックとウォルター・ピッツは「神経活動に内在するアイデアの論理計算」と題する論文を1943年に発表し、ニューラルネットワークの基礎を築いた。
title: 人工知能の歴史
text: ウォルター・ピッツとウォーレン・マカロックは理想化した人工神経細胞のネットワークを解析し、どうやって単純な論理関数のような働きをするのかを示した。それが後の研究者らにニューラルネットワークと呼ばれるものの最初の研究である。ピッツとマカロックに触発された学生の1人に若きマービン・ミンスキー(当時24歳の学生)がいた。1951年、ミンスキーは世界初のニューラルネットマシンSNARC(英語版)を構築した。ミンスキーはその後50年間、AI界の重要なリーダーの1人となった。
title: アラン・チューリング
text: 1928年、ドイツの数学者ダフィット・ヒルベルトは、「決定問題」への注目を呼びかけた。チューリングは、重要な論文 \"On Computable Numbers, with an Application to the Entscheidungsproblem\"(「計算可能数、ならびにそのヒルベルトの決定問題への応用」、1936年5月28日提出、11月12日配布)で、この問題の解決に重要な役割を果たした。
title: ジョン・ホーガン
text: 1993年10月のサイエンティフィック・アメリカンの記事「証明は死んだ」(The Death of Proof)にて、ホーガンは数学における証明について語った。コンピューターを用いた証明の発展などに代表されるような、現代の数学における証明の複雑さの増加は、数学における古典的な証明の概念を崩壊させつつある、と述べた。ホーガンのこの考えは、数学者デイビッド・ホフマン(David Hoffman)の表現を借りれば数学者たちからの「怒号と批判の洪水(torrents of howls and complaints)」を浴びた。
title: Information Processing Language
text: IPLの最初の利用例は、『プリンキピア・マテマティカ』(バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの労作)の中の定理を計算によって証明するデモンストレーションであった。サイモンの自伝 Models of My Life によると、このアプリケーションは人手によるシミュレーションで最初に試されたという。彼の子供たちを演算装置に見立て、各人にプログラムの状態変数を保持するレジスタの役目をするカードを持たせたという。
title: 栗原将人
text: アンドリュー・ワイルズがフェルマーの最終定理の証明を行った講演に居合わせており、そのときの様子は、加藤和也著「解決フェルマーの最終定理」に描写されている。
title: ザ・ホークス ハワード・ヒューズを売った男
text: 1970年代初頭に、大富豪ハワード・ヒューズの自伝を捏造して金をだまし取るという詐欺事件を起こした作家クリフォード・アーヴィングが、事件の顛末を自らまとめた回顧録『ザ・ホークス 世界を騙した世紀の詐欺事件』を原作としている。
title: マイケル・ラビン
text: マイケル・ラビン(Michael Oser Rabin、1931年9月1日 - )は、著名な計算機科学者であり、その分野で最も権威のあるチューリング賞を受賞した。
title: リチャード・テイラー (数学者)
text: アンドリュー・ワイルズによるフェルマーの最終定理の証明をサポートした。フェルマーの最終定理を証明した二つの論文のうち一つはテイラーとの共著によるもの。
title: 小山慶太
text: 東京大学や慶應義塾大学の英語入試問題として利用されるなど、日本人にも馴染みのある、SF作家で、生化学者(ボストン大学教授)であったアイザック・アシモフ(en:Isaac Asimov)が著した「アイザック・アシモフの科学と発見の年表」の翻訳を、同僚である輪湖博・社会科学総合学術院教授(専門:生物物理学・バイオインフォマティクス)と手掛けた。
title: グリゴリー・ペレルマン
text: 2006年度、ポアンカレ予想解決の貢献により「数学界のノーベル賞」と言われているフィールズ賞(幾何学への貢献とリッチ・フローの解析的かつ幾何的構造への革命的な洞察力に対して)を受賞した。しかし、「自分の証明が正しければ賞は必要ない」として受賞を辞退した。フィールズ賞の辞退は、彼が初めてである。ペレルマンは、以前にも昇進や欧州の若手数学者に贈られる賞を辞退するなどした経緯があり、賞金に全く興味を示さなかったり、自分の論文をあまり公表したがらない性格でも知られていた。一方で、アメリカの雑誌 The New Yorker の取材に対しては、誰を証明の貢献者とするかの争いについて言及した上で、「自分が有名でなければ、数学界の不誠実さについて不満を述べるという醜いことをせずに、黙ってペットのように扱われておくことができるが、有名になると何かを言わなければならなくなる」と答えている。
title: 情報哲学
text: アロンゾ・チャーチ、アラン・チューリング、クルト・ゲーデル、ジョン・フォン・ノイマン、クロード・シャノン、ウォーレン・ウィーバーらによる一連の成果である。それらの理論は(直接には)哲学とは無関係だが、チューリングのように(チューリング・テストなど)哲学的な考察もまた行われた。
title: ソフィ・ジェルマン
text: アーサー・C・クラーク と フレデリック・ポールによるフィクション \"The Last Theorem\" においては、フェルマーの最終定理を解くためのインスピレーションを与えたRanjit Subramanianであると信じられている。
title: チャールズ・バベッジ
text: エイダ・ラブレスはバベッジのアイデアを完全に理解していた数少ない人物の1人で、バベッジが考える単なる計算機に留まらない解析機関の可能性を見出していた。解析機関の能力を示すために実際にプログラムを作成した。ベルヌーイ数の数列を計算するプログラムなどである。今では世界初のプログラマと言われている。1979年には、彼女にちなんであるプログラミング言語がAdaと名付けられた。
title: HAL 9000
text: 小説では Heuristically programmed ALgorithmic computer (発見的な(ヒューリスティクス)プログラムをされたアルゴリズム的コンピュータ)の頭文字ということになっており、キューブリックも「アーサー・C・クラークと僕がコンピューターをHALと名づけたのは、HALの二つの学習様式である『発見的(heuristic)』と『アルゴリズムの(algorithmic)』の頭文字を取ったからだ」と述べている。
title: スチュワート・ハメロフ
text: このハメロフの研究とは関係のないところで、もうひとつの研究が発表された。理論物理学者ロジャー・ペンローズが出版した、意識に関する最初の著作 \"The Emperor's New Mind\"(1989年)である(邦訳『皇帝の新しい心』)。この著作の中でペンローズは、ゲーデルの不完全性定理に関する思索を行い、そこから人間の思考能力はアルゴリズム的な計算には還元できないだろう、という主張を展開する。つまり現在のチューリングマシン型のコンピューターでは人工知能は実現できないだろうという主張である。
title: モンティ・ホール問題
text: プロ数学者ポール・エルデシュの弟子だったアンドリュー・ヴァージョニが本問題を自前のパーソナルコンピュータでモンテカルロ法を用いて数百回のシミュレーションを行うと、結果はサヴァントの答えと一致。エルデシュは「あり得ない」と主張していたがヴァージョニがコンピュータで弾き出した答えを見せられサヴァントが正しかったと認める。しかし、これはゲームの暗黙のルール(後述のゲームのルールを参照)について誤解があったと思われている。後、カール・セーガンら著名人らがモンティーホール問題を解説、サヴァントの答えに反論を行なっていた人々は、誤りを認める。
title: プログラマ
text: 史上初のプログラマは、「コンピュータの父」チャールズ・バベッジが作成した解析機関のオペレータであったエイダ・ラブレス(ラブレース伯爵夫人オーガスタ・エイダ・キング・1815-1852)であるとされる。プログラミング言語Adaは、彼女の名前に因んで命名された。
title: 5人の軍隊
text: ケインズサーカス(英: Keynes's Circus)あるいはケンブリッジサーカス(英: Cambridge Circus)とは、ジョン・メイナード・ケインズが一般理論を立脚させるために指揮した5人の若手学者集団。その多くが、世界的な経済学者となっているだけでなく、ジェームス・ミードがノーベル経済学賞を受賞している。
title: ソロモン・ゴロム
text: ゴロムは、『オムニ』誌で紹介されたロナルド・K・ホーフリンのメガIQテストを高名な教授としては比較的初期に受けた。結果は 176 であり、100万人に1人の能力とされている。
title: 人工知能の歴史
text: 1955年、アレン・ニューウェルと(後にノーベル賞を受賞した)ハーバート・サイモンは(クリフ・ショーの助けも得て)\"Logic Theorist\" を作った。このプログラムはラッセルとホワイトヘッドの『プリンキピア・マテマティカ』の最初の方にある52の定理のうち38の定理を証明してみせ、そのうち一部は新たな洗練された証明方法を見出した。サイモンは彼らが「かの心身問題を解決し、物質で構成されているシステムが精神の特性をどのようにして持つことができるかを説明した」と述べている。これは、後にジョン・サールが「強いAI」と呼んだ哲学的立場(機械は人間の身体と同じように精神を持ちうる)を表した初期の文章の1つである。
title: 再帰理論
text: 再帰理論は、1930年代のクルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリング、スティーヴン・コール・クリーネ、エミール・ポストらの研究に端を発している。
title: チューリング完全
text: スティーブン・ウルフラムは、以前からこういった問題を追求していたことで知られる一人だが、最も単純でありながらチューリング完全であろう計算モデルとして、2状態3記号のチューリングマシン、「2, 3 チューリングマシン」に目を付け、2007年にその万能性(あるいはその否定)の証明に2万5000ドルの懸賞金をかけた。問題提起から47日後、バーミンガム大学コンピューター科学部の学生だったアレックス・スミスが肯定的(万能である、とする)証明を提出し、懸賞は確定した。
title: ジョン・チャールズ・フィールズ
text: ジョン・チャールズ・フィールズ(John Charles Fields, 1863年5月14日-1932年8月9日)は、カナダ出身の数学者。数学のノーベル賞とも呼ばれるフィールズ賞の提唱者として知られる。フィールズ賞は1932年、チューリヒで開催された国際数学者会議で制定され、1936年に彼が残した遺産を基金として設立された。
title: ワトソン (コンピュータ)
text: これは1997年に、当時のチェス世界チャンピオンのガルリ・カスパロフに勝利したIBMのコンピュータ・システムであるディープ・ブルーに次ぐプロジェクトである。しかし、クイズ番組では自然言語で問われた質問を理解して、文脈を含めて質問の趣旨を理解し、人工知能として大量の情報の中から適切な回答を選択し、回答する必要がある。IBMはこの技術を、将来的には医療、オンラインのヘルプデスク、コールセンターでの顧客サービスなどに活用できるとしている。
title: ナサニエル・ロチェスター
text: その後もロチェスターは、アーサー・サミュエルのチェッカー・プログラムや、ハーバート・ジェラーンター (Herbert Gelernter) の幾何学定理証明機、アレックス・バーンスタイン (Alex Bernstein) のチェス・プログラムなど、IBMにおける人工知能プロジェクトを監督し続けた。1958年、MITの客員教授となっていたロチェスターは、プログラム言語LISPの開発にあたっていたマッカーシーを支援した。
title: ジョン・ベン
text: ジョン・ベン(ジョン・ヴェン、John Venn FRS1834年8月4日 - 1923年4月4日)は、イギリスの論理学者・哲学者。ベン図の考案者として知られ、その成果は集合論、確率、論理学、統計学、計算機科学をはじめ、様々な分野で利用されている。
title: 藤原正彦
text: NHK教育テレビジョンで2001年(平成13年)8月-9月期に放送されたNHK人間講座の「天才の栄光と挫折」という講座に出演した。その中で、8回にわたって、8人の数学者アイザック・ニュートン、関孝和、エヴァリスト・ガロア、ウィリアム・ローワン・ハミルトン、ソフィア・コワレフスカヤ、シュリニヴァーサ・ラマヌジャン、アラン・チューリング、アンドリュー・ワイルズの伝記を解説した。この番組用のテキストはヘルマン・ワイルの伝記を追加し大幅に加筆して、2002年(平成14年)に新潮選書に収録され、2008年(平成20年)に文春文庫に収録された。
title: チューリング・テスト
text: ブレイ・ウィットビー(Blay Whitby)は、チューリングテストに関する歴史の中に、四つの大きなターニングポイントを挙げている。すなわち1950年の『計算機械と知性』の出版、1966年のジョセフ・ワイゼンバウムによるELIZAの発表、1972年のケネス・コルビー(英語版)のPARRY製作、1990年のチューリング会議である。
title: ヴィジュネル暗号
text: この解読法を発見したのはコンピュータの原型を造ったチャールズ・バベッジであるが、これにもエピソードがある(解読のエピソードにて)。
title: バーチ・スウィンナートン＝ダイアー予想
text: 数学において、バーチ・スウィンナートン=ダイアー予想 (英語: Birch and Swinnerton-Dyer conjecture) は、数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれる。それは最もチャレンジングな数学の問題の 1 つであると広く認められている。予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている。予想は機械計算の助けを借りて1960年代の前半に予想を立てた数学者ブライアン・バーチ (Bryan Birch) とピーター・スウィンナートン=ダイアー (Peter Swinnerton-Dyer) にちなんで名づけられている。2014年現在、予想の特別な場合のみ正しいと証明されている。
title: 小川哲
text: 渋谷教育学園幕張高等学校から東京大学理科一類を経て東京大学教養学部卒業、東京大学大学院総合文化研究科博士課程中退。数学者・論理学者のアラン・チューリングについて研究した。博士課程2年時の2015年、投稿作「ユートロニカのこちら側」が第3回ハヤカワSFコンテストで〈大賞〉を受賞し、作家デビューした。
title: ホーキング、宇宙を語る
text: 『ホーキング、宇宙を語る : ビッグバンからブラックホールまで』(ホーキング うちゅうをかたる ビッグバンからブラックホールまで、原題:A Brief History of Time)は、英国の物理学者スティーブン・ホーキングが1988年に発表した通俗科学の書籍である。ベストセラーとなり、20年間で1,000万部以上の売り上げを記録した。また、ロンドンの『サンデー・タイムズ』紙では4年以上もベストセラーリストに選ばれ続け、2001年までに35言語に翻訳された。
title: レオナルド・エーデルマン
text: エーデルマンはハッカーを描いた映画『スニーカーズ』で数学に関するコンサルタントとして関与した。
title: モルテン・ティルドゥム
text: 2014年にはベネディクト・カンバーバッチが数学者のアラン・チューリングを演じる歴史ドラマ映画『The Imitation Game』で英語作品デビューを果たす。
title: モンティ・ホール問題
text: モンティ・ホール問題'(モンティ・ホールもんだい、英: Monty Hall problem)とは、確率論の問題で、ベイズの定理における事後確率、あるいは主観確率の例題の一つとなっている。モンティ・ホール(英語版)(Monty Hall, 本名:Monte Halperin)が司会者を務めるアメリカのゲームショー番組、「Let's make a deal(英語版)」の中で行われたゲームに関する論争に由来する。一種の心理トリックになっており、確率論から導かれる結果を説明されても、なお納得しない者が少なくないことから、本項~プロブレムの他、~ジレンマあるいは~パラドックスとも称される。「直感で正しいと思える解答と、論理的に正しい解答が異なる問題」の適例とされる。
title: 計算可能関数
text: 同様に自然数の部分集合の多くは計算可能ではない。チューリングマシンの停止問題はそのような計算不能な集合の例である。ダフィット・ヒルベルトの提唱した Entscheidungsproblem(決定問題)は(自然数で符号化された)数学的な文が真であるかどうかを決定する実効的な手続きがあるかどうかを問うものであった。これについて1930年代にチューリングとチャーチは個別に決定不能であることを示した。チャーチ=チューリングのテーゼによれば、そのような計算を行える実効的な手続き(アルゴリズム)は存在しない。
title: ヒラリー・パトナム
text: 哲学以外では、パトナムは数学や計算機科学の領域でも業績がある。マーチン・デービスとともに、ブール代数の充足可能性問題を解決するためにデービス・パトナムのアルゴリズムを開発し、ヒルベルトのいわゆる第10問題が解決不能であることが証明される一助となった。
title: ジム・グレイ
text: ジェームズ・ニコラス・グレイ(James Nicholas Gray、1944年1月12日 - 2007年1月28日洋上で行方不明となり、2012年5月16日に死亡認定された)は、アメリカ合衆国の計算機科学者。通称はジム・グレイ (Jim Gray)。1998年、「データベースおよびトランザクション処理に関する独創的な研究とシステム実装についての技術的リーダーシップに対して」チューリング賞を授与された。
title: 竹本英史
text: General Problem Solver(GPS)とは、1957年、ハーバート・サイモンとアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。
title: マイロ・マーフィーの法則
text: 主人公であるマイロ・マーフィーは「マーフィーの法則」で知られるマーフィーの子孫であり、彼の周りでは信じられないトラブルが起こる。
title: 囚人のジレンマ
text: 1950年に数学者のアルバート・タッカーが考案した。ランド研究所のメリル・フラッド(英語版)とメルビン・ドレシャー(英語版)の行った実験をもとに、タッカーがゲームの状況を囚人の黙秘や自白にたとえたため、この名がついている。
title: オッカム
text: 神学者オッカムのウィリアムの生地と伝えられる。また、世界最初のプログラマーとして知られる女性数学者オーガスタ・エイダ・バイロンは、オッカムの第8代キング男爵ウィリアム(後の初代ラブレース伯爵兼初代オッカム子爵ウィリアム(英語版))と結婚したため、結婚後はオッカムに居住していた。
title: 役に立たない機械
text: 一方、情報理論において有名になった「役に立たない機械」は、マサチューセッツ工科大学 (MIT) の教授で人工知能研究の草分けであるマーヴィン・ミンスキーが発明したといわれる装置のことである。箱についている地味なスイッチを「オン」にすると、箱の中から手かレバーが現れ、スイッチを「オフ」にしてまた箱の中に消える。この装置をミンスキーが考えついたのは、ベル研究所の大学院生であった1952年だとされる。彼は自分の発明品を「究極の機械」と名付けたが、この表現そのものはあまり有名にはならなかった。この装置は「ほっといてよボックス」(\"Leave Me Alone Box\") とも呼ばれている。
title: 角谷静夫
text: 1941年(昭和16年)8月14日、ポール・エルデシュ、アーサー・ストーンら3人と連れ立ってドライブ。ニューヨーク州ロングアイランドの立ち入り禁止区域に侵入して散歩している所を無線局の職員が通報、FBIの取り調べで数学者と判明し当日夜に解放。『デイリー・ニューズ』紙に「間諜3人組」の誤記事が掲載された。
title: プログラマ
text: 計算機科学分野では最高峰の賞であるチューリング賞受賞者のケン・トンプソンは、受賞記念講演の際「私はプログラマです」と述べている。
title: 田中慎弥
text: J・C・ショー (J.C.Shaw)、クリフ・ショー (Cliff Shaw) として知られた、ジョン・クリフォード・ショー(John Clifford Shaw、1922年 – 1991年)は、ランド研究所に所属したアメリカ合衆国のシステム・プログラマ。世界初の人工知能プログラムとされる Logic Theorist の共同開発者のひとりであり、1950年代のプログラミング言語であるInformation Processing Language (IPL)の開発者のひとりである。IPLは、JOSS言語の真の「父」であると考えられている。プログラミングの歴史における最も重要な出来事のひとつは、IPL-V言語の開発過程における、アレン・ニューウェル、ハーバート・A・サイモンとクリフ・ショーの3人による「リスト処理」という概念の開発であった。
title: 役に立たない機械
text: ミンスキーのベル研究所時代の指導教員は、情報理論のパイオニアであるクロード・シャノンだった。シャノンもまた、自己流で同じような機械をつくっていた。彼が机のうえに出していたこの装置に目をとめ、そのコンセプトに魅了されて次のように書いたのが、SF作家のアーサー・C・クラークである。いわく「自身のスイッチをオフにすること以外には何もー本当にまったく何もーしない機械というのは、いいようがないほどに何とも邪悪だ」と。
title: 再帰理論
text: 実効的な計算というものの定義に伴い、数学には実効的に決定できない問題があることを示す最初の一連の証明が得られた。チャーチ(1936a、1936b)とチューリング(1936)はゲーデルの不完全性定理の証明(1931)で用いられた技法に触発され、それぞれ独立に、ダフィット・ヒルベルトが1928年に提示した Entscheidungsproblem(決定問題)(en)が実効的に決定できないことを示した。この結果は、任意の数学的命題が真か偽かを正しく判定するアルゴリズムが存在しないことを明らかにした。
title: アラン・チューリング
text: プリンストン大学の発行する Princeton Alumni Weekly では、チューリングをジェームズ・マディソンに次ぐ偉大な卒業生だとしている。
title: ヒラリー・パトナム
text: パトナムはコンピュータ・サイエンスの分野ではマーティン・ディヴィスと共に充足可能性問題(SAT)の解法を与えるデービス・パトナムのアルゴリズムを開発したことで知られる。このアルゴリズムは、任意のブール論理式の各変数について、式全体の値が真になるような真ないし偽の値の組み合わせが存在するかどうかを発見するものである。1962年にディヴィスとパトナムはジョージ・ロッジマンとドナルド・W・ラヴランドの協力を得てこのアルゴリズムをさらに精密にし、現在DPLLアルゴリズムの名前で知られるものが完成した。このアルゴリズムは効率的で、今日もなお最も完全なSATソルバー(充足可能性問題の解法)の基礎となっている。
title: 不思議の国のトムキンス
text: 不思議の国のトムキンス (Mr. Tompkins in Wonderland) は1940年にケンブリッジ大学出版局から出版された科学空想物語で、著者ジョージ・ガモフは原子核のアルファ崩壊理論やビッグバン宇宙論で知られた世界的な物理学者である。本作は、主人公トムキンスが夢の中で相対性理論や量子力学の効果が日常的に容易に観察出来る不思議な世界に入り込んで色々と思いがけない出来事を体験する、というかたちでこれら非日常的な物理の世界を解き明かす、という内容である。