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

タイトル: ジョン・フォン・ノイマン
ジョン・フォン・ノイマン(英: John von Neumann、 1903年12月28日 - 1957年2月8日)は、ハンガリー出身のアメリカ合衆国の数学者。ハンガリー語名は Neumann János Lajos(発音 [ˈnɒjmɒn ˈjaːnoʃ ˈlɒjoʃ])。ドイツ語名は Johann Ludwig von Neumann(ヨハン・ルードヴィヒ・フォン・ノイマン)。数学・物理学・工学・計算機科学・経済学・ゲーム理論・気象学・心理学・政治学に影響を与えた20世紀科学史における最重要人物の一人とされ、特に原子爆弾や汎用電子コンピュータ『コンピュータの父フォン・ノイマン』(コンピュータ科学の父アラン・チューリング)の開発への関与でも知られる。

タイトル: ハンガリー
ハンガリーは歴史的に多数の科学者を輩出している。同国出身の科学者は核兵器やコンピュータの開発に貢献したことで世界的に知られており、ナイマン・ヤーノシュ(ジョン・フォン・ノイマン)はコンピュータの開発に貢献した。ケメーニィ・ヤーノシュは米国人計算機科学者のトーマス・E・カーツ(英語版)とともにBASIC を開発した。傍ら、ハンガリー人にはさまざまな分野で後世に影響を与える発明をしている人物が多い。ハンガリー人の発明にはルビク・エルネーによるルービックキューブやブローディ・イムレによるクリプトン電球などがある。

タイトル: マックス・ニューマン
1919年10月、大学に復帰し、1921年には Mathematical Tripos のパートIIを首席で合格し、Schedule B(パートIII相当)の栄誉を与えられた。1923年11月5日、セント・ジョンズ・カレッジの研究員に選ばれた。組合せ的位相幾何学(英語版)(後の代数的位相幾何学)の確立に努め、3つの初歩的な「動き」だけで等価性を定義することを提唱した。ニューマンの定義は、それ以前の定義から生じていた難題を避けるものだった。数理論理学の論文も書いており、ヒルベルトの第5問題の特殊ケースを解いている。1927年にはケンブリッジ大学の数学講師となり、1935年のゲーデルの定理についての講義がアラン・チューリングに着想を与え、仮説的な計算機械(チューリングマシン)を使って「決定問題」を考えるという先駆的業績へとつながった。

タイトル: ベルンハルト・リーマン
ゲオルク・フリードリヒ・ベルンハルト・リーマン(ドイツ語: Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日)は、ドイツの数学者。解析学・幾何学・数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。彼の名前が残っている数学用語に、リーマン積分、コーシー=リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン=ロッホの定理、リーマン予想などがある。また、小惑星(4167) Riemannは彼にちなむ。

タイトル: ハーバート・クレーマー
ハーバート・クレーマー(Herbert Kroemer、1928年8月25日 - )は、ドイツ出身の物理学者。カリフォルニア大学サンタバーバラ校の電子工学とコンピュータ工学の教授。ヴァイマル生まれ。

タイトル: 逆ポーランド記法
ヒューレット・パッカード社の電卓(HP-35など)が有名で、他いくつかの電卓(特に関数電卓に採用がある)にもあるが、逆ポーランド記法順による入力方法を採用している電卓がある(近年の関数電卓のような数式入力ではなく、計算機械としてスタックモデルであり、それを直接操作しているという形なので、厳密なことを言うと逆ポーランド記法「順」ということになる)。(このような動作をベースとしている計算モデルやコンピュータを、スタックマシンと言う)例題として以下の式を考える。スタックの他に1個のアキュムレータを持つ計算機だとする。[]はスタックの内容。左から右に積む。最初は空である。だけで計算動作が可能である。スタックトップの直接演算が可能な構造ならば、例えば最初の部分は

タイトル: ヘルマン・ミンコフスキー
ヘルマン・ミンコフスキーまたはヘルマン・ミンコウスキー(Hermann Minkowski, 1864年6月22日 - 1909年1月12日)は、ロシア(リトアニア)生まれのユダヤ系ドイツ人数学者。彼の提案したミンコフスキー空間は、アルベルト・アインシュタインの特殊相対性理論における「時空」をエレガントに数学的に表した。また、時空について光円錐を考えたのも彼である。その他に数論や幾何学に関する業績がある。病理学者のオスカル・ミンコフスキーは兄。

