2019年11月27日 マルレク IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える 2019/11/28 マルレク 概要:https://coq1.peatix.com/view 資料ダウンロー […]
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/ 資料 […]
2019年6月12日 マルレク 6/21 マルレク・サブゼミ「Shorのアルゴリズム入門」のための予習用資料 量子コンピュータ入門 ミニ・ガイド 概要:https://shor.peatix.com/ 資料:http:/ […]