ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　国立情報学研究所の
http://www.topse.jp/wp/wpb.da3
「トップ」ソフトウェア開発者養成プログラム
の話題をみて、
http://www.topse.jp/wp/wpb.da3?wpcmd=chg_page&wppid=2259&wpprcid=9852
受講内容
にある、シラバス

要求分析
形式仕様記述
設計モデル検証
コンポーネントベース開発
アジャイル開発

の２番目、形式仕様記述
http://www.topse.jp/wp/img/contents/syllabi2.pdf
の参考文献には、この前、日本語と中国語の会話形式でソフトウェア工学の実
践的入門ができると
http://www.asahi-net.or.jp/~ki4s-nkmr/kaiwa-software-eng.html
に紹介記事を書いた「会話によるソフトウェア工学の開発実践」を監修なさっ
た、ソフトウェア工学上の恩師であり、筒井康隆さん・山下洋輔さん方面でも
わが師でもあり、中洲の飲み先輩でもある荒木先生の本が２冊入ってますね。

　１冊は訳書で、
http://www.amazon.co.jp/exec/obidos/ASIN/4000056093/showshotcorne-22/ref=nosim
ソフトウェア開発のモデル化技法
ですが、もう１冊の
http://www.amazon.co.jp/exec/obidos/ASIN/4274132633/showshotcorne-22/ref=nosim
荒木啓二郎，張漢明：プログラム仕様記述論，オーム社 2002.
は、以前、送ってくださった本です。
　この前、「会話によるソフトウェア工学の開発実践」を紹介したとき、
「荒木先生のご著書を紹介してないのは、つまらないからではなく、プログラ
ムの理論であり、意味論や公理系など専門性がとても高いので、私の頭がつい
ていかないせいです。すみません」
などと言い訳した本です。

　荒木先生にうかがったところ、形式仕様記述の書き下ろしの日本語の教科書
は、荒木先生と張さんのこの本しかないそうです。これが入門編で、続編をあ
と２冊、少しまとまった事例編と、大規模事例編を出したいそうです。
　訳本が、少しまとまった事例編でもあるので、教科書は、その訳本に繋がる
ように意識していて、そのため、使った仕様記述言語も、当初は Z にしてい
たのを訳本に合わせて VDM にしたそうです。でも、訳本ではなくて、国産の
事例で書き下ろしを書かなくてはいけないと思っていますとのことです。

　なるほど、それで Z の解説が付録になってるんですね。なんだか、その話
も昔研究室にお邪魔したときに聞いたような気がしてきた。つーか、おれ、こ
の本のゲラ、研究室で見せてもらったんじゃないか。＼(^O^)／
　もう、ぜーんぶ忘れてた(泣)。

　仕様記述言語の世界は、ホーアとかスコットのプログラムの意味論などと同
様、一般プログラマからみれば数学的な世界です。そういうと全然役に立たな
い高踏的世界に思えるかもしれませんが、いまや、いろいろ役に立つ事例もで
てきていて、仕様記述言語を使った通信プロトコルの形式的仕様記述なんてこ
ともやってますよね。

　最近、また何回目かのLispのハシカに罹っていて(笑)、その前から関数型言
語やらをつらつら眺めていたんですが、そしたら形式仕様記述の話ですもんね。
それも「会話によるソフトウェア工学の開発実践」の話題を書いたら、こうだ
もん。なんか流れができちゃってる。

関連：
http://iiyu.asablo.jp/blog/2005/08/21/50510
快挙「会話によるソフトウェア工学の開発実践」

　実は、Lispハシカに罹るつもりはなかったんですが、
http://www.amazon.co.jp/exec/obidos/ASIN/1590592395/showshotcorne-22/ref=nosim
Practical Common Lispという本のせいで、完璧に罹っちゃいましたね。
　７月には、この１年くらい興味深く見守っていたプログラミング言語の話題
を書こうと思っていたけど、いまは早く「Practical Common Lisp」の紹介を
書こうと思ってます。
　この本読むと、やっぱ、Lispがあれば、そこらのスクリプト言語やらは全部
要らんわ状態になっちゃうんだもんね。すごいよ。それくらい面白い。

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　田原総一朗の朝生。朝日ニュースターで日曜朝やってたので、最初と最後の
ほうだけみた。途中は例によって、みんな言葉尻捕らえて大声でわめきちらす
ばかりになってきたから時間の無駄だと思ったから。とくにひどかったのは、
自民党の山本一太とかいう小泉ごますりみたいな議員。今朝もTBSの朝スバッ！
に出てたけど、相変わらず人がしゃべっているのを大声でわめいてかき消す。
こんなバカ出すなよ。自民党のイメージダウンだぞ。
　逆に出演議員の中で、朝生で一番イメージを上げたのは、民主党の蓮舫じゃ
ないか。あの人、あんなに理路整然としゃべるとは思わなかった。＼(^O^)／
　田原総一朗も驚いているふうだった。だからなのか、今朝の朝スバッ！にも
出演してました。
　今朝の朝ズバッ！で一番ウケのは、荒井広幸。フリップの出し方が面白くて、
ウケていました。

