ユーザーインターフェースにおける制約解消法の研究動向

抄録

制約を宣言的に記述する手法は,多様な問題解決のための有力な手段であり,ユーザーインターフェース(UI)を含む,様々な分野で広く利用されている。この手法を実現する上で,制約解消法は必要不可欠な基本技術であり,これまで盛んに研究されてきた。本稿では,UIにおける制約解消去の研究動向について解説する。最初に,制約解消法を制約解消方式という観点から分類する。次に,代表的な制約解消方式である,基本方式,データフロー方式,制約階層を中心に,それぞれの形式的側面とアルゴリズム的側面について概説する。最後に,今後の研究課題について言及する。