A carrier phase GPS positioning device is disclosed, which acquires a
carrier phase accumulation value of satellite signals at one time on the
mobile station side, associates plural carrier phase accumulation values
on the reference station side at plural times prior to the one time with
the carrier phase accumulation value on the mobile station side, and
estimates an integer ambiguity included in the carrier phase accumulation
value of signals transmitted from the satellite received by the mobile
station.