研究課題/領域番号 |
02452010
|
研究機関 | 九州大学 |
研究代表者 |
田中 俊一 九州大学, 理学部, 教授 (00028127)
|
研究分担者 |
山本 野人 九州大学, 理学部, 助手 (30210545)
大塚 寛 九州大学, 理学部, 助手 (30203839)
柳川 尭 九州大学, 理学部, 助教授 (80029488)
中尾 充宏 九州大学, 理学部, 助教授 (10136418)
河原 康雄 九州大学, 理学部, 助教授 (90091181)
|
キーワード | 複雑システム / 並行プロセス / 超準解析 / 述語論理 |
研究概要 |
複雑システムの数理をプログラムの論理と超準解析の融合を出発点として構築することを試みている。両者は述語論理にもとづく形式的方法という共通点を有し、その対象がプログラムと解析学という点で大きく異なっている。論理にもとづくコンピュ-タ・サイエンスと長い伝統をもつ解析学の融合は脳、市場などの複雑システムの数理を展開するのに不可欠である。最近K.M.Chandyが「連続システムの論理」というこの方向を目指すと思われる構想をとなえ、神経回路モデルに応用する可能性を示した。各要素が不規則に休止するような非決定性を許しても微分程式で支配される力学系としての性質が継承されることをプログラミング論理の類似で示そうというものである。我々は同じモデルを直接超準解析の立場でとらえることにより彼の枠組みによらないでも同じ結論が得られるという観点で検討している。しかしこの簡単な例の扱い方ともかく、Chandyの立場も我々の観点もより本格的な複雑システムの数理の構成要素を形成することが期待されるのでその方向にむけて理論をすすめるべく試みている。
|