プログラムの論証」の論証というのは、原語が何か。訳書の目次をみた瞬間は、verificationかと思った。次をみると、reasoningなんですね。それから、訳注が、いいところでツッコんでる。和彦、ツッコミの腕を上げたな。\(^O^)/福田先生が、中洲で和彦のツッコミを待っとるぞ。\(^O^)/待たんでいいし、相手せんでもいいわ、そんなもん。入門を読んでも、どこがGentle(やさしい)なんじゃ、ちっともわからんという人は、まず、本書を試してみるのが吉だろう。ついでに、以下は、これまで紹介していなかったと思う、Haskellの洋書をざっと。Booksでも読める(全部ではないようだが)。http://books.google.com/books?id=lQbth9j5j9oC&dq=The+Haskell+school+of+expression&as_brr=3&hl=jaでプレビューをどうぞ。次もけっこう有名みたい。いま出ているのは、第2版。(著)そして、出たあ。なんと出版予定が2011/04/19。\(^O^)/1年半も先。出るかどうかもわからんね。ふつうのプログラマのための関数型言語入門」を紹介したのは、もう3年半も前になるんだね。3年半経って、やっと少しHaskellも認知されてきたのかな。関数型や論理型(Prolog)の言語が、もっと一般プログラマに認知されるようになってほしいね。「入門Haskell」の向井さんは、Haskellナイトで、もうHaskellじゃ書いてない、結局、仕事には使えない、使う場がないなどといってました。知らない人は、若いうちにこういう言語に触れておくほうがいいよ。Smalltalk(オブジェクト指向)などの全く違う設計思想やメカニズムで動く言語を知って、思考法が劇的に変わったもんね。プログラミングを、さらには世の中を、非常に柔軟に観られるようになったからね。追悼:平原正樹さん、その2でも登場しています。榊原一矢訳「プログラミングErlang」その2でも登場しています。平原君が亡くなって、もう1年半近いのか。弓手さんが亡くなったのは、http://iiyu.asablo.jp/blog/2008/05/25/3542066訃報:弓手大之さん、株式会社イーツリーズ・ジャパン社長だから、1年半前。いからしさんが亡くなったのは、http://iiyu.asablo.jp/blog/2007/07/10/いからしさんが。なるのか?だと、2004/07/26から行方不明。http://www.asahi-net.or.jp/~ki4s-nkmr/wabijo84.htmlの乳の詫び状(2004/10/18)乳の詫び状(2004/10/20)を読むと、2004/07/24を命日にしたことがわかりますね。5年半近い時が流れている。さっちゃんが、亡くなったのだって、http://iiyu.asablo.jp/blog/2008/01/06/2548437さよなら、さっちゃん。ほんとに、ありがとうだから、もうすぐ2年になる。情報省が時空を操作してるよね。\(^O^)/ほんとに時の流れが速い。「showさん、あなたね。これから、もっともっと速くなるよ」だもんね。いらっしゃいませ~~♪また、柳原加奈子かよっ。