CoqによるMsgPackの証明ProofSummit2011 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 における発表Read less
ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。 - みずぴー日記
ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。 話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」みたいな感じです。 スライド CoqによるMsgPackの証明 View more presentations from Hiroki Mizuno ustream http://www.ustream.tv/recorded/17493318 感想 新宿ダンジョンこわい [twitter:@ikegami__]さんと[twitter:@masahiro_sakai]さんにAgdaを教えてもらえたので、とてもよかった Software Foundationsの和訳プロジェクト、気になります
MessagePack for OCamlを公開しました - みずぴー日記
くえにしさん([twitter:@kuenishi]さん)に誘われたのでMessagePackハッカソンに参加してきました。 MessagePack本体のレポジトリにMessagePack for OCamlを取り込んでもらったので、みんな使ってください! MessagePackって? JSONやYAMLと同程度の表現能力をもった省スペースなオブジェクトシリアライザです。対応言語もC/C++/Java/D/Ruby/Haskellなどと非常に多いです。 対応言語言一覧 → http://wiki.msgpack.org/display/MSGPACK/QuickStart 公式Wikiの採用実績によると、かなりメジャーなプロジェクトも採用されているようです。実際、ハッカソンにも仕事で利用されている方が結構来ていました。 実はボクたちの作っているチャットアプリのAsakusaSatellit
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
