B2. キネマティク問題のモデル化と定式化