形式手法の人物の有名人ランキング

「形式手法の人物」関連の、みんなの注目する有名人ランキングです。
2位は「アントニー・ホーア」、注目の1位は「ドナルド・クヌース」です。

ランキング(1位〜2位)

ドナルド・クヌース

ドナルド・エルビン・クヌース(Donald Ervin Knuth, 1938年1月10日 -)は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The ...
「金持ちである」の噂が最も注目されています。

アントニー・ホーア

チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )はイギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)...
「事件」の噂が最も注目されています。