セル・オートマトン

ファイル:Gospers glider gun.gif

セル・オートマトンの一種ライフゲームで、テンプレート:仮リンクのグライダー銃がグライダーを放っているところ

セル・オートマトン（テンプレート:Lang-en-short、略称：CA）とは、格子状のセルと単純な規則による、離散的計算モデルである。計算可能性理論、数学、物理学、複雑適応系、数理生物学、微小構造モデリングなどの研究で利用される。非常に単純化されたモデルであるが、生命現象、結晶の成長、乱流といった複雑な自然現象を模した、驚くほどに豊かな結果を与えてくれる。

正確な発音に近いセルラ・オートマトンとも呼ばれることがある。セルは「細胞」「小部屋」、セルラは「細胞状の」、オートマトンは「からくり」「自動機械」を意味する。他に「セル空間」「埋め尽くしオートマトン」「homogeneous structure」「tessellation structure」「iterative array」といった呼称もある。

有限種類の（多くは2から数十種類の）状態を持つセル（細胞のような単位）によってセル・オートマトンは構成され、離散的な時間で個々のセルの状態が変化する。その変化は、ある時刻 tにおいてのセルの状態、および近傍のセルの内部状態によって、次の時刻t + 1 、すなわち新たな「ジェネレーション」（世代）での各セルの状態が決定される。初期状態（時刻 t =0）は、各セルの状態を設定することで選択される。次の世代（t が1に進んだ状態）は、事前に設定された「規則」（一般に何らかの数学的関数）に従って初期状態でのそのセルおよび近傍の状態から決定される。セルの状態を更新する規則は一般にどのセルでも同一であり、途中で変更されず、並んでいる全セルに同時に適用される。ただしテンプレート:仮リンクや非同期セル・オートマトンは例外である。

その概念は1940年代、ロスアラモス国立研究所で同僚だったスタニスワフ・ウラムとジョン・フォン・ノイマンが発見した。その後細々と研究されていたが、1970年代に2次元セル・オートマトンの一種ライフゲームが登場すると注目されるようになった。1980年代にはスティーブン・ウルフラムが1次元セル・オートマトンまたはテンプレート:仮リンクを体系的に研究し、一部の規則群がチューリング完全であることを示した。彼が2002年に出版した A New Kind of Science では、セル・オートマトンが様々な科学の領域で応用できると主張している。

概要

ファイル:Vierer-Nachbarschaft.png

フォン・ノイマン近傍（DがPの近傍）

2次元の(つまり面状の)セル・オートマトンの例として、無限に広がる方眼紙を考える。方眼紙のひとつのマス目がセルにあたる。それぞれのセルは「黒」と「白」の2つの内部状態をもつ。セルの「近傍」とは、そのセルの周辺のセル群であり、通常は隣接するセルを指す。近傍には、テンプレート:仮リンクとテンプレート:仮リンクという2種類の典型的な定義がある。前者はCAの考案者の名を冠しており、直交して接する4つのセルを近傍とする。後者はフォン・ノイマン近傍を含み、さらに斜め方向の4つのセルも加えた中心のセルを囲む8つのセルの状態を考慮する。ムーア近傍の場合、それら9つのセルが取ることができる状態は全部で2⁹ = 512個存在する。セル・オートマトンがどのように時間発展していくかのルールは表として与えられる。すなわち次の時間ステップ(t+1)で、中心のセルが「黒」「白」いずれになるかは、現在の時間ステップ(t)でとり得る512個のパターンそれぞれについての一覧表によって決定される。ライフゲームはこのモデルの有名な例である。もう1つのよく知られている近傍の定義として「拡張フォン・ノイマン近傍」があり、直交する4方向それぞれの最も近い2つのセルを近傍とし、全部で8つのセルを近傍とする。セルがとりうる状態数を k、次の状態を決定するのに使われる近傍のセル数（自身も含める場合がある）を s とすると、このようなシステムの規則は k^ks という式で表される。したがって2次元のシステムでムーア近傍の場合、考えられるオートマトンの総数は 2²⁹ または テンプレート:Val となる。

例えば1次元セル・オートマトンでは、時刻（ステップ）を t、位置を1次元の i としたとき、セル x_i^t の近傍は {x_i−1^t−1, x_i^t−1, x_i+1^t−1} となる。

2次元のセル・オートマトンで最も有名なものがライフゲームである。ライフゲームは以下のようなルールで記述される。

• 誕生: 死んでいるセル（「白」）の周囲に3つの生きているセル（「黒」）があれば次の時間ステップでは生きる（「黒」になる）。
• 維持: 生きているセル（「黒」）の周囲に2つか3つの生きているセル（「黒」）があれば次の世代でも生き残る（「黒」のままである）。
• 死亡: 上以外の場合には次の世代では死ぬ（「白」になる）。

