あちこちのブログでも話題になっていますが,今年のゲーデル賞は Alexander A. Razborov and Steven Rudich, "Natural Proofs," J. Comput. Syst. Sci. 55(1): 24-35 (1997) に贈られることに決まったそうです.私自身の内容についての知識は,計算量理論で…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。