構成的手法によるプログラムの効率化に関する研究

使用组合方法的程序效率研究

• 批准号: 07780227
• 负责人: 岩崎 英哉
• 金额: $ 0.7万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780227/
• 关键词: 関数プログラム; 構成的アルゴリズム論; catamorphism; hylomorphism

構成的手法によるプログラム変換では,プログラムや型定義を数学的な対象として扱い,少数の強力な変換定理を用いてプログラムを効率のよいものに変換していく.本研究では,関数プログラムをその対象とし,構成的手法を用いたプログラムの効率化の可能性について考察し,以下のような結果を得た.・構成的手法においてはcatamorphismと呼ばれる範疇の関数(プログラム)が重要な役割を果たすが,従来のcatamorphismだけでは記述できないようなプログラムに関しても型変換の前処理を施すことによってcatamorphismの枠組に入れることができることを示した.・上の「型変換」はcatamorphismとは双対の関係にあるanamorphismの範疇に入るものになり,その結果,元の(変換前の)プログラムはcatamorphismとanamorphismの合成,すなわちhylomorphismで表現されることが判明した.・hylomorphismに対する変換定理を適用しやすくするための,hylomorphismを「再構成」する変換アルゴリズムを確立した.・従来のcatamorphismを高階関数に拡張するというという「高階catamorphism」の考えは,上で述べた型変換の前処理と密接な関係にあることが判明した.以上によりhylomorphismが,構成的手法の見地からみた関数プログラムの「標準形」となりうる可能性が示された.

The method of construction is to change the form of the transformation, to change the form of the transformation. In this study, we investigated the possibility of the efficiency of the application of the method of forming a multi-channel network, and obtained the following results. The composition of catamorphism and catamorphism-related categories of the relevant number (list) is important to the service cut results, the description of the catamorphism-related categories of the relevant types of transformation of the pretreatment of the implementation of the catamorphism-related groups of the relevant number (list) is shown. The above "type transformation" is catamorphosis and anamorphosis. The relationship between catamorphosis and anamorphosis is related to the category of anamorphosis. As a result, the original (before transformation) transformation is changed. Hylomorphism is a new type of morphism. A study of the high-order relationship between catamorphism and the relationship between catamorphism. The possibility of the above hylomorphism is shown by the observation of the method of formation.

项目成果

2. Hu and H. Iwasaki: "Promotional Transformation of Monadic Programs" Proc. Fuji International Workshop. 196-210 (1995)

2. Hu 和 H. Iwasaki：“Monadic 程序的推广转型”Proc。

岩崎英哉,胡振江: "関数プログラムのプロモーション変換のための二手法の関係" 情報処理学会プログラミング研究会報告. 6. (1996)

岩崎英哉、胡镇江：“函数程序的提升转换的两种方法之间的关系”日本信息处理学会程序设计研究小组报告6。（1996）。