アルゴリズム研究の神 R・カープ氏
- 2020年9月9日
- HirofumiAbe
▼計算理論の発展に貢献した人物。チューリング賞の受賞理由のキーワードは、ネットワーク・フロー、組み合わせ最適化問題、効果的なアルゴリズム、NP完全など。コンピュータが動く大元は数学だということがわかる。 ▼現在、カリフォ …
人とコンピュータの意思疎通を図る神 R・フロイド氏
- 2020年9月7日
- HirofumiAbe
▼フロイドさんがチューリング賞を受賞した理由は次である。「ソフトウェア開発において効果的で信頼性の高い方法論を示し、それが広い影響を及ぼしたこと。コンピュータ科学に次の重要な分野を追加したこと：解析理論、プログラミング言 …
コンピュータ科学、数学、哲学にまたがる理論の神 D・スコット氏
- 2020年9月7日
- HirofumiAbe
▼スコットさんの博士論文の指導教員はプリンストン大学のA・チャーチ先生。チューリングさんの指導教員も同じチャーチ先生。違うのは時期。チューリングさんが博士号を取ったのは1938年。スコットさんは1958年。ということは、 …