@techreport{oai:ipsj.ixsq.nii.ac.jp:00050695,
 author = {小池, 英勝 and 赤間, 清 and 宮本, 衛市 and Hidekatsu, Koike and Kiyoshi, Akama and Eiichi, Miyamoto},
 issue = {63(1999-ICS-117)},
 month = {Jul},
 note = {等価変換による問題解決では，等価変換ルールの集合で問題解決の手続きを記述する．等価変換ルールを用いると，正当で効率的な問題解決が可能である．論理プログラミングでは，関係を正しく記述しても解を得られない場合がある(everseの例題など）．そのような問題に対してもこの方法では正しく解を与えることができる．これまでに，確定節の集合から多数の正当な等価変換ルールの集合を生成するための基礎理論が提案されている．本論文では，等価変換ルールの集合から探索によって，問題を効率的に解決するための等価変換ルールを発見する方法を提案する．この方法は，正当で効率的なプログラムを自動生成するための基礎を与える．, In problem solving based on equivalent transformation (ET), a procedure is represented by a set of ET rules, which enables us to sove problems correctly and efficiently. There exist some problems that can be solved correctly by the ET paradigm, but cannot be solved by natural logic programs, though they define problems correctly. A theoretical foundation for generating a large class of correct ET rules has been proposed. In this paper we develop a method of searching the class of rules for efficient ET rules. This method lays a foundation of synthesizing correct and efficient programs.},
 title = {等価変換ルールの探索に基づくプログラム合成},
 year = {1999}
}