2010-04-17から1日間の記事一覧
所謂一つのKOM ですね. Scala は,ScalaCheck があっていいね. Java には,why があるよ. ネットが繋がらない.懇親会会場-- で,Coq の次の一手なんですが. ということで id:yoshihiro503 の人が居たので,Coq の次の一手(ProofGeneral の後) を聞いて…
所謂一つのKOM ですね. Scala は,ScalaCheck があっていいね. Java には,why があるよ. ネットが繋がらない.懇親会会場-- で,Coq の次の一手なんですが. ということで id:yoshihiro503 の人が居たので,Coq の次の一手(ProofGeneral の後) を聞いて…