| 研究課題/領域番号 |
02452010
|
|---|
| 研究種目 |
一般研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
田中 俊一 九州大学, 理学部, 教授 (00028127)
|
|---|
| 研究分担者 |
大塚 寛 九州大学, 理学部, 助手 (30203839)
川崎 英文 九州大学, 理学部, 講師 (90161306)
中尾 充宏 九州大学, 理学部, 助教授 (10136418)
柳川 尭 九州大学, 理学部, 助教授 (80029488)
古川 長太 九州大学, 理学部, 教授 (50037165)
山本 野人 九州大学, 理学部, 助手 (30210545)
河原 康雄 九州大学, 理学部, 助教授 (90091181)
|
|---|
| 研究期間 (年度) |
1990 – 1991
|
| 研究課題ステータス |
完了 (1991年度)
|
| 配分額 *注記 |
6,400千円 (直接経費: 6,400千円)
1991年度: 2,600千円 (直接経費: 2,600千円)
1990年度: 3,800千円 (直接経費: 3,800千円)
|
|---|
| キーワード | 複雑システム / 形式的方法 / 公理的集合論 / 並行性 / 超準解析 / 並行プロセス / 述語論理 |
|---|
| 研究概要 |
計算科学と脳、市場を典型とする複雑システム(complex system)の数理を結びつけることを検討した。パラダイムの設定が具体的問題を規定するので、やや迂遠ではあるが前者に力を注いだ。その結果枠組みとしては公理的集合論に基づく「形式的な数学と科学」を想定するのが妥当であるとの見解にいたった。現在すでに解析学の分野ではそのようなものとして超準解析とくに超準確率論が盛んに研究されている。またMilnerの計算システムの理論(CCS)とBarwiseによる(自然言語の分野での)「状況意味論」という独立に進んできた理論が∈に関し無限下降列を許す集合論で見事に基礎付けられたのを契機として、情報と言語の分野も(数学と同様に)集合論上に築かれ得るという確信が生まれて来ている。
市場の均衡理論が微分学上に築かれ(静力学の類似)、力学系的な神経回路網が盛んに研究されているように力学系は複雑システムの現象面を表す大きな要素である。超準解析であらわれた無限小、超有限という概念は有限と無限、離散と連続の接点にあり、大きな有限系を扱う自然な枠組みを与えてくれる。
以上の概要にもとづき脳の数理等関連の研究者を招き催した研究集会で発表し、「研究成果報告書」にまとめた。
|
