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ã®å’Œè¨³ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã€æ°—ã«ãªã‚Šã¾ã™
{{#tags}}- {{label}}
{{/tags}}