ただ飯はないよ定理の奇妙な応用に関連する悪夢

　まれにだが明け方夢を見ているまま意識が覚醒していることがある。夢の思考をそのまま続けているのだ。プログラマーをしていたときは、かなり昔のことになるが、デバッグの夢ばかり見ていた。新規に未決な問題を抱えているとそういうことがある。

四色問題

　夢はというと四色問題についての一般向けの講義だった。四色問題を知っている人なら想像が付くと思うが、やたらとつまらない。エレファントな証明っていうかピンクエレファントだよな。
　夢の講義を聴きながら私はウンザリしている。だからぁ、解法が全然エレガントじゃないんですよぉとかぶつぶつ独り言を言う。知りたいのは、なぜこの簡素な問題がこうもエレガントではない解法になるのかということをエレガントに知りたいのであって、解法のエレガンスじゃないんですよ。あー、だからぁ解法アルゴリズムの改良（参照）じゃなくてぇ…違う！
　朝、ミューズリを噛みながら、ブレックファストティーを飲み終えても、頭の中は夢が続く。だめだこりゃ、通じねーわ、とか呟いていくうちに、次第に現実世界の思考に戻っていく。さて、世間はなにを悩んでいるのだろうか。四色問題ではあるまい。靖国問題？
　世間にもいろいろあるがサブ世間で悩み事になっているのは、あれだ。インテリジェントデザイン(ＩＤ)論への反論だよね、ってつい苦笑してしまうのだが、日本で話題になっているのは、産経新聞”「反進化論」米で台頭　渡辺久義・京大名誉教授に聞く”（参照）への反論なので、これは相手にするも稚拙（参照）。端から米国の政治問題に縮小すると話は単純すぎ。もっともID論なんてその程度ということでもあるのだろうが、ID論への反論をするならもうちょっと情報論などを含めて包括的にというか、あるいは進化論全体への目配せもあってもいいかなとも思うのだが、あまりそういう話題はない。私なんぞが下手に突っ込むとこっちもあらぬとばっちりを受けかねないので桑原桑原でもある。
　が、変な夢を見たのは、ちょっとこの話に関係する。昨晩、デンスキー（William A. Dembski、参照）の指定複雑性(Specified complexity、参照)とチョムスキー思想のことを考えていた。と、すでに厄介な話に足をつっこみつつあるが、生物の複雑性について、チョムスキーは、通常生体は余剰ある複雑性を取るのだが、人間の言語能力には例外的なシンプリシティを想定していて、なぜそうなるのか進化との関連がわからない、としている。
　暗黙の内にチョムスキー学に非進化論的な匂いを嗅ぐ学者は少なくない。ピアジェ（参照）を初めフォーダー（Jerry Fodor、参照）などもそうか。ゴリラなど持ち出して言語能力の研究なども進められているのは、非進化論的な言語能力のという仮説に反論したいのだろう。
　ま、それはそれとして、デンスキーの指定複雑性だが、これは数学的に成り立つのだろうか？　ノーフリーランチ定理（参照）の応用ともいえるらしく、確かにヒューリスティック（発見的）な手法から最適解、つまりここでは強力な構造が形成されることはありえない、という標識は情報学的に明確になるものだろうか。そのあたりをぼんやり考えていて四色問題の悪夢となった。
　このあたりの話はトンデモにも近いので悪夢じゃない将来を夢みている学者さんは考察もしないかもしれないし、そんなもの端からトンデモですよというだけかもしれない。
　話はちょっと逸れる。私は悪夢から覚めて、ぼんやり秋の日を過ごしながら、いわゆる日本のID論批判に隠されているのは「自然」ではないかなとふと思った。これにはちょっと連想がある。木村資生（参照）の中立進化説（参照）だが、一般的にはWikiにもあるようにこう理解されている。

分子レベルでの遺伝子の進化は、従来のダーウィン進化論の説明のように自然淘汰により引き起こされるだけではなく、生物の生存にとって有利でも不利でもない中立的な突然変異を起こしたものが偶然に広まり集団に固定化することによっても起きるとする。

　しかし、これは、自然淘汰説への反論とはならなかった。

生存に不利な変異は自然淘汰によって排除されるという点では淘汰説と共通するが、中立進化説では、突然変異の大部分が、生物にとって有利でも不利でもない中立的な変化であるという事実に注目する。

　このあたりちょっと微妙なんだが、中立進化説は、要するに分子レベルでは中立といいながら、学説としては、自然淘汰説に対立せず、実際の種の規定についてはメジャーなダーウィニズムに従属することになった。

POPな進化論

　というところで、そうか、ダーウィニズムというのは、自然淘汰説であり、ここで問われているのは「自然」か。そうか。ID説というのが擬似的に「神」なら、ダーウィニズムは擬似的に「自然」であり、この自然とは、そう、ホッブズ（参照）のいう自然状態（参照）の自然なのだろう。
　ぶっちゃけてしまえば、どっちも同じ根の西洋哲学的な対立にすぎないのではないか。ホッブズの子孫達が神を暗示するID論に忌避感を持つのは当然だが、八百万の神、直毘霊の日本人がその土俵に乗ることはないんじゃないか…。ま、今夜は悪夢を見たくはないな。