このライフゲームのルールは細菌などの生物の繁殖のアナロジーである。すなわち、孤独でも人口過密でも死んでしまう。最も快適な人口密度では子孫を残し繁栄するというものである。実際ライフゲームは生物の増殖のような複雑で多様な振舞いを示す。

一般に、各セルは同じ状態から開始し、一部の有限個のセルだけがそれ以外の状態から開始する。これを「コンフィギュレーション」と呼ぶ。また、全体が周期的なパターンを形成していて、一部がそのパターンから外れた状態で開始するということもある。後者は1次元のセル・オートマトンでは一般的である。

ファイル:Torus.png

トーラス

セル・オートマトンのシミュレーションには有限の格子を使うことが多い。2次元の場合、無限の平面ではなく、有限の四角形で表される。有限の格子での明らかな問題は端のセルをどう扱うかである。端をどう扱うかが格子全体のセルの状態に影響を与える。1つの手法は、端のセルを全て変化しない定数を状態として持つとするものである。別の手法は端のセルの近傍を一般のセルとは違う内容にするというものである。つまり、端のセルの近傍を通常より少なく定義することもできるが、その場合は規則も新たに定義しなければならない。別の手法として、2次元の場合に四角形の平面の端の上下と左右を繋げて、トーラス形にすることもある。これは、ある意味で無限の平面が同じ四角形で平面充填されていることになる。1次元であれば、線の端を繋いでループにすることになる。これは端の問題を回避するために行うが、モジュロ演算関数を使って容易にプログラム可能という利点もある。

歴史

ファイル:John von Neumann ID badge.png

ロスアラモス国立研究所のIDバッジをつけたジョン・フォン・ノイマン

1940年代にロスアラモス国立研究所で働いていたスタニスワフ・ウラムは結晶の成長について研究していたとき、モデルとして単純な格子ネットワークを使用していた。同じころロスアラモスで一緒に働いていたジョン・フォン・ノイマンは自己複製機械を研究していた。フォン・ノイマンはまず、あるロボットの記述に基づいて別のロボットの記述を行うという設計を考えていた。この設計は運動学モデル（Kinematic model）と呼ばれている。設計を進めるに連れ、フォン・ノイマンは、複製を作るための「部品の海」をロボットに与えることのコストの膨大さやあるロボットが別のロボットを作るということを記述する大変さを徐々に理解していった。ノイマンは1948年の Hixon Symposium にて "The general and logical theory of automata" と題した論文を読む。またウラムはフォン・ノイマンに自己複製の還元主義的モデルとして離散系を使ってはどうかと示唆した。Nils Aall Barricelli はそういったモデルを使って人工生命を研究していた。

1950年代、ウラムとノイマンは液体の動きを計算する方法を生み出した。その中心となった考え方は液体を離散的単位の集まりとみなすということで、各単位の動作をその近傍の挙動に基づいて計算する。それらが元となってセル・オートマトンが生まれた。ウラムの格子ネットワークのように、フォン・ノイマンのセル・オートマトンは2次元で、その中に自己複製機械がアルゴリズム的に埋め込まれた。これがテンプレート:仮リンクであり、近傍として隣接する4つのセルのみ（ノイマン近傍）を考慮し、1つのセルあたり29の内部状態を持っている。このモデルで彼は自己複製機械として動作するパターンを20万個のセルを使ってデザインし、それが無限に自己複製を繰り返すことを数学的に証明した。この設計は平面充填モデルとして知られている。1968年、エドガー・F・コッドは 8 状態で自己複製を繰り返すコッドのセル・オートマトンを考案している。

同じく1940年代、ノーバート・ウィーナーとテンプレート:仮リンクがセル・オートマトンを開発しテンプレート:仮リンクのモデルに採用した。その具体的な目的は、心筋におけるインパルス伝導の数学的説明であった。その業績は不整脈や興奮性媒質についての後の研究でよく引用されている。

1960年代、セル・オートマトンは力学系の特殊形として研究され、数学の一分野であるテンプレート:仮リンクと関連して研究され始めた。1969年、テンプレート:仮リンクはその観点で数多くの成果をまとめ、それがセル・オートマトンの数学的研究における重要な論文とされている。

1969年、ドイツのコンピュータのパイオニアの1人であるコンラート・ツーゼは、著書 Calculating Space の中で、宇宙の物理法則は本質的には離散的であり、宇宙全体が一種の巨大なセル・オートマトン上の決定的な計算の結果であると主張した。この著書が今日デジタル物理学と呼ばれている分野の基礎を築いた。

