@kururu_goedel: 最近またCoqいじりたい熱が再発して、ちょっとずつやっている。毎回ほとんどすべて忘れてやり直しなので効率が悪いこと悪いこと。2010-06-18 12:44:20 via Seesmic @kururu_goedel: .@alohakun いや、ですんでそれと全く同じ効果を手っ取り…