2011-09-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
ProofSummit2011ã§MsgPackを証明ã—ãŸã¨ãã®è©±ã‚’ã—ã¦ãã¾ã—ãŸã€‚内容ã¯åå¤å±‹Reject会è°ã§è©±ã—ãŸã“ã¨ã‚’膨らã¾ã›ãŸæ„Ÿã˜ã«ãªã£ã¦ã„ã¾ã™ã€‚ 話ã®è¶£æ—¨ã¨ã—ã¦ã¯ã€Œãƒã‚°ã£ã¦æ€–ã„ã˜ã‚ƒã‚“ → ã˜ã‚ƒã‚証明ã—よã†ãœ → ã‚„ã£ã¦ã¿ãŸã€ã¿ãŸã„ãªæ„Ÿã˜ã§ã™ã€‚ スライド Coqã«ã‚ˆã‚‹MsgPa…