1970年代、2状態で2次元のセル・オートマトンであるライフゲームが特にコンピュータコミュニティでよく知られるようになった。ジョン・コンウェイの発明によるもので、マーティン・ガードナーがサイエンティフィック・アメリカン誌（日本では日経サイエンス誌）で紹介したことで有名となったのである。ライフゲームは単純だが、システムとして興味深い挙動を示し、ランダム性と規則性の間で変動する。ライフゲームの最も顕著な特徴として「グライダー」（格子を横断して移動していくセル群）が頻繁に発生することが挙げられる。グライダーをうまく配置すると一種の相互作用が生まれる。長年の研究により、ライフゲームがチューリングマシンをエミュレートできることが判明した。それが単なる趣味の話題と受け止められたためか、ライフゲームの特殊性の研究や関連する規則の研究が若干行われた以外、この発見を受けた研究はなされなかった。

1981年、熱力学第二法則に反するように見える自然界の様々な複雑なパターンを検討していたスティーブン・ウルフラムは、セル・オートマトンの研究を始めた。当初の動機はセル・オートマトンで神経ネットワークなどのシステムをモデリングできるのではないかというものだった。1983年6月、Reviews of Modern Physics 誌にてテンプレート:仮リンク（特にテンプレート:仮リンク）についての最初の論文を発表。ウルフラムは、単純な規則で示される振る舞いの予期せぬ複雑さを見て、自然界の複雑さも同様の機構によって生まれているのではないかと考えた。しかし、彼の研究によってセル・オートマトンは神経ネットワークのモデリングには貧弱すぎることが判明した。さらにウルフラムは真の無作為性とテンプレート:仮リンクの概念を定式化し、テンプレート:仮リンクがチューリング完全であると推測した（1990年代にウルフラムの助手 Matthew Cook がそれを証明した）。

ウルフラムは1980年代中盤以降に学界を去ってMathematicaを開発し、彼のそれまでの研究結果を広い範囲の単純で抽象的な系に拡張して適用するのに Mathematica を使った。2002年、ウルフラムはそれらの成果を1280頁の著書 A New Kind of Science として発表した。この中でセル・オートマトンがあらゆる科学にとって重要な関わりを持つことを主張している。一部で誤解されているように、同書は物理法則がセル・オートマトンに基づいているとは言っていない（ツーゼとは異なる）が、セル・オートマトンに基づいた物理モデルをいくつか記述しており、他にも各種抽象系に基づいたモデルを示している。

分類

ウルフラムはあらゆる1次元のセル・オートマトンの時間発展の仕方を調べ上げ、セル・オートマトンを含む単純な計算モデルの4つのクラスを定義した。それまでのセル・オートマトンの研究では、パターンの種類から規則群を分類する傾向があったのに対して、ウルフラムの分類は規則自体を分類する最初の試みだった。4つのクラスは次の通りである。

• クラス1 - 秩序状態。ほぼ全ての初期状態で素早く安定した均質な状態になる。初期状態に無作為性があっても消滅する。
• クラス2 - 秩序状態。ほぼ全ての初期状態で素早く安定状態または周期的に振動する状態になる。初期状態の無作為性は消滅する場合もあるが、残存する場合もある。初期状態を部分的に変更した場合、その影響は局所的となる傾向がある。
• クラス3 - カオス状態。ほぼ全ての初期状態でセル全体がランダムな変化を続ける。安定した構造が現れても、すぐに周囲のノイズによって破壊される。初期状態の部分的変更は全体に拡散していく傾向がある。
• クラス4 - ほぼ全ての初期状態で規則的なパターンとランダムなパターンが共存し、複雑なパターンを形成する。局所的に形成された構造は長期間存続することができる。

秩序状態であるクラス1、クラス2は新しい変化を生み出さない、いわば死んだ世界である。カオス状態であるクラス3はランダムすぎて、意味のある情報を生み出すことができない。ウルフラムは秩序状態とカオス状態の間にあるクラス4の様な状態こそが、生命現象などの現実世界で見られる複雑な現象を引き起こす源だと考えた。この研究により、複雑系と呼ばれる新しい科学分野の基盤が確立した。

これらの定義は質的なもので、その解釈には若干の幅がある。ウルフラムは「どんな一般分類体系でも、ある定義ではこのクラスになるが、別の定義では別のクラスになるというケースが必然的に存在する。セル・オートマトンでもそれは変わらない。あるクラスの特徴と別のクラスの特徴を備えた規則群は時として存在する」としている。ウルフラムの分類は、セル・オートマトンの出力を圧縮した長さの分類と経験的に合致している。

