手術ナビゲーションシステムとその精度の理論解析