コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か?–
2020/11/27 マルレク
概要と申し込み
https://peatix.com/event/1706013/view
講演ビデオ
講演資料ダウンロード 「コンピュータ・サイエンスの現在」
講演資料「コンピュータ・サイエンスの現在」 Viewer
「コンピュータ・サイエンスの現在」 へのお誘い
- 11/27 マルレクへのお誘い ( pdf video )
- MIP*=RE定理の源流に遡る — 1932年〜1936年に起きたこと —
( pdf video ) - MIP*=RE定理の「形」の意味 — 「形」から入る —
( pdf video ) - MIP* は何を表すか — Interactive Proof —
( pdf video ) - コンピュータ・サイエンスの歴史を振り返る — 「停止問題」から「MIP*=RE定理」まで —
( pdf video )
「コンピュータ・サイエンスの現在」 へのお誘い」 ショートムービー
- 11/27 マルレクへのお誘い
- MIP*=RE定理の源流に遡る — 1932年〜1936年に起きたこと —
- MIP*=RE定理の「形」の意味 — 「形」から入る —
- MIP* は何を表すか — Interactive Proof —
- コンピュータ・サイエンスの歴史を振り返る — 「停止問題」から「MIP*=RE定理」まで —