GPS などで得られた位置情報の誤差を補正する技術