マルレク「コンピュータ・サイエンスの現在 -- MIP*=RE定理とは何か? 」 | Peatix tag:peatix.com,2011:1 2020-12-05T13:20:38+09:00 Peatix 丸山不二夫 マルレク「コンピュータ・サイエンスの現在 -- MIP*=RE定理とは何か? 」 tag:peatix.com,2020:event-1706013 2020-11-27T19:00:00JST 2020-11-27T19:00:00JST このセミナーは、オンラインで開講します。受講を申し込まれた方には、セミナー当日、セミナー視聴用のURLをPeatixのメッセージを通じて配布します。コンテンツは、リアルタイム配信ではなくYouTubeで配信しますので、いつでも都合の良い時間に見ることができます。コンピュータ・サイエンスは、今、大きな転換点を迎えています。その変化は、一言で言えば、コンピュータ・サイエンスは、単に「コンピュータ=計算機についての理論」ではなく、情報理論や物理学や数学などの数学的手法を用いる幅広い数理科学の中心的な理論として登場しつつあると言うことです。こうしたコンピュータ・サイエンスの進化を象徴的に示すのが、2020年の1月に証明された "MIP* = RE定理"(「ミップ・スター・イコール・アールイー定理」と読みます)です。この定理は、数十年間未解決であった純粋数学の問題を解決し、また、同じく未解決であった量子力学の基本的な問題を解決しました。こうした問題の解決が、数学者や理論物理学者によってではなく、「コンピュータ・サイエンティスト」によって行われたことは、ある意味驚くべきことです。数理科学の世界だけでなく、"MIP* = RE定理" は、ITの世界で、セキュリティの向上や新しい暗号化技術、さらには、最適化問題の近似的な解決法、新しいデバッキング手法の開拓などに幅広い応用を持つことが期待されています。セミナーでは、できるだけ分かりやすく、"MIP* = RE定理" の概要を説明できたらと考えています。多くの皆様の聴講を期待しています。今回の告知は、次の動画からもアクセスできます。https://youtu.be/Ax8u6H9hu6g?list=PLQIrJ0f9gMcNjOKzTWri0bAwEKpArn1Dz少しづつ、YouTubeでの告知の内容を広げていきたいと考えています。是非、MaruLaboのYouTubeチャンネルへの登録をお願いします。登録は、こちらから可能です。https://www.youtube.com/c/MaruyamaLectures