C2. 3次元キネマティク問題のモデル化と定式化