CulikとYuによって、ウルフラムの4つのクラスの算術的階層における位置が証明されている。クラス1と2は<math>\Pi^0_2</math>-完全、クラス3は<math>\Sigma^0_3</math>-完全に所属する。

ウルフラムの分類に触発され、CAを形式的に厳密に分類しようとする試みもなされてきた。例えば、CulikとYuは3つのwell-definedなクラス（そしてそれらのどれにも分類されない4番目のクラス）を提案した。これを Culik-Yu クラスなどと呼び、ある規則群がどのクラスに属するかの判定は決定不能だと証明された。

可逆型

現在状態から1つ前の状態（プレイメージ）が一意に求められるセル・オートマトンを「可逆的」(reversible) であるという。セル・オートマトンを状態から状態への関数と考えると、可逆性はその関数が全単射であることを意味する。可逆型のセル・オートマトンは、時間を遡った際の挙動もセル・オートマトンとして記述できる。これは、セル・オートマトンを位相幾何学的に説明したテンプレート:仮リンクの帰結である。可逆でない有限のセル・オートマトンには、どんな状態からも絶対生成（到達）できない配置が存在する。そのような配置を「エデンの園配置」と呼ぶ。換言すれば、エデンの園パターンにはプレイメージが存在しない。

1次元のセル・オートマトンについては、プレイメージを探すアルゴリズムが知られていて、各ルールについて可逆的かそうでないかは既に判明している。2次元以上のセル・オートマトンについては、任意のルールの可逆性は決定不能であることが証明されている。Jarkko Kari による証明は、テンプレート:仮リンクのタイル並べ問題と関連している。

可逆型セル・オートマトンは、熱力学の法則に従う気体や液体の力学現象のシミュレーションに使われることが多い。その場合のセル・オートマトンは特別に可逆性を持つよう設計される。この種のシステムの研究者としてトマソ・トフォリやテンプレート:仮リンクらがいる。意識的に可逆型セル・オートマトンを作る手法はいくつか存在する。テンプレート:仮リンクやテンプレート:仮リンクがそれで、どちらもセル・オートマトンの定義に何らかの修正を施す。これらは厳密には上に挙げたようなセル・オートマトンの定義から外れているが、十分に大きな近傍と多数の状態を持つ従来型のセル・オートマトンでエミュレートできることが判っており、従来型のセル・オートマトンのサブセットと見なすことができる。逆に全ての可逆型セル・オートマトンはブロック・セル・オートマトンでエミュレートできる。

総和型

特殊なセル・オートマトンとして、総和型 (totalistic) セル・オートマトンがある。総和型セル・オートマトンでの各セルの状態は数値で表され（通常、有限個の整数値）、時刻 t におけるセルの値は、時刻 t−1 における近傍（自身も含むこともある）のセル群の値の総和だけに依存して決定される。時刻 t におけるセルの状態が自身の t−1 での状態に依存する場合、そのようなセル・オートマトンを「外部総和型」(outer totalistic) と呼ぶ。ライフゲームは、値として 0 と 1 をとる外部総和型のセル・オートマトンの例である。同じく外部総和型でムーア近傍だが、規則をライフゲームとは変えたセル・オートマトンを欧米では "life-like" と呼ぶ。

その他

CAの概念は様々な拡張が可能である。

ファイル:Oscillator.gif

六角形のセルに基づくセル・オートマトン（ルール34/2）

例えば、矩形の格子ではなく別の多角形を使うという拡張がある。例えば六角形を平面に敷き詰めたとき、個々の六角形をセルとして扱うことができる。多くの場合そのようなセル・オートマトンは、矩形格子で近傍と規則をうまく調整したものと等価である。他にもペンローズ・タイルのような平面充填で格子を形成することもできる。

また、規則を決定的なものではなく確率的なものにする拡張もある。そのようなCAをテンプレート:仮リンクと呼ぶ。この場合、時刻 t のパターンから時刻 t+1 のとりうる各パターンの遷移確率が確率的規則により指定される。もっと単純な規則を使うこともあり、例えば「基本的にライフゲームの規則に従うが、毎回0.001%の確率で本来とは反対の色になる」といった規則を設定する。

時間や場所によって近傍の定義や規則を変化させるという拡張もある。例えば、最初の世代では水平方向の隣接したセルを近傍とするが、次の世代では垂直方向の隣接するセルを近傍とする、といった具合である。

CAでは、あるセルの新たな状態は、他のセルの新たな状態に影響されない。この原則を変更することもできる。

