| 研究課題/領域番号 |
02680020
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
坂部 俊樹 名古屋大学, 工学部, 助教授 (60111829)
|
|---|
| 研究分担者 |
結縁 祥治 名古屋大学, 工学部, 助手 (70230612)
酒井 正彦 名古屋大学, 工学部, 助手 (50215597)
直井 徹 岐阜大学, 工学部, 助教授 (10207699)
平田 富夫 名古屋大学, 工学部, 助教授 (10144205)
稲垣 康善 名古屋大学, 工学部, 教授 (10023079)
|
|---|
| 研究期間 (年度) |
1990 – 1991
|
| キーワード | 並行計算 / 関数型計算モデル / CCS / ブロ-ドキャスト / ナロ-イング / 並行プセス / 項書換え系 / 動的項書換計算 |
|---|
| 研究概要 |
本研究では、平成2、3年度の両年に渡って並行計算モデルとしてのダイナミックナロ-イングシステム(DNS)について研究を行ない、以下の成果を得た。
まず、DNSの原型となる関数型計算モデルとして、ソフトウェアを代数的に記述でき、かつ、検証や再利用技術をも形式的に記述できることを目標とした動的項書換え計算(DTRC)について研究を行ない、フレ-ムと呼ぶ特別な、しかし、ある程度一般性のある型の項に限って、書換えが合流するための十分条件を与えることができた。停止性についても、通常の項の上の整礎擬順序をDTRCの項上に拡張する方法を示すとともに、与えられた整礎擬順序で停止性が保証されるDTRCの項の2種類のクラスを示した。
また、並行計算をモデル化するための基礎研究として、CCSと同様な通信機構の他に、値を表現する体系として項書換え系を含み、また、値によって振舞いを切替える条件分岐の機構も備えた新しい体系を提案し、テスト精度意味論について検討した。
さらに、並行計算にブロ-ドキャスト通信を組み込んだ並行プロセスの体系としてCCS+bを提案し、ブロ-ドキャスト通信を同報性および受信の非決定性という2つの性質で特徴付け、提案する体系CCS+bがその性質を持つことを示した。また、CCS+bの代数的な性質として、並行演算、選択演算の結合則と可換則、ならびに、展開則が成立することを示すことができた。
最後に、書換え型の計算モデルに共通したオペレ-ションである木パタ-ンマッチングについて研究し、木パタ-ンマッチングの並列アルゴリズムを提案した。このアルゴリズムは、従来のRamesh等のアルゴリズムの改善になっている。
|
