スティーブン・クック
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/08 08:57 UTC 版)
スティーブン・アーサー・クック（Stephen Arthur. Cook, 1939年12月14日 - ）は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面や証明複雑性の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。
- ^ A Personal View of Computer Science at Berkeley - Richard Karp
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a scanned version
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a retyped version
- ^ P vs. NP Archived 2013年10月14日, at the Wayback Machine. problem on Millennium Prize Problems page - Clay Mathematics Institute
- ^ P vs. NP problem's official description by Stephen Cook on Millennium Prize Problems
- ^ "Feasibly Constructive Proofs and the Propositional Calculus" on ACM
- ^ "The Relative Efficiency of Propositional Proof Systems" on JStore
- ^ "Logical Foundations of Proof Complexity"'s official page
- ^ Stephen Cook on ACM Fellows
[続きの解説]
「スティーブン・クック」の続きの解説一覧
- 1 スティーブン・クックとは
- 2 スティーブン・クックの概要
- 3 私生活
- スティーブン・クックのページへのリンク