タイトル: ヴィルヘルム・シッカート
この計算機は、6桁の加減算およびオーバーフロー時のベル鳴動、複数のネピアの骨を使った、より込み入った計算(乗算)が出来た。デザインは20世紀まで失われていたが、1960年にそのレプリカが作られた。しかし、シッカートの計算機は、プログラム可能ではなかった。最初の、プログラム可能なコンピュータの構想・製作(未完成)は、おおよそ200年後になる(バベッジが作成したもの)。そして、最初の、プログラム可能なコンピュータの製作・実働は300年以上後になる(コンラート・ツーゼの Z3、1941年)。月のシッカートクレーターに命名されている。

タイトル: トアルフ・スコーレム
トアルフ・スコーレム(Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日)は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学ではが挙げられる。また、数学においてはなどの業績を挙げた。

タイトル: フェルミ・パスタ・ウラムの問題
なお、電子計算機が物理学の研究に活用された初期の事例としても有名である。

タイトル: ロバート・メトカーフ
ロバート・メランクトン・メトカーフ(Robert Melancton Metcalfe、1946年4月7日 - )は、アメリカの電気工学者(electrical engineer)。愛称はボブ・メトカーフ(Bob Metcalfe)。パロアルト研究所所属中に、イーサネットの共同発明者のひとりとなった。後に3COMを創業。メトカーフの法則でも知られている。2012年現在、Polaris Venture Partners のゼネラルパートナーを務めている。2011年1月からテキサス大学オースティン校で電気工学教授と技術革新ディレクターを務めている。

タイトル: 廣瀬健
1973年にヒルベルトの23の問題の第10問題(ディオファントス方程式の可解性の決定問題)を部分的に解決したが、廣瀬とは独立にユーリ・マチャセビッチによる証明が先に公表されたため、最初の証明者とはならなかった。また、大学生時代からプログラム制作に関わり、新世代コンピュータ技術開発機構(ICOT)では第五世代コンピュータの開発に助言を行なう。その後、早稲田大学理工学部情報学科の立ち上げに関わった。

タイトル: ジャン＝マリー・ヒューロット
ジャン=マリー・ヒューロット (Jean-Marie Hullot, Ph.D. 、1954年2月16日 - 2019年6月17日)は、フランスのコンピュータ科学博士、コンピュータソフトウェア開発者。フランス語での発音はジャン=マリー・ユロが近い。

タイトル: 円周率
江戸時代後半の和算家は家元制度的な秘密主義と保守主義と、権威主義が在野の独創性を無視し、結果として学問の進歩を妨げることとなった。20世紀以降、計算機の発達により、計算された円周率の桁数は飛躍的に増大した。1949年に、電子計算機ENIACを使い72時間かけて、円周率は2037桁まで計算された。その後の数十年間、様々な計算機科学者や計算科学者など、あるいはコンピュータのアマチュアによって計算は進められ、1973年には100万桁を超えた。この進歩は、スーパーコンピュータの開発だけによるものではなく、効率の良いアルゴリズムが考案されたためである。そのうちの最も重要な発見の一つとして、1960年代の高速フーリエ変換がある。これにより、多倍長の演算が高速に実行できるようになった。

タイトル: ジョン・レナード＝ジョーンズ
サー・ジョン・ エドワード・レナード=ジョーンズ KBE, FRS(John Edward Lennard-Jones、1894年10月27日 - 1954年11月1日)は、イギリスの数学者、理論化学者である。ブリストル大学の理論物理学の教授、後にケンブリッジ大学の理論科学の教授を務めた。現代計算化学の創始者と見なされている。レナード=ジョーンズは、科学者の間において分子構造、原子価、分子間力に関する業績でよく知られている。これらのテーマに関する多くの研究は、レナード=ジョーンズが1929年に発表した論文から成長していった。液体および表面触媒に関する彼の理論もまた今でも影響力が大きい。レナード=ジョーンズが発表した論文は少ないが、それらの影響力は大きい。

