• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2020 年度 実績報告書

反応オートマタ理論に基づく化学反応計算系の基礎的研究

研究課題

研究課題/領域番号 17K00021
研究機関早稲田大学

研究代表者

横森 貴  早稲田大学, 教育・総合科学学術院, 教授 (60139722)

研究期間 (年度) 2017-04-01 – 2021-03-31
キーワード化学反応系 / 受理計算モデル / 言語の表現定理 / オートマトンの分解
研究実績の概要

本研究における目的は,分子レベルでの化学反応系の振る舞いを解析するために,多重集合をベースとする構成的な離散的計算モデルを構築し,そこで得られる計算論的な知見をもとに,最終的に化学反応に基づく反応プログラミング技法を確立する事である.我々が提案した化学反応オートマトン(CRA)モデルはDNAなど生体ナノ高分子による実装の可能性がIn Vitro実験において示されており,現実的な側面において重要である.本研究の研究実績の概要は以下のとおりである.
(1) CRAが受理する言語族に対して,以下のような代数的な表現定理が成り立つ事を示した.即ち,任意のCRAが受理する言語Lは,ある準同型写像hと2-局所的言語Rを用いて,L=h(Bn∩R)と表現可能である.ここで,Bnは〝部分Balanced言語”と呼ばれる固定した言語である.これにより,化学反応による計算能力に対する代数的な特徴付けが得られた.
(2) 決定性と可逆性をもつCRAは実際的な局面において重要な性質である.これらの決定性CRAと可逆的CRAの計算能力に関する解析結果を得た.
(3) CRAを記号列変換器にまで拡張したChemical Reaction Transducers(CRT)を新たに導入し,その記号列変換器としての代数的性質を解析した.CRTに分解(Decomposition)と分割(Factorization)という2つの概念を導入し,CRTが分解可能であるための十分条件を示した.また,CRTの分割に関しては「CRTは二つのa-transducerと固定された関数とに分割
できる」という表現定理を導くことができた.
(4).我々が2012年に発表した反応オートマトン理論は,徐々に学界での知名度を得ているが,さらなる広報活動が必要である.そのため,国際誌上でのサーベイ論文の発表を行った.

  • 研究成果

    (2件)

すべて 2021 2020

すべて 雑誌論文 (2件) (うち国際共著 2件、 査読あり 2件)

  • [雑誌論文] Theory of Reaction Automata: a Survey2021

    • 著者名/発表者名
      T.Yokomori and F.Okubo
    • 雑誌名

      Journal of Membrane Computing

      巻: 3 ページ: 63-85

    • DOI

      10.1007/s41965-021-00070-6

    • 査読あり / 国際共著
  • [雑誌論文] On the computing powers of L-reduction of insertion languages2020

    • 著者名/発表者名
      F.Okubo and T.Yokomori
    • 雑誌名

      Theoretical Computer Science

      巻: 862 ページ: 224-235

    • DOI

      10.1016/j.tcs.2020.11.029

    • 査読あり / 国際共著

URL: 

公開日: 2021-12-27  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi