权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

程序操作系统的设计与实现研究

基本信息

批准号：
12780187
负责人：
胡振江
金额：
$ 1.34万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
2000
资助国家：
日本
起止时间：
2000 至 2001
项目状态：
已结题

项目摘要

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

Constructive Algorithms (Constructive Algorithms) and the late 1980s proposed the construction of computational rules for organizational structures. The composition of the group theory, the group theory This study aims to explore the basic principles for the implementation of the multi-channel computing system, and to explore the operational aspects of multi-channel computing system. This year, we will conduct research and evaluation on the theory of the first year. This is the first time that we have been able to improve our theoretical foundation. The specific research results are repeated. The rules of translation, translation and translation are described simultaneously in the theory of the group, the operation of the translation and translation (CCP) and the actual operation on the computer. I designed the language to be expressive and concise. For the first year of the year, the proposal was changed, the conversion was integrated, the conversion was combined, the conversion was partially calculated, and the conversion was confirmed. The results of this paper are presented in the research table of this report.