GPSは人工衛星4機で座標を出すんだっけか
1機が静止衛星で3機の衛星群で相対性理論で割りだすのか