テンプレート:仮リンクと呼ばれるものもある。総和型と似ているが、規則や状態が離散値ではなく連続な値（一般に単位区間の値）を用いる。つまり、セルの状態は有限個の実数で表される。例えば、液体における拡散パターンのモデルなどに使われる。

Continuous spatial automata では位置が連続的である。ある位置の状態は有限個の実数である。時間も連続的に推移し、状態は微分方程式にしたがって変化する。重要な例として反応拡散系があり、アラン・チューリングはシマウマの縞模様やヒョウのドット模様を生み出した化学反応を説明する微分方程式を提案した。そのようなパターンをCAで近似的に生成することも可能である。continuous spatial automata でライフゲームのグライダーのような現象が生じる例も知られている。

1次元セル・オートマトン

最も単純だが自明ではないCAは、1次元で各セルは2つの状態をとることができ、近傍は両側に接している隣のセルという場合である。あるセルとその両側の3つのセルで近傍を構成するので、1つの近傍がとりうるパターンは 2³=8 種類となる。規則はそれらパターンについて、そのセルが次世代に1と0のどちら状態となるかを決定する。したがって規則群の組合せは 2⁸=256 通り存在する。それら256種類のCAは一般にウルフラムが考案した0から255までのルール番号で参照され、これをテンプレート:仮リンクと呼ぶ。これら256種類のCAはいくつかの論文で研究・比較されている。テンプレート:仮リンクとテンプレート:仮リンクのCAは特に興味深い。下図は、1カ所だけ1にした初期状態からのそれらCAの変化の様子を示している。図の各行がCAの1世代の履歴であり、一番上の行が t =0 である。各ピクセルは、0を白、1を黒で描画している。

ルール30セル・オートマトン

ファイル:CA rule30s.png

現在の状態	中央のセルの次の状態
0 0 0	テンプレート:0 0 テンプレート:0
0 0 1	テンプレート:0 1 テンプレート:0
0 1 0	テンプレート:0 1 テンプレート:0
0 1 1	テンプレート:0 1 テンプレート:0
1 0 0	テンプレート:0 1 テンプレート:0
1 0 1	テンプレート:0 0 テンプレート:0
1 1 0	テンプレート:0 0 テンプレート:0
1 1 1	テンプレート:0 0 テンプレート:0

ルール110セル・オートマトン

ファイル:CA rule110s.png

現在の状態	中央のセルの次の状態
0 0 0	テンプレート:0 0 テンプレート:0
0 0 1	テンプレート:0 1 テンプレート:0
0 1 0	テンプレート:0 1 テンプレート:0
0 1 1	テンプレート:0 1 テンプレート:0
1 0 0	テンプレート:0 0 テンプレート:0
1 0 1	テンプレート:0 1 テンプレート:0
1 1 0	テンプレート:0 1 テンプレート:0
1 1 1	テンプレート:0 0 テンプレート:0

例えば「ルール30」と呼ばれるのは、上の表のように時刻t+1における中央のセルの内部状態一覧を並べると0,0,0,1,1,1,1,0となっており、この2進数の数を10進数に直すと30であるためであり、これをテンプレート:仮リンクと呼ぶ。

ルール30は「クラス3」の挙動を示し、単純な初期状態からもカオス的な経過を示し、無作為な履歴になっている。

ルール110はライフゲームのように「クラス4」の挙動を示し、完全な無作為でもなく、完全な反復でもない。局所的構造が現れ、様々な複雑な形で相互作用する。1994年ウルフラムの研究助手だったマシュー・クックは、それら構造の一部がチューリング完全性をサポートするのに十分であることを証明した。ルール110は非常に単純な1次元のシステムであり、具体的なことを実行するよう設計するのは困難であるため、この成果は興味深い。この結果からウルフラムはクラス4のセル・オートマトンが本質的にチューリング完全である可能性を示唆した。1998年、セル・オートマトンの学会がサンタフェ研究所で開催され、クックはその成果を発表したが、ウルフラムは A New Kind of Science の出版前にその証明の詳細を公表したくなかったため、証明の詳細は発表されなかった。2004年、Cookの証明がウルフラムの発行する雑誌 Complex Systems (Vol. 15, No. 1) で発表された。実に証明してから10年が経過している。ルール110をベースとして極小の万能チューリングマシンが構築されている。

ルール90

また、ルール90の1次元セル・オートマトンは典型的なフラクタル図形であるシェルピンスキーのギャスケットを生成する。（WolframAlphaでルール90を見る→rule 90）

ファイル:SierpinskiTriangle.PNG

シェルピンスキーのギャスケット

