「型の理論」と証明支援システム -- 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のアプローチ
2013年9月27日 マルレク 第四回 テーマ：「量子コンピューターの新しい潮流 --- D-Waveのアプローチ」 概要：https://kokucheese.com/event/index/112461/ 資料ダウン […]
量子コンピューターの新しい潮流 --- 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/ 資料 […]
大規模グラフデータ処理
2月27日 マルレク 第九回 テーマ：「 大規模グラフデータ処理 」 概要：http://kokucheese.com/event/index/147438/ 資料：https://goo.gl/L4pRnD