天下一altJS武闘会での発表 http://connpass.com/event/6402/ Google Closure Compilerの最新事情について
MetaDataNode/DataNode handle uploads MetaDataNode/DataNode handle downloads DataNode dynamically registers with MetaDataNode DataNode tells MetaDataNode its blocks on startup MetaDataNode persists file->blocklist map DataNode pipelines uploads to other DataNodes MetaDataNode can restart and DataNode will re-register (heartbeats) Tell DataNodes to re-register if MetaDataNode doesn't recognize them
2. Agenda はじめに Part I : 「型の理論」をふりかえる Part II : Curry-Howard対応について Part III: Coq入門 3. はじめに 現在、HoTT(Homotopy Type Theory)と呼 ばれる新しい型の理論とそれを基礎付ける Univalent Theoryと呼ばれる新しい数学理論 が、熱い関心を集めている。 Univalent Theoryは、数学者のVladimir Voevodskyが、論理学者Per Martin-Löfの型 の理論を「再発見」したことに始まる。 この新しい分野は、21世紀の数学とコンピュ ータサイエンスの双方に、大きな影響を与え ていくだろう。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く