生命壱号

2016-10-14 01:23
[tag: book]

郡司ペギオ幸夫「生命壱号」を読んだ。
「科学と文化をつなぐ」の最後の章の著者というつながりである。
三連休もあったりで結構サクサク読んでいたつもりだったが、結局一週間経ってしまった。

副題に「おそろしく単純な生命モデル」とあるところに興味を引かれる。
生命とはつまり秩序のことなのだが、形成された秩序のことではなく、秩序が形成されることそのものであり、これをモデル化するのはかなり厄介なことのように想像される。
定常状態に落ち込んだ秩序はまさに「すばらしい新世界」や「ハーモニー」のスイッチが押された後の世界であり、その蟻地獄に陥らないような秩序というのは一筋縄ではいかないはずだ。

この本ではタイプとトークンの両義性が常に意識される。
両者は集合と要素、あるいは社会と個人のように、対比されるようでありながら、その実、本来は厳密に対比しているのか怪しいものでもあり、そこを区別できるものとしてきた近代科学はその境界面において矛盾を生じることがある。
科学の枠組みではその矛盾を解消するように境界線を引くことが多いが、ここでは矛盾に陥れることなく、転回される。
科学の視点からすれば、矛盾を矛盾のまま受け入れる、というような表現になるかもしれないが、そもそも矛盾ではなくなるというのがおそらく重要だ。
その境界の不定性、制御不能性によって、上記のような、蟻地獄に陥らない秩序の形成過程が立ち上がるということになる。

制御不能な境界を構想することで、原理的に規則が見出せないふるまいと、そこに規則を見出してしまう陥穽の必然性が認められ、さらに我々はそこに、効率的な計算という概念さえ見出せる。
郡司ペギオ幸夫「生命壱号」p.82

とあるように、この制御不能な境界によって理由律を抱え込むことになり、それによって蟻地獄への落ち込みを回避すると同時に、意味付けという局所最適化を具えることで判断速度の低下も免れている。

知覚され、認識される事物は、トークンとしての性格とタイプとしての性格とを併せ持ち、両者の対として定義されることになる。問題はタイプとトークンの齟齬にある。（中略）そして、この齟齬こそが、生命の本質を成す。
同p.86

第二章では生命壱号のモデルが詳述される。
挙動は極簡単なものであるため、golangでコーディングしてみた。
github.com/yofu/seimei1go
（golangのプロジェクト名はgoを含むダジャレが多いことで有名だが、今回は意図しない結果だ）例えば、こんな挙動をする。

白い部分がタイプとしての空であり、そのうちの一マスがトークンとしての「空」になり、自分の通ったマスを記憶しながら生命壱号の中を通過するというルールのみに従っているだけである。
この図では、クリックした位置に近い部分程、「空」化しやすくしているのだが、「空」化しやすさの分布を与えることで、図3-2にあるような、餌場をつなぐネットワークを形成することも可能だ。
(seimei1go feedというコマンドで実装してある)

システムのタイプ的規定は空と対を成し、トークン的規定は「空」と対を成す。
だから、トークン的規定に委ねられたシステムは、外部さえ個物の集合とみなすことができ、外部に特異な、或る個物を見出すことができる。それが食物である。
（中略）タイプであり、トークンである両義性は、欲望の起源でもある。
同p.117

として食物に例えられる「空」は、符号化された情報ともみなすことができ、抽象することで空が「空」になり、生命壱号の中を通り抜けていく様は、何かを知ることそのものである。

アメーバ運動をし、探索しながら経路を創り出す生命壱号は、まさに空間に意味を与えて計算していることになる。
同p.159

生命壱号をコーディングしていて思うのは、この生命壱号そのものを一つのクラスとしてコーディングすることはできない、ということだった。
コードの中に現れるのは、全マス目の情報をもったBoardと、経路を記憶しながら移動する「空」としてのHoleであり、生命壱号の本体はそのいずれでもないように見えるが、また同時にいずれでもあるとも言える。

第三章の最後で自己の問題に派生する。

自己は絶えず起源する。
（中略）大文字の自己も、小文字の自己も、そこに実在を求めるものではない。
それらは決して実在する確実なものではない。
同p.195

ウロボロスにおいて、先に何かがあり、それが自身を飲み込むことでそれ自身を認識することが自己を生むというのは少しイメージが違うのかもしれない。
ここで、環境としての自己＝大文字の自己と、創られる自己＝小文字の自己と呼ばれているものは、自己生成という過程で同時に起源している。

第四章からの数学的な話はいまいち追いきれていない感がある。
アドホック論理の話を読んでいて思ったのは、元の爆発的増加防止のために、新たな情報の取得に際して行われる情報の刈り込みは抽象に対応するかということだ。
それはまた、忘却の実装にも関連しているような気がする。
図4-10で、次第に下位のビット列が残されていく様子は、抽象の結果、基礎的な概念に洗練されていくようにも見える。
その刈り込みの結果として対称性バイアスがかかるというのは、理由律を運用すること自体に対称性バイアスが埋め込まれるということであり、とても興味深い。
ラッセルのパラドクスの例を読んだときに、この抽象構造は、実数を整数に割り当てるのと同型だろうか、という印象をもった。
連続体仮説との関連はあるだろうか。

第五章のセルオートマトンを例にとった議論も、図が豊富なので雰囲気は飲み込めるが、いまいちアルゴリズムがわかりきっていないので、実装できていない。
やはり、実際にコーディングすることで理解できることも多いな、と感じる。

第六章では身体と絡めて全体の話が総括される。

生命壱号では、非同期的時間によってもたらされるふるまいとして、探索と活用をうまくバランスする一個の身体が示された。それは逆に、同期的時間の中で、ミクロとマクロを接続する操作が、手続きとして書き下せないことを意味する。
同p.328

神経系において、非同期に処理された符号が意識や無意識をつくるのに対し、それが脳内において同期的な信号として再処理されてしまうことで、これらの不思議さが際立つことになるのだろうか。
この、非同期処理の同期化という辺りに、理由律の起源が潜んでいる気がする。

最後にブンブクチャガマのエピソードが取り上げられるが、こういった合理性に欠ける行為こそがとても人間らしい。

これが、生命壱号的生活なのである。
同p.330

本書で取り上げられたようなシステムを実装することで機械は意識をもてるかもしれないが、果たしてそれを欲しているのだろうか。