Blogモードというのができていたので、変えてみた。が、「コメント 0」「トラックバック 0」という悲しい現実をよりはっきりと突きつけられることが判明したので、あっさり元に戻すことに。ぜんぜんBlogっぽくない（自分の感覚では）まさに「日記」だし、こ…

つっつかれたので、久々にいじくる。と、動かなくなってるしー・・・テスト以前の問題で、例によってputsがブロックするという。 puts(input)はinputが長いと別スレッドのgetsも巻き込んでブロックするが、 input.each {|l| puts(l) }なら大丈夫。

http://www.widestudio.org/prog-ocaml/prog.htmlWideStudioか・・・