2021年7月18日 マルゼミ 密度行列 ρ で理解する量子の世界 2021/08/05 マルゼミ 概要と申し込み https://rho-talk.peatix.com 「密度行列 ρ で理解する量子の世界」 ショートムービー セミナーへのお誘い (slide video) エピソード […]
2021年6月7日 マルゼミ HoTT入門 — 数理科学とカテゴリー論 2021/07/00 マルゼミ「HoTT入門 — 数理科学とカテゴリー論」 参考資料・ショートムービー カテゴリーを、まずは直観的に理解する (pdf video) “String Diagram”による直観 […]
2021年5月27日 マルゼミ 情報とエントロピー 2 2021/06/26 マルゼミ「情報とエントロピー 2」 概要と申し込み https://info-entropy2.peatix.com/ 講演資料 「情報とエントロピー」 ダウンロード 講演資料 「情報とエントロピー […]
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 […]
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 ) 盲人に色を教える — 「対話」が広 […]
