プログラム運算システムの設計および実現に関する研究

2000 Fiscal Year Annual Research Report

• Project/Area Number: 12780187
• Research Institution: The University of Tokyo
• Principal Investigator: 胡 振江 東京大学, 大学院・工学系研究科, 助教授 (50292769)
• Keywords: プログラム変換 / アルゴリズムの導出 / プログラミング環境 / プログラム運算 / 関数プログラミング / 並列化 / 変換の構造化 / プログラミング代数

Research Abstract

平成12年度には、プログラム運算システムの理論的基盤の設計を中心に研究を行った。特に、Allegoryの概念を用いてプログラム変換を構造化する一般的な理論の構築と、逐次プログラムを並列化するための変換を構造化する具体的なケーススタディを行った。
また、変換モジュールの効率的な統合に関する研究を行ない、個々の変換モジュールの適用順序を考慮して組み合わせることにより、それぞれの変換を効果的に機能させる方法を検討し、実際に、現在のHYLO運算システムの上で実験を行って改良を行なった。
さらに、プログラム変換過程を自由に編集でき、変換を対話的に行なうための実験環境(銀杏システム)をEmacs上で実現してみた。銀杏システムは、プログラム変換の創造的な部分と機械的な部分の両方を支援し、ユーザのプログラム変換によるプログラム開発を支援することができる。その特徴を挙げると、
・対話的なプログラム変換環境
・新たな変換規則発見のための対話的環境
・変換プロセスの記述と再利用
というようになる。

Research Products

• [Publications] 尾上能之,胡振江,岩崎英哉,武市正人: "プログラム融合変換の実用的有効性の検証"コンピュータソフトウエア. 17・3. 81-85 (2000)
• [Publications] 篠埜功,胡振江,武市正人: "グラフの探索関数の再帰的定義と変換"コンピュータソフトウエア. 17・3. 2-19 (2000)
• [Publications] Z.Hu,W.N.Chin,M.Takeichi: "Calculating a New Data Mining Algorithm for Market Basket Analysis"Lecture Notes in Computer Science. 1753. 168-184 (2000)
• [Publications] W.N.Chin,S.C.Khoo,Z.Hu,M.Takeichi: "Deriving Parallel Codes via Invariants"Lecture Notes in Computer Science. 1824. 75-94 (2000)
• [Publications] L.Song,Y.Futamura,R.Glueck,Z.Hu: "Loop Quasi-Invariance Code Motion"IEICE Transactions on Information and Systems. E83-D・10. 1841-1850 (2000)
• [Publications] 岩崎英哉,胡振江,武市正人: "逐次的組化と融合による関数プログラムの最適化"コンピュータソフトウエア. 18・1. 46-59 (2000)