1998 Fiscal Year Annual Research Report
| Project/Area Number |
10139207
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
胡 振江 東京大学, 大学院・工学系研究科, 講師 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
尾上 能之 東京大学, 大学院・工学系研究科, 助手 (80292770)
|
|---|
| Keywords | 実行反映 / 融合変換 / 構成的手法 / 運算 / アルゴリズム / 関数プログラミング |
|---|
| Research Abstract |
本研究は,自己反映的な構造化関数プログラミング手法を提案し,より高いモジュール性と抽象概念を持つソフトウェア開発をサポーすることを目的とする.構造化関数プログラミングでは、入力データの構造から導出可能な特定の再帰的な形式を用いてプログラムを構造化し,それによってプログラムを操作したり、改造したりすることが容易になる。また,自己反映的なメカニズムによって、プログラミング言語に新しい特徴と抽象概念が導入されていき、プログラムのモジュール性が高くなる。
この一年間は,構造化関数プログラミングの研究を中心に,特に構造化された逐次関数プログラムから並列プログラムへ変換するというプログラム並列化(parallelization)の計算手法を,より一般的しかも実用的な観点から追究した.提案した並列定理によって「Bracket Matching」問題を解決するnovelな並列アルゴリズムを形式的に導出した.
|
-
[Publications] Z.Hu,H.Iwasaki,M.Takeichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)
-
[Publications] A.Takano,Z.Hu,M.Takeichi: "Program Transformation in Calculational Form" ACM Computing Surveys. (印刷中). (1999)
-
[Publications] Z.Hu,M.Takeichi,H.Iwasaki: "Diffusion: Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulatio,San Antonio,Texas,January 22-23,1999. 85-94 (1999)
-
[Publications] Z.Hu,M.Takeichi: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching" Parallel Processing Letters. 9(1)(印刷中). (1999)
-
[Publications] W.N.Chin,A.Takano,Z.Hu: "Parallelization via Context Preservation" IEEE Computer Society International Conference on Computer Lan-guages,Loyola University Chicago,Chicago,USA,May 1998.IEEE Press.1-12 (1998)
-
[Publications] 尾上能之,胡振江,武市正人: "HYLOシステムによるプログラム融合変換の実現" コンピュータソフトウェア. 15(6). 62-56 (1998)
