ユーザインタフェースのための線形等式・不等式制約解消系

抄録

制約は，多様な問題解決のための有力な手段であり，ユーザインタフェース(UI)を含む様々な分野で広く利用されている．UI分野における制約の最大の用途はグラフィカルレイアウトであり，制約によってレイアウトの維持が自動化されて容易になるという利点がある．制約によるUIの構築を実現するための基盤システムとして，これまでに様々な制約解消系が研究開発されている．本研究では，優先度を伴った線形等式および不等式制約からなる系(制約階層)を処理するための制約解消系を構築する．そして実験により，この制約解消系が，制約が1,000個を超える状況でもUIを実現するのに十分な効率を持っていることを示す．