| 研究課題/領域番号 |
06680306
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 工学部, 教授 (10011165)
|
|---|
| 研究分担者 |
金子 敬一 東京大学, 工学部, 助手 (20194904)
|
|---|
| 研究期間 (年度) |
1994
|
| 研究課題ステータス |
完了 (1994年度)
|
| 配分額 *注記 |
1,300千円 (直接経費: 1,300千円)
1994年度: 1,300千円 (直接経費: 1,300千円)
|
|---|
| キーワード | 遅延メモ化機構 / 関数プログラム / 完全遅延評価 / 部分評価系 |
|---|
| 研究概要 |
本研究は、従来、十分に性質が解明されていなかった遅延メモ化機構を定式化して、それをプログラムの部分評価機構として利用するという方法の有効性を検証することを目的とするものである。
遅延メモ化機構に基づいてプログラムの部分評価を行うことにより、プログラムの効率改善を図るというあらたな方法論は、これまでの部分評価の考え方とは大きく異なっている。
従来の部分評価(部分計算)においては、特化された部分計算機を用意して、プログラムを変換するものであったが、本研究では、関数プログラムの完全遅延評価によって、通常の評価系によって自己改良がなされることに着目したものである。この考え方は、研究代表者と共同研究者が提案したものであったが、完全遅延評価系で部分評価を行うにはあらたな機構が必要とされることが判明し、本研究ではそのための遅延メモ化機構を提案して、その有効性を確認することを目的とした。
遅延メモ化機構については、これまでには十分な系統化がなされていなかったが、本研究では、完全遅延評価との関係を明確にし、プログラムの評価系に組み込んで、部分評価系の実現に有効であることを確認した。これらの成果は数編の論文にまとめて公表した。これらによって、当初の目的は達成できたものと考えられる。
|
