マルゼミ

2020年3月14日マルゼミ

論理学入門 II — ラムダ計算と関数型言語

2020/03/27 マルゼミ概要：https://logic2-lambda.peatix.com/vie […]

2020年1月21日マルゼミ

論理学入門 I — 命題論理の演繹ルール

2020/01/28 マルゼミ概要：https://logic1.peatix.com/view 資料ダウン […]

2019年9月2日マルゼミ

型の理論入門

2019/09/03 マルレク・サブゼミ概要：https://type-theory.peatix.com/ […]

2014年12月4日マルゼミ

エンタープライズと機械学習技術２ — Big Data と Deep Learning —

12月4日マルゼミ第四回テーマ：「エンタープライズと機械学習技術２ — Big Data […]

2014年10月3日マルゼミ

人間の思考、機械の思考

10月3日マルゼミ第三回テーマ：「人間の思考、機械の思考」概要：http://kokucheese […]

2014年8月1日マルゼミ

３Dププリンターとロボットの世界

8月1日マルゼミ第二回テーマ：「３Dププリンターとロボットの世界」概要：http://kokuch […]

2014年6月20日マルゼミ

IoTとCyber-Physical Systems

6月20日マルゼミ第一回テーマ：「 IoTとCyber-Physical Systems」概要：htt […]