기호계산을 이용한 공간기구의 해석 ( Analysis of Spatial Mechanism Using Symbolic Computation )