現在の状態	中央のセルの次の状態
0 0 0	テンプレート:0 0 テンプレート:0
0 0 1	テンプレート:0 1 テンプレート:0
0 1 0	テンプレート:0 0 テンプレート:0
0 1 1	テンプレート:0 1 テンプレート:0
1 0 0	テンプレート:0 1 テンプレート:0
1 0 1	テンプレート:0 0 テンプレート:0
1 1 0	テンプレート:0 1 テンプレート:0
1 1 1	テンプレート:0 0 テンプレート:0

生物学における例

ファイル:Textile cone.JPG

イモガイの一種タガヤサンミナシのセル・オートマトン状模様の貝殻

一部の生物学的過程はセル・オートマトンでシミュレートできる。

イモガイやガクフボラといった貝の貝殻の模様はセル・オートマトンの描くパターンによく似ている。貝殻の辺縁に狭い帯状に色素細胞がある。各色素細胞は活性化されると色素を分泌し、同時に近傍の色素細胞の活性化を阻害するようになっており、天然のセル・オートマトンの規則のように作用する。この色素細胞の帯が貝殻に色の模様を残しつつ、少しずつ貝殻が成長していく。例えば、イモガイの一種タガヤサンミナシはウルフラムが研究したテンプレート:仮リンクCAとよく似た模様である。

植物はCA的機構で気体の吸入と排出を行っている。葉に多数存在する気孔がセル・オートマトンのセルのように振る舞う。

頭足類は表皮に色素胞があり、体表の模様を変化させるが、これを2状態で2次元のセル・オートマトンでシミュレートできる。各状態は色素胞を広げた状態と縮めた状態に対応する。

神経細胞をシミュレートするしきい値型CAが考案されており、認知や学習といった複雑な挙動をシミュレートできる。

線維芽細胞もセル・オートマトンと似た挙動を示す。個々の線維芽細胞はその近傍の細胞としか相互作用しない。

化学における例

ベロウソフ・ジャボチンスキー反応はセル・オートマトンを使ってシミュレートできる。1950年代、A・M・ジャボチンスキーはソ連のテンプレート:仮リンクの研究成果をさらに進め、マロン酸、酸化した臭素酸塩、セリウム塩の混合物の薄い均一な層を置いておくと、同心円や渦巻き模様などの幾何学的模様が生じることを発見した。1988年8月、サイエンティフィック・アメリカン（日本では日経サイエンス）誌上の "Computer Recreation" という記事で、A. K. Dewdney はベロウソフ・ジャボチンスキー反応に非常によく似た挙動を示すセル・オートマトンを紹介した。ベロウソフ・ジャボチンスキー反応が、分子レベルでそのセル・オートマトンと同じような仕組みで発生しているのかどうかは不明である。これまで、セル・オートマトン的な化学反応が自然界で観察されたことはない。そのような化学反応は全て研究室や実験室でのみ観測されている。

物理における例

ソリトンのようなふるまいを見せる、箱玉系と呼ばれているセル・オートマトンがある。

応用

並列コンピュータ

離散的(非連続的)時間で記述され、時刻t+1における1つのセルの内部状態は、時刻tにおける状態によって決定されるといった点で、セル・オートマトンはチューリングマシンとよく似ている。実際、万能チューリングマシンと等価な動作をするセル・オートマトンが存在することが知られている。しかし、チューリングマシンは「逐次的な処理を行うデジタルコンピュータ」のモデルであるのに対し、セル・オートマトンは各セルが並列に演算処理を実現しており、いわば "並列コンピュータ" であるという点で大きく異なる。

セル・オートマトンの概念をハードウェアで実装して情報処理を行おうとする試みも行われている。処理要素は格子状に配置され、2次元か3次元の平面充填構造とされる。それ以外の並べ方も可能だが、まだ試されたことはない。各処理要素（すなわちセル）は隣接する少数のセルだけとやり取りする。遠いセルとの直接通信手段は存在しない。セルの相互作用には、電荷、磁化、振動などの物理的な手段を使う。いずれにしても各処理要素間を結線する必要はない。これは、今日のノイマン型コンピュータのプロセッサとはかなり違う。

例えばテンプレート:仮リンクはCAプロセッサアレイの一例である。

遺伝的アルゴリズムを使った進化するセル・オートマトン

センサーネットワークやさらに微細な構造をネットワークとして設計し、分散処理を行わせることに関心が集まっている。分散システムを使い大域的なレベルで情報処理するという考え方から創発計算というアイデアが生まれた。ポートランド州立大学の教授でサンタフェ研究所にも所属しているテンプレート:仮リンクは、そのために自己進化するセルの格子を使うアイデアに取り組んでいる。ミッチェルらはセル格子のプログラムに進化的アルゴリズムを採用している。分散型システムにおける計算は古典的なコンピュータとは大きく異なり、大域的および局所的なパターンの変化という形で情報処理がなされる。

