...制約解消系では，制約の連言

制約階層の理論から言え ば，「2つの制約(ここでは1次方程式)の連言」という表現は適切ではない．正 しくは，2つの1次方程式の連言が，制約階層における1つの制約に対応する． もっとも，この点について，制約解消系のユーザーが特に気にする必要はない．

...に関する機能を提供していなかったため

そもそも，本来の階層連立 1次方程式の理論自体が，制約の連言という概念を包含していなかったが，制 約階層との対応付けを考えれば，連言のための拡張は可能である．

www-admin@icot.or.jp