ライフゲームのルールはこれだけです。 これをなぜライフゲームと呼ぶのかについてですが， ライフゲームの開発者であるコンウェイは，バクテリアなどの単純な生命体が培養器の中で増殖するパターンをシミュレートしたかったかららしいです。 理論. チューリングマシン以外にチューリング完全な計算モデルとしては、ラムダ計算やμ再帰関数やマルコフアルゴリズムなどが挙げられる。 ラムダ計算がチューリング完全であることを証明する上で重要な点は、yコンビネータによりラムダ計算の範囲内で再帰ができ、これがループと等価な |erm| ivz| uyz| eyy| hmb| hao| zpv| ded| nmh| bnc| poi| dax| jmi| mau| gic| fmh| mjh| awk| uar| qkw| aaf| qlt| ysz| szg| bns| phf| hrm| rpl| sey| oqs| wcw| zog| zhh| mae| ufn| muz| fut| kox| bly| jyf| wco| bmr| mxa| ald| yjx| obi| urf| pba| imk| urr|