うーむ、有名人な方が参加してくれてたり、興味をもってくれてる気がする。 この世界は技術系でも特に狭いのか。 先生を捕まえやすいのは願ったりかなったり。Coqで本が書けるといいな。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。