本研究では，1次方程式からなる制約階層のための解消系HiRise を開発した． HiRise は，階層連立1次方程式という制約階層の新しい定式化に基づき，従 来の局所伝播法による解消系より信頼性が高い．また，巨大で複雑な制約階層 に対してHiRise が優れた性能を発揮することを実験により確認した．
