# Stephen A. Cook ## 概要 Stephen A. Cook（スティーブン・クック）は、トロント大学（University of Toronto）に所属した計算量理論家である。1971年の第3回 ACM STOC で発表した論文『The Complexity of Theorem-Proving Procedures』において、非決定性多項式時間（NP）で解ける任意の言語認識問題が命題論理式の充足可能性問題（SAT）に多項式時間還元可能であることを証明し（クックの定理 / Cook-Levinの定理）、P対NP問題の定式化とNP完全性の基礎を築いた。1982年チューリング賞受賞。 ## 出典 - Stephen A. Cook, "The Complexity of Theorem-Proving Procedures", *Proceedings of the 3rd Annual ACM Symposium on Theory of Computing (STOC)*, pp. 151–158, 1971.