2020/12/25 マルゼミ

概要と申し込み

講演ビデオ

講演資料ダウンロード 「MIP*=RE 入門」

講演資料「MIP*=RE 入門」 Viewer

MaruLabo関連資料

• 「MIP*=RE References」
• マルレク 「コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？–」
• マルレク 「人工知能と計算科学」
• 「Interactive Proof 入門」 第三部 「確率と証明」
• 「Interactive Proof 入門」 第二部 「nonlocal game とInteractive Proof」
• 「Interactive Proof 入門」 第一部 「機械と人間のインタラクション」