Performance evaluation of Cassowary and hybrid concurrent constraint programming in geometric constraints

2003年度より早稲田大学上田研究室描画班において作成、研究されてきたアニメーションツールGrifonは、従来のアニメーションツールとは異なり、ハイブリッド並行制約と幾何制約によってアニメーションを表現するものである。ハイブリッド並行制約は時間軸上の連続的・離散的変化を表すことが出来るため、時間的な処理を受け持つ。幾何制約は、例えば図形同士の幾何的な関係を表現する。幾何制約はCassowaryという制約充足系に受け持たれている。本研究では、Cassowaryで実装されている幾何制約をハイブリッド並行制約プログラミングで実現できたことにより、ハイブリッド並行制約プログラミングでも幾何制約が実現出来ることがわかった。だが、Cassowary制約は制約に強さという優先度をつけることが出来るため、これからのGrifonをより良くするためには制約充足系のあり方を考える必要があることがわかった。卒業論