| 研究概要 |
今年度は,まず,Mayrによるプロセス書換え系と抽象高階書換え系との対応関係について検討し,ついでMilnerにより提案されたπ-計算系の抽象高階書換え系による定式化の検討を行った.この過程でいくつかの問題点が浮かび上がった.その中でもっとも大きな問題点は,局所化に関する違いの問題である.抽象高階書換え系は,関数の数学的理論であるλ計算に基礎を置いている.このため,局所化はλ抽象により導入される束縛変数により局所化を実現している.一方,π-計算系が提供している局所化の枠組みはλ抽象に類似しているが,それよりも柔軟性が高い.このため,抽象高階書換え系により定式化しようとすると,局所化の部分で微妙にずれが生じてしまうことがわかった.この問題に関して,いくつかの解決策を検討したが,決定的なものはまだ得られていない.平成14年度には,この点についての検討をひきつづき行い,π-計算系の抽象高階書換え系への定式化方法の確立をめざす.
また,プロセス計算を抽象高階書換え系で定式化できれば,高階項書換え系上での高階ナローイングの研究と組み合わせることで,並行関数論理型プログラミング言語に関する自然な計算モデルが得られることが期待される.この方向へ研究をすすめるために、Prehoferにより提案された高階ナローイング計算系を出発点として,新たな高階ナローイング計算系をいくつか提案し,それらの完全性を示した.高階ナローイング計算系では,その探索空間の広さが実装上の大きな問題点となるが,提案された計算系は,Prehoferのものより探索空間をより小さくできる.
|
