MIP*=RE定理とは何か?」概要コンピュータ・サイエンスは、今、大きな転換点を迎えています。その変化は、一言で言えば、コンピュータ・サイエンスは、単に「コンピュータ=計算機についての理論」ではなく、情報理論や物理学や数学などの数学的手法を用いる幅広い数理科学の中心的な理論として登場しつつあると言うことです。RE定理"(「ミップ・スター・イコール・アールイー定理」と読みます)です。この定理は、数十年間未解決であった純粋数学の問題を解決し、また、同じく未解決であった量子力学の基本的な問題を解決しました。した問題の解決が、数学者や理論物理学者によってではなく、「コンピュータ・サイエンティスト」によって行われたことは、ある意味驚くべきことです。ITの世界で、セキュリティの向上や新しい暗号化技術、さらには、最適化問題の近似的な解決法、新しいデバッキング手法の開拓などに幅広い応用を持つことが期待されています。概要を説明できたらと考えています。多くの皆様の聴講を期待しています。