| Project/Area Number |
61580035
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Informatics
|
|---|
| Research Institution | The Institute of Physical and Chemical Research |
|---|
Principal Investigator |
井田 哲雄 理研, その他, 研究員 (70100047)
|
|---|
| Project Period (FY) |
1986
|
| Project Status |
Completed (Fiscal Year 1986)
|
| Budget Amount *help |
¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1986: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | メタプログラミング / 関数型プログラミング / 論理型プログラミング / 項書換えシステム |
|---|
| Research Abstract |
プログラムはある計算系の項の集合と考えることができる。計算系として、代入を基本とする関数型計算系、リゾリューションを基本とするホーン節-階述語論理、パターンマッチングに基づく一般の項書換えシステムがある。 本研究ではこれらの計算系を融合するプログラミングシステム(これを本研究ではメタ計算系とよぶ)を構築し、理論上あるいはメタプログラミングシステムとしての実用性に検討を加えた。研究成果は次の通りである。
1.関数型言語の一つの方言とみなすことができるプログラム言語LISPと、一階述語論理に基づく言語Prologを内蔵したメタ計算系を構築し、この計算系におけるプログラミング方法論を提示した。実用的例題として、LISPのコンパイラをPrologにより記述し、本計算系で稼動させ、メタ計算系の有効性を確認した。
2.項書換えシステムを上記メタ計算系に埋込むために、項書換えに基づくプログラミング言語を設計し、そのプロトタイプ処理系を試作した。この実験により、項書換えシステムに基づく言語処理系のインプリメンテーション上の問題点が解明された。
3.関数型言語の計算モデルとなるラムダ計算の意味論を、言語処理系を作成する立場から、与えた。これはカルテシアン・クローズド・カテゴソーに基づくもので、この手法により、いくつかの関数型言語処理系の統一的作成が可能となった。1 で言及したLISPコンパイラーはこの手法に基づいて作成されており、この手法の有効性が確認されている。
|
Report
(1 results)
Research Products
(2 results)
