2010年09月01日のツイート
@kururu_goedel: なんか教育関係のセミナーとやらに出てくる
@kururu_goedel: とりあえず形式手法と形式的検証についての参考文献をwikipediaからたどって適当にダウン、印刷
@kururu_goedel: @tsagis あれ、草稿のときにいろいろあって読ませてもらったのですが、私には味わうことのできないレベルです…
2010-09-01 03:06:26 via web to @tsagis
@kururu_goedel: @groupoid まあ、他の項目についても日本版よりよく書けているものが多いことは同意
@kururu_goedel: @groupoid あー、Wikipedia(en)の集合論関係のやつは、もうアカデミアを去ったけれどもちゃんとPh.D.とってしばらくアカデミックポジションについていた人が趣味で書きまくっていたので、妙に充実しているんですよ。
@kururu_goedel: 離散数学のアンケート、今回もlisperすらいなかった。Coqいじれとはいわないけど、せめて関数型言語で遊んでる人くらい来ないかなぁとか思う。