遅延メモ化機構によるプログラムの部分計算に関する研究

1994 Fiscal Year Annual Research Report

• Project/Area Number: 06680306
• Research Institution: The University of Tokyo
• Principal Investigator: 武市 正人 東京大学, 工学部, 教授 (10011165)
• Co-Investigator(Kenkyū-buntansha): 金子 敬一 東京大学, 工学部, 助手 (20194904)
• Keywords: 遅延メモ化機構 / 関数プログラム / 完全遅延評価 / 部分評価系

Research Abstract

本研究は、従来、十分に性質が解明されていなかった遅延メモ化機構を定式化して、それをプログラムの部分評価機構として利用するという方法の有効性を検証することを目的とするものである。
遅延メモ化機構に基づいてプログラムの部分評価を行うことにより、プログラムの効率改善を図るというあらたな方法論は、これまでの部分評価の考え方とは大きく異なっている。
従来の部分評価(部分計算)においては、特化された部分計算機を用意して、プログラムを変換するものであったが、本研究では、関数プログラムの完全遅延評価によって、通常の評価系によって自己改良がなされることに着目したものである。この考え方は、研究代表者と共同研究者が提案したものであったが、完全遅延評価系で部分評価を行うにはあらたな機構が必要とされることが判明し、本研究ではそのための遅延メモ化機構を提案して、その有効性を確認することを目的とした。
遅延メモ化機構については、これまでには十分な系統化がなされていなかったが、本研究では、完全遅延評価との関係を明確にし、プログラムの評価系に組み込んで、部分評価系の実現に有効であることを確認した。これらの成果は数編の論文にまとめて公表した。これらによって、当初の目的は達成できたものと考えられる。

Research Products

• [Publications] 金子敬一: "完全遅延評価に適した関数プログラムの共有解析" 情報処理学会論文誌. 35. 391-403 (1994)
• [Publications] Keiichi Kaneko: "Derivation of Efficient Pattern Matching Algorithms by Fully Lazy Evaluation with Lazy Memo-ization" Transaction of Information Processing Society of Japan. 35. 2347-2354 (1994)
• [Publications] Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 131. 75-98 (1994)
• [Publications] Zhenjian Hu: "Catamorphism-based Transformation of Functional Programs" METR. 94-06. (1994)
• [Publications] Keiichi Kaneko: "Derivation of the Aho-Corasick Algorithm by Fully Lazy Evaluation with Lazy Memoization" METR. 94-13. (1994)