並列・分散プロセスにおける協調メカニズムの基礎研究
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-01550289 |
|---|---|
| 研究種目 | 一般研究(C) |
| 研究分野 | 工学 電気工学 情報工学 |
| 研究機関 | 広島大学 |
| 代表研究者 | 翁長 健治 |
| 研究分担者 | 辻 敏夫 |
| 研究分担者 | 小野 典彦 |
| 研究分担者 | 渡邉 敏正 |
| 研究期間 開始年月日 | 1989/4/1 |
| 研究期間 終了年度 | 1989 |
| 研究ステータス | 完了 (1989/4/1) |
| 配分額（合計） | 1,700,000 (直接経費 :1,700,000) |
| 配分額（履歴） |
1989年度：1,700,000 (直接経費 :1,700,000) |
| キーワード | 並列分散プロセス 協調メカニズム ペトリ・ネット デ-タ・フロ-・グラフ 知識システム間の協調 命題論理プログラムの証明抽出 |