2000 Fiscal Year Annual Research Report
| Project/Area Number |
12680352
|
|---|
| Research Institution | Okayama University |
|---|
Principal Investigator |
村上 昌己 岡山大学, 工学部, 助教授 (60239499)
|
|---|
| Keywords | 線形論理 / 並行計算 / モーバイルプロセス / プログラム変換 |
|---|
| Research Abstract |
本研究は交付申請の際に記したように、移動計算の様々な種類のうち、二つの形態に絞って研究を進める.ここで対象とする形態のひとつはプログラムコードの送受信を行なうことによる移動計算であり、もうひとつは計算主体が所属するグループを変化させていくことによる移動である.
本年度は移動型の並行プロセス計算モデルのうちその機能を制限したモデルを対象に、等価性理論の基礎となる操作的意味論の拡張を行なった.基本としたモデルは線形論理を基礎とした非同期通信のモデルである.このモデルでは、プロセスの移動を陽に記述するために、プロセス間の通信で用いられる名前の有効範囲の記述法について新たな提案を行なった.この記述法は、従来の構文を用いたものと異なり、多次元の表記を用いることにより複数の名前の有効範囲を同時に正確に表現するものである.これによって、プロセスの移動にともなう有効範囲の変化を陽に記述し、移動型の並行プロセスの等価性についての動作の等価性を記述する上で有効であることが期待されることが判明している.
またこの記述法を用いて、プロセスの実行時最適化技法が、形式的に記述できることが判明した.また、ここで示した実行時最適化の基礎となる考え方は、論理型プログラムのプログラム変換技法に応用が可能であることが明らかとなった。すなわち逐次型のPrologで記述され、その特定の手続き的な意味論に依存した正当性を持つプログラムを、並列導出可能な形に変換する技法を提案した.ここでは線形論理における実行時最適化と同様な、コンティニュエーションの部分計算の並列化が適用されており、この手法が様々な言語において応用可能であることが見通しとして得られた.
|
-
[Publications] Murakami,Masaki: "Formal Models of Mobile Concurrent Computations in Distributed Environments"Proc.Of SSGRR 2000,. 274.pdf. (2000)
-
[Publications] Murakami,Masaki: "Run Time Transformation of Concurrent Process Using Multi Dimensional Representation of Linear Logic"Proc.ISPSE'00, IEEE Computer Society. 226-235 (2000)
-
[Publications] 渡辺一郎: "コンティニュエーションのデータ化を用いた探索アルゴリズムの並列化"Proc.Of PPL 2001(発表予定).
