ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。)に転載したものから。践的入門ができるとhttp://www.asahi-net.or.jp/~ki4s-nkmr/kaiwa-software-eng.htmlに紹介記事を書いた「会話によるソフトウェア工学の開発実践」を監修なさった、ソフトウェア工学上の恩師であり、筒井康隆さん・山下洋輔さん方面でもわが師でもあり、中洲の飲み先輩でもある荒木先生の本が2冊入ってますね。2002.は、以前、送ってくださった本です。「荒木先生のご著書を紹介してないのは、つまらないからではなく、プログラムの理論であり、意味論や公理系など専門性がとても高いので、私の頭がついていかないせいです。すみません」などと言い訳した本です。荒木先生にうかがったところ、形式仕様記述の書き下ろしの日本語の教科書は、荒木先生と張さんのこの本しかないそうです。これが入門編で、続編をあと2冊、少しまとまった事例編と、大規模事例編を出したいそうです。訳本ではなくて、国産の事例で書き下ろしを書かなくてはいけないと思っていますとのことです。解説が付録になってるんですね。なんだか、その話も昔研究室にお邪魔したときに聞いたような気がしてきた。おれ、この本のゲラ、研究室で見せてもらったんじゃないか。\(^O^)/もう、ぜーんぶ忘れてた(泣)。様、一般プログラマからみれば数学的な世界です。いうと全然役に立たない高踏的世界に思えるかもしれませんが、いまや、いろいろ役に立つ事例もでてきていて、仕様記述言語を使った通信プロトコルの形式的仕様記述なんてこともやってますよね。語やらをつらつら眺めていたんですが、そしたら形式仕様記述の話ですもんね。それも「会話によるソフトウェア工学の開発実践」の話題を書いたら、こうだもん。なんか流れができちゃってる。Lispという本のせいで、完璧に罹っちゃいましたね。Lisp」の紹介を書こうと思ってます。要らんわ状態になっちゃうんだもんね。