>>286
GPS衛星時間の計算式
dt[GPS]/dt[無限遠]=√(1−3GM/(r[GPS]c^2))
でいいじゃん