計算科学と複雑システム
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-02452010 |
|---|---|
| 研究種目 | 一般研究(B) |
| 研究分野 | 理学 数学 数学一般 |
| 研究機関 | 九州大学 |
| 代表研究者 | 田中 俊一 |
| 研究分担者 | 大塚 寛 |
| 研究分担者 | 川崎 英文 |
| 研究分担者 | 中尾 充宏 |
| 研究分担者 | 柳川 尭 |
| 研究分担者 | 古川 長太 |
| 研究分担者 | 山本 野人 |
| 研究分担者 | 河原 康雄 |
| 研究期間 開始年月日 | 1990/4/1 |
| 研究期間 終了年度 | 1991 |
| 研究ステータス | 完了 (1991/4/1) |
| 配分額（合計） | 6,400,000 (直接経費 :6,400,000) |
| 配分額（履歴） |
1991年度：2,600,000 (直接経費 :2,600,000) 1990年度：3,800,000 (直接経費 :3,800,000) |
| キーワード | 複雑システム 形式的方法 公理的集合論 並行性 超準解析 並行プロセス 述語論理 Complex Systems Formal Methods Axiomatic Set Theory Concurrency Nonstandard Analysis |