マルレク
ハードウェア技術の動向 — MS Bing 検索でのFPGAの利用 —
2月2日 マルレク 第五回 テーマ：「 ハードウェア技術の動向 — MS Bing 検索でのFPGAの利用 — 」 概要：http://kokucheese.com/event/index/253 […]
エンタープライズと機械学習技術１ — Big Data と Deep Learning —
11月25日 マルレク 第四回 テーマ：「 エンタープライズと機械学習技術１ — Big Data と Deep Learning — 」 概要：http://kokucheese.com/eve […]
人間の思考、機械の思考 — IT技術者のための機械による知能研究入門
はじめに 「機械は人間のように考えることは可能か？」という問題を考えてみよう。そうした能力をもつと皆が認める機械は、現状では存在しないので、こうした問いかけに、ただちに肯定的に答えることは出来ない。1ただ、問題を、「機械 […]
Cyber-Physical Systemsと自立分散システム
7月23日 マルレク 第二回 テーマ：「 Cyber-Physical Systemsと自立分散システム 」 概要：http://kokucheese.com/event/index/192017/ 資料：https:/ […]
スマホが変わる、スマホの作り方が変わる。 — Project Araと新しいモノづくりのエコシステム
6月11日 マルレク 特別編 テーマ：「 スマホが変わる、スマホの作り方が変わる。 — Project Araと新しいモノづくりのエコシステム 」 概要：http://kokucheese.com/event […]
IoTを考える — エンタープライズとビッグデータとウェアラブル
5月20日 マルレク 第一回 テーマ：「 IoTを考える — エンタープライズとビッグデータとウェアラブル 」 概要：http://kokucheese.com/event/index/172852/資料：h […]
BITCOINと分散暗号通貨を考える
4月16日 マルレク 特別編 テーマ：「 BITCOINと分散暗号通貨を考える 」 概要：http://kokucheese.com/event/index/158760/資料：https://goo.gl/2yvdgT
Reactiveプログラミング
1月21日 マルレク 第八回 テーマ：「 Reactiveプログラミング 」 概要：http://kokucheese.com/event/index/138083/ 資料：https://goo.gl/QZShTG
「型の理論」と証明支援システム
12月16日 マルレク第七回 テーマ：「 「型の理論」と証明支援システム 」 概要：http://kokucheese.com/event/index/130554/ 資料：http://docs.google.com/ […]
「型の理論」と証明支援システム — Coqの世界
2013年12月16日 マルレク 現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型の理論とそれを基礎付けるUnivalent Theoryと呼ばれる新しい数学理論が、熱い関心を集めている。Un […]