Privacy Policy Cookie Policy Terms and Conditions ライフゲーム - Wikipedia

ライフゲーム

出典: フリー百科事典『ウィキペディア(Wikipedia)』

ライフゲーム(Conway's Game of Life)は1970年イギリス数学者ジョン・ホートン・コンウェイ (John Horton Conway) によって考案された生命の誕生、進化、淘汰などのプロセスを再現したシミュレーションゲームである。

生物集団においては、過疎でも過密でも個体の生存に適さないという個体群生態学的な側面を背景に持つ。セル・オートマトンのもっともよく知られた例でもある。

ペンタデカソロンと呼ばれるパターン
拡大
ペンタデカソロンと呼ばれるパターン

目次

[編集] 概要

ライフゲームは、1970年10月の『サイエンティフィック・アメリカン』誌のマーチン・ガードナーのコラム上で紹介されたところ多くの反響を呼んだ。興味深いことにライフゲームは万能チューリングマシンであることが証明されている。これは、ライフゲームは計算機で実行可能な全てのアルゴリズムを作ることができるということを表している。

この『サイエンティフィック・アメリカン』誌の出版後すぐに、グライダーパターンとR-ペントミノパターンが発見された。これらの興味深いパターンの発見やコンピュータの普及によってライフゲームは大流行した。夜間あるいは未使用のコンピュータ上でライフゲームのプログラムが動かされることとなり、興味深いパターンが多数発見された。

なお、ライフゲームはボードゲーム人生ゲームとは全く違うものである。英語ではいずれも"The Game of Life"であり紛らわしい。そのため、ライフゲームは"Conway's Game of Life"、人生ゲームは"Hasbro's Game of Life"として区別される。

[編集] ライフゲームのルール

ライフゲームは"0人ゲーム"である。通常のゲームではプレイヤーの操作でその後の状態が変化していくが、ライフゲームでは初期状態のみでその後の状態が決定されるからである。碁盤のような格子があり、一つの格子はセルと呼ばれる。各セルは8つのセルと接している。各セルには「生」と「死」の2つの状態があり、あるセルの次のステップ(世代)の状態は周囲の8つのセルの今の世代における状態により決定される。

セルの生死は次のルールに従う。基本的な考えは「過疎状態でも過密状態でも生き残ることはできない」というものである。

  • 誕生: 死んでいるセルの周囲に3つの生きているセルがあれば次の世代では生きる(誕生する)。
  • 維持: 生きているセルの周囲に2つか3つの生きているセルがあれば次の世代でも生き残る。
  • 死亡: 上以外の場合には次の世代では死ぬ。

下に次のステップでの生死の例を示す。生きているセルは黒、死んでいるセルは白で表す。

□■■
□■□
□□□

維持(生)

■□□
□□■
■□□

誕生

□■■
□■■
■□□

□□□
□■□
■□□

[編集] パターンの例

ライフゲームでは世代を経ることで最終的に死滅する図形が多い。

生き延びる場合の変化は4パターン(固定型、振動型、移動型、繁殖型)に分類することができる。

  • 固定型は世代が進んでも同じ場所で形が変わらないものを指す。
  • 振動型はある周期で同じ図形に戻るものを指す。
  • 移動型は一定のパターンを繰り返しながら移動していくものを指す。グライダーと呼ばれるものが有名である。
  • 繁殖型はマス目が無限であれば無限に増え続けるパターンである。

コンウェイは「無限にセルの数が増えつづけるパターンはありうるか」という問題に懸賞金をかけた。この問題は、1970年11月にゴスパー (Bill Gosper) により解かれた。それは30世代毎にグライダーを打ち出す「グライダー・ガン」と呼ばれるパターンであった。繁殖型には他にも、本体が通過した後に破片を残していく「汽車ポッポ」 (puffers) や、宇宙船が集まって移動しながらグライダーを発射していく「宇宙編隊」と呼ばれるものを含め様々なパターンが見つかっている。

これら4つの分類における単純な例を以下に示す。

[編集] 固定型の例

ブロック 蜂の巣 ボート

■■
■■

□■□
■□■
■□■
□■□

□■□
■□■
□■■

■■□
■□■
□■■

□■■□
■□□■
■□□■
□■■□

[編集] 振動型の例

ブリンカー ヒキガエル ビーコン 時計

□■□
□■□
□■□

□□■□
■□□■
■□□■
□■□□

□□■■
□□■■
■■□□
■■□□

□□■□
■□■□
□■□■
□■□□





□□□
■■■
□□□

□□□□
□■■■
■■■□
□□□□

□□■■
□□□■
■□□□
■■□□

□■□□
□□■■
■■□□
□□■□

[編集] 移動型の例

グライダー 軽量級宇宙船 中量級宇宙船 重量級宇宙船

□■□
■□□
■■■

□■□□■
■□□□□
■□□□■
■■■■□

□□□■□□
□■□□□■
■□□□□□
■□□□□■
■■■■■□

□□□■■□□
□■□□□□■
■□□□□□□
■□□□□□■
■■■■■■□

[編集] 繁殖型の例

グライダー・ガン (gliderguns)

□□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□■□■□□□□□□□□□□□
□□□□□□□□□□□□■■□□□□□□■■□□□□□□□□□□□□■■
□□□□□□□□□□□■□□□■□□□□■■□□□□□□□□□□□□■■
■■□□□□□□□□■□□□□□■□□□■■□□□□□□□□□□□□□□
■■□□□□□□□□■□□□■□■■□□□□■□■□□□□□□□□□□□
□□□□□□□□□□■□□□□□■□□□□□□□■□□□□□□□□□□□
□□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□■■□□□□□□□□□□□□□□□□□□□□□□

グライダーを打ち出すグライダー・ガン
拡大
グライダーを打ち出すグライダー・ガン
汽車ポッポ (puffers)

□□□■□
□□□□■
■□□□■
□■■■■
□□□□□
□□□□□
□□□□□
■□□□□
□■■□□
□□■□□
□□■□□
□■□□□
□□□□□
□□□□□
□□□■□
□□□□■
■□□□■
□■■■■

繁殖型の中には時間の2乗に比例した増加を示すパターンがありそれらは「ブリーダー」と呼ばれる。これもゴスパーにより発見された。

繁殖型には後にもっと単純なものが見つかっている。次の3つはいずれも無限に増え続けるパターンである。 1つ目のパターンは初期配置ではわずか10個のセルしか生きておらず(これが最少であることが証明されている)、2つ目のパターンは5×5に収まっている。3つ目のパターンはわずか1列である。

□□□□□□■□
□□□□■□■■
□□□□■□■□
□□□□■□□□
□□■□□□□□
■□■□□□□□

■■■□■
■□□□□
□□□■■
□■■□■
■□■□■

■■■■■■■■□■■■■■□□□■■■□□□□□□■■■■■■■□■■■■■

非常に長い間変化を続ける長寿型(メトセラ)と呼ばれるパターンがある。「ダイハード」は130世代後に死滅するパターンであり、「ドングリ」 (acorn) は13個のグライダーを生み出すのに5206世代かかるパターンである。

[編集] 長寿型の例

ダイハード ドングリ

□□□□□□■□
■■□□□□□□
□■□□□■■■

□■□□□□□
□□□■□□□
■■□□■■■

グライダーを利用することで他のオブジェクトとの相互作用を得ることができる。例えばタイミングよくいくつかのグライダーを打ち出すことでブロックを近くに運んできたり遠くへ移動させたりすることができる。この移動機構はカウンターをシミュレートしていると考えることができる。また、グライダーなどのパターンの組み合わせでANDORNOTゲートを構築することができる。 現在に至るまで他にも様々な性質を持つパターンが発見されていて、グライダー・ガンによる論理ゲート以外にも、素数生成器や大規模でゆっくりとした速度でライフゲームをエミュレートするunit cellなどがあげられる。

ライフゲームは万能チューリングマシンであることが示されており、無制限のメモリを備えたコンピュータと同じぐらい強力である。


[編集] バリエーション

オリジナルのライフゲーム以外にも様々な新しいルールを考えることができる。周囲に3つの隣人がいれば生命が誕生し、周囲に2つか3つの隣人がいれば生き残りそれ以外の場合では死ぬというルールである標準のライフゲームを23/3と表す。最初の数 (2,3) は生き残るために必要な数を表し、次の数 (3) は生命の誕生に必要な数を表す。従って16/6は、「6つの隣人がいればセルが誕生し、1つあるいは6つの隣人がいれば生き残る」ことを意味する。 バリエーションの中では、23/36が有名である。HighLifeと呼ばれ、オリジナルのルールに加えて、6つの隣人がいれば誕生するというルールを付け加えたものである。

[編集] 関連項目

[編集] 外部リンク


THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu