• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

化学反応オートマトンの研究

Research Project

Project/Area Number 24700304
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Bioinformatics/Life informatics
Research InstitutionWaseda University

Principal Investigator

大久保 文哉  早稲田大学, 教育・総合科学学術院, 助手 (40608824)

Project Period (FY) 2012-04-01 – 2013-03-31
Project Status Discontinued (Fiscal Year 2012)
Budget Amount *help
¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords化学反応系 / 自然計算 / 計算モデル / 多重集合書き換え
Research Abstract

研究代表者は,2012年にReaction Automata(RA)と呼ばれる多重集合変換に基づく化学反応系のモデルを提案している.RAの特徴として,入力として文字列を扱うことによって,化学反応系のもつ計算能力を理論的に解析できることが挙げられる.本研究では,RAを基本とする幾つかの変形モデルについて考察をし,抽象的な化学反応系によって計算可能なクラスを明らかにすることと共に,他の既存の反応計算モデルとの関係を解明することを目標とした.
具体的には, 従来の極大並列的な適用によるRA(RAmp)に加え,逐次的な適用を用いたRA(RAsq)の計算能力について考察した.この際,(i)領域計算量による制限や,(ii)入力列の中に空文字を許すかどうかなどを考慮した.
特に(ii)については,入力列の中に空文字を許さない場合,RAsqのクラスは,ある方法で領域計算量を制限されたTuring機械(制限Turing機械)のクラスに包含されることを示した.また,制限Turing機械は万能計算の能力をもたないことを示した.これは,(入力列の中に空文字を許さない)RAmpがTuring機械と等価であることと対照的な結果である.
また,近年活発に研究されている計算モデルである細胞計算系(P System)とRAの関係についての結果を得ることができた.
今後の研究課題として,RAの解析を継続するとともに,提案したモデルの妥当性を計算機シミュレーションによって検証することが挙げられる.この際,RAに確率を導入したモデルを考案し,解析することも重要であると考えられる.

Report

(1 results)
  • 2012 Annual Research Report
  • Research Products

    (2 results)

All 2013 2012

All Presentation (2 results)

  • [Presentation] Recent Developments of Reaction Automata2013

    • Author(s)
      Fumiya Okubo
    • Organizer
      7th International Workshop on Natural Computing
    • Place of Presentation
      The University of Tokyo, JAPAN
    • Related Report
      2012 Annual Research Report
  • [Presentation] On the Computational Power of Reaction Automata Working in Sequential Manner2012

    • Author(s)
      Fumiya Okubo
    • Organizer
      4th International Workshop on Non-Classical Models of Automata and Applications
    • Place of Presentation
      Fribourg, Switzerland
    • Related Report
      2012 Annual Research Report

URL: 

Published: 2013-05-31   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi