2019年11月27日 マルレク IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える 2019/11/28 マルレク 概要：https://coq1.peatix.com/view 資料ダウンロー […]
2019年10月9日 Deep Specification人工知能数学 プログラムと論理 2019/10/10 マルレク・サブゼミ 概要：https://programlogic.peatix.com […]
2019年9月22日 マルレク ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界 2019/9/24 マルレク 概要：https://deep-spec.peatix.com/ 資料ダウンロー […]
2019年7月28日 マルレク Yet Another AI — RPAは「推論エンジン」の夢を見るか 2019/7/29 マルレク 概要：https://yet-another-ai.peatix.com/ 資料 […]
