2021年3月30日 マルゼミ エンタングルする自然 / エンタングルする認識 II 2021/04/10 楽しい哲学「エンタングルする認識」 申し込み https://philosophy-entanglement.peatix.com/ 先のセミナー「エンタングルする自然」では、21世紀の自然観の中核 […]
2021年2月1日 マルゼミ チューリングマシンの拡大と複雑性 2021/02/26 マルゼミ 概要と申し込み https://turing-complex.peatix.com/ 講演ビデオ「チューリングマシンの拡大と複雑性」 Part 1 複雑性理論の基本概念 Part 2 […]
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 計算可能性理論と 計算複雑性理 […]
