| 研究概要 |
1 特定領域研究
本年度の研究の目的は,仕様から等価変換ルールを生成する技術を提案することである.本研究の成果は次のとおりである。
● 仕様(確定節集合)とメタアトム(問い合わせまたはサブゴールに対応する)から等価変換ルールを生成する方法の提案。ルールを生成するためにメタ記述を用いる。メタ記述は具体化によって得られる(無限の)記述を代表している。メタ記述を等価変換して、メタ記述の対を得、それらから等価変換ルールを作る。
● 生成ルールの正当性を保証する理論の構築。正しいメタルールの繰り返し適用によって等価な2つのメタ記述が得られ、それらから等価変換ルールが得られることを証明した。
● 仕様(確定節集合)と問い合わせから,それに答えるために必要なプログラムを自動生成するシステムの試作。このシステムは現在append,initial,max,common_subseqなどを含む述語に対するプログラムを自動的に生成できる.ただしシステムの実装はまだ初歩的で,多大なメモリ空間を消費するため小さな問題しか解けない.
|