この手法の発想の元になっているのは、社会性昆虫、神経系、経済システムといった自然界に見られる複雑なシステムである。研究の焦点は、進化する分散型システムでいかにして計算が発生するかを解明することである。モデルを構築しどのようにして創発計算が生じるかを解明するため、ミッチェルらはセル・オートマトン内のパターンを進化させるべく遺伝的アルゴリズム (GA) を適用した。既にGAによって洗練された創発計算戦略が生じる規則を発見している。ミッチェルらが採用したのは1次元2値で6個の近傍を持つセル・オートマトンである。先頭と末尾は繋がっているので、環状になっている。

暗号

ルール30は、ブロック暗号に応用可能ではないかと言われていた。2次元セル・オートマトンを乱数発生に使った例がある。

セル・オートマトンを公開鍵暗号に使うことも提案されてきた。有限なセル・オートマトンの変化は一方向性関数と考えられ、その逆関数を見つけることは困難と考えられているためである。ルールを与えられると、誰でも簡単に次の状態を計算することはできるが、現在状態から以前の状態を求めることは非常に難しい。しかし、ルール設計者は容易に逆関数を求める方法を作ることができる。従って、これは一種の落とし戸関数であり、公開鍵暗号に活用できる。このような原理に基づいたセキュリティシステムは今のところ知られていない。

誤り訂正符号

セル・オートマトンを誤り訂正符号の設計に応用した例として、D. Roy Chowdhury、S. Basu、I. Sen Gupta、P. Pal Chaudhuri の論文 "Design of CAECC - Cellular Automata Based Error Correcting Code" がある。この論文ではセル・オートマトンを使って SEC-DED符号（1ビット誤り訂正-2ビット誤り検出符号）を構築する新たな手法が定義されており、その符号の高速ハードウェアデコーダも報告されている。

物質世界の基盤のモデルとしてのCA

テンプレート:Main Andrew Ilachinski は著書 Cellular Automata で、多くの学者が宇宙自体がセル・オートマトンなのではないかという疑問を投げかけていると指摘した。Ilachinskiは、この問題の重要性を示すには簡単な観察をしてみるのがよいと主張し、例えばテンプレート:仮リンクの発展するパターンをどうやったらうまく説明できるか考えてみるのがよいとした。そして、もしそのイメージの生成方法を知らないとしたら、何らかの粒子状のオブジェクトの運動の軌跡ではないかと推測するだろうと述べている。実際、物理学者 James Crutchfield はその考え方から厳密な数学的理論を構築した。この考え方を推し進めていくと、素粒子物理学で説明されている我々の世界も根底ではCAと見なせるのではないかという考え方に到達する。

その考え方に沿った理論はまだ発展途中だが、この仮説に興味を惹かれた学者らが離散的フレームワークで世界を理解することについて興味深い憶測と有益な直観を示している。AI研究者マービン・ミンスキーは、4次元CA格子で素粒子の相互作用を理解する方法を研究した。コンピュータの先駆者コンラート・ツーゼは、素粒子の持つ情報についての問題を解くため、不規則な格子を考案した。またエドワード・フレドキンは "finite nature hypothesis" と名付けた仮説を提唱。「最終的に時間や空間を含む全ての物理量は離散的で有限だと判明するだろう」とした。フレドキンとウルフラムはデジタル物理学の信奉者である。

21世紀に入ると、非標準計算についての著作からこの考え方に沿った示唆が生まれている。ウルフラムの A New Kind of Science では、CAが物理学を含めた様々な主題を理解する鍵だとしている。（Francesco Berto が創始し、Gabriele Rossi と Jacopo Tagliabue が発展させた）iLabsが2010年に出版した Mathematics Of the Models of Reference では「菱形十二面体」をベースとする格子と独特の規則で2次元および3次元の宇宙を説明するモデルを提案している。このモデルはチューリングマシンと等価であり、完全な可逆性を有し（様々な量を保存し、情報を決して失わない）、宇宙の発展についての質的な論述を計算できる論理が組み込まれている。

ポップカルチャーにおけるセル・オートマトン

