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

利用延迟记忆机制的程序部分计算研究

• 批准号: 06680306
• 负责人: 武市 正人
• 金额: $ 0.83万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06680306/
• 关键词: 遅延メモ化機構; 関数プログラム; 完全遅延評価; 部分評価系

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

The purpose of this study is to show that there are significant differences in the development of the system, the system and the system. In order to improve the performance of the system, the basic information system of the chemical mechanism has been improved, and the method has been improved. Part of the calculation system (part of the calculation) is based on the intention of the computer, the purpose of the calculation, the purpose of this study, the number of computers, the number of computers, and the number of people in this study. in general, the system is designed to improve the system. The research representative and the co-researcher proposed to make sure that it is necessary for the organization to verify that it is necessary to do so. In this study, it is necessary to verify that it is necessary to extend the proposal of the organization, and confirm that the purpose of the organization is not correct. The system is very systematic. In this study, it is clear that the system is correct, and some of the systems have been verified. Please tell me the number of results. I have a list of results. In the first place, the purpose of the test was not enough to make a difference.

项目成果

Zhenjian Hu: "Catamorphism-based Transformation of Functional Programs" METR. 94-06. (1994)

胡振建：“基于变形的功能程序转换”METR。

金子敬一: "完全遅延評価に適した関数プログラムの共有解析" 情報処理学会論文誌. 35. 391-403 (1994)

Keiichi Kaneko：“适合完全惰性评估的功能程序的共享分析”，日本信息处理学会汇刊 35. 391-403 (1994)。

Keiichi Kaneko: "Derivation of the Aho-Corasick Algorithm by Fully Lazy Evaluation with Lazy Memoization" METR. 94-13. (1994)

Keiichi Kaneko：“通过延迟记忆化的完全延迟评估推导 Aho-Corasick 算法”METR。

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)

Keiichi Kaneko：“通过完全惰性评估和惰性记忆化导出高效模式匹配算法”日本信息处理学会会刊。

Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 131. 75-98 (1994)

徐良伟：“引入生成函数推导算法”新一代计算。