2016-03-08 母語方式Coq slideshare popular ja today scrapcook 母語方式Coq http://www.slideshare.net/kaizenjapan/coq-59179301