1990 Fiscal Year Annual Research Report
| Project/Area Number |
02452010
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
田中 俊一 九州大学, 理学部, 教授 (00028127)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
山本 野人 九州大学, 理学部, 助手 (30210545)
大塚 寛 九州大学, 理学部, 助手 (30203839)
柳川 尭 九州大学, 理学部, 助教授 (80029488)
中尾 充宏 九州大学, 理学部, 助教授 (10136418)
河原 康雄 九州大学, 理学部, 助教授 (90091181)
|
|---|
| Keywords | 複雑システム / 並行プロセス / 超準解析 / 述語論理 |
|---|
| Research Abstract |
複雑システムの数理をプログラムの論理と超準解析の融合を出発点として構築することを試みている。両者は述語論理にもとづく形式的方法という共通点を有し、その対象がプログラムと解析学という点で大きく異なっている。論理にもとづくコンピュ-タ・サイエンスと長い伝統をもつ解析学の融合は脳、市場などの複雑システムの数理を展開するのに不可欠である。最近K.M.Chandyが「連続システムの論理」というこの方向を目指すと思われる構想をとなえ、神経回路モデルに応用する可能性を示した。各要素が不規則に休止するような非決定性を許しても微分程式で支配される力学系としての性質が継承されることをプログラミング論理の類似で示そうというものである。我々は同じモデルを直接超準解析の立場でとらえることにより彼の枠組みによらないでも同じ結論が得られるという観点で検討している。しかしこの簡単な例の扱い方ともかく、Chandyの立場も我々の観点もより本格的な複雑システムの数理の構成要素を形成することが期待されるのでその方向にむけて理論をすすめるべく試みている。
|
-
[Publications] Y.Kawahara: "Existence of the characteristic numbers associated with cellular auto mata with local transition rule 90" to appear in Bull.Inform.Cybernet,.
-
[Publications] H.Ohtsuka: "Comparison of two categorical models of typed λーcalculus" to appear in Bull.Inform.Cybernet,.
-
[Publications] A.Kuniba: "Fusion RSOS models and rational coset models" To appear in Proceedings of LOMI conference Nov.1990.
-
[Publications] T.Yanagawa: "Homogeneity test with a generalized MantelーHaenszel es timator for L_<2×K> contigency tables" J.Amer.Stat.Assoc.85. 744-748 (1990)
-
[Publications] E.Bannai: "Ennola type dualities in the character tafles of some association schemes" Memoirs of the Faculty of Science,Kyushu University. 44. 129-143 (1990)