　朝生に戻ると、たまたま残り３０分のころみたら、メディアに批判力がすっ
かりなくなってる。それはなぜかという話になっていた。
　小泉は、政治をワイドショーのレベルにきっちり合わせてきたのが、成功要
因といってましたね。中身はないけどウケるフレーズに単純化してしまう、い
わゆるワンフレーズ政治。こういうのは権力側の情報操作なんですけど、マス
コミはそれに乗りますからね。国民に対する情報操作の共犯者ですよね。

　日本の記者会見は、ホワイトハウスの記者会見みたいに、政府側をたじろが
せる質問がないのはなぜか。
　勝谷誠彦が力説したのは、日本最大最悪の談合組織である記者クラブの存在。
　これ、新聞やテレビの報道談合組織で、以前から諸外国からも批判されるよ
うな組織。フリーのジャーナリストは排除して自分たちだけ情報を得て、権力
を維持しようとする組織。互いをけん制しあって、どこかが特ダネに突っ走ら
ないように監視する隣組組織、馴れ合い組織。政府としては、記者クラブをコ
ントロールすればメディアがコントロールできるということですね。
　勝谷氏は、脱記者クラブ宣言を田中康夫が長野県でやったら、以後、長野県
の新聞全部から執拗に叩かれまくるようになった話も披露。勝谷氏が、信濃毎
日なんかプラウダですよなどといって、会場、「ええっ、そんなこといってい
いのか。まずいだろ、それは」とざわついたのは、面白かった。
　脱記者クラブ宣言、実は個人的には脱ダム宣言よりインパクトがあった。
　ぼくも岩波のジュニア新書「インターネットを使いこなそう」の初版を書い
たとき、岩波の編集者がけっこう気にして、大丈夫かと聞いてきたことがあっ
た。
　それは、記者クラブの問題。インターネットによって生産者と消費者がダイ
レクトにつながると中間業者は不要になるという話の中で、報道なんかもそう
で官庁のいうことを垂れ流す中間搾取業者たるマスコミでは、官庁がネットで
報道資料を流すようになれば、マスコミは不要になるという趣旨のことを書い
たのね。出版社だからなんだろうね。岩波の編集者はすごい気にしてね。
　当時の少し前、埼玉県庁だったかな。官庁が記者発表と同時にウェブでも資
料を公開するという先進的な試みをしようとしたら、記者クラブが猛反対して
つぶしたことがあって、マスコミの正体見たりと思っていたので、それで少し
書いたんですよね。

　元テレ朝の部長だった末延吉正は、結局、事なかれ主義のサラリーマンジャ
ーナリズムだから、突っ込んでいく奴がいない。批判力がなくなってるといっ
てました。契約制が多い欧米の記者と違って、日本の記者は組織の中でサラリ
ーマンとして出世していかないといけないから、どんどん事なかれ主義になる
と。

　それと視聴率の問題。政治もワイドショーで騒げるネタにすると、視聴率が
稼げる。
　今回の選挙報道でも、刺客だなんだとワイドショーが飛びつくネタを次々と
出して、まんまとメディアが乗せられていると。メディアも楽して視聴率が取
れるから積極的に乗ってると。
　紙面も放送時間も限りがあるから、ホリエモンだなんだと刺客騒動をおもし
ろおかしくやってると、政策論争を放送する時間なんかなくなる。
　郵政民営化のyes/noだけで政権を選べとわめく小泉の思う壺になってる。
　ってな、話がいろいろ出てました。
　そう考えると、TBSの朝スバッ！やフジのとくダネ！は、よくやってるほう
なんですね。

　サンデープロジェクトで、かつて小渕首相に番組本番中に突然電話をかけた
ら小渕首相が出てきた。でも、これ記者クラブで問題になって(勝手なことを
するなということでしょう)、テレ朝は記者クラブから締め出されそうになっ
たそうですね。
　当時のプロデューサーは末延氏だったとのこと。そういうちょっと突っ込ん
でいったれというテレビ屋がほとんどいなくなったと嘆いてました。テレ朝辞
めたから、比較的自由にものがいえるんですね。もちろん末延氏は記者クラブ
に入れないので、官邸の記者会見なんかには出席できず、質問もできません。

