Hatena::ブログ(Diary)

みずぴー日記 Twitter

2011-09-28(水)

ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。

ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。を含むブックマーク

ProofSummit2011MsgPack証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。

話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」みたいな感じです。

スライド

ustream

http://www.ustream.tv/recorded/17493318

感想