2013年12月16日 人工知能数学 「型の理論」と証明支援システム — Coqの世界 2013年12月16日 マルレク 現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型 […]
2013年8月27日 マルレク JavaScriptの進化 — TypeScriptとDart 8月27日 マルレク第三回 テーマ：「JavaScriptの進化 — TypeScriptとDar […]
2013年7月29日 マルレク 大規模分散システムの現在 — GFS, MapReduce, BigTableは、どう進化したか 7月29日 マルレク第二回 テーマ：「大規模分散システムの現在 — GFS, MapReduce, […]
2013年6月24日 マルレク Packaged Web Appsについて — AndroidとChromeの統合 6月24日 マルレク第一回 テーマ：「Packaged Web Appsについて — Androi […]