　テレビで記者クラブの問題をこれくらいやったのは、初めてじゃないか。１
０分か１５分程度だった思うけど、宮崎哲弥が、すごい濃い話だったなんてい
って、こんな話がテレビでできたことを驚き、喜んでましたが、逆に普段の論
争と称するものの浅薄さを浮き上がらせたともいえますね。

　宮崎氏といえば、イラクの自衛隊撤退問題は、民主党と自民党で選挙の論点
として鮮明な対立があるのに、なぜか、メディアは触れようとしない。これは
問題じゃないかといってました。そういうところにもメディアの現状が出てま
すね。

　これに関係して、イラクで取材中、銃撃されて死亡した橋田信介さん(勝谷
氏の師匠だそうですが)の死亡保険金の話、保険会社が戦闘地域だから保険金
は支払えないというので未亡人が訴訟したら、先日判決が出て、裁判所はイラ
クは戦闘地域だと認めたのに、自衛隊はなぜまだイラクにいるのかという話に
なりました。
　小泉流の「私にどこが戦闘地域か非戦闘地域かなんて聞かれたってわかりま
せんよ」「自衛隊が活動するところが非戦闘地域だ」などというごまかし、開
き直りをなぜメディアは追求しないのかというお話ですね。
　できるわけないよね。以前、紹介したけど、週刊ダイヤモンドに載った、イ
ラクの自衛隊のブリーフィング。記者連中は、テレビ電話の前に集まって、イ
ラクの自衛隊の様子を聞いて、それをあたかも自分らが現地にいるかのような
筆致で報道する。これだもん。

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　TBSの「みのもんたの朝スバッ！」が一番熱心にみえるね。連日、各党の論
客を集めて、生で政策論争。
　次がフジの「とくダネ！」。これも昨日は、各党の論客を集めて、生でバト
ル。
　昨日、日テレの「ザ！情報ツウ」はみてないけど、テレ朝の「スーパーモー
ニング」にしたら、堀江君を追っかけていた。しかも、尾道の有名ラーメン店
で、３０分並んでラーメン食ったというシーンを流していた。
　テレ朝、終わってるなと思ったね。＼(^O^)／
　たまたまだったんだろうけど、いまだに刺客のおっかけ報道。他番組は、郵
政以外の争点も取り上げるようになってきてるのに。
　仮に刺客おっかけ報道に意味があったとしても、選挙報道で、ラーメン店に
３０分並んでる映像を流す価値があるのか。作ったディレクターはバカか。
　でも、これがマスコミ、テレビ屋なんです。
　30年近く前、筒井康隆「おれに関する噂」に衝撃を受けたときから、何も変
わってないよね。
　単なる一市民でしかない主人公のおれを、全マスコミが追いかけ回して大報
道。主人公がマスコミに、おれなんかに報道価値はないのになぜ報道するのか
と問うと、報道価値は我々マスコミが勝手に決めるんだなどというんですね。
　マスコミのバカバカしさや、報道価値なんか読者や視聴者が決める問題じゃ
ないと思っているマスコミの傲慢さを、鋭くえぐった作品でした。
　しかも、大笑いしながらそれがわかるのがすさまじい。ぼくは生涯に最も影
響を受けた小説を１つだけ挙げろといわれれば、「おれに関する噂」なんです。

http://www.amazon.co.jp/exec/obidos/ASIN/410117105X/showshotcorne-22/ref=nosim
おれに関する噂

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから
---
　昨日の党首討論会。税金の問題だったか年金の問題だったか、共産党だった
かな、yesかnoかで答えてくれと小泉に迫ったら、小泉は「いや、そういうの
は、yesかnoかじゃなくて」と歯切れが悪かった。
　そりゃそうなんだよ。
　以下、ギター侍調でお読みください。
　でも、解散して、ほかの論点は無視して、郵政についてのみのyesかnoだけ
で投票しろとわめいているのは、あんたですからっ！
　いかにもご都合主義。残念！
　小泉猫だまし解散斬り！

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから
---
　昨夜テレビの街頭インタビューで、今回の解散をどう思うかと問われて、あ
る男性が「猫だまし解散」といった。
　鋭い言語感覚だね。野党は、この「猫だまし解散」というキャッチフレーズ
を使わせてもらったらいいんじゃないか。