マルレク

マルレク
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://do […]

続きを読む
マルレク
量子コンピューターの新しい潮流 --- D-Waveのアプローチ

9月24日 マルレク第四回 テーマ:「量子コンピューターの新しい潮流 --- D-Waveのアプローチ」 概要:http://kokucheese.com/event/index/112461/ 資料:http://do […]

続きを読む
マルレク
JavaScriptの進化 --- TypeScriptとDart

8月27日 マルレク第三回 テーマ:「JavaScriptの進化 --- TypeScriptとDart」 概要:http://kokucheese.com/event/index/106685/ 資料:http://d […]

続きを読む
マルレク
大規模分散システムの現在 --- GFS, MapReduce, BigTableは、どう進化したか

2013/07/29 マルレク「大規模分散システムの現在 --- GFS, MapReduce, BigTableは、どう進化したか」概要 21世紀の初頭、かってない巨大な規模の分散システムがネットワーク上で稼働を始めま […]

続きを読む
マルレク
Packaged Web Appsについて --- AndroidとChromeの統合

6月24日 マルレク第一回 テーマ:「Packaged Web Appsについて --- AndroidとChromeの統合」 概要:http://kokucheese.com/event/index/95941/ 資料 […]

続きを読む