マニピュレータのハンド拘束運動の定式化と拘束条件による低次元化