• 『NUMBERS 天才数学者の事件ファイル』シーズン2のエピソード「誘拐事件の真相」にて、1次元セルオートマトンへの言及がある。
• エリック・レイモンドはハッカー文化のシンボルとして、ライフゲームのグライダーを描いたエンブレムを提案した。
• グレッグ・イーガンの小説『順列都市』（早川文庫）では、オートヴァースと呼ばれる人工生命シミュレータが登場する。
• ウィル・マッカーシイの小説 Bloom では、セル・オートマトンを論じている。
• ロバート・J・ソウヤーの WWW 三部作ではセル・オートマトンが重要な役割を演じ、ウェブ上の人工生命が意識を獲得する方法に関係している。

具体例

• コッドのセル・オートマトン
• ライフゲーム
• ラングトンのループ
• ラングトンのアリ
• ワイヤワールド
• 非同期セル・オートマトン

参考文献

• 『アインシュタインの部屋』上・下 - エド・レジス著／大貫昌子訳　工作舎　ISBN 978-4-87502-171-1・ISBN 978-4-87502-172-8
• 『コンピューターレクリエーションI 遊びの発想』 - A.K.デュードニー著 別冊サイエンス32
• 『哲学者クロサキと工学者アイハラの神はカオスに宿りたもう』 - 合原 一幸、 黒崎 政男 共著
• 『箱玉系の数理』 - 時弘哲治 朝倉書店
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal
• Cellular automaton FAQ from the newsgroup comp.theory.cell-automata
• A. D. Wissner-Gross. 2007. Pattern formation without favored local interactions, Journal of Cellular Automata 4, 27-36 (2008).
• "Neighbourhood Survey" 三角格子や大きな近傍のセル・オートマトンなどを論じている
• von Neumann, John, 1966, The Theory of Self-reproducing Automata, A. Burks, ed., Univ. of Illinois Press, Urbana, IL.
  • 『自己増殖オートマトンの理論』- フォン・ノイマン著 岩波書店
• Cosma Shalizi's Cellular Automata Notebook 書誌情報が豊富
• Wolfram's papers on CAs
  • "History of Cellular Automata" from Stephen Wolfram's A New Kind of Science
  • Wolfram, Stephen, 1985, Cryptography with Cellular Automata, CRYPTO'85.
• A.M. Turing. 1952. The Chemical Basis of Morphogenesis. Phil. Trans. Royal Society, vol. B237, pp. 37 – 72. - 連続的オートマトンの一種を提唱している。
• Evolving Cellular Automata with Genetic Algorithms: A Review of Recent Work, Melanie Mitchell, James P. Crutchfeld, Rajarshi Das (In Proceedings of the First International Conference on Evolutionary Computation and Its Applications (EvCA'96). Moscow, Russia: Russian Academy of Sciences, 1996.)
• The Evolutionary Design of Collective Computation in Cellular Automata, James P. Crutchfeld, Melanie Mitchell, Rajarshi Das (In J. P. Crutch¯eld and P. K. Schuster (editors), Evolutionary Dynamics|Exploring the Interplay of Selection, Neutrality, Accident, and Function. New York: Oxford University Press, 2002.)
• The Evolution of Emergent Computation, James P. Crutchfield and Melanie Mitchell (SFI Technical Report 94-03-012)
• Ganguly, Sikdar, Deutsch and Chaudhuri "A Survey on Cellular Automata"
• Zuse´s publications on CA-based physics (1967, 1969, 1970), with comments by Juergen Schmidhuber
• Klaus Sutner. 1989. A Note on Culik-Yu Classes Complex Systems 3 (1989) 107-115.

関連項目

• オートマトン
• λパラメータ
• パーコレーション
• 格子ボルツマン法
• 格子気体法
• 光速 (セル・オートマトン)
• ドゥッチ数列

外部リンク

• Mirek's Cellebration - フリーなセル・オートマトン探索ソフトウェア MCell（Windows）と MJCell（Javaアプレット）のホームページ。1次元と2次元の各種セル・オートマトンをサポートしたソフトウェア。ルールとイメージも豊富にある。ソースコードもある。
• Modern Cellular Automata - 各種2次元セル・オートマトンが見られる（Javaアプレット）。
• Self-replication loops in Cellular Space - 自己複製ループのJavaアプレット
• Cellular Automata - セル・オートマトンのアプレット群がある (Monash University's Virtual Lab)
• Golly ライフゲームをはじめとする各種セル・オートマトンのシミュレータ。フォン・ノイマンのセル・オートマトンもシミュレートできる。
• Wolfram Atlas – 各種1次元セル・オートマトンの一覧
• Conway Life
• First replicating creature spawned in life simulator
• The Mathematics of the Models of Reference
• Fourmilab Cellular Automata Laboratory
• Busy Boxes, a 3-D, reversible, SALT-architecture CA
• テンプレート:SEP

テンプレート:Good articleテンプレート:Link GA