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

点击翻译按钮获取中文摘要

構成的アルゴリズム論(Constructive Algorithmics)とは、80年代後期に提案されたプログラムのcalculusであり、プログラムを変換するための運算規則(calculational rules)を組織的に構築するための理論である。構成的アルゴリズム論では、プログラムをカテゴリ理論の枠組でとらえ、少数の強力な変換・運算ルールを用いて、プログラムを構成的に計算していく。本研究は、プログラム運算手法を構成的アルゴリズムに基づいてより一般的しかも実用的な観点から追究し、プログラムを効率的に操作することのできるプログラム運算システムを開発しようとするものである。本年度ははプログラム運算システムのプロトタイプの実現にあて、初年度に検討した理論的枠組みの検証を行なった。これを通じて、理論的な基礎を洗練し枠組みを改善することができた。具体的な研究成果は次の通りである。まず、変換戦略と変換規則を同時に記述する理論的枠組である運算付随プログラム(CCP)の計算機上で実際に稼動させた。我々が設計したメタ言語は表現力を失わずに簡潔なものである。また、初年度に提案された変換モジュールを実現し、融合変換、組変換、並列変換、部分計算などの変換を実証し、その有効性を確認した。我々が開発したシステムは、規則の記述法が汎用であり、高階マッチング機能を持つ言語を用いることによって抽象度の高いメタプログラミングが可能であるこれらの成果は本報告書の研究発表の項に挙げた論文で公表している。