タイトル: カー・パリネロ法
カー・パリネロ法(カーパリネロほう、英: Car–Parrinello method、CP法)は、1985年、カー(R. Car)とパリネロ(M. Parrinello)によって考案されたバンド計算の手法である。従来用いられていた行列要素の対角化を行わずに固有値(及び固有ベクトル)を求めることにより、計算を大幅に高速化した。これにより、系の電子状態と共に、その構造の最適化(この部分は古典的分子動力学法を用いる)も可能とした。

タイトル: ラース・ヘルマンダー
ラース・ヘルマンダー(Lars Valter Hörmander, 1931年1月24日 - 2012年11月25日)はスウェーデンの数学者。現代的な意味合いでの線型微分方程式の最大の貢献者。初期の業績である定数係数の偏微分方程式の理論によって1962年にフィールズ賞を受賞した。フィールズ賞受賞後、現代解析学における主要な道具の創始者として中心的役割を果たし、特に擬微分作用素とフーリエ積分作用素において大きく貢献し、その応用に関して決定的な業績を上げた。その他にも多変数複素解析学、調和解析、ナッシュ・モーザーの陰関数定理(英語版)、散乱理論、非線型双曲型方程式、準楕円型偏微分方程式の解析などにおいて大きく貢献している。日本では笠原乾吉の翻訳した多変数複素解析学入門でよく知られていた。

タイトル: 城憲三
ENIACがアメリカで開発されている頃、日本では戦争による情報鎖国の厳しい状態にあった。そしてこのENIACの開発をいち早く知り、電子計算機に取り組んだのが城であった。大阪帝大工学部精密工学科教授の職にあった彼は、1946年2月18日付の「ニューズウィーク」誌でENIACと劇的な出会いをする。そこにはENIACについて「難問を解く天才が現われた」との1ページ足らずの簡単な記事と写真とがあった。さらに2月25日の「タイム」誌にも科学欄に同種の記事があった。実際城がこれらを見たのは発行時ではなく少し後だったとされる。数学機器を教えていた城は、数学的に問題を高速で機械的に解く必要性を強く感じていたが、そうしたときこのENIAC開発を知った。

タイトル: 構造化プログラミング
1970年代初頭に計算機科学者デビッド・ハレル(英語版)は、1966年に発表されていたベームとヤコピーニの数学証明に、構造化定理(Structure theorem)という全く新しいタイトルを付けて主に産業ソフトウェア開発界隈で紹介した。ハレルが後に明かしたところによると「構造化定理」という名称は、当時IBM社の上席プログラマーであったハーラン・ミルズの提案だったという。ダイクストラの提唱内容とは全く異なる、制御構造(順次・選択・反復)主体の構造化プログラミングは、IBM社のIPT(Improved Programming Technologies)に採用されており、同社主催の技術セミナーなどを通して当時のプログラマに広く流布されていた。その中で恐らく意図的にダイクストラのそれと名称を似せた「構造化定理」は、彼らが勧める制御構造の合理性を数学的にも証明した根拠として盛んに引用されていた。

タイトル: セルゲイ・レベデフ (計算機科学者)
レベデフは1928年にモスクワ高等技術学校(現在のバウマン記念モスクワ国立工科大学)を卒業した。その後、1946年までモスクワとキエフの All-Union Electrotechnical Institute (ru) で働いた。 1939年には電気システムの「人工的安定性」理論の開発により博士号を取得した。第二次世界大戦中、彼は複雑系の自動制御に関する分野で働いた。彼のグループは、戦車用の武器照準安定化システムと、空中ミサイルの自動誘導システムを設計した。このために彼は常微分方程式を解くアナログコンピュータを開発した。1946年から1951年まで、彼はウクライナ科学アカデミーのキエフ電気技術研究所(英語版)を率いて、電気システムの安定性向上に取り組んだ。この業績により、彼は1950年にスターリン国家賞(ソビエト連邦国家賞)を受賞した。

