制約解決システム
ばねモデルは制約解決システム
ばねの長さに関する沢山の制約を解く