2021年2月1日 マルゼミ チューリングマシンの拡大と複雑性 2021/02/26 マルゼミ 概要と申し込み https://turing-complex.peatix.com/ 講演資料「チューリングマシンの拡大と複雑性」ダウンロード 講演資料 Viewer 参考資料 第一部 複 […]
2021年1月15日 マルゼミ Interactive Proofの発展 第一部「Interactive Proofと複雑性」 2021/01/10* マルゼミ Interactive Proofの発展第一部「Interactive Proofと複雑性」資料 Interactive Proof = nonlocalゲーム — Inte […]
2021年1月8日 マルレク チューリングマシンを学ぼう! 2021/01/29 マルレク基礎 概要と申し込み https://turing.peatix.com/ 講演資料ダウンロード「チューリングマシンを学ぼう!」 講演資料 「チューリングマシンを学ぼう」Viewer 「チュ […]
2020年12月24日 マルゼミ MIP*=RE 入門– Interactive Proofとnonlocal ゲーム — 2020/12/25 マルゼミ 概要と申し込み 講演資料ダウンロード 「MIP*=RE 入門」 講演資料「MIP*=RE 入門」 Viewer MaruLabo関連資料 「MIP*=RE References」 マルレク […]
2020年12月3日 マルゼミ 「Interactive Proof 入門」 第三部「確率と証明」 2020/12/01* マルゼミ 資料一覧 非決定性チューリングマシンとNPクラス ( pdf video ) 非決定性チューリングマシンと決定性チューリングマシン ( pdf video ) NP完全と数学的証明 ( […]
2020年11月13日 マルレク コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か?– 2020/11/27 マルレク 概要と申し込み https://peatix.com/event/1706013/view 講演ビデオ 講演資料ダウンロード 「コンピュータ・サイエンスの現在」 講演資料「コンピュータ・サ […]
2020年11月11日 マルゼミ 「Interactive Proof 入門」 第二部「nonlocal game とInteractive Proof」 2020/10/31* マルゼミ Interactive Proof入門 第二部 「nonlocal game とInteractive Proof」 資料 簡単なゲームの勝率を計算する ( pdf video ) CH […]
2020年10月29日 マルゼミ Interactive Proof 入門 第一部「機械と人間のインタラクション」 2020/10/31* マルゼミ Interactive Proof入門第一部「機械と人間のInteraction」 資料 「対話」でわかること ( pdf video ) 盲人に色を教える — 「対話」が広 […]
2020年9月14日 マルレク 人工知能と計算科学 2020/09/18 マルレク 概要と申し込み https://ai-computation.peatix.com/ 全講演ビデオ Part I 人工知能技術の10年 Part II 計算可能性理論と計算複雑性理 […]
2020年8月28日 楽しい数学 数学的認識について / 数学の基礎と計算科学 マルゼミ 「Interactive Proof 入門」に向けて 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずることがあること 知ることと信じること 「大貧民」の必勝法 コンピュータが […]