{"categories":[],"version":"1.0","title":"ProofSummit 2011 \u3067\u300eCoq\u306b\u3088\u308bMsgPack\u30b7\u30ea\u30a2\u30e9\u30a4\u30b6\u306e\u8a3c\u660e\u3068\u5b9f\u88c5\u300f\u3068\u3044\u3046\u8a71\u3092\u3057\u307e\u3057\u305f\u3002","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","image_url":null,"provider_url":"https://hatena.blog","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20110928%2Fmsgpack\" title=\"ProofSummit 2011 \u3067\u300eCoq\u306b\u3088\u308bMsgPack\u30b7\u30ea\u30a2\u30e9\u30a4\u30b6\u306e\u8a3c\u660e\u3068\u5b9f\u88c5\u300f\u3068\u3044\u3046\u8a71\u3092\u3057\u307e\u3057\u305f\u3002 - \u307f\u305a\u3074\u30fc\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","author_url":"https://blog.hatena.ne.jp/mzp/","author_name":"mzp","width":"100%","description":"ProofSummit2011\u3067MsgPack\u3092\u8a3c\u660e\u3057\u305f\u3068\u304d\u306e\u8a71\u3092\u3057\u3066\u304d\u307e\u3057\u305f\u3002\u5185\u5bb9\u306f\u540d\u53e4\u5c4bReject\u4f1a\u8b70\u3067\u8a71\u3057\u305f\u3053\u3068\u3092\u81a8\u3089\u307e\u305b\u305f\u611f\u3058\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002 \u8a71\u306e\u8da3\u65e8\u3068\u3057\u3066\u306f\u300c\u30d0\u30b0\u3063\u3066\u6016\u3044\u3058\u3083\u3093 \u2192 \u3058\u3083\u3042\u8a3c\u660e\u3057\u3088\u3046\u305c \u2192 \u3084\u3063\u3066\u307f\u305f\u300d\u307f\u305f\u3044\u306a\u611f\u3058\u3067\u3059\u3002 \u30b9\u30e9\u30a4\u30c9 Coq\u306b\u3088\u308bMsgPack\u306e\u8a3c\u660e View more presentations from Hiroki Mizuno ustream http://www.ustream.tv/recorded/17493318 \u611f\u60f3 \u65b0\u5bbf\u30c0\u30f3\u30b8\u30e7\u30f3\u3053\u308f\u3044 [twitter:@ikegami__]\u3055\u3093\u3068[twitter:@masahiro_sakai\u2026","blog_url":"https://mzp.hatenadiary.org/","url":"https://mzp.hatenadiary.org/entry/20110928/msgpack","published":"2011-09-28 00:00:00","type":"rich"}