並列計算機上の関数プログラングシステムの構築に関する研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 06558039
• Research Institution: The University of Tokyo
• Principal Investigator: 武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
• Co-Investigator(Kenkyū-buntansha): 田中 哲朗 東京大学, 大学院・工学系研究科, 助手 (60251360) ; 松岡 聡 東京大学, 大学院・工学系研究科, 講師 (20221583) ; 岩崎 英哉 東京大学, 教育用計算機センター, 助教授 (90203372) ; 米澤 明憲 東京大学, 大学院・理学系研究科, 教授 (00133116)
• Keywords: 関数プログラミング / 並列プログラミング / 並列化機構

Research Abstract

本研究は、並列計算機上に関数プログラミングシステムを構築して、あらたな規範に基づく並列プログラミングの支援環境を与えようとするものである。本年度の研究計画は、昨年度に引き続き並列計算機上の関数型言語の処理系の設計・作成を行って、評価することであった。関数型言語に導入した並列化機構を分散メモリ型並列計算機AP1000上で評価しつつ、処理系を改良した。
これらの処理系はほとんどのコードが共通で、機械依存部分だけが異なるという形態であり、さらにあらたな並列計算機にも容易に移植できるものとなっている。並列り列関数型言語の処理系の作成に関する研究成果と処理系を用いた評価をとりまとめたが、同時に並列関数型言語によるプログラミングの方法に関する成果も報告した。
来年度は、処理系の評価をさらに進めるとともに、これらの処理系をもとにしたプログラムの開発環境・変換系を構築し、並列関数プログラミングの実用化システムとして公開する予定であった。

Research Products

• [Publications] Zhenjiang Hu: "Making Recursions Manipulable by Constructing Medio-types." METR. 95-04. (1995)
• [Publications] Zhenjiang Hu: "Promotional Transformation of Monadic Programs." METR. 95-05. (1995)
• [Publications] 小川宏高: "MPIのソフトウェアオーバーヘッド除去による最適化手法の評価" 情報処理学会研究報告. 95-HPC-57. 13-18 (1995)
• [Publications] 石井裕一郎: "関数型言語における参照透明性を保持する参照型" 日本ソフトアェア科学会第12回大会論文集. 257-260 (1995)
• [Publications] 尾上能之: "Shortcut Deforestationにおける効率の解析" 日本ソフトアェア科学会第12回大会論文集. 261-264 (1995)
• [Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms From Recursive Definitions." METR. 95-11. (1995)