2021年3月30日 マルゼミ エンタングルする自然 / エンタングルする認識 II 2021/04/10 楽しい哲学「エンタングルする認識」 申し込み https://philosophy-entanglement.peatix.com/ 3月のセミナーでは、21世紀の自然観の中核に「エンタングルする自 […]
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
