コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か?–

2020/11/27 マルレク

概要と申し込み

https://peatix.com/event/1706013/view

講演資料ダウンロード 「コンピュータ・サイエンスの現在」

講演資料「コンピュータ・サイエンスの現在」 Viewer

「コンピュータ・サイエンスの現在」 へのお誘い

  1. 11/27 マルレクへのお誘い ( pdf video )
  2. MIP*=RE定理の源流に遡る — 1932年〜1936年に起きたこと —
    ( pdf video )
  3. MIP*=RE定理の「形」の意味 — 「形」から入る —
    ( pdf video )
  4. MIP* は何を表すか — Interactive Proof —
    ( pdf video )
  5. コンピュータ・サイエンスの歴史を振り返る — 「停止問題」から「MIP*=RE定理」まで —
    ( pdf video )

「コンピュータ・サイエンスの現在」 へのお誘い」 ショートムービー

  1. 11/27 マルレクへのお誘い
  2. MIP*=RE定理の源流に遡る — 1932年〜1936年に起きたこと —
  3. MIP*=RE定理の「形」の意味 — 「形」から入る —
  4. MIP* は何を表すか — Interactive Proof —
  5. コンピュータ・サイエンスの歴史を振り返る — 「停止問題」から「MIP*=RE定理」まで —

MaruLabo関連資料