セルオートマトン シミュレータ - ライフゲーム・ルール110を体験

概要

セル・オートマトン（CA）は、有限個の状態を持つセルの格子から構成される離散的な計算モデルです。各タイムステップで、すべてのセルが近傍セルの状態に基づく固定ルールに従って同時に状態を更新します。単純な仕組みにもかかわらず、安定したパターンからカオス的なダイナミクスまで、驚くほど複雑な振る舞いを生み出すことができ、創発と自己組織化の研究に強力なツールとなっています。

セル・オートマトンの歴史

セル・オートマトンは1940年代にロスアラモス国立研究所のスタニスワフ・ウラムとジョン・フォン・ノイマンによって初めて研究されました。フォン・ノイマンは自己複製システムに興味を持ち、万能計算が可能な2次元CAを設計しました。1970年にはジョン・コンウェイがライフゲームを考案し、単純なルールから複雑な振る舞いが生まれることを示して広く知られるようになりました。1980年代にはスティーブン・ウルフラムが1次元セルオートマトンを体系的に研究し、その振る舞いをクラス1（均一）、クラス2（周期的）、クラス3（カオス的/ランダム）、クラス4（複雑/カオスの縁）の4つに分類。単純なプログラムが自然現象に匹敵する複雑性を生み出せることを提唱しました。

セル・オートマトンの種類

セル・オートマトンは次元数、近傍の定義、ルール構造によってさまざまな種類があります。本サイトでは、コンウェイのライフゲーム（2次元）と1次元セルオートマトン（全256ルール）のシミュレーションを体験できます。

コンウェイのライフゲーム

ライフゲームは数学者ジョン・ホートン・コンウェイが1970年に考案した2次元セル・オートマトンです。誕生/生存ルール（B3/S23）に従い、死んだセルは隣接する生きたセルがちょうど3つあれば誕生し、生きたセルは2つか3つの生きた隣接セルがあれば生存します。この単純なルールからグライダーやパルサーなど多彩なパターンが生まれ、チューリング完全であることも証明されています。

1次元セルオートマトン（ECA）

1次元セルオートマトン（Elementary Cellular Automaton）は、各セルが2つの状態（0/1）を持ち、次の状態がそのセルと左右の近傍セル（計3セル）によって決まる最もシンプルなCAです。3セルの組み合わせは8通りあるため、ルールは全部で256通り（0〜255番）存在します。Rule 30のようなカオス的パターンを生むルールから、Rule 110のようにチューリング完全なルールまで、多様な振る舞いを示します。

ルール110とは？

ルール110は1次元セルオートマトンのルールの一つで、各セルとその左右の近傍セル（計3セル）の状態から次世代の値を決定します。出力パターンを2進数で読むと「01101110」、10進数で「110」となるためこの名前がつきました。2004年にマシュー・クックがチューリング完全性を証明し、この極めて単純なルールがあらゆる計算をシミュレートできることが示されました。実行すると、規則的な三角形パターンとカオス的な領域が共存する独特の複雑な模様が現れます。

応用分野

• 物理現象のモデリング（結晶成長、流体力学、拡散）
• 生物学的シミュレーション（個体群動態、パターン形成）
• 暗号理論と乱数生成（Rule 30）
• 交通流シミュレーションと都市計画
• 理論計算機科学（計算の万能性、複雑性理論）