人工知能

2014年11月25日

11月25日マルレク第四回テーマ：「エンタープライズと機械学習技術１ — Big Data と Deep Learning — 」概要：http://kokucheese.com/eve […]

2014年10月3日

10月3日マルゼミ第三回テーマ：「人間の思考、機械の思考」概要：http://kokucheese.com/event/index/220302/ 資料ダウンロード

2014年9月26日

はじめに「機械は人間のように考えることは可能か？」という問題を考えてみよう。そうした能力をもつと皆が認める機械は、現状では存在しないので、こうした問いかけに、ただちに肯定的に答えることは出来ない。1ただ、問題を、「機械 […]

2014年8月1日

8月1日マルゼミ第二回テーマ：「３Dププリンターとロボットの世界」概要：http://kokucheese.com/event/index/198862/ 資料：https://goo.gl/88OO5a

2013年12月16日

12月16日　マルレク第七回テーマ：「「型の理論」と証明支援システム」概要：http://kokucheese.com/event/index/130554/ 資料：http://docs.google.com/ […]

2013年12月16日

2013年12月16日　マルレク現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型の理論とそれを基礎付けるUnivalent Theoryと呼ばれる新しい数学理論が、熱い関心を集めている。Un […]

講演資料