所謂一つのKOM ですね． Scala は，ScalaCheck があっていいね． Java には，why があるよ． ネットが繋がらない．懇親会会場-- で，Coq の次の一手なんですが． ということで id:yoshihiro503 の人が居たので，Coq の次の一手(ProofGeneral の後) を聞いて…

今流行りのPHPer になりましたので，一週間くらいでの雑感を書いてみる． 使う前に文句を言うのは違うと思っていたので， 今は言ってもOK．*1嫌い 行末の";"(セミコロン)が必須(最終文でも省略できない) 5.3 まで名前空間が無い 括弧が省略できない(悪い面と…