课题基金 / 基金详情

自己再帰構造論と項書き換えシステムに基づく計算生命系の構築

自己再帰構造論と項書き換えシステムに基づく計算生命系の構築
基于自递归结构理论和术语重写系统的计算生命系统构建
批准号：
08233205
负责人：
田中 博
金额：
$1.28万
依托单位：
Tokyo Medical and Dental University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1996
资助国家：
日本
项目状态：
已结题
起止时间：
1996 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08233205/
关键词：
項書き換え系自己再帰構造複雑性生命反応系停止性合流性

项目摘要

项目成果

田中 博的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
これまでλ計算やチューリングマシンや帰納関数と同等の計算能力をもつ計算系として非古典論理の1つである項書き換え系(TRS:Term Rewriting System)が生命の自己再帰構造の記述と動作原理の解明に利用できることを見出し、ダイナミクスを生じるための必要な最小上界領域の決定、TRS系が環境に適用しつつ円環構造を生成する例などを報告していたが、本年度は本研究でこのTRSによる計算生命系の記述とそれの形式解析および計算シュミレーションを発展させ、生命の円環構造生成過程および複雑性進化の形式的本質を明確化した。すなわち項書き換え系による生命自己再帰構造の解明に関しては、1.生命反応系の円環構造の出現と消滅に関する動作原理の研究:TRS規則群から円環構造をなした規則の連鎖系が形成される過程が成り立つための条件を検討した。2.円環構造の"変化"および複数の円環構造の集団力学:円環構造の"環境"による変化および多数の円環構造間での統合、競合の効果をみた。その結果、結論として規則系の合流性と停止性のバランスによって決まることが明らかとなった。つまり系の性質はこの2つの基本原理によって決定される。その際、停止性は円環構造の出現の有無に関する基本原理に対応し、合流性は円環構造の融合、分離による複雑化に関する基本原理に対応していることを明らかにすることができた。我々はこの2つの基本原理に関する理論研究をすすめており、系が円環を発生させる条件を明らかにすることができた。現在系が合流性を満たす条件について更に研究を行っている。
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
Tsumoto,S.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1996)
Tsumoto,S. 和 Tanaka,H.：“人工生命和机器人” 大分大学，154 (1996)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Suzuki,Y.Tsumoto,S.and Tanaka,H.: "A Life 5 (5th Workshop on Artificial Life)" MIT Press, 212 (1996)
Suzuki,Y.Tsumoto,S. 和 Tanaka,H.：“A Life 5（第五届人工生命研讨会）”麻省理工学院出版社，212 (1996)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Suzuki,Y.Tsumoto,S.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1996)
铃木，Y.Tsumoto，S.和田中，H.：“人工生命和机器人”大分大学，154（1996）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Suzuki,Y.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1997)
铃木 Y. 和田中 H.：“人工生命和机器人” 大分大学，154 (1997)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
画像情報を用いた生活空間における混合音の理解に関する研究
  • 批准号：
    23K11074
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.91万
  • 财政年份：
    2023
  • 负责人：
    田中 博
  • 依托单位：
    Kanagawa Institute of Technology
理系グローバル人材育成を目指す、高校生「国際共同課題研究」の教育効果と手法の考察
  • 批准号：
    22K03012
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.66万
  • 财政年份：
    2022
  • 负责人：
    田中 博
  • 依托单位：
    Ritsumeikan University
生命系の大局的構造とその階層的複雑化に対する理論構築
  • 批准号：
    15011214
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $3.14万
  • 财政年份：
    2003
  • 负责人：
    田中 博
  • 依托单位：
    Tokyo Medical and Dental University
医療マルチエキスパートシステムの研究と開発
  • 批准号：
    98F00073
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $1.41万
  • 财政年份：
    1998
  • 负责人：
    田中 博
  • 依托单位：
    Tokyo Medical and Dental University
海外基金