クイズ問題: 数学のモンテカルロ法の命名者ともされるハンガリー生まれの数学者で、現在のコンピュータの原理を考案し「コンピュータの父」と呼ばれるのは誰?
答え: ジョン・フォン・ノイマン

関連するWikipedia記事の抜粋:
title: Manchester Mark I
text: 1936年、数学者アラン・チューリングは、その中で「チューリングマシン」を提示した論文を発表した。チューリングマシンは後に「チャーチ=チューリングのテーゼ」と呼ばれるテーゼ(それ自体は何かを証明するものではない(ので、テーゼと呼ばれている))により「計算可能」という概念と結び付けられた。1940年代には、チューリングやコンラート・ツーゼといった人々が、チューリングマシンにおける理論的なテープの具体化として計算機械のメモリにプログラムとデータの両方を格納するというアイデアを考案している。プログラム内蔵方式、特にノイマン型の発案者とされるのはその名の通りジョン・フォン・ノイマンであるが、功績をノイマン一人に帰すのは不当だとする見方も多い(詳細はノイマン型の記事を参照)。ともあれ、Manchester Mark 1 もその方式をベースとしている。
title: Manchester Small-Scale Experimental Machine
text: プログラム制御式コンピュータの世界初の設計はチャールズ・バベッジの解析機関で、1830年代のことである。約1世紀後の1936年、数学者アラン・チューリングは後にチューリングマシンと呼ばれるようになる概念を発表した。これは、機械的な計算の限界を考えるための理論上の概念だった。チューリングは実際のマシンを想定したわけではなく、テープに記された命令に従ってテープ上のシンボルの読み書きなどの操作を行う人を \"computer\" と呼んだ。チューリングは、数学の問題を解くアルゴリズムを書ける場合、チューリングマシンでそれを実行できることを証明した。
title: プログラミング言語年表
text: チャールズ・バベッジが計画した「機械式コンピュータ」と言える装置である解析機関についての文章をイタリアの数学者ルイジ・メナブレアが執筆し、1842年から1843年の9ヶ月間にエイダ・ラブレスがそれを翻訳した。この記事の中で彼女はこの機械でベルヌーイ数を計算する完全なプログラムを掲載した。これは世界初のコンピュータプログラムであると言われている。ただし、これは機械(コンピュータ)に対する命令そのもの(機械語)で記述されたプログラムであり、「プログラミング言語」としては広義のそれとなる。
title: 新しい種類の科学
text: エドワード・フレドキンとコンラート・ツーゼは、計算可能な世界についてのアイディアの先駆者である。ツーゼは、著作の中で、世界がいかにセルラーオートマトンのようなものであるかについて触れ、フレドキンは、Saltと呼ばれるおもちゃのモデルを使ってこのアイディアをさらに発展させた。「NKS」はこれらのアイディアを自分のものとして紹介しているという指摘がなされている。 ユルゲン・シュミットフーバーは、チューリングマシンで計算可能な物理学についての自分の功績、つまりチューリングで計算可能な世界の可能なものを列挙する自分のアイディアが帰属なしに盗まれたと非難している。
title: 情報技術史
text: 1946年、ジョン・プレスパー・エッカートとジョン・モークリーにより、最初のコンピュータであるENIAC(エニアック)が開発される。その後、フォン・ノイマンがノイマン型コンピュータを考案し、これが今日のコンピュータの原型となった。
title: プログラム内蔵方式
text: プログラム内蔵方式(プログラムないぞうほうしき)、ストアドプログラム方式は、主記憶に置かれたプログラムを実行する、という、コンピュータ・アーキテクチャの方式の一つである。 プログラム内蔵方式のうちENIACプロジェクトで考案されたものは、プロジェクトに加わっていた有名な数学者フォン・ノイマンの名を冠してノイマン型アーキテクチャともいう。
title: 桂む雀
text: 賞の名称は、アラン・チューリングの名に由来する。チューリングは、理論計算機科学や人工知能の重要な創始者としてしばしば言及される。
title: 強いAIと弱いAI
text: 強いAIの信奉者の多くは、精神はチャーチ=チューリングのテーゼで表されるチューリングマシンで実現可能と考えている。この考えは極端にいえば、バベッジの解析機関や(構築可能ならば)鉄球と木材でできたチューリングマシンにも精神が宿ることを意味する。これは、デイヴィッド・チャーマーズの汎経験説に近い考えである。しかし、汎経験説と同様に、日常的な常識からの隔たりが大きいため「その結果はあまりに常識に反する」といった形で批判される事が多い。
title: インタプリタ
text: 最初の Lisp インタプリタはスティーブ・ラッセルが IBM 704 上に実装した。これにはエピソードがあり、ジョン・マッカーシーが「Lisp の論文」で「数学的」に示したものだったのであるが、マッカーシー自身は実装できるものだとは考えていなかった。それを、論文を読んだ、院生であったラッセルが、実装可能だと言って数学的な記述から変換して機械語で実装してみせたという。
title: プログラミング言語
text: 20世紀初頭には、タビュレーティングマシンによってパンチカードを使ったデータの機械処理が始まっている。そういった実際面ばかりではなく計算理論としても、1930年代から1940年代にかけて、アルゴリズムを表現する数学的抽象表現を提供するラムダ計算(アロンゾ・チャーチ)とチューリングマシン(アラン・チューリング)が考案された。ラムダ計算はその後の言語設計にも影響を与えている。
title: ワトソン (コンピュータ)
text: ワトソンの名前は、IBMの事実上の創立者であるトーマス・J・ワトソンから取られた。
title: EDA (半導体)
text: カーバー・ミードとリン・コンウェイの著書『超LSIシステム入門』で、プログラミング言語のコンパイルによって回路を生成することが提唱された。これは論理合成として後に実用化される。
title: チェス
text: 1945年に数学者のジョン・フォン・ノイマンがノイマン型コンピュータを考案し、チューリングマシンを具体化する方法を提示すると、電子回路によってコンピュータを実装することが可能になり、1950年代前半にかけて、コンピュータが次々と製作された。コンピュータが制作されたことでツーゼ、シャノン、チューリングらが考案したチェスアルゴリズムを電子的に動作させることができるようになり、1956年、ロスアラモス研究所がコンピュータ上で6×6のミニチュアボードでチェスをプレイするプログラムを実装した。これにより、コンピュータ・チェスが確立した。
title: チューリングマシン
text: チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である。
title: 人工知能の歴史
text: 世界初の現代的コンピュータ(Zuse Z3、ENIAC、Colossus)は第二次世界大戦の際に開発された。その後アラン・チューリングの理論的基礎をジョン・フォン・ノイマンが発展させた形でコンピュータが発達していった。
title: 人工知能の歴史
text: ウォルター・ピッツとウォーレン・マカロックは理想化した人工神経細胞のネットワークを解析し、どうやって単純な論理関数のような働きをするのかを示した。それが後の研究者らにニューラルネットワークと呼ばれるものの最初の研究である。ピッツとマカロックに触発された学生の1人に若きマービン・ミンスキー(当時24歳の学生)がいた。1951年、ミンスキーは世界初のニューラルネットマシンSNARC(英語版)を構築した。ミンスキーはその後50年間、AI界の重要なリーダーの1人となった。
title: プログラミング言語
text: 「コンピュータ」(という語)の定義次第ではあるが、それを「コンピュータ・プログラムによって駆動される機械」とするならば、コンピュータ・プログラムはコンピュータとともに生まれ、育ったということになり、そのプログラムの記法としてプログラミング言語があった、ということになる。チャールズ・バベッジが階差機関に続いて計画した解析機関は、パンチカードの先祖と言えるような穴の開いた厚紙の列によって制御されるという機構を持っていたため、その特徴から「19世紀のコンピュータ」「蒸気動力のコンピュータ」などと呼ばれることがある。
title: 関数型プログラミング
text: 1950 年代後半にジョン・マッカーシーが発表した LISP は関数型言語の歴史において重要である。ラムダ計算は LISP の基礎であると言われるが、マッカーシー自身が 1978 年に説明したところによると、匿名関数を表現したいというのが最初にあって、その手段としてマッカーシーはチャーチのラムダ計算を選択したに過ぎない。
title: ACE (コンピュータ)
text: 1946年2月19日、チューリングは国立物理学研究所(NPL)運営委員会に世界初のプログラム内蔵式コンピュータの完全な設計に関する論文を提出した。他の同時期のコンピュータと異なり ACEはチューリングが単独で設計したもので、EDVACに関するジョン・フォン・ノイマンの草稿の影響を受けていない。ただし、これに対して全く逆の解釈をとる者もいる。
title: 西條遊児
text: WEB(ウェブ)は、ドナルド・クヌースによって設計および開発されたプログラミングの仕組みであり、TeX の実装に用いられていることで知られる。
title: クロード・シャノン
text: 情報理論の考案者であり、情報理論の父と呼ばれた。情報、通信、暗号、データ圧縮、符号化など今日の情報社会に必須の分野の先駆的研究を残した。アラン・チューリングやジョン・フォン・ノイマンらとともに今日のコンピュータ技術の基礎を作り上げた人物として、しばしば挙げられる。
title: 人工知能
text: 17世紀初め、ルネ・デカルトは、動物の身体がただの複雑な機械であると提唱した(機械論)。ブレーズ・パスカルは1642年、最初の機械式計算機を製作した。チャールズ・バベッジとエイダ・ラブレスはプログラム可能な機械式計算機の開発を行った。
title: Manchester Small-Scale Experimental Machine
text: 1946年のENIACは、電子式で汎用という意味で、世界初である。条件分岐も可能でチューリング完全であり、幅広い問題を解けるようプログラム可能である。しかし、そのプログラムはメモリ上に格納されるわけではなく、パッチコードやスイッチの状態で保持されていた。そのためプログラムを入れ替えるには数日を要した。チューリングやコンラート・ツーゼといった研究者もメモリをデータとプログラムの両方を格納するのに使うという考え方を研究していたが、現代のコンピュータのほとんどで使われているコンピュータ・アーキテクチャを定義したとして広く知られているのは、数学者のジョン・フォン・ノイマンである。
title: 人工知能の歴史
text: 計算機械は古代から作られており、歴史の進展と共にゴットフリート・ライプニッツなど多くの数学者が洗練させていった。19世紀初め、チャールズ・バベッジはプログラム可能な計算機を設計したが(解析機関)、実際には製作しなかった。エイダ・ラブレスはその機械が「精巧で科学的な音楽の断片をそれなりの複雑さと長さで作曲するかもしれない」と推測した。エイダ・ラブレスはその機関でベルヌーイ数を計算する方法を詳細に注記したことから、世界初のプログラマと言われている。
title: Logic Theorist
text: Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
title: ダグラス・エンゲルバート
text: 1945年にヴァネヴァー・ブッシュの \"As We May Think\" を読んだことで、知識を誰でも入手できるようにすることを目標と定めた。戦後になってコンピュータに関する記事などを読み、またレーダー技師としての経験から、情報を分析してスクリーンに表示できることを知っていた。彼は、知的労働者たちがディスプレイの前に座り、情報の空間を飛び回り、より強力な方法で重要な問題を解決する集合的知性のような能力を利用できると考えた。エンゲルバートはコンピュータが単なる数値を処理する機械と見なされていたころに、対話型コンピュータを活用して集団的知性の利用を実現することをライフワークと捉えていたのである。
title: 計算可能性理論
text: アロンゾ・チャーチとスティーブン・コール・クリーネが開発したラムダ計算により、計算可能性理論の定式化に重要な役割を果たした。アラン・チューリングは現代計算機科学の父とされる人物であり、チューリングマシンなど計算可能性理論にも数々の重要な足跡を残している(、1936年)。
title: 人工知能
text: バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドは『数学原理』を出版し、形式論理に革命をもたらした。ウォーレン・マカロックとウォルター・ピッツは「神経活動に内在するアイデアの論理計算」と題する論文を1943年に発表し、ニューラルネットワークの基礎を築いた。
title: ダイナブック
text: ダイナブック(Dynabook)とは、アラン・ケイが提唱した理想のパーソナルコンピュータ(パソコン)である。
title: 人工知能の歴史
text: 2006年にジェフリー・ヒントンによりオートエンコーダを利用したディープラーニングが発明された。この発明は人手を介さず特徴量を抽出できる点で、人間による知識表現の必要が無くなり、人工知能における大きなブレイクスルーとなった。この瞬間、長らく暗黒時代を迎えていたコネクショニズムが突如として復活することになった。同時に、人間が知識表現を行うことで生じていた記号接地問題も解決された。
title: 解析機関
text: 1842年、イタリア人数学者ルイジ・メナブレアはバベッジがイタリアを訪れた際にバベッジと会い、フランス語で解析機関に関する記録を残し出版した。1843年、ラブレス伯爵夫人 エイダ・キングはこれを翻訳し、本文以上の訳注を記述している。彼女はその十年ほど前から解析機関に興味を持っていた。その訳注の解釈によっては、彼女を世界初のプログラマとする者もおり、ベルヌーイ数を計算する方法(プログラム)が示されているという。プログラミング言語Adaは彼女にちなんで名づけられている。
title: フローチャート
text: ダグラス・ハートリーは、ハーマン・ゴールドスタインとジョン・フォン・ノイマンがコンピュータプログラム(当時のことであるから、機械語を直接人間が書く、というプログラミングであったことに留意)のためのフローチャートを考案したとしている。これには同時代のIBM技術者による傍証があり、ゴールドスタインの回想録でも裏付けられている。ゴールドスタインとフォン・ノイマンの最初のプログラミング用フローチャートは、当時公表されなかった報告書 \"Planning and coding of problems for an electronic computing instrument, Part II, Volume 1\" (1947) にあり、後にフォン・ノイマンの著作集に収録された。
title: タイムシェアリングシステム
text: 対話型コンピューティングに大きな影響を与えた論文に、J・C・R・リックライダーが1960年に発表した Man-Computer Symbiosis(人間とコンピュータの共生)がある。
title: Information Processing Language
text: IPLの最初の利用例は、『プリンキピア・マテマティカ』(バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの労作)の中の定理を計算によって証明するデモンストレーションであった。サイモンの自伝 Models of My Life によると、このアプリケーションは人手によるシミュレーションで最初に試されたという。彼の子供たちを演算装置に見立て、各人にプログラムの状態変数を保持するレジスタの役目をするカードを持たせたという。
title: 再帰理論
text: 再帰理論は、1930年代のクルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリング、スティーヴン・コール・クリーネ、エミール・ポストらの研究に端を発している。
title: アラン・ケイ
text: 1970年、ケイはゼロックス社のパロアルト研究所の設立に参加した。パロアルト研究所には1970年代を通じて在籍し、自ら提唱する理想端末「ダイナブック」を、当時利用可能な技術で具現化した暫定的ハードウエアである「Alto」と、エンドユーザーが自在にプログラミング可能で、それを全方面からサポートする機能を有する暫定的環境「Smalltalk」の開発において指導的立場をとった。このSmalltalk環境の動作するAlto(暫定ダイナブック)を見学する機会を得たスティーブ・ジョブズが、そのアイデアを大いに取り入れてLisa、続くMacintoshを開発した、というのは有名な話である。
title: アセンブリ言語
text: ドナルド・ギリースは、まだ発明されていなかったアセンブラを開発中に、フォン・ノイマンから開発を即座に止めるように言われた、という1950年代初期ならではの逸話がある。当時は、人間が手作業でもできるような瑣末な仕事をコンピュータにさせるような時代が来るとは考えられておらず、単に時間の無駄だとノイマンは考えたのである。
title: 理論計算機科学
text: それらの発展が論理学や計算可能性の現代的研究をもたらし、全体として理論計算機科学という分野を生み出した。1948年、クロード・シャノンによる『通信の数学的理論』から生まれた情報理論がこれに加わった。同じ頃ドナルド・ヘッブが脳における学習の数学的モデルを導入した。生物学的データがこの仮説を裏付けつつ、若干の修正が行われていき、ニューラルネットワークと並行分散処理が確立された。
title: Zuse Z3
text: Z3 はプログラムを格納するテープを外部に必要とした。ジョン・フォン・ノイマンが 1945年の論文で示したプログラム内蔵方式のコンピュータとして世界初と言えるのは1948年の Manchester Baby か 1949年のEDSACである。なお、ノイマンの論文にはアラン・チューリングへの言及があり、プログラム内蔵方式のコンセプト自体は、ツーゼが1936年に申請した特許出願書(成立せず)で既に言及している。
title: ヒルベルト・プログラム
text: ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。
title: DNAコンピュータ
text: 2000年前後に広まった研究のきっかけとなった論文は、南カリフォルニア大学のコンピューター科学者で、RSA暗号の「A」として知られるレオナルド・エーデルマンによるものである。彼はジェームズ・ワトソンの『遺伝子の分子生物学』を読んでいてDNAによるコンピューティングの可能性に気付いたと言われている。エーデルマンは1994年に初めてDNA鎖を用いて、NP完全な問題の1例としてよく知られている「ハミルトン路問題」を解いた。ハミルトン路問題は一筆書きの一種であり、グラフ上のすべてのノードを1回ずつ通るような路(パス)が存在するかどうか、存在する場合は具体的な解を示せ、という問題である。エーデルマンの実験ではノード7、パス14という規模だった。問題を21本 (7+14) のDNA鎖に翻訳し、解を示した。
title: 計算機の歴史
text: ジョージ・スティビッツは、一般にデジタルコンピュータの父とされている。ベル研究所で働いていた1937年11月、\"Model K\" と名付けたリレー式計算機を発明し製作。これが二進法を計算機に使った最初の例となった。
title: プログラマ
text: 史上初のプログラマは、「コンピュータの父」チャールズ・バベッジが作成した解析機関のオペレータであったエイダ・ラブレス(ラブレース伯爵夫人オーガスタ・エイダ・キング・1815-1852)であるとされる。プログラミング言語Adaは、彼女の名前に因んで命名された。
title: ランタイムシステム
text: 初期のランタイムシステムで特筆すべきは、BASICとLispのインタープリターである。これらの環境にはガベージコレクターも含まれていた。Forthは中間言語コードにコンパイルすることを想定した言語の初期の例である。Forthのランタイムシステムは、Forthのコードを解釈する仮想マシンであった。もう1つの有名な例は、理論上のものであるが、ドナルド・クヌースのMIXコンピューターである。
title: ライフゲーム
text: セル・オートマトンは、四角形などのセルによって分割された空間において、時間に最小単位が存在する場合の計算モデルである。1940年代にジョン・フォン・ノイマンとスタニスワフ・ウラムによって考案された。当時はコンピュータが発明された直後であり、セル・オートマトンの研究は、方眼紙と筆記具によるものである。フォン・ノイマンの関心は自己複製機械にあり、2次元セル・オートマトンによる自己複製機械の例を1952年に示している。
title: HAL 9000
text: 小説では Heuristically programmed ALgorithmic computer (発見的な(ヒューリスティクス)プログラムをされたアルゴリズム的コンピュータ)の頭文字ということになっており、キューブリックも「アーサー・C・クラークと僕がコンピューターをHALと名づけたのは、HALの二つの学習様式である『発見的(heuristic)』と『アルゴリズムの(algorithmic)』の頭文字を取ったからだ」と述べている。
title: ジョン・テューキー
text: ジョン・フォン・ノイマンと共同でコンピュータの設計に関わっていたとき、\"binary digit\" を短縮して \"bit\" という造語を生み出した。\"bit\" という用語は、1948年のクロード・シャノンの論文『通信の数学的理論』で早くも使われている。
title: EDVAC
text: プログラム内蔵方式、いわゆるノイマン型の着想は、主要メンバーのジョン・モークリーとジョン・プレスパー・エッカートが考案していたとされる。しかし、EDVAC開発チームの後から加わったジョン・フォン・ノイマンの名前で広まってしまっており、今もノイマンの名で参照されることも多い(ただし、以下のような経緯からあえてその名を使わない研究者もいる)。
title: エド・ロバーツ
text: エド・ロバーツ(Ed Roberts)ことヘンリー・エドワード・ロバーツ(Henry Edward Roberts、1941年9月13日 - 2010年4月1日)は、アメリカ合衆国の工学者、起業家、医師である。1975年に世界初の商業的に成功したパーソナルコンピュータを開発したことで知られ、「パーソナルコンピュータの父」と呼ばれている。
title: チャールズ・バベッジ
text: エイダ・ラブレスはバベッジのアイデアを完全に理解していた数少ない人物の1人で、バベッジが考える単なる計算機に留まらない解析機関の可能性を見出していた。解析機関の能力を示すために実際にプログラムを作成した。ベルヌーイ数の数列を計算するプログラムなどである。今では世界初のプログラマと言われている。1979年には、彼女にちなんであるプログラミング言語がAdaと名付けられた。
title: 人工知能
text: 1950年代になるとAIに関して活発な成果が出始めた。ジョン・マッカーシーはAIに関する最初の会議で「人工知能」という用語を作り出した。彼はまたプログラミング言語LISPを開発した。知的ふるまいに関するテストを可能にする方法として、アラン・チューリングは「チューリングテスト」を導入した。ジョセフ・ワイゼンバウムはELIZAを構築した。これは来談者中心療法を行うおしゃべりロボットである。
title: マックス・ニューマン
text: 1927年にはケンブリッジ大学の数学講師となり、1935年のゲーデルの定理についての講義がアラン・チューリングに着想を与え、仮説的な計算機械(チューリングマシン)を使って「決定問題」を考えるという先駆的業績へとつながった。ニューマンはチューリングをプリンストン大学に行かせ、同じ問題をラムダ計算で定式化していたアロンゾ・チャーチに会わせてもいる。また、位相幾何学における重要な論文 Elements of the topology of plane sets of points (1939) を書き、今も学部学生のテキストとしてよく使われている。
title: タイムシェアリングシステム
text: TSSの概念の提唱者にはいくつか説がある。一人はASCIIコードの開発者や2000年問題を世界で初めて指摘した人物としても知られているボブ・バーマーで、1957年初めごろに雑誌の記事でその概念を記述している。また、マサチューセッツ工科大学 (MIT) で数学の教鞭をとっていたジョン・マッカーシーも同様のアイデアをほぼ同時期に思いついている(一説には1959年)。さらに1959年にはイギリスのコンピュータ科学者クリストファー・ストレイチーがタイムシェアリングシステムの特許を取得している。ただし、ストレイチーの特許はTSSというよりもマルチタスク方式に関するものであるという見方が最近では一般的である。いずれにしても後世への影響はマッカーシーが一番大きく、後述するCTSSや前述のリックライダーの推進したProject MACは直接影響を受けている。
title: 人工知能の歴史
text: 1950年、アラン・チューリングは記念碑的論文 Computing Machinery and Intelligence を発表し、真の知性を持った機械を創りだす可能性について論じた。彼は「知性」を定義するのは難しいとして、有名なチューリング・テストを考案した。テレタイプ端末を介した機械との対話が人間との対話と区別できない場合、その機械は「知的」だといえる。このように問題を単純化したことでチューリングは少なくとも「もっともらしい」「思考機械」の可能性を説得力のあるものとして主張でき、この論文は全ての一般的な反論に答えた。チューリング・テストは人工知能の哲学(英語版)における最初の真面目な提案となった。
title: フォン・ノイマン・ボトルネック
text: フォン・ノイマン・ボトルネックは、今日では、コンピュータ設計上の留意点として扱われているが、もともとはプログラミングにおける問題意識から指摘されたものである。ジョン・バッカスがそのチューリング賞受賞講演「プログラムはフォン・ノイマン・スタイルから解放されうるか? 関数型プログラミング・スタイルとそのプログラム代数」において、従来型のプログラミング・スタイルの問題点について、それを実行するコンピュータの「CPUと記憶装置と、その2つをつなぐバス」という構成の影響を受けすぎており、この隘路(ボトルネック)の交通整理をすることがプログラミングになってしまっている、と主張した際に命名された。
title: ドイツの鉄道車両保存機関
text: 2002年5月15日に、コンピュータの先駆者コンラート・ツーゼの発明を呼び物にした特別展示が始まった。
title: インターネットの歴史
text: 世界規模のネットワークを生み出すきっかけを作った先駆者J・C・R・リックライダーは、そのアイデアを1960年1月の論文 Man-Computer Symbiosis で明らかにしている。
title: Logic Theorist
text: ニューウェルとサイモンは、機械に考えることを学ばせる可能性について話し合った。彼らの最初のプロジェクトは、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』で使われているような数学的定理の証明をするプログラムの開発である。ランド研究所にいたプログラマのJ・C・ショーの助けを得て、そのプログラムの開発を行った。ニューウェルは、「3人の中で本物の計算機科学者はショーだけだった」と述べている。
title: パンチカード
text: 19世紀に「(数値を)計算する機械」の制御にパンチカード状のものを使うことが構想されたものとして、チャールズ・バベッジの「解析機関」がある。バベッジはジャカード織機をヒントにしたとされている。なお、解析機関は完成しなかった。
title: J・C・R・リックライダー
text: リックライダーは早くからコンピューティングに興味を持っていた。ヴァネヴァー・ブッシュと同様、J・C・R・リックライダーのインターネットへの貢献は具体的な発明ではなく概念的なものである(これが誰の言かは不明だが、ブッシュの功績には微分解析機など、電子式ディジタルコンピュータ以前のコンピューティングなどに具体的な成果があるのを見落としてはいる)。彼は簡単なユーザインタフェースを持つネットワーク接続されたコンピュータの必要性を予測していた。
title: 計算機科学
text: 1920年代以前、「computer」という言葉は仕事として計算を行う人(計算手)を指していた。しかしこの時代に、現代に通じる計算理論と計算模型が考案されている。クルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリングなど、後に計算機科学と呼ばれるようになる分野の先駆者は、計算可能性、すなわち(特別な前提知識や技能なしに)紙と鉛筆と命令書だけでどのようなものが計算できるか、に興味を抱いた。この研究は、一部には人間に付き物の間違いをすることなく自動的に計算を行う「計算する機械」を開発したいという欲求に基づくものであった。この重要な洞察は、あらゆる計算作業を(理論上)全て実行可能な汎用の計算システムを構築することを意味し、それまでの専用機械を汎用計算機の概念に一般化した。汎用計算機という概念の創造が現代の計算機科学を生み出したのである。
title: 人工知能の歴史
text: 1982年、物理学者のジョン・ホップフィールド(後にホップフィールド・ネットワークと呼ばれるようになった)は、ある形式のニューラルネットワークが従来とは全く異なる方法で学習し、情報を処理出来ることを示した。同じ頃、デビッド・ラメルハートは、ニューラルネットワークの新たな訓練方法である「バックプロパゲーション」を一般化させた(ポール・ワーボス(英語版)より数年早く発見した)。それら2つの発見によって、1970年以来下火になっていたコネクショニズムが復活した。
title: ダニエル・デネット
text: アルゴリズムが進化の原理として働くことを例証する際には、ライフゲームが持ち出される。ライフゲームとは数学者ジョン・コンウェーによって考案されたコンピュータプログラムのことで、非常に単純な規則によって生成する図形群が、繰り返しその規則にしたがって変化をすることで結果的に予測不可能なパターンを産み出すことを明らかにする、セル・オートマトンの一種である。同様にして、進化というプロセスも単純なアルゴリズムにしたがって多様な生物種を作り出すことができるのだ、と。
title: 一般システム理論
text: マーガレット・ミードとグレゴリー・ベイトソンは社会科学の中に、確かな、積極的で否定的な反響のようなシステム理論の学際的な原則をもたらすために同じく大規模な対話を行った。ジョン・フォン・ノイマンは、コンピュータを使わず、鉛筆と紙だけでセル・オートマトンと自己複製システムを発見した。アレクサンドル・リャプノフとアンリ・ポアンカレはまったくどんなコンピュータも用いずにカオス理論の基礎に取り組んだ。
title: ペトリネット
text: ペトリネットは、視覚的、数学的な離散事象システムをモデル化するツールの一つであり、 名前は創始者のカール・アダム・ペトリに由来する。
title: 情報哲学
text: 西垣通の提唱する情報学的転回は、コンピューターによる情報を機械情報として相対化し、フロリディの唱える汎計算機主義的な計算的転回に対して、一定の距離をとっている。
title: プログラム (コンピュータ)
text: 計算機械ないしは情報処理機械について、ハードウェアとプログラム(ソフトウェア)というような分担が明確になったのは、実際的には1950年頃から後、いわゆるノイマン型(乃至、プログラム内蔵方式)のコンピュータの実現によってである。理論的にはチューリングマシン等が関係するが、そのような理論的な側からの観点はここでは省略する。また歴史的に見ると、19世紀にバベッジとラブレスが解析機関用にコンピュータプログラムをつくったと言えるが、それも略す。直感的なたとえでは、ハードウェアをそろばんとすると、それを「どう操作するか」という、はっきりした具体的な手順がプログラムに相当する。
title: 強いAIと弱いAI
text: ロジャー・ペンローズはチューリングマシンの停止問題を論じることで、チャーチ=チューリングのテーゼの適用可能性を攻撃し、情報システムでは実行できないが人間の精神には実行できる計算が存在するとした。しかし、これは明らかに計算可能性の問題ではなく、シミュレーションの問題 — すなわち同じ計算を別のテクノロジーで行うという問題である。
title: 解析機関
text: 解析機関(かいせききかん、analytical engine)は、イギリス人数学者チャールズ・バベッジが設計した、蒸気機関で動くはずだった機械式汎用コンピュータであり、コンピュータの歴史上、重要なステップを刻んだ。
title: エリック・レイモンド
text: 開発手法の名前であるバザール方式はレイモンドの作った単語である。
title: ドナルド・クヌース
text: TAoCPあるいはACPと略されることがある。コンピュータプログラミングの「Art」について集積した大著である。クヌース自身がここで意図している「Art」がどのようなものであるかは、本書の公刊という業績によって第3巻を刊行後の1974年にチューリング賞を受賞した際に、受賞講演の冒頭で詳細に述べている。
title: Pascal
text: Pascal(パスカル)は、1970年に発表されたプログラミング言語。ニクラウス・ヴィルトにより構造化プログラミングとして設計・デザインされた。名称は、ブレーズ・パスカルにちなむ。
title: グレイグー
text: 自己複製機械自体は、元々数学者のジョン・フォン・ノイマンが提唱していた。そこからグレイ・グーという事象を想定し名付けたのは、ナノテクノロジーのパイオニアであるK・エリック・ドレクスラーで、1986年に発刊した著書「Engines of Creation」の中でのことであった。2004年に彼は「『グレイ・グー』という言葉が、一度として使われない事を祈る」と述べている。この用語は、科学雑誌「オムニ」1986年11月号にも取り上げられ、一般的に知られるようになった。
title: 関数型プログラミング
text: 関数型言語の開発において、アロンゾ・チャーチが 1932 年と 1941 年に発表したラムダ計算の研究ほど基本的で重要な影響を与えたものはない。ラムダ計算は、それが考え出された当時はプログラムを実行するようなコンピュータが存在しなかったためにプログラミング言語として見なされなかったにも関わらず、今では最初の関数型言語とされている。 1989 年現在の関数型言語は、その殆どがラムダ計算に装飾を加えたものとして見なせる。
title: チャールズ・サンダース・パース
text: 1886年にはブール演算が電子回路によって実現され得ることに気付いていた。これはこんにちのコンピュータに代表されるディジタル回路と呼ばれる電子回路の応用そのものと言える発想であり、日本の中嶋章やクロード・シャノンによる同様な成果の50年以上も前である。
title: 計算機の歴史
text: 1820年ごろ、チャールズ・ザビエ・トーマスが世界初の量産された機械式計算機アリスモメーターを作った。これは四則演算が可能だった。ライプニッツの計算機を元にしている。
title: キー配列
text: テンキーのキー配列は、電卓型と電話型に大別される。なお、電卓型のキー配列は、1913年にグスタフ・デイビッド・サンドストランドが発明した手動卓上計算機(アメリカ特許第1198487号)が起源であり、電話型のキー配列は、1960年にリチャード・デイニンジャーが発表した論文が基となっている。
title: マービン・ミンスキー
text: シーモア・パパートとの共著『パーセプトロン』は、ニューラルネットワーク解析の基礎を築いた。人工知能の歴史の中でも大きな議論を呼んだ著書であり、単純パーセプトロンは線形分離不可能なパターンを識別できない事を示し、1960年代の第1次ニューラルネットワークブームを終わらせ、1970年代の「AIの冬」をもたらす原因のひとつにもなった。
title: プログラマ
text: 1944年にハワード・エイケンによってコンピュータ用穿孔機(せんこうき)と読み取り機が発明されると、紙によるプログラムの提供が可能となる。1945年にフォン・ノイマンによりプログラム内蔵したコンピュータが発明されると、目的別に回路変更を行う煩雑さから解放されていくようになり、これら以降、ハードウェアとソフトウェアがそれぞれ分立していくようになる。ただし、この頃のプログラマは、ハード設計者と同一である事も多く、また職業としては数学者と記載される事が多い。この頃のプログラマとして前記エイケンの元(ハーバード大学エイケン計算研究所)にいた、グレース・マレー・ホッパーがいる。
title: 複雑ネットワーク
text: 1959年にポール・エルデシュとアルフレッド・レーニィ(英語版)は、グラフの一種であるランダムグラフ(英語版)を作るエルデシュ=レーニィモデル(英語版)を考案した。エルデシュ=レーニィモデルは、各種の興味深い性質を有し、グラフの解析的な取り扱いを大きく進歩させた。だが、その後はグラフ理論の分野では目立った進展はあまり起きていなかった。
title: テッド・ネルソン
text: ネルソンは1960年にザナドゥ計画を立ち上げ、コンピュータネットワーク上に単純なユーザインタフェースを構築することを目標とした。その成果は1974年の著書『コンピュータ・リブ/夢の機械』および1981年の『リテラリーマシン』で文書化されている。彼の成人後の人生はほとんどザナドゥの実現とその概念を広めることに費やされている。
title: 人工知能の歴史
text: 20世紀になると、数理論理学の研究が人工知能の実現可能性への根本的なブレークスルーを提供する。その基盤となったのは、ブールの The Laws of Thought とフレーゲの『概念記法』である。フレーゲの体系に基づき、1913年、ラッセルとホワイトヘッドが重要な著作『プリンキピア・マテマティカ』において数学的基礎の形式的記述を行った。ラッセルの成果に触発されたダフィット・ヒルベルトは、当時の数学者らに「数学におけるあらゆる推論は形式化できるか?」という根本的問題を提示した(ヒルベルト・プログラム)。この問題への解答が、ゲーデルの不完全性定理、チューリングの機械、チャーチのラムダ計算である。その解答は2つの意味で驚くべきものだった。第一に彼らは数理論理が成し遂げられることには限界があることを証明した。
title: コンピュータチェス
text: ベル研究所のクロード・シャノンは、1949年に「チェスをするコンピュータのプログラミング」という論文を発表し、評価関数の特徴・探索木の作り方の戦略について考察している。
title: 計算機の歴史
text: 理論から実際に話を移すと、プログラム内蔵方式と、いわゆるノイマン型アーキテクチャが、いくつかの観点から重要とされている。後者はそのように呼ばれてはいるが、発案はジョン・フォン・ノイマンによるものではないとされているが、ノイマンは前述したチューリングらの仕事を熟知していたため、「ノイマン型」と呼ばれる元となった草稿の執筆の際にはそのことは当然意識していたであろう、とする見方がある。
title: セル・オートマトン
text: 1969年、ドイツのコンピュータのパイオニアの1人であるコンラート・ツーゼは、著書 Calculating Space の中で、宇宙の物理法則は本質的には離散的であり、宇宙全体が一種の巨大なセル・オートマトン上の決定的な計算の結果であると主張した。この著書が今日デジタル物理学と呼ばれている分野の基礎を築いた。
title: Project MAC
text: Project MAC に従事した人々の中には、後にコンピュータ業界に大きな足跡を残した人がいる。ロバート・メトカーフはパロアルト研究所に移ってからイーサネットを発明し、後に3COM社を設立した。また、世界初の表計算ソフトであるVisiCalcを書いたボブ・フランクストンは、VisiCalcの初期のプロトタイプ作成のために Multics を使用したという。
title: チューリング・テスト
text: イギリスの研究者たちは、AI研究という分野が確立する1956年より10年ほど前から「機械の知性」を研究していた。これはレイショウ・クラブ(英語版)のメンバーの共通のトピックであった。レイショウ・クラブは、イギリスのサイバネティクス・電子工学研究者による非公式の研究者グループであり、チューリングテストの名前の由来であるアラン・チューリングもメンバーの一人だった。
title: ウォーレン・ウィーバー
text: 人間の使う言語から言語へコンピュータを使って文書を翻訳する可能性について言及したのはウィーバーが世界初と言われている。それは、1947年3月、サイバネティックスの先駆者ノーバート・ウィーナーへの手紙の中でのことである。その後2年間、ロックフェラー財団の同僚たちとそのアイデアの詳細化を進めた。その成果をニューメキシコ州カールズバッドで1949年7月に書いた覚え書きにまとめ、そのタイトルは単純に \"Translation\" とした。
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: こうした機能主義理論の最初の定式化はパトナム自身によって行われた。この理論は現在では「機械状態機能主義」(英: machine-state functionalism)と呼ばれているが、パトナムなどによって注目された、心とはどんなアルゴリズムでも計算することのできる理想的チューリングマシンのようなものだ、と考える類推的思考を発想の源にしている。
title: Zuse Z3
text: Zuse Z3 の成功は単純な二進数システムを採用したことによると言われることが多い。これは約3世紀前にゴットフリート・ライプニッツが発明したもので、後にジョージ・ブールがブール代数を作り上げるのに採用した。1937年、MITのクロード・シャノンはブール代数をリレーをつかったデジタル回路に再現する研究をしている。結局ツーゼはこれらをまとめて、プログラム制御された Z3 を作り上げた。
title: J・C・R・リックライダー
text: リックライダーは、現代のパーソナルコンピュータやインターネットをもたらすことになった研究を考案し、出資し、管理するという役目を果たした。彼の論文 Man-Computer Symbiosis(人間とコンピュータの共生)は対話型コンピューティングを予見したもので、タイムシェアリングシステムとそのアプリケーション開発に早くから尽力した。彼はまたダグラス・エンゲルバートに助言と資金を与え、それによってエンゲルバートはスタンフォード研究所内に Augmentation Research Centerを設立し、有名なNLS(oN-Line System)を開発した。
title: ハイパーコンピュータ
text: チューリング機械よりも強力なモデルは、1939年のアラン・チューリングの論文 Systems of logic based on ordinals に登場した。この論文は、自然数から自然数への任意の(再帰的でない)所与の関数を計算できる神託機械を持つ数学的システムを研究したものであった。(神託機械も参照のこと。)彼はこのような機械を想定することで、このようなより強力なシステムであっても、依然として決定不可能性が存在することを証明した。チューリングは、神託機械を数学的抽象のために導入したのであって、それが物理的に実現可能とは思っていなかった。
title: パーソナルコンピュータ
text: 「パーソナルコンピュータ」という用語は、1972年(昭和47年)にアラン・ケイがACM National Conferenceで発表した\"A Personal Computer for Children of All Ages\"の中で使用された。ここでは「個人のための理想のコンピュータ」という意味であり、それを「ダイナブック」と命名した。
title: イギリス国立物理学研究所
text: 戦後の研究者としては、初期のコンピュータ設計で知られるハリー・ハスキーと計算機科学の父といわれるアラン・チューリングがおり、初期のコンピュータであるACEの開発に従事していた。数値解析で知られるジェームズ・H・ウィルキンソンもACE開発に携わっていた。また、アメリカで発明された原子時計の精度を高めたセシウム原子時計を開発したルイス・エッセン(英語版)がいる。1960年代には、パケット通信を発明したポール・バランとドナルド・デービスがいる。ほかにNPLで勤務していた者として、計算材料熱力学の父とされる Oswald Kubaschewski がいる。
title: チューリング・テスト
text: 特にチューリングは、少なくとも1941年から機械の知性の概念に取り組んでおり、1947年に「コンピュータの知性(computer intelligence)」について触れているのは、知られている限りで最も早い。論文『知性を持つ機械』(Intelligent Machinery)の中で、チューリングは「機械に、知性を持ったふるまいができるかどうかという問題」 について検討しており、この中で後に発表するチューリングテストの先駆けとも思われる提案をしている。
title: アルゴリズム
text: 1920〜30年代、計算可能性のための数学モデル(計算モデル)がいくつも提案された(チューリングマシン、帰納的関数、ラムダ計算など)。後にこれらの定義はすべて同等であることがわかり、それらにより同値な概念を「計算可能」とすることが提案された(チャーチ=チューリングのテーゼ、提案者はスティーヴン・コール・クリーネ。なお、チューリングのほうを先とする専門家もいる)。したがって、現在では「これらによって『計算可能なもの』を計算する手続き」をアルゴリズムと呼ぶ。
title: オブジェクト指向
text: Q&AサイトのQuoraで「66~67年のオブジェクト指向という造語を発したアラン・ケイに誰かが影響を与えていたのか?」という質問に対して本人がこう回答している。なお、rotationとは「一つのコンピュータはどこかのコンピュータができることをできる、相互通信によってあらゆる規模の計算可能性を表現できる」を意味している。
title: ライフゲーム
text: セル・オートマトンが研究者以外の興味をひくきっかけとなったのが、ライフゲームである。1970年10月の『サイエンティフィック・アメリカン』誌のマーチン・ガードナーのコラム上で紹介されたところ多くの反響を呼んだ。サイエンティフィック・アメリカン誌が読者からの手紙を中心とした記事を何度も組んだほどである。興味深いことにライフゲームはチューリング完全(万能チューリングマシンの働きをするパターンが構成可能)であることが証明されている。これは、ライフゲームで、計算機で実行可能な全ての計算について、対応するパターンを作ることができるということを表している。