制約伝播を使った3次元モデルの構成とストリームを使ったアニメーションの表現