Edizione | [1st ed.] |
Pubbl/distr/stampa |
東京, : 近代科学社, 2012.3
|
Descrizione fisica |
オンライン資料1件
|
Collana |
ナチュラルコンピューティング・シリーズ / 萩谷昌己, 横森貴編
|
Soggetto topico |
情報理論
科学 -- データ処理
オートマトン
チューリング機械
|
ISBN |
4-7649-7087-2
|
Classificazione |
007.1
|
Formato |
Materiale a stampa |
Livello bibliografico |
Monografia |
Lingua di pubblicazione |
jpn
|
Nota di contenuto |
表紙 -- 口絵 -- ナチュラルコンピューティング・シリーズ刊行にあたって -- まえがき -- 目次 -- 第1章 可逆計算とは -- 1.1 計算における可逆性 -- 1.2 本書の構成と読み方 -- 第2章 可逆チューリング機械 -- 2.1 普通のチューリング機械と可逆チューリング機械 -- 2.2 普通のチューリング機械を可逆的な機械に作り変える -- 第3章 可逆論理素子と可逆論理回路 -- 3.1 可逆論理素子とは -- 3.2 可逆論理ゲート -- 3.3 可逆論理回路におけるゴミ情報の浄化法 -- 3.4 ビリヤードボールで可逆論理ゲートをシミュレートする -- 3.5 記憶を持つ可逆論理素子であるロータリー素子も面白い -- 3.6 ビリヤードボールモデルによるロータリー素子の実現 -- 第4章 可逆論理素子で可逆計算機を作る -- 4.1 ロータリー素子で可逆順序機械を作る -- 4.2 つづいて可逆チューリング機械をロータリー素子で作る -- 4.3 いろいろな2 状態可逆論理素子とその万能性 -- 第5章 可逆セルオートマトン -- 5.1 セルオートマトン(CA) とは -- 5.2 可逆セルオートマトン -- 5.3 可逆CA の設計方法 -- 5.4 可逆CA で可逆チューリング機械をシミュレートする -- 5.5 単純な2 次元可逆CA で可逆論理回路をシミュレートする -- 第6章 可逆カウンタ機械 -- 6.1 可逆カウンタ機械とは -- 6.2 可逆カウンタ機械を2 次元可逆CA 中に実現する -- 第7章 計算万能で単純な可逆システム -- 7.1 万能可逆チューリング機械を構成する -- 7.2 単純な1 次元万能可逆セルオートマトンを構成する -- 第8章 可逆セルオートマトンにおける自己増殖 -- 8.1 自己増殖セルオートマトンとは -- 8.2 自己増殖するオブジェクトを可逆CA 中に構成する -- 第9章 可逆計算の今後の展望 -- 参考文献 -- 索引 -- 著者略歴・奥付 -- お断り.
|
Record Nr. | UNINA-9910149612203321 |