保存的なセル・オートマトンのプログラミングに関する研究

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500015
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 広島大学
• 研究代表者: 今井 勝喜 広島大学, 大学院・工学研究院, 助教 (20253106)
• 研究期間 (年度): 2010 – 2012
• キーワード: オートマトン理論 / 形式言語理論 / セルオートマトン

研究概要

数保存的な性質を持つセル・オートマトンは物理シミュレーションなどに広く使われているにも関わらず、その性質を計算能力と規則のプログラミングの見地から研究する試みはあまり多くなかった。本研究では、1次元2近傍の保存的セル・オートマトンの万能性を示し、1次元3近傍の場合に可逆性と保存性の両方を持つセル・オートマトンの規則の設計手法を提案した。さらに、不均一な近傍における保存的セル・オートマトンの実装を可能にするため、ある種の保存的セル・オートマトンを容易に設計することができる分割セル・オートマトンを準周期タイル上のセル・オートマトンに実装する方法を示した。

研究成果

• [雑誌論文] A 6-state universal semi-totalistic cellular automaton on kite and dart Penrose tilings (2013)
  • 著者名/発表者名: Imai,K., Hatsuda,T., Poupet,V., Sato,K.
  • 雑誌名: Fundamenta Informatica
  • 査読あり
• [雑誌論文] Transferring protocol using local information on ad hoc sensor network and its behaviors (2013)
  • 著者名/発表者名: Nakayama, D., Sakamoto,N., Imai,K
  • 雑誌名: International Journal of Networking and Computing 巻: 3 ページ: 170-180
  • 査読あり
• [雑誌論文] Fluctuation- driven computing on number-conserving cellular automata. (2012)
  • 著者名/発表者名: Lee,J., Imai,K., Zhu, Q-S.
  • 雑誌名: Information Science 巻: 187 ページ: 266-276
  • 査読あり
• [学会発表] On the behaviors of signals in cellular automata on Penrose tilings (2013)
  • 著者名/発表者名: Imai, K., Hatsuda T.
  • 学会等名: 7th International Workshop on Natural Computing
  • 発表場所: Tokyo.
  • 年月日: 2013-03-20
• [学会発表] Determining the Critical Temperature of the Continuous-State Game of Life, Proc (2012)
  • 著者名/発表者名: Adachi,S., Lee,J., Peper,F., Isokawa,T., Imai,K
  • 学会等名: 10th International Conference on Cellular Automata for Research and Industry, ACRI
  • 発表場所: Greece
  • 年月日: 2012-09-25
• [学会発表] A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings,, Proc. (2012)
  • 著者名/発表者名: Imai,K., Hatsuda,T., Poupet,V., Sato,K.
  • 学会等名: 18th Int. Workshop on Cellular Automata and Discrete Complex Systems
  • 発表場所: La Marana, Corsica, France
  • 年月日: 2012-09-20
• [学会発表] On radius 1 nontrivial reversible and number- conserving cellular automata. Proc (2012)
  • 著者名/発表者名: Imai, K., Martin, B., Saito, R
  • 学会等名: 4th Workshop on Reversible Computation, Copenhagen
  • 年月日: 2012-07-20
• [学会発表] Waves and signals on "Life-like" and "Generation" cellular automata on a Penrose tiling (2012)
  • 著者名/発表者名: Imai,K.,Hatsuda,T
  • 学会等名: 6th International Workshop on Natural Computing
  • 発表場所: Tokyo.
  • 年月日: 2012-03-28
• [学会発表] A Transferring Protocol with Local Information on an Ad-Hoc Sensor Network. Proc. (2011)
  • 著者名/発表者名: Nakayama, D., Sakamoto, N., Imai, K.
  • 学会等名: 2nd International Conference on Networking and Computing
  • 年月日: 2011-12-02
• [学会発表] Cellular automata, Boolean functions, Pseudo-random generators, Symmetric cryptography, Proc (2011)
  • 著者名/発表者名: Formenti,E., Imai,K., Martin,B. and Yunes
  • 学会等名: 17th International Workshop on Cellular Automata and Discrete Complex Systems
  • 発表場所: Santiago, Chile.
  • 年月日: 2011-11-21
• [学会発表] 同期 Larger than Life セル・オートマトンのグライダーの安定性について (2010)
  • 著者名/発表者名: 荒巻、今井、坂本
  • 学会等名: 計測自動制御学会システム・情報部門学術講演会
  • 発表場所: 京都市
  • 年月日: 2010-11-25
• [学会発表] 可逆性と保存性を同時に満たすセルオートマトンの探索 (2010)
  • 著者名/発表者名: 斉藤、今井、森田、岩本
  • 学会等名: 平成 22 年度電気・情報関連学会中国支部連合大会
  • 発表場所: 岡山市
  • 年月日: 2010-10-23
• [学会発表] On radius 1-dimensional reversible and number- conserving cellular automata (2010)
  • 著者名/発表者名: Imai, K., Martin, B., Saito, R
  • 学会等名: LAシンポジウム
  • 発表場所: 浜松市
  • 年月日: 2010-07-21
• [学会発表] On universality of radius 1/2 number-conserving cellular automata, Proc (2010)
  • 著者名/発表者名: Imai, K., Alhazov, A
  • 学会等名: 9th International Conference of Unconventional Computation UC2010
  • 年月日: 2010-06-21
• [図書] セルオートマトン (2011)
  • 著者名/発表者名: Schiff, J.梅尾, 足立, 磯川, 今井, 小松崎, 李訳
  • 総ページ数: 250
  • 出版者: 共立出版