クエリ: 数学のモンテカルロ法の命名者ともされるハンガリー生まれの数学者で、現在のコンピュータの原理を考案し「コンピュータの父」と呼ばれるのは誰?
文章: ジョン・フォン・ノイマン ジョン・フォン・ノイマン(英: John von Neumann、 1903年12月28日 - 1957年2月8日)は、ハンガリー出身のアメリカ合衆国の数学者。ハンガリー語名は Neumann Jnos Lajos(発音 [njmn jano ljo])。ドイツ語名は Johann Ludwig von Neumann(ヨハン・ルードヴィヒ・フォン・ノイマン)。数学・物理学・工学・計算機科学・経済学・ゲーム理論・気象学・心理学・政治学に影響を与えた20世紀科学史における最重要人物の一人とされ、特に原子爆弾や汎用電子コンピュータ『コンピュータの父フォン・ノイマン』(コンピュータ科学の父アラン・チューリング)の開発への関与でも知られる。
文章: ジェフリー・ラガリアス 博士号取得後、1975年から2004年までAT&T ベル研究所で研究開発に携わる。2004年9月以降はミシガン大学の教授を務めており、2022年現在、ハロルド・ミード・スターク数学教授として教鞭をとっている。研究分野は理論計算機科学、代数的整数論、純粋数学、応用数学まで多岐にわたり、数学のジェネラリストとされている。 文章: エドガー・ダイクストラ 彼はまた、万年筆で慎重に原稿を書く習慣があることでも知られていた。ダイクストラは原稿に自分のイニシャルである EWDという記号と番号を付与したため、彼の原稿は一般に EWD と呼ばれている。ダイクストラ自身によれば、アムステルダムの数学研究所を離れてアイントホーフェン工科大学に移った後、この習慣が始まったという。アイントホーフェンに移った後、ダイクストラは1年以上何も書けない状態が続いた。自分を省みたダイクストラは、数学研究所の元同僚が理解するようなことを書けばアイントホーフェンの同僚には理解されず、アイントホーフェンの同僚が望むようなことを書けば数学研究所の元同僚に軽蔑されるという懸念があることを発見する。そこで彼は自分自身のためだけに書くことを決め、EWDが生まれた。ダイクストラは新たに EWD を書き上げると、そのコピーを同僚に配布した。それがさらにコピーされて世界中に配布されていき、計算機科学界全体に広がったのである。主題は計算機科学か数学であるが、一部は旅行記だったり、手紙だったり、講演記録だったりする。1300以上のEWDが電子化され、テキサス大学のダイクストラのアーカイブで検索・入手可能である。 ダイクストラの空想上の副業として、空想上の企業 Mathematics Inc. の会長という仕事があった。この企業はコンピュータのプログラム製造を商業化したソフトウェア企業のように、数学の定理を製造することを商業化した会社である。彼は Mathematics Inc. の様々な活動や課題を考案し、それをEWDシリーズのいくつかの文書で発表している。この空想上の企業はリーマン予想の証明を製造したが、リーマン予想が正しいと仮定して様々な証明を行ってきた数学者たちからロイヤルティーを徴収するという難題に直面する。証明そのものは企業秘密 (trade secret) である。同社の証明の多くは急いで生産され、同社はそれらの保守に追われることになった。より成功した成果として、ピタゴラスの定理の標準的証明があり、100以上存在した既存の証明群を置換した。ダイクストラは Mathematics Inc. について「これまでに考案された最もエキサイティングで最もみじめなビジネス」と評した。EWD 443 (1974) では彼の想像した会社が世界の75%のシェアを獲得したとされている。 ダイクストラはソフトウェアについて様々な発明をしたが、自分のコンピュータを所有したのは比較的遅く、しかもめったに使わなかった。1972年以降のEWDはほとんどが手書きである。講義の際は黒板にチョークで書き、オーバーヘッドプロジェクタも滅多に使わなかった。アップルのMacintoshを購入してからも、電子メールとWebブラウザ以外には使わなかった。 文章: ジョン・アタナソフ ジョン・ヴィンセント・アタナソフ(John Vincent Atanasoff、Джон Винсент Атанасов、1903年10月4日 - 1995年6月15日)は、ブルガリア人の家系に生まれたアメリカ人物理学者。 ブルガリア人移民の息子として電気工学者となり、大学教授、戦時中の政府の研究所長、企業の研究開発担当重役などを歴任した。アタナソフ&ベリー・コンピュータの発明者・開発者であり、同機は後に1973年の、スペリーランドが持つENIAC由来の特許にまつわるハネウェルとの訴訟で、ENIACよりも先行していた点がいくつか認定されたという点が喧伝され有名になった。 文章: Manchester Small-Scale Experimental Machine Manchester Small-Scale Experimental Machine (マンチェスター・スモールスケール・イクスペリメンタル・マシーン、SSEM) は、世界初のプログラム内蔵式コンピュータ。愛称は Baby。マンチェスター大学でフレデリック・C・ウィリアムス、トム・キルバーン、Geoff Tootill(英語版) らが製作し、1948年6月21日に最初のプログラムが動作した。このマシンは実用的なコンピュータを目指したものではなく、初期のコンピュータ用メモリであるウィリアムス管の評価用に設計されたものである。当時としては「小型で基本的」なものとして設計されたが、現代の電子式コンピュータにある基本要素は全て備えた実働する世界初のコンピュータであった。 文章: ジェームズ・ヒントン ジェームズ・ヒントン (James Hinton、1822年11月26日(洗礼日) - 1875年12月16日)は、イギリスの外科医、作家である。数学者チャールズ・ハワード・ヒントンの父親である。一夫多妻制を強く推奨した。19世紀にイギリスで起きた連続殺人事件「切り裂きジャック」を題材にしたフィクションにも登場する。 文章: 数理心理学 数理心理学(英語:mathematical psychology)は、数学を使ってモデル化などを試みる心理学の分野。実験で観察される現象のモデル化や、測定などを扱う。厳密な線引きは不可能であるが、統計処理法の考案などは計量心理学と呼ばれることが多い。 使われる数学概念は多岐にわたるが、例えば微分方程式、代数学、ゲーム理論、コンピュータシミュレーションなどがある。19世紀の精神物理学から近年のニューラルネットなどまで様々に研究されている。 専門誌としてJournal of Mathematical Psychologyなどがある。 文章: 数学の哲学 直観主義の「明白な構成」という用語の定義は曖昧であり、批判を浴びた。この欠陥を補うため チューリングマシーンや計算可能関数といった概念を用いることが試みられ、有限なアルゴリズムのふるまいに関する問題だけが有意味であり、数学的研究の対象であるべきであるといった主張がなされた。アラン・チューリングによって提案された計算可能数の研究も行われた。従って、直観主義のアプローチがしばしばコンピュータサイエンスの理論と結びついているのも不思議なことではない。 直観主義と同様、構成主義もまた、一定の意味で明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。この考え方によれば、数学とは人間の直観の営みであって、有意味な記号を用いたゲームなどではない。そうではなく、数学とは、われわれが心的活動を通じて直接作り出せるものに関係している。また、構成主義の支持者たちの中には、非構成的証明(背理法など)を拒否する者もいる。 数学におけるフィクショナリズム(英: Fictionalism)は、1980年にハートリー・フィールドが『数を用いない科学』Science Without Numbersを出版し、その中でクワインの不可欠性論法を退け、実際に覆したときに有名となった。クワインは、数学は私たちのもっとも優れた科学的な諸理論のために不可欠であり、したがって独立に存在する事物について言及する真理の主要部として受け入れなくてはならないとしたが、フィールドは不可欠ではなく、したがって実在的な何者にも言及することのない虚偽であると指摘した。彼はこれを、まったく数と関数を用いることのないニュートン力学の完全な公理系を提供することによって行った。ヒルベルトの公理系(英: Hilbert's axioms)の「間にある」(英: betweenness)という概念を使って座標を付けることなく空間を特徴づけることをはじめ、それまではベクトル場によって行われていたことをするために点の間のさらなる関係を加える。ヒルベルトの幾何学は、それが抽象的な点について述べるため、数学的である。しかし、フィールドの理論においては、これらの点は物理的空間における具体的な点であって、そのため特別な数学的対象はまったく必要ない。 文章: ダグラス・ホフスタッター ホフスタッターがコンピュータに対し興味がないのは、天文学者が望遠鏡に対し興味がないことに似ている。彼は著書『メタマジック・ゲーム』の中で、「今の時代、創造性と美に魅せられた人が、その本質を探求する究極のツールをコンピュータの中に見ないでいられるだろうか」と述べている。ホフスタッターは、シンギュラリティ(人工知能が人類に代わって文明の進歩の主役になる瞬間)の予測に刺激されて、このテーマに関するいくつかの公開討論会を企画し、参加している。1999年にインディアナ大学でこのテーマのシンポジウムを開催した。 文章: ジョン・ジョージ・ケメニー ジョン・ジョージ・ケメニーは、ハンガリー出身のユダヤ系アメリカ人で、数学者・計算機科学者で教育者であり、1964年にトーマス・E・カーツと共同でプログラミング言語BASICを開発したことでよく知られている。1970年から1981年まで、ダートマス大学第13代理事長を務め、大学教育にいち早くコンピュータを取り入れた。1979年にはスリーマイル島原子力発電所事故の事故調査委員会委員長を務めた。 文章: 皆殺しの數學 無限解析入門、微分学講義等、大著を次々と発表。オイラーの円、オイラーの線、オイラーの定理、オイラーの公式、オイラーの定式、オイラーの定数、オイラーの方程式等々、オイラーと名の付く数式は数知れない。1783年、子供達に「もう死ぬよ」と告げた後、オイラーは発作で死んだ。19世紀数学の主題の一つであった楕円関数論や行列式等に多くの貢献をした。「数学等やると若死にする」と言う医師の勧めに従い、44歳で政治家として立候補するが落選。妻に子供が7人。ヤコビは友人の情けにすがって命をつなぐ事になった。そして、47歳になったばかりで死亡。ただし、その死は数学の為ではなく天然痘であった。17世紀最大の数学者の一人と言われ、微分積分学の思想を発展させた。1687年天文学・力学上の発見を「自然哲学の数学的原理」として出版。逆二乗則の先主権を主張するフックとの間に壮烈な戦いを展開した。 文章: アラン・チューリング この銅像はリンゴを持っている。リンゴは古来「禁じられた愛」の象徴であり、アイザック・ニュートンの万有引力の法則も思い起こさせるし、チューリングの死の状況も思い起こさせる。また、ブロンズ製のベンチにはレリーフで 'Alan Mathison Turing 19121954' と書かれていて、その下には 'Founder of Computer Science' をエニグマで暗号化した文字列が書かれている。台座には「計算機科学の父、数学者、論理学者、戦時中の暗号解読者、偏見の犠牲者」と記されている。バートランド・ラッセルの言葉も引用されていて「正しく見た数学は、真実だけでなく最高の美 - 彫刻のように冷たく厳しい美も有している」とある。台座の下には彫刻家が所有していた古いアムストラッド製パソコンが「あらゆる現代のコンピュータのゴッドファーザー」への捧げ物として埋められている。 没後50年を記念して、2004年10月28日には、幼少時に住んでいた町にあるサリー大のキャンパス内に銅像が置かれる。 プリンストン大学の発行する Princeton Alumni Weekly では、チューリングをジェームズ・マディソンに次ぐ偉大な卒業生だとしている。 文章: リース・マルツェル リース・マルツェル(ハンガリー語: Riesz Marcell、発音 [ris mrtsl]、1886年11月16日 - 1969年9月4日)は、ハンガリー生まれの数学者で、総和法やポテンシャル論やその他解析学、数論、偏微分方程式、クリフォード代数における業績で有名である。生涯の多くをスウェーデンのルンドで過ごした。 文章: トーマス・J・ワトソン 議論の発端は不明だが、ケンブリッジ大学数学教授 ダグラス・ハートリー の1951年ごろの次の言葉がよく似ているという話が出ている。私は、微分解析機をイギリスで初めて作り、誰よりもその特殊なコンピュータの利用経験のあるダグラス・ハートリー教授に会いに行った。彼は個人的意見として、この国で必要な計算は当時1つはケンブリッジで、1つはテディントンで、1つはマンチェスターで製作中だった3つのコンピュータでまかなえるだろうと言った。彼はまた、誰もそのようなマシンを所有する必要はないし、そもそも購入するには高すぎる、とも言っていた。ハワード・エイケンも1952年に似たような言葉を残している。あちこちの研究所に半ダースほどの大規模コンピュータがあれば、この国のあらゆる計算の要求に対応できるだろう。この誤った引用は、5台ではなく「50台」と言い換えられることも多い。 文章: ジョン・アタナソフ ジョン・ヴィンセント・アタナソフは、ブルガリア人の家系に生まれたアメリカ人物理学者。 ブルガリア人移民の息子として電気工学者となり、大学教授、戦時中の政府の研究所長、企業の研究開発担当重役などを歴任した。アタナソフ&ベリー・コンピュータの発明者・開発者であり、同機は後に1973年の、スペリーランドが持つENIAC由来の特許にまつわるハネウェルとの訴訟で、ENIACよりも先行していた点がいくつか認定されたという点が喧伝され有名になった。 文章: アラン・ケイ アラン・カーティス・ケイは、アメリカ合衆国の計算機科学者、教育者、ジャズ演奏家。パーソナルコンピュータの父、と言われることもある。主に、オブジェクト指向プログラミングとユーザインタフェース設計に関する初期の功績で知られている。ピーター・ドラッカーの言葉“You cannot predict the future, but you can create it.” を引用し、“The Best Way to Predict the Future is to Create it.” 「未来を予測する最善の方法は、それを発明することだ」と改変したことでも知られている。 カリフォルニア大学ロサンゼルス校(UCLA)で計算機科学の准教授、ビューポインツ・リサーチ・インスティテュートの経営者、TTI/Vanguard の諮問委員。2005年中ごろまで、HP研究所のシニアフェロー、京都大学の客員教授、マサチューセッツ工科大学の准教授を務めていた。 マイクロコンピュータ以前の時代に、個人の活動を支援する「パーソナルコンピュータ」という概念を提唱した。つまり1960年代当時、高価で大きく、複数人で“共有”するのが当たり前だったコンピュータに“個人向け”という利用状況を想定し、それに相応しいコンピュータ環境がどうあるべきかを考えた人物。自らがそう名付けた「ダイナブック構想」の提唱者。「コンピュータ・リテラシー」という言葉も彼が造った。