ふたを開けてみたら思いのほかレスが多くて自分が吃驚した件. 続きを読む
オブジェクト指向でのOOA,OODみたいなものが関数型言語でもあるか 続きを読む
ProofCafe 第一回でつぶやかれた内容です。おおまかな流れを実況したポストは、赤字にしてあります。 資料は、 http://coq.g.hatena.ne.jp/yoshihiro503/20100331 から辿れます。 続きを読む