ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　ブログのほうに、kmoriさんが、

ところでshowさん、今月から日本では事実上lisp以外の言語は使えなくなった
んですが、御存知？↓

とコメントしていて、えっ、おれの周りではそんなことになってないのにと思
ったら、なるほど、そういうことですか。kmoriさんのブログみてわかりまし
た。
http://d.hatena.ne.jp/kmori58/20051009#p1
です。
　石和なんかも、まとまって甲州市になったんですよね。この前、山梨に行っ
たときに聞きました。

＃　ブログのコメントにあるように、これ、大嘘で、石和町などは笛吹市になりました。

　この前のLispセミナー。ある大学の司法大学院の教授もいらしていて、話を
うかがうと、法体系のコンピュータ化や知識表現、知識探索の話に興味がある
ようなお話でした。
　おれさまは、えらそーに、最近の持論である、法律はすべて計算機で実行可
能な形式で記述すべき。すなわち、法律はS式で書かないとだめなどと、トン
デモをいってしまいました。＼(^O^)／

　内閣法制局とか、一所懸命、法律に矛盾がないかなど手作業、職人技で調べ
てるんでしょう？　そんなの計算機にやらせればいいのにねと思う。
　矛盾がいっぱい見つかるでしょうけれど、それでも効率的になりますよね。
　官報も全部S式で書けば、実行可能になっていいね。＼(^O^)／
　役所の提出書類なども、全部S式で書けば、全部実行可能、チェック可能に
なって、楽勝になって、役人、減らせるんじゃないか。
　公務員の首切りにつながるから抵抗すごそうだけど。^^;