一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
| Project/Area Number |
10139210
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
岩崎 英哉 東京大学, 大学院・工学系研究科, 助教授 (90203372)
|
|---|
| Project Period (FY) |
1998
|
| Project Status |
Completed (Fiscal Year 1998)
|
| Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1998: ¥2,000,000 (Direct Cost: ¥2,000,000)
|
|---|
| Keywords | 構成的アルゴリズム論 / プログラム変換 / 融合変換 / 関数プログラム |
|---|
| Research Abstract |
本年度は,主として次のような研究を進めた.
1. 融合と組化という二つのプログラム変換手法を有効に組合わせることによる,系統的な変換の実現.
2. 相互再帰の定式化という前年度の研究成果を実働システムとして役立てるための,データ構成子の抽象化手法の検討.
前者に関する主要な成果は,複数の独立したプログラム変換手法,具体的には融合(Fusion)と組化(Tupling)を順番に適用することにより,プログラムを効率のよいものへ系統的に変換可能であることを示すことができた点である.この手法を,一/二次元最大部分列和/積問題に適用し,その有効性を確認した.
後者については,構成的アルゴリズム論における代表的な融合定理(酸性雨定理)を適用可能とするための,変換対象関数の静的解析に関して研究を進めた.「色情報」も付加して型検査を行うことにより,従来のアルゴリズムでは抽象化できなかった,相互再帰定義された型のデータ構成子についても解析が可能になるとの見通しを得た.
この他,プログラム変換システムを試作段階から実用的な段階へと推し進める研究も行った.
|
Report
(1 results)
Research Products
(5 results)
