2021年9月28日 MaruLabo Micro Media -- MMM平原ゼミ Coq スタートアップセミナー (3) 2021/09/28 第三回 「jsCoqのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ
2021年7月1日 MaruLabo Micro Media -- MMM平原ゼミ Coq スタートアップセミナー (2) 2021/08/03 第二回「CoqIDEのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ
2021年6月27日 MaruLabo Micro Media -- MMM平原ゼミ Coq スタートアップセミナー (1) 2021/06/27 第一回「Coq環境の紹介」 講演資料 ダウンロード 講演動画
2020年12月24日 マルゼミ MIP*=RE 入門 – Interactive Proofとnonlocal ゲーム — 2020/12/25 マルゼミ 概要と申し込み 講演ビデオ 講演資料ダウンロード 「MIP*=RE 入門」 講演資料「MIP*=RE 入門」 Viewer MaruLabo関連資料 「MIP*=RE References […]
2020年9月14日 マルレク 人工知能と計算科学 2020/09/18 マルレク 概要と申し込み https://ai-computation.peatix.com/ 全講演ビデオ Part I 人工知能技術の10年 Part II 計算可能性理論と 計算複雑性理 […]
2020年4月16日 マルレク AWSでの形式手法の利用 2020/05/05 マルレク 概要 https://aws-formal-methods.peatix.com/view 講演ビデオ Part I 「大規模なシステム障害はなぜ起きるのか？」 Part II 「Amaz […]
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年11月27日 マルレク IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える 2019/11/28 マルレク 概要：https://coq1.peatix.com/view 資料ダウンロード：http://bit.ly/2qE43tq 資料viewer 「はじめに」から 筆者は、これからは、開発者 […]
2019年11月7日 その他講演 はじめてのCoq Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ 目次 I. Hello Coq! C […]