タイトル: オーレン・パタシュニク
1976年にエール大学を卒業し、その後スタンフォード大学で計算機科学の博士課程を修了した。スタンフォード大学ではドナルド・クヌースの指導を受けた。ベル研究所在籍中の1980年に、立体四目並べが先手必勝であることを証明した。この証明は、コンピュータをCPU時間で1500時間使用して行われたもので、計算機援用証明の顕著な例である。1985年、LaTeXの作者であるレスリー・ランポートと共同で、文献書誌情報生成システムBibTeXを作成した。LaTeXは、特に数学の文献向けに設計された組版処理システムである。BibTeXは、LaTeXで広く使用されている文献書誌情報生成システムである。1988年、ロナルド・グラハムとドナルド・クヌースによるConcrete Mathematics: A Foundation for Computer Scienceの執筆を支援した。

タイトル: グーゴル
グーゴルは1920年に誕生したもので、アメリカの数学者エドワード・カスナーの当時9歳の甥ミルトン・シロッタ (Milton Sirotta) による造語である。カスナーはこの言葉を著書「数学と想像力」 (Mathematics and the Imagination) の中で紹介している。1グーゴルは70の階乗 (70!) に比較的近い。70の階乗は次のような101桁の整数である。1グーゴルは観測可能な範囲の宇宙に存在している原子の数(およそ10から10個と推算されている)よりも多い。多くの関数電卓では10進法で指数部が2桁までしか表せないので、絶対値が1グーゴル以上の数や途中計算で1グーゴルを超える数式は扱えない。

タイトル: レイ・ソロモノフ
そこからコルモゴロフ複雑性とアルゴリズム情報理論が発展した。algorithmic probability は、オッカムの剃刀と多説明原理の組合せを数学的に定式化したものである。それは与えられた観察結果を説明するそれぞれの仮説(アルゴリズム、プログラム)に確率値を割り当てる機械に依存しない手法であり、最も単純な仮説が最も高い確率を割り当てられ、仮説が複雑になるほど割り当てる確率が低くなる。他にも帰納推論 (inductive inference) の一般理論でも知られているが、確率的手法を用いて難しい問題を機械で解くという人工知能研究の過程で他にも様々な発見をしている。

タイトル: グイド・ヴァンロッサム
グイド・ヴァンロッサム(Guido van Rossum、1956年1月31日 - )はオランダ出身のアメリカ在住のプログラマーである。プログラミング言語Pythonの生みの親として知られる。

タイトル: Manchester Small-Scale Experimental Machine
Manchester Small-Scale Experimental Machine (マンチェスター・スモールスケール・イクスペリメンタル・マシーン、SSEM) は、世界初のプログラム内蔵式コンピュータ。愛称は Baby。マンチェスター大学でフレデリック・C・ウィリアムス、トム・キルバーン、Geoff Tootill(英語版) らが製作し、1948年6月21日に最初のプログラムが動作した。このマシンは実用的なコンピュータを目指したものではなく、初期のコンピュータ用メモリであるウィリアムス管の評価用に設計されたものである。当時としては「小型で基本的」なものとして設計されたが、現代の電子式コンピュータにある基本要素は全て備えた実働する世界初のコンピュータであった。

タイトル: トーマス・J・ワトソン
議論の発端は不明だが、ケンブリッジ大学数学教授 ダグラス・ハートリー の1951年ごろの次の言葉がよく似ているという話が出ている。私は、微分解析機をイギリスで初めて作り、誰よりもその特殊なコンピュータの利用経験のあるダグラス・ハートリー教授に会いに行った。彼は個人的意見として、この国で必要な計算は当時1つはケンブリッジで、1つはテディントンで、1つはマンチェスターで製作中だった3つのコンピュータでまかなえるだろうと言った。彼はまた、誰もそのようなマシンを所有する必要はないし、そもそも購入するには高すぎる、とも言っていた。ハワード・エイケンも1952年に似たような言葉を残している。あちこちの研究所に半ダースほどの大規模コンピュータがあれば、この国のあらゆる計算の要求に対応できるだろう。この誤った引用は、5台ではなく「50台」と言い換えられることも多い。

タイトル: ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ(Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日)は、ドイツの数学者。現代的形式の関数の定義を与えたことで知られている。