2010-02-13 有名人 Formal Methods Forum うーむ、有名人な方が参加してくれてたり、興味をもってくれてる気がする。 この世界は技術系でも特に狭いのか。 先生を捕まえやすいのは願ったりかなったり。Coqで本が書けるといいな。