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 講演ビデオ Playリストで連続再生 Part I 「大規模なシステム障害はなぜ起きるのか?」 […]
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 […]
2019年10月9日 人工知能形式手法数学 プログラムと論理 2019/10/10 マルレク・サブゼミ 概要:https://programlogic.peatix.com/ 資料ダウンロード:http://bit.ly/35iljUn 資料viewer 「はじめに」から 小論は、 […]
2019年9月22日 マルレク ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界 2019/9/24 マルレク 概要:https://deep-spec.peatix.com/ 資料ダウンロード:http://bit.ly/2muEmcl 資料viewer 「はじめに」から 小論の目的は、ソフトウェア […]
2019年9月2日 マルゼミ 型の理論入門 2019/09/03 マルレク・サブゼミ 概要:https://type-theory.peatix.com/ 資料ダウンロード: 第一部:「数学の基礎の探求 — CantorからVoevodskyまで」 第 […]