スマホが変わる、スマホの作り方が変わる。 — Project Araと新しいモノづくりのエコシステム
6月11日 マルレク 特別編 テーマ:「 スマホが変わる、スマホの作り方が変わる。 — Project Araと新しいモノづくりのエコシステム 」 概要:http://kokucheese.com/event […]
IoTを考える — エンタープライズとビッグデータとウェアラブル
5月20日 マルレク 第一回 テーマ:「 IoTを考える — エンタープライズとビッグデータとウェアラブル 」 概要:http://kokucheese.com/event/index/172852/ 資料: […]
BITCOINと分散暗号通貨を考える
4月16日 マルレク 特別編 テーマ:「 BITCOINと分散暗号通貨を考える 」 概要:http://kokucheese.com/event/index/158760/ 資料:https://goo.gl/2yvdg […]
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 […]
クラウドとクラウド・デバイスの新時代
11月15日 マルレク第六回 テーマ:「 クラウドとクラウド・デバイスの新時代 」 概要:http://kokucheese.com/event/index/124219/ 資料:http://docs.google.c […]
マルチコアプログラミングの技法 — OpenCLとWebCL
11月1日 マルレク第五回 テーマ:「マルチコアプログラミングの技法 — OpenCLとWebCL」 概要:http://kokucheese.com/event/index/119193/ 資料:http: […]
量子コンピューターの新しい潮流 — D-Waveのアプローチ
2013年9月27日 マルレク 第四回 テーマ:「量子コンピューターの新しい潮流 — D-Waveのアプローチ」 概要:https://kokucheese.com/event/index/112461/ 資 […]
量子コンピューターの新しい潮流 — D-Waveのアプローチ
9月24日 マルレク第四回 テーマ:「量子コンピューターの新しい潮流 — D-Waveのアプローチ」 概要:http://kokucheese.com/event/index/112461/ 資料:http: […]