Web文書配置のための制約プログラミング手法

抄録

近年，オープンな標準仕様に基づいて情報システムを開発する例が増えてきている．このような背景のもと，Webブラウザの仕様を適切に記述できるようにするために，制約プログラミングを用いて，Webブラウザにおける文書の配置を形式化し実現するというアプローチが提案されている．本論文では，このような応用に向けた，Web文書の配置のための制約プログラミング手法について述べる．