2000 Fiscal Year Annual Research Report
等式制約解消系のネットワークによるグローバルコンピューティング
| Project/Area Number |
12480066
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
井田 哲雄 筑波大学, 電子・情報工学系, 教授 (70100047)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
山田 俊行 筑波大学, 電子・情報工学系, 助手 (60312831)
南出 靖彦 筑波大学, 電子・情報工学系, 講師 (50252531)
ミデルドープ アート 筑波大学, 電子・情報工学系, 助教授 (30251044)
|
|---|
| Keywords | 関数論理型言語 / 制約解消系 / 計算モデル / 高階遅延ナローイング / ナローイング計算系 / 求解完全性 |
|---|
| Research Abstract |
ネットワーク上の等式制約解消系を活用し,グローバルコンピューティングを行なうための計算モデルを構築し,このモデルに基づくプログラミングシステムの開発を行なった.
1.等式解決系の理論的性質の解明
我々は,プログラミングシステムの中核をなす等式解決系の計算モデルとして,高階遅延ナローイングを採用している.本研究に先立ち我々が考案した高階遅延ナローイング計算系LNffでは,高階変数を含む等式を解くための推論規則を適用する場合の非決定性が高い.本研究では,計算機上での実装を容易にし,実行効率を向上させるため,LNffに内在する非決定性を除去するための改良を加えた.段階的に非決定性の除去を行なうことにより,LN1〜LN4と呼ぶ4つの新たな計算系を得た.また,提案した各計算系についてそれぞれ,計算モデルとして重要な性質である求解完全性の結果を証明した.
2.プログラミングシステムの実装
分散環境下でのグローバルコンピューティングを実現するプログラミングシステムの,基本部分の実装を完了した.このシステムをCFLP(Constraint Functional Logic Programming system)と呼ぶ.CFLPは,高階遅延ナローイングを計算モデルとして動作する関数論理型言語と,協調的に動作する制約解消系とを融合するシステムである.CFLPは,ナローイング計算系を基本とし,関数論理型言語インタープリタが,分散環境を構成する計算機に配置された複数の制約解消系と通信しながら,等式の求解を行なう.ナローイング計算系により項代数上での解を求め,ドメイン固有の解法を実現する制約解消系を必要に応じて呼び出して,問題固有のドメインで解釈される定数に対する操作を行なう.さらに,グローバルコンピューテーションを行うために,各ソフトウエアコンポーネントのインターフェイスをCORBAの仕様とする作業を行った.XMLを通信用の言語として用い,XMLをインターフェイス部分で内部形式に変換する処理を行っている.
|
-
[Publications] M.Marin,T.Ida,T.Suzuki: "Higher-order Lazy Narrowing Calculi in Perspective"Proc.9th International Workshop on Functional and Logic Programming. 238-253 (2000)
-
[Publications] M.Marin,T.Suzuki,T.Ida: "Cooperative Constraint Functional Logic Programming"International Symposium on Principles of Software Evolution. 223-230 (2000)
-
[Publications] M.Marin,T.Suzuki: "Cooperative Constraint Functional Logic Programming"Proc.9th International Workshop on Functional and Logic Programming. 382-390 (2000)
-
[Publications] Q.Li,Y.Guo,T.Ida: "Modelling Integer Programming with Logic : Language and Implementation"IEICE Transactions of Fundamentals of Electronics, Communications and Computer Sciences. E83-A(8). 1673-1680 (2000)
-
[Publications] H.Ohsaki,A.Middeldorp,J.Giesl: "Equational Termination by Semantic Labelling"Proc.14th Annual Conference of the European Association for Computer Science Logic, LNCS. 1862. 457-471 (2000)
-
[Publications] A.Middeldorp,H.Ohsaki: "Type Introduction for Equational Rewriting"Acta Informatica. 36(12). 1007-1029 (2000)
-
[Publications] T.Suzuki,A.Middeldorp: "A Complete Selection Function for Lazy Conditional Narrowing"Proc.5th International Symposium on Functional and Logic Programming, LNCS. (印刷中). (2001)
-
[Publications] Y.Minamide: "A New Criterion for Safe Program Transformations"Proc.4th International Workshop on Higher Order Operational Techniques in Semantics, ENTCS. 41. 15 (2000)
-
[Publications] T.Yamada, et al.: "Logicality of Conditional Rewrite Systems"Theoretical Computer Science. 236(1,2). 209-232 (2000)
