2010年06月18日のツイート
@kururu_goedel: 最近またCoqいじりたい熱が再発して、ちょっとずつやっている。毎回ほとんどすべて忘れてやり直しなので効率が悪いこと悪いこと。
@kururu_goedel: .@alohakun いや、ですんでそれと全く同じ効果を手っ取り早く実現するのがリフレーションなんですが。
2010-06-18 12:27:34 via Seesmic to @alohakun
@kururu_goedel: 最近またCoqいじりたい熱が再発して、ちょっとずつやっている。毎回ほとんどすべて忘れてやり直しなので効率が悪いこと悪いこと。
@kururu_goedel: .@alohakun いや、ですんでそれと全く同じ効果を手っ取り早く実現するのがリフレーションなんですが。
2010-06-18 12:27:34 via Seesmic to @alohakun