人工知能
エンタープライズと機械学習技術２ -- Big Data と Deep Learning --
12月4日 マルゼミ 第四回 テーマ：「 エンタープライズと機械学習技術２ -- Big Data と Deep Learning -- 」 概要：http://kokucheese.com/event/index/23 […]
エンタープライズと機械学習技術１ -- Big Data と Deep Learning --
11月25日 マルレク 第四回 テーマ：「 エンタープライズと機械学習技術１ -- Big Data と Deep Learning -- 」 概要：http://kokucheese.com/event/index/2 […]
人間の思考、機械の思考
10月3日 マルゼミ 第三回 テーマ：「 人間の思考、機械の思考 」 概要：http://kokucheese.com/event/index/220302/ 資料ダウンロード
人間の思考、機械の思考 -- IT技術者のための機械による知能研究入門
9月26日 マルレク 第三回 テーマ：「 人間の思考、機械の思考 -- IT技術者のための機械による知能研究入門 」 概要：http://kokucheese.com/event/index/213708/ 資料 ダウ […]
３Dププリンターとロボットの世界
8月1日 マルゼミ 第二回 テーマ：「 ３Dププリンターとロボットの世界 」 概要：http://kokucheese.com/event/index/198862/ 資料：https://goo.gl/88OO5a
「型の理論」と証明支援システム
12月16日 マルレク第七回 テーマ：「 「型の理論」と証明支援システム 」 概要：http://kokucheese.com/event/index/130554/ 資料：http://docs.google.com/ […]
「型の理論」と証明支援システム -- Coqの世界
2013年12月16日 マルレク 現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型の理論とそれを基礎付けるUnivalent Theoryと呼ばれる新しい数学理論が、熱い関心を集めている。Un […]