2020年11月13日 マルゼミマルレク コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？– 2020/11/27 マルレク 概要と申し込み https://peatix.com/event/170601 […]
2020年11月11日 マルゼミマルレク 「Interactive Proof 入門」 第二部「nonlocal game とInteractive Proof」 2020/10/31* マルゼミ Interactive Proof入門 第二部 「nonlocal game […]
2020年10月15日 マルレク 量子コンピュータ入門 — 量子コンピュータと人工知能 — 2020/10/17 マルレク基礎 概要と申し込み https://quantum-ai.peatix.com […]
2020年2月16日 マルレク 量子コンピュータの現在 — 量子優越性のマイルストーンの達成 — 2020/02/17 マルレク 概要：https://q-supremacy.peatix.com/view […]
2019年11月27日 マルレク IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える 2019/11/28 マルレク 概要：https://coq1.peatix.com/view 資料ダウンロー […]
