負制約の等価変換による問題解決の基礎理論

摘要

本論文の構成を示す．2 章では，制約つき宣言的記述，負制約，意味の定義を与える．3 章では，等価変換による計算について述べ，変換の正当性を証明するための基礎となる命題を証明する．4 章では，負制約の本格的な等価変換を引き起こすための準備となる等価変換(負制約における制約対象の繰り込み) のために必要な定理を証明する．5 章では，負制約の参照記述を等価変換し，負制約を解消するために必要な定理を証明する．6 章では，負制約の等価変換によって問題を解決する例を与える．7章では，本論文の方法と論理プログラミングの方法を比較する．8 章では，本論文のまとめを述べる．