2015-03-29 証明プログラミング入門2 slideshare popular ja today scrapcook 証明プログラミング入門2 http://www.slideshare.net/ussopyon/2-46383560