正規化戦略に基づく関数型プログラムの効率的実行に関する研究

基于归一化策略的函数程序高效执行研究

• 批准号: 17700036
• 负责人: 粕谷 英人
• 金额: $ 1.02万
• 依托单位: Aichi Prefectural University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700036/
• 关键词: 関数型プログラミング言語; 高階書換え系; 正規化戦略; 必須書換え戦略; 決定可能性

本研究は,関数型プログラミング言語を高階書換え系としてモデル化し,高階書換え系の正規化戦略を用いることによって,関数型プログラミング言語プログラム(以下,関数型プログラム)の効率的な実行を動的に実現することを目的とする。これまで書換え型計算モデルの書換え戦略に関する研究の多くは,項書換え系の上で行われてきた。しかし,項書換え系には関数型言語の重要な機能である高階関数の概念がないため,これまでの項書換え系での成果をそのまま関数型言語に応用することができない。そこで,関数型言語の高階関数を扱うことのできる書換え型計算モデルである高階書換え系に着目し,次の3点の目標について研究をおこなった。(1)項書換え系の書換え戦略に関する性質を高階書換え系へ拡張する。そのために必須リデックス,高階書換え系の近似書換え計算,必須リデックスの決定可能性の性質を順次証明する。(2)高階書換え系とその上での必須書換え戦略を行う実行系を実現し,関数型プログラムの効率的な実行を行う。(3)本手法は近似計算を用いて計算戦略を実現するため,関数型言語の実行系として適用できる範囲を明らかにする。その結果(1)に関して,高階書換え系の頭必須書換えについての性質を明らかにし,その計算手法が正しい計算結果を導くことができるという正規化戦略となっていることを示すことができた。また,実際にこの戦略を用いて計算を実行するため,具体的な計算手順である必須リデックスの決定方法を示し,これらに関して論文発表の準備を行った。

This study aims to investigate the implementation of the high level conversion system and the normalization strategy of the high level conversion system related to the digital conversion system, and to investigate the implementation of the high level conversion system related to the digital conversion system. This paper discusses the relationship between the calculation of the number of items and the number of items in the system. The concept of higher-order relations is an important function of digital speech, and the results of digital speech are related to digital speech. The high-order relations of the relevant number type speech are discussed in detail, and the high-order book transformation is studied in detail. (1)The book exchange system is slightly related to the nature of the book exchange system. In order to prove the properties of the decision probability, the calculation of the approximate transformation of the high-order transformation system must be carried out. (2)The high-level book exchange system is implemented in the implementation of the necessary book exchange strategy, and the implementation of the relevant digital conversion rate is implemented. (3)This method is used to approximate the calculation of speech, which is related to the implementation of speech. The results of the calculation are as follows: (1) The first part of the high-order transformation system must be transformed into the first part of the transformation system. The properties of the transformation system are as follows: (2) The calculation method is as follows: (3) The calculation result is as follows: (4) The normalization is as follows: (5) The normalization is as follows: (6) The calculation method is as follows: (7) The calculation method is as follows: (8) The calculation result is as follows: (9) The calculation method is as follows: (9) The normalization is as follows: (10) The normalization is as follows: (11) The first part of the transformation system is as follows: (10) The properties of the transformation system is as follows: (10) The calculation method is as follows: (10) The calculation result is as follows: (10) The normalization is as follows: (10) The calculation method is as follows: (10) In addition, the calculation method of the actual calculation method and the specific calculation method must be clearly indicated, and the preparation method of the paper is carried out.