自己反映的構造化関数プログラミングに関する研究

自反射结构化函数编程研究

• 批准号: 10139207
• 负责人: 胡 振江
• 金额: $ 1.28万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139207/
• 关键词: 実行反映; 融合変換; 構成的手法; 運算; アルゴリズム; 関数プログラミング

本研究は,自己反映的な構造化関数プログラミング手法を提案し,より高いモジュール性と抽象概念を持つソフトウェア開発をサポーすることを目的とする.構造化関数プログラミングでは、入力データの構造から導出可能な特定の再帰的な形式を用いてプログラムを構造化し,それによってプログラムを操作したり、改造したりすることが容易になる。また,自己反映的なメカニズムによって、プログラミング言語に新しい特徴と抽象概念が導入されていき、プログラムのモジュール性が高くなる。この一年間は,構造化関数プログラミングの研究を中心に,特に構造化された逐次関数プログラムから並列プログラムへ変換するというプログラム並列化(parallelization)の計算手法を,より一般的しかも実用的な観点から追究した.提案した並列定理によって「Bracket Matching」問題を解決するnovelな並列アルゴリズムを形式的に導出した.

This study aims to provide a constructive approach to the development of abstract concepts. The structure of the structure. The new features and abstract concepts of speech are introduced into the language, and the characteristics of speech are highly integrated. During the past year, the research on structural correlation has been focused on the calculation method of structural correlation, especially the calculation method of structural correlation and parallelism. A new parallel theorem is proposed to solve the "Bracket Matching" problem.

项目成果

A. Takano, Z. Hu, M. Take-ichi: "Program Transformation in Calculational Form" ACM Computing Surveys. (印刷中). (1999)

A. Takano、Z. Hu、M. Take-ichi：“计算形式的程序转换”ACM 计算调查（1999 年）。

Z. Hu, H. Iwasaki, M. Take-ichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)

Z. Hu、H. Iwasaki、M. Take-ichi：“计算累积”新一代计算 17(2)（出版中）。

Z. Hu, M. Takeichi: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching" Parallel Processing Letters. 9(1)(印刷中). (1999)

Z. Hu、M. Takeichi：“计算括号匹配的最佳同态算法”并行处理快报 9(1)（出版中）。

W.N.Chin,A.Takano,Z.Hu: "Parallelization via Context Preservation" IEEE Computer Society International Conference on Computer Languages,Loyola University Chicago,Chicago,USA,May 1998.IEEE Press.1-12 (1998)

W.N.Chin、A.Takano、Z.Hu：“Parallelization via Context Preservation”IEEE 计算机学会计算机语言国际会议，芝加哥洛约拉大学，芝加哥，美国，1998 年 5 月。IEEE Press.1-12 (1998)

尾上能之,胡振江,武市正人: "HYLOシステムによるプログラム融合変換の実現" コンピュータソフトウェア. 15(6). 62-56 (1998)

Yoshiyuki Onoue、Zhenjian Hu、Masato Takeichi：“利用 HYLO 系统实现程序融合转换”计算机软件 15(6) 62-56 (1998)。