マルレク

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 […]

2013年11月15日

11月15日　マルレク第六回テーマ：「クラウドとクラウド・デバイスの新時代」概要：http://kokucheese.com/event/index/124219/ 資料：http://docs.google.c […]

2013年11月1日

11月1日　マルレク第五回テーマ：「マルチコアプログラミングの技法 — OpenCLとWebCL」概要：http://kokucheese.com/event/index/119193/ 資料：http: […]

2013年9月24日

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

2013年8月27日

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

2013年7月29日

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

2013年6月24日

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

2013年2月27日

2月27日マルレク第九回テーマ：「大規模グラフデータ処理」概要：http://kokucheese.com/event/index/147438/ 資料：https://goo.gl/L4pRnD

講演資料