檜山正幸のキマイラ飼育記

林晋さんのこと、根拠なきイチャモンのこと

雑記／備忘 | 08:55 |

先週のことでタイミングが遅れていますが、

• http://d.hatena.ne.jp/JavaBlack/20151103/p1

相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない（治さない）のでしょう。

林晋さん*1へのたちの悪い言及を目にしてしまったので、一言いわずにはおれない気分です。

まず、林晋さんの著書について述べます。林さんの本は3冊持っていて、目次と索引しか見ない僕*2にしてはよく参照してます。

コロナ社の『数理論理学』*3は手が届く場所に置いてあります。

数理論理学 (コンピュータ数学シリーズ)

• 作者: 林晋
• 出版社/メーカー: コロナ社
• 発売日: 1989/12/20
• メディア: 単行本
• 購入: 1人 クリック: 4回
• この商品を含むブログ (3件) を見る

カリー／ハワード対応について説明している論理の本は少ないので、非常に助かります。かつてラムダセミナー／モニャドセミナーでカリー／ハワード対応を題材にしたときのネタ本はこれです。

この本『数理論理学』は、コンピューターサイエンス向けに論理をリフォームすることを目指して書かれたもので、自然演繹やシーケント計算のようなポピュラーな話題でも、伝統や標準的な解説法に拘らず、林さん独自の工夫が随所にあります。

それと、共立出版『プログラム検証論』と遊星社『構成的プログラミングの基礎』が、僕が持っている林さんの本です。

プログラム検証論 (情報数学講座 8)

• 作者: 林晋
• 出版社/メーカー: 共立出版
• 発売日: 1995/09/01
• メディア: 単行本
• 購入: 1人 クリック: 2回
• この商品を含むブログ (4件) を見る

構成的プログラミングの基礎

• 作者: 林晋,小林聡
• 出版社/メーカー: 遊星社
• 発売日: 1991/04
• メディア: 単行本
• この商品を含むブログ (2件) を見る

この2冊は、ちょっと今どこにあるやら？ 去年（2014年）7月に本棚のスナップショットを撮った一覧から探してみると、確かに存在してますが、その後不要品は処分して、移動もしたので…

『プログラム検証論』にはホーア論理について詳しく書いてありました。日本語の本であんなに詳しいのは他にないんじゃないかな*4。『構成的プログラミングの基礎』のほう*5は、難しくてダメでした ^^;。

『プログラム検証論』は共立出版の情報数学講座シリーズの一冊ですが、このオレンジ本シリーズは良い本が多いですね。型付きラムダ計算や領域方程式の解き方なんかは、『プログラム意味論』と『プログラミング言語の基礎理論』の2冊から学べます。

プログラム意味論 (情報数学講座)

• 作者: 横内寛文
• 出版社/メーカー: 共立出版
• 発売日: 1994/06
• メディア: 単行本
• 購入: 2人 クリック: 57回
• この商品を含むブログ (17件) を見る

プログラミング言語の基礎理論 (情報数学講座)

• 作者: 大堀淳
• 出版社/メーカー: 共立出版
• 発売日: 1997/02
• メディア: 単行本
• クリック: 55回
• この商品を含むブログ (17件) を見る

僕は、林晋さんのお話を聞いたことが一度だけあります。むかーしですが、富山大学での学会講演です。そのときは、竹内外史さんが来日していて、「P≠NP予想」の講演があって、それを目当てに知人Kさんに誘われたのでした。竹内さんの話はまったく覚えてないです（理解できなかったからでしょう）が、林さんが再帰やフラクタルの話をしていたのは覚えています。プレゼンテーションで、スヌーピーが再帰する絵を使っていたのが印象に残っています（ウケてた）。

その林さんが最近公開した文書「あるソフトウェア工学者の失敗 日本のITは何故弱い」が注目を集めたのは11月3日（先週の火曜日）のことのようです*6。

• http://b.hatena.ne.jp/hotentry/20151103

それを取り上げたid:JavaBlackさんの記事が：

• http://d.hatena.ne.jp/JavaBlack/20151103/p1

他についてもソフトウエア工学に関して幾つか誤りが見られるし，

---

ソフトウエアに詳しい人なら「なにを今更」「間違いだらけ」だから．

id:JavaBlackさんがこのテの根拠のないイチャモンを付けるのはいつものことです。あまりにも類型的なパターンを使うので、「論理的であるかのごとくに装って、根拠のないイチャモンをつける 13+2 の方法」という解説記事の動機とメインサンプルになっているほどです。

今回も何の根拠もないイチャモンだろうと僕は思っていますが、林さんといえども間違えない保証はないわけで、「ソフトウエア工学に関して幾つか誤り」がないとは断言できません。id:JavaBlackさんにお願いしたいのは、「ソフトウエア工学に関して幾つか誤り」のなかの1つでいいので、どこがどのように誤りであるかをハッキリと指摘して欲しい、ということです。（お願いをきいてもらえる事は絶望的だろうが言っておく。）

インターネットのコミュニケーション形態が「あー、嫌だなぁ」と感じるのはこういう時です。林さんのような当代きってのエキスパートが、その経験と知見を真摯に綴った文書に対して、id:JavaBlackさんのような「根拠のないイチャモン」常習者がしたり顔で「他についてもソフトウエア工学に関して幾つか誤りが見られる」と言えてしまう。そして、一部の人はそのタワ言のほうを信じてしまうだろう、という構図。どうにも切なくなります。