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 […]
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月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年8月12日 マルゼミ 量子通信入門 — 量子テレポーテーションとEntanglement Swapping 2020/08/28 マルゼミ 概要と申し込み https://teleportation.peatix.com/view 講演ビデオ 講演資料ダウンロード 「量子通信入門 — 量子テレポーテーションとEnt […]
2020年3月14日 マルゼミ 論理学入門 II — ラムダ計算と関数型言語 2020/03/27 マルゼミ 概要 https://logic2-lambda.peatix.com/view 資料ダウンロード 論理学入門 II — ラムダ計算と関数型言語 (一本にまとめたもの) 論 […]
2020年1月21日 マルゼミ 論理学入門 I — 命題論理の演繹ルール 2020/01/28 マルゼミ 概要:https://logic1.peatix.com/view資料ダウンロード:論理学入門 I サンプルビデオ 資料viewer
2019年9月2日 マルゼミ 型の理論入門 2019/09/03 マルレク・サブゼミ 概要:https://type-theory.peatix.com/ 資料ダウンロード: 第一部:「数学の基礎の探求 — CantorからVoevodskyまで」 第 […]