著者
菅田 一博 森田 憲一
雑誌
情報処理
巻号頁・発行日
vol.13, no.7, 1972-07-15
著者
森田 憲一
出版者
一般社団法人情報処理学会
雑誌
情報処理 (ISSN:04478053)
巻号頁・発行日
vol.35, no.4, pp.306-314, 1994-04-15
被引用文献数
5
著者
今井 克暢 森田 憲一
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告. [プログラミング-言語基礎実践-]
巻号頁・発行日
vol.94, no.21, pp.121-128, 1994-03-09

一斉射撃問題を可逆(すなわち,逆向きにも決定的な)セル・オートマトン(RCA)で実現できるか考察した.まず従来の単一の射撃状態からなる一斉射撃解は構成できないことを証明した.そこで,RCAにおける一斉射撃解を複数の射撃状態を許したものとして定義し,この条件の下でMinskyの3n時間解を540状態のRCAに埋め込めることを示した.その際,分割セル・オートマン(PCA)を用いた.これはCAのサブクラスとみなすことができ,RCAの設計を容易にする.さらに3n時間解に基づく99状態の解を可逆PCAによって構成した.
著者
森田 憲一 ALHAZOV Artiom
出版者
広島大学
雑誌
特別研究員奨励費
巻号頁・発行日
2008

細胞膜計算システム(Pシステム)は、細胞内の物質の結合・解離や細胞間の物質の移動などを抽象化した計算モデルであり、自然計算(Natural computing)の一分野である。昨年度に続きこのシステムの諸性質、特に計算万能性に関する性質を明らかにするとともに、やはり自然計算の分野に属する可逆コンピューティングや保存的コンピューティングとの接点についての研究も行い、以下の結果を得た。1.Pシステム、特に多重集合書換システムと、それに対する可逆性の導入細胞膜が1つであるようなPシステムは、多重集合書換システムとして定式化できる。このようなシステムを計算万能性を保持したままどのように単純化できるかをいくつかの視点から明らかにした。一方、そのようなシステムに対して物理的な可逆性に相当する制約や決定性制約を加えた場合に計算万能となるための十分条件を与えた。2.可逆論理素子の計算万能性昨年度に示した、14種類の2状態3記号可逆論理素子がすべて計算万能になるという成果を大幅に拡張し、k>2の場合にはあらゆる2状態k記号可逆論理素子がすべて計算万能になるという結果を導いた。3.保存的セルオートマトンの近傍半径の縮小物質やエネルギーの保存則に相当する性質を持つセルオートマトンの近傍半径を1/2にまで縮小できることを証明した。これにより、この種のセルオートマトンも計算万能性を有することが結論できる。
著者
森田 憲一
雑誌
情報処理
巻号頁・発行日
vol.53, no.5, pp.496-502, 2012-04-15

可逆的な計算システムというのは,そのシステムのどの状態も,直前の時刻にとり得る状態を高々1つしか持たないようなシステムのことをいう.一見すると些細でつまらない性質のように見えるこの制約が物理的可逆性(時間の逆方向にも同じ法則が成立つという性質)と密接に関わっており,また計算におけるエネルギー消費の問題を考えるときに重要な役割を果たすのだ,ということをLandauer~(1961)が指摘して以後,この計算のパラダイムが注目されるようになった.本解説では,可逆的な計算機構が可逆的な論理素子によって,さらにはそれが可逆的な物理的システムによってどのように構成できるのかという問題を,理論的な可逆計算モデルに基づいて論じる.特に,可逆コンピューティングの世界にどのような新しい設計のアイディアがあり得るのかを例を用いて説明する.