1996 Fiscal Year Annual Research Report

関数論理融合型言語のマルチメディアプログラミング環境の構築

Research Project

Project/Area Number	07558152
Research Category	Grant-in-Aid for Scientific Research (B)
Section	試験
Research Institution	University of Tsukuba
Principal Investigator	井田哲雄筑波大学, 電子・情報工学系, 教授 (70100047)
Co-Investigator(Kenkyū-buntansha)	鈴木大郎筑波大学, 電子・情報工学系, 助手 (90272179) 加藤和彦筑波大学, 電子・情報工学系, 助教授 (90224493) ミデルドープアート筑波大学, 電子・情報工学系, 助教授 (30251044)
Keywords	宣言型プログラミング / マルチメディア / 関数・論理型言語 / ナロ-イング計算系 / ヒューマンインターフェイス
Research Abstract	強力な表現力を備えた関数論理型言語の処理系の開発研究を行った。今年度は特に本格的実装に備えた試験的実装と関数論理型言語の計算モデルに関する研究を行った。具体的には、本研究班でこれまでに開発を進めてきた遅延ナロ-イング計算系をベースに研究を展開し、計算系の拡張と実装を行った。システムの構築に関して、次の成果を得た。 (1)計算機ネットワーク上でプログラミング言語として評価の確立した言語JAVAをシステムの記述言語として用いて、遅延ナロ-イング計算系を実装した。JAVAを介して、JAVA appletとして急速に開発が進んでいるマルチメディアインターフェイスの取り組みが容易になるとともに、分散オブジェクト環境に基づく、コーディネーションプログラミング環境が可能となった。 (2)Mathematicaを用いて、これまでに開発したナロ-イング計算系の試験的実装を行い、遅延ナロ-イング計算系の有効性を示した。特に、Mathematicaのもつ記号計算との融合が容易にできることを明らかにした。理論的研究としては以下の点について新たな知見を得た。 (1)条件付き項書換え系を用いた計算系に拡張し、求解の完全性と強完全性をいくつかのクラスの条件付き項書換え系に対して示した。 (2)関数論理型言語の新たな宣言的意味論を構築し、既存の意味論との比較検討を行った。さらに、条件付き項書換え系を用いた場合へと、宣言的意味論を拡張した。 (3)ラムタ項を許す高階遅延ナロ-イング計算系を考案し、求解の安全性を示した。さらに、高階遅延ナロ-イング計算系に基づく、高階関数論理型プログラミングの様々な手法を明らかにした。 (4)遅延計算の新たな理論を展開し、遅延ナロ-イング計算系の理論的基礎を示した。

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] ミデルドープアート: "Call by Need Computations to Root-Stable Form" Proc.of the 24th Annual ACM Symposium on POPL.94-105 (1997)
[Publications] ミデルドープアート他: "Simple Termination of Rewrite Systems" Theoretical Computer Science. 175(1). 127-158 (1997)
[Publications] ミデルドープアート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)
[Publications] 浜名誠他: "Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" The Journal of Functional and Logic Programming. 1997-1. 1-22 (1997)
[Publications] Mohamed Hamada他: "Strong Completenss of a Lazy Conditional Narrowing Calculus" Proc.of the 2nd Fuji International Workshop on FLP. 10-19 (1996)
[Publications] 鈴木大郎: "Standardization Theorem Revisited" Proc.of the 5th International Conf.on APL. LNCS1139. 122-134 (1997)

1996 Fiscal Year Annual Research Report

関数論理融合型言語のマルチメディアプログラミング環境の構築

Principal Investigator

井田 哲雄 筑波大学, 電子・情報工学系, 教授 (70100047)

Research Products

[Publications] ミデルドープ アート: "Call by Need Computations to Root-Stable Form" Proc.of the 24th Annual ACM Symposium on POPL.94-105 (1997)

[Publications] ミデルドープ アート他: "Simple Termination of Rewrite Systems" Theoretical Computer Science. 175(1). 127-158 (1997)

[Publications] ミデルドープ アート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)

[Publications] 浜名誠 他: "Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" The Journal of Functional and Logic Programming. 1997-1. 1-22 (1997)

[Publications] Mohamed Hamada他: "Strong Completenss of a Lazy Conditional Narrowing Calculus" Proc.of the 2nd Fuji International Workshop on FLP. 10-19 (1996)

[Publications] 鈴木大郎: "Standardization Theorem Revisited" Proc.of the 5th International Conf.on APL. LNCS1139. 122-134 (1997)

井田哲雄筑波大学, 電子・情報工学系, 教授 (70100047)

[Publications] ミデルドープアート: "Call by Need Computations to Root-Stable Form" Proc.of the 24th Annual ACM Symposium on POPL.94-105 (1997)

[Publications] ミデルドープアート他: "Simple Termination of Rewrite Systems" Theoretical Computer Science. 175(1). 127-158 (1997)

[Publications] ミデルドープアート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)

[Publications] 浜名誠他: "Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" The Journal of Functional and Logic Programming. 1997-1. 1-22 (1997)