形式手法
はじめてのCoq (サイレント version )
2019年11月7日
Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]
ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界
2019年9月22日
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まで」 第二部：「型 […]
Yet Another AI -- RPAは「推論エンジン」の夢を見るか
2019年7月28日
2019/7/29 マルレク 概要：https://yet-another-ai.peatix.com/ 資料ダウンロード：http://bit.ly/30VzVpy 資料viewer 「はじめに」から 小論は、「Yet […]
「同じ」を考える -- 「型の理論」入門
2019年1月29日
2019/01/29 「同じ」を考える -- 「型の理論」入門 概要 セミナーの呼びかけ 数学では、「同じ」「等しい」というのは、もっとも基本的な概念の一つです。 「2 x 3 は、3 x 2 と同じである」 「2辺と […]