ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　2006/08/19の「形式仕様記述(フォーマルメソッド、Formal Methods)」で
--- ここから ---
　荒木先生たちが訳した
http://www.amazon.co.jp/exec/obidos/ASIN/4781907164/showshotcorne-22/ref=nosim
M.ヘネシー著「プログラミング言語の意味論入門」
も役立つかも。
略
　なお、この本、７月中旬に調べたとき、amazonのユーズドで12600円もして
いました。「184ページの本で、12600円はかなりのプレミアですね。^^;」と
荒木先生にメールしたくらい。今日(2006/08/19)現在は、2260円ですね。１万

円も安くなってる。＼(^O^)／
--- ここまで ---
と書いた。
　今日、思い出して、やっぱ買っておこうと思ってamazonに行ったら、あなた。
　また12600円に戻ってる！＼(^O^)／
　どげんなっとーとかいな。おっとろしかこつばい、鮎原さん。
　アタックNo.1か、お前は。
　amazonのシステム腐っているんだろうか。^^;
　いいえ、あなたの行動はユービックによってすべて監視されています。＼(^O^)／