2011-02-28 åå¤å±‹Ruby会è°ã§ã€ŒCoq to Rubyã§åˆã‚る証明駆動開発ã€ã¨ã„ã†ã‚¿ã‚¤ãƒˆãƒ«ã§ç™ºè¡¨ã—ã¦ãã¾ã—㟠event Coq to Rubyã«ã‚ˆã‚‹è¨¼æ˜Žé§†å‹•é–‹ç™º@åå¤å±‹ruby会è°02 View more presentations from Hiroki Mizuno
