非ユークリッド幾何学のナビゲーションシステムへの応用