先週のことでタイミングが遅れていますが、
相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない(治さない)のでしょう。
林晋さん*1へのたちの悪い言及を目にしてしまったので、一言いわずにはおれない気分です。
まず、林晋さんの著書について述べます。林さんの本は3冊持っていて、目次と索引しか見ない僕*2にしてはよく参照してます。
コロナ社の『数理論理学』*3は手が届く場所に置いてあります。
- 作者:晋, 林
- 発売日: 1989/12/20
- メディア: 単行本
カリー/ハワード対応について説明している論理の本は少ないので、非常に助かります。かつてラムダセミナー/モニャドセミナーでカリー/ハワード対応を題材にしたときのネタ本はこれです。
この本『数理論理学』は、コンピューターサイエンス向けに論理をリフォームすることを目指して書かれたもので、自然演繹やシーケント計算のようなポピュラーな話題でも、伝統や標準的な解説法に拘らず、林さん独自の工夫が随所にあります。
それと、共立出版『プログラム検証論』と遊星社『構成的プログラミングの基礎』が、僕が持っている林さんの本です。
- 作者:晋, 林
- 発売日: 1995/09/01
- メディア: 単行本
この2冊は、ちょっと今どこにあるやら? 去年(2014年)7月に本棚のスナップショットを撮った一覧から探してみると、確かに存在してますが、その後不要品は処分して、移動もしたので…
『プログラム検証論』にはホーア論理について詳しく書いてありました。日本語の本であんなに詳しいのは他にないんじゃないかな*4。『構成的プログラミングの基礎』のほう*5は、難しくてダメでした ^^;。
『プログラム検証論』は共立出版の情報数学講座シリーズの一冊ですが、このオレンジ本シリーズは良い本が多いですね。型付きラムダ計算や領域方程式の解き方なんかは、『プログラム意味論』と『プログラミング言語の基礎理論』の2冊から学べます。
- 作者:横内 寛文
- 発売日: 1994/06/01
- メディア: 単行本
- 作者:大堀 淳
- 発売日: 1997/02/01
- メディア: 単行本
僕は、林晋さんのお話を聞いたことが一度だけあります。むかーしですが、富山大学での学会講演です。そのときは、竹内外史さんが来日していて、「P≠NP予想」の講演があって、それを目当てに知人Kさんに誘われたのでした。竹内さんの話はまったく覚えてないです(理解できなかったからでしょう)が、林さんが再帰やフラクタルの話をしていたのは覚えています。プレゼンテーションで、スヌーピーが再帰する絵を使っていたのが印象に残っています(ウケてた)。
その林さんが最近公開した文書「あるソフトウェア工学者の失敗 日本のITは何故弱い」が注目を集めたのは11月3日(先週の火曜日)のことのようです*6。
それを取り上げたid:JavaBlackさんの記事が:
他についてもソフトウエア工学に関して幾つか誤りが見られるし,
ソフトウエアに詳しい人なら「なにを今更」「間違いだらけ」だから.
id:JavaBlackさんがこのテの根拠のないイチャモンを付けるのはいつものことです。あまりにも類型的なパターンを使うので、「論理的であるかのごとくに装って、根拠のないイチャモンをつける 13+2 の方法」という解説記事の動機とメインサンプルになっているほどです。
今回も何の根拠もないイチャモンだろうと僕は思っていますが、林さんといえども間違えない保証はないわけで、「ソフトウエア工学に関して幾つか誤り」がないとは断言できません。id:JavaBlackさんにお願いしたいのは、「ソフトウエア工学に関して幾つか誤り」のなかの1つでいいので、どこがどのように誤りであるかをハッキリと指摘して欲しい、ということです。(お願いをきいてもらえる事は絶望的だろうが言っておく。)
インターネットのコミュニケーション形態が「あー、嫌だなぁ」と感じるのはこういう時です。林さんのような当代きってのエキスパートが、その経験と知見を真摯に綴った文書に対して、id:JavaBlackさんのような「根拠のないイチャモン」常習者がしたり顔で「他についてもソフトウエア工学に関して幾つか誤りが見られる」と言えてしまう。そして、一部の人はそのタワ言のほうを信じてしまうだろう、という構図。どうにも切なくなります。
*1:敬称が「さん」である理由は、「すごくえらい人には敬称が付けにくい」参照。
*2:要するにチャンと読まないので、書評記事は書けないです。が、1/2以上読めたりすると嬉しくて記事にします。例 →「渡辺竜・著『レスポンシブWebデザイン』はとても良い本だ」
*3:同じコロナ社から同じタイトル(『数理論理学』)の本がもう一冊出ています。http://www.amazon.co.jp/dp/4339024899 ちょっと紛らわしい。
*4:林さんの文書にも書いてありますが、証明の実行は労力がかかり過ぎ、現実的ではないですけどね。
*5:林さんが後で“捨てた”分野の教科書です。
*6:林さんの文書に対する感想は今回は述べませんが、わずかな希望を含みながらも全般に悲観的な内容です。