測位用衛星からの受信データを取得するデータ取得部と、前記受信データに対しパリティチェックを行なうパリティチェック演算部と、前記パリティチェック演算部によるパリティチェック結果に基づき前記受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定部と、を備える、サイクルスリップ検出装置。前記パリティチェック演算部は、前記パリティチェックにより第1のパリティチェック結果である値を取得する第1パリティチェック演算部と、前記第1のパリティチェック結果の値と、前記受信データの各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果である第2のパリティチェック結果の値とを比較する第2パリティチェック演算部と、を有し、前記サイクルスリップ判定部は、前記第2パリティチェック演算部による前記比較の結果、前記第1のパリティチェック結果の値が前記各ビット位置で取得した前記第2パリティチェック結果の値のいずれかと一致すると判断した場合、前記受信データにおいてサイクルスリップが有ると判定する、請求項1に記載のサイクルスリップ検出装置。前記データ取得部により取得された前記受信データにおけるサイクルスリップの検出タイミングを推定するサイクルスリップ推定部を更に備え、前記パリティチェック演算部は、前記パリティチェックにより第1のパリティチェック結果である値を取得する第1パリティチェック演算部と、前記サイクルスリップの検出タイミングに応じた第2のパリティチェック結果である値を取得する第2パリティチェック演算部と、を有し、前記サイクルスリップ判定部は、前記第1のパリティチェック結果である値と前記第2のパリティチェック結果である値とを比較し、一致する場合は前記受信データにおいてサイクルスリップが有ると判定する、請求項1に記載のサイクルスリップ検出装置。前記第1パリティチェック演算部は、所定の式を用いて前記第1のパリティチェック結果である値を取得し、前記第2パリティチェック演算部は、前記受信データの各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果である値からなるテーブルを用いて前記第2のパリティチェック結果である値を取得する、請求項2または3に記載のサイクルスリップ検出装置。前記パリティチェック演算部は、前記受信データのビット値d0d31を数式1に適用して前記第1のパリティチェック結果である値P0~P5を取得する、請求項2から4のいずれかに記載のサイクルスリップ検出装置。前記サイクルスリップ判定部による判定結果に応じて、位置の測位を行なう測位演算部を更に備える、請求項1に記載のサイクルスリップ検出装置。測位用衛星からの受信データを取得するデータ取得部と、前記受信データに対しパリティチェックを行なうパリティチェック演算部と、前記パリティチェック演算部によるパリティチェック結果に基づき前記受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定部と、を備える、集積回路。前記サイクルスリップ判定部による判定結果に応じて、位置の測位を行なう測位演算部、を更に備える、請求項7に記載の集積回路。アンテナからの受信信号をデジタル信号に変換し、前記データ取得部に入力するRF部、を更に備える、請求項7又は8に記載の集積回路。請求項7から9のいずれかに記載の集積回路と、前記測位用衛星からの信号を受信するアンテナと、を備える、GNSS受信装置。請求項10に記載のGNSS受信装置、を備える、情報端末機器。測位用衛星からの受信データを取得するデータ取得ステップと、前記受信データに対しパリティチェックを行なうパリティチェック演算ステップと、前記パリティチェック演算部によるパリティチェック結果に基づき前記受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定ステップと、備える、サイクルスリップ検出方法。測位用衛星からの受信データを取得するデータ取得ステップと、前記受信データに対しパリティチェックを行なうパリティチェック演算ステップと、前記パリティチェック演算部によるパリティチェック結果に基づき前記受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定ステップと、をコンピュータに実行させるプログラム。特許文献1に開示されたサイクルスリップ検出方法では、受信機及び慣性装置により計測される2つの観測量の差分を基に検出するため、閾値の設定によっては誤判断の可能性がある。そこで、本発明は、簡単な構成で、精度の高いサイクルスリップの検出を実現することを目的とする。上記目的を達成するため、本発明の一つの観点によれば、データ取得部と、パリティチェック演算部と、サイクルスリップ判定部と、を備えるサイクルスリップ検出装置が提供される。データ取得部は、測位用衛星からの受信データを取得する。パリティチェック演算部は、受信データに対しパリティチェックを行なう。サイクルスリップ判定部は、パリティチェック演算部によるパリティチェック結果に基づき受信データにおけるサイクルスリップの有無を判定する。ここでは、パリティチェック演算部によりパリティチェックを行い、そのパリティチェック結果に基づき受信データにおけるサイクルスリップの有無を判定するため、従来に比して簡単且つ正確にサイクルスリップの検出が可能である。上記サイクルスリップ検出装置は、次のような構成であってもよい。パリティチェック演算部は、第1パリティチェック演算部と第2パリティチェック演算部とを有する。第1パリティチェック演算部は、パリティチェックにより第1のパリティチェック結果である値を取得する。第2パリティチェック演算部は、第1のパリティチェック結果の値と、受信データの各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果である第2のパリティチェック結果の値とを比較する。そして、サイクルスリップ判定部は、第2パリティチェック演算部による上記比較の結果、第1のパリティチェック結果の値が、上記各ビット位置で取得した第2パリティチェック結果の値のいずれかと一致すると判断した場合、受信データにおいてサイクルスリップが有ると判定する。また、上記サイクルスリップ検出装置は、データ取得部により取得された受信データにおけるサイクルスリップの検出タイミングを推定するサイクルスリップ推定部を更に備えていてもよい。この場合、パリティチェック演算部は、パリティチェックにより第1のパリティチェック結果である値を取得する第1パリティチェック演算部と、サイクルスリップの検出タイミングに応じた第2のパリティチェック結果である値を取得する第2パリティチェック演算部と、を有し、サイクルスリップ判定部は、第1のパリティチェック結果である値と第2のパリティチェック結果である値とを比較し、一致する場合は受信データにおいてサイクルスリップが有ると判定する。更に、上記サイクルスリップ検出装置においては、第1パリティチェック演算部は、所定の式を用いて第1のパリティチェック結果である値を取得し、第2パリティチェック演算部は、受信データの各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果である値からなるテーブルを用いて第2のパリティチェック結果である値を取得するようにしてもよい。上記サイクルスリップ検出装置のパリティチェック演算部は、受信データのビット値d0d31を数式1に適用して第1のパリティチェック結果である値P0~P5を取得するようにしてもよい。また、上記サイクルスリップ検出装置は、サイクルスリップ判定部による判定結果に応じて、位置の測位を行なう測位演算部を更に備えていてもよい。本発明の別の観点によれば、データ取得部と、パリティチェック演算部と、サイクルスリップ判定部と、を備える集積回路が提供される。データ取得部は、測位用衛星からの受信データを取得する。パリティチェック演算部は、受信データに対しパリティチェックを行なう。サイクルスリップ判定部は、パリティチェック演算部によるパリティチェック結果に基づき受信データにおけるサイクルスリップの有無を判定する。上記集積回路は、サイクルスリップ判定部による判定結果に応じて、位置の測位を行なう測位演算部を更に備えていてもよい。上記集積回路は更に、アンテナからの受信信号をデジタル信号に変換し、データ取得部に入力するRF部、を備えていてもよい。本発明の別の観点によれば、上記集積回路と、測位用衛星からの信号を受信するアンテナと、を備えるGNSS受信装置が提供される。本発明の更に別の観点によれば、上記GNSS受信装置を備える情報端末機器が提供される。本発明の更に別の観点によれば、測位用衛星からの受信データを取得するデータ取得ステップと、受信データに対しパリティチェックを行なうパリティチェック演算ステップと、パリティチェック演算部によるパリティチェック結果に基づき受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定ステップと、備えるサイクルスリップ検出方法が提供される。本発明の更に別の観点によれば、測位用衛星からの受信データを取得するデータ取得ステップと、受信データに対しパリティチェックを行なうパリティチェック演算ステップと、パリティチェック演算部によるパリティチェック結果に基づき受信データにおけるサイクルスリップの有無を判定するサイクルスリップ判定ステップと、をコンピュータに実行させるプログラムが提供される。本発明によれば、簡単な構成で、精度の高いサイクルスリップの検出を実現することができる。<1第1実施形態>以下、本発明のGNSS受信装置の一実施形態を図面を参照して説明する。本実施形態に係るGNSS受信装置は、例えばGPSGlobalPositioningSystemに用いられるGPS受信機1である。<1.1GPS受信機1>図1は、GPS受信機1の概略構成を示すブロック図である。図1に示すGPS受信機1は、アンテナ10、RF部20、及びベースバンド部30を備える。GPS受信機1は情報端末機器40に接続されている。情報端末機器40とは、所定の通信や情報処理を行なう情報通信装置を備えた、例えば携帯端末や移動体端末を含むコンピュータ機器等情報端末機器である。ここで接続とは有線、無線のいずれによって接続されてもよく、またGPS受信機1が情報端末機器40に内蔵されている場合も含む。アンテナ10は、GPS衛星図示省略から送出される高周波信号衛星信号を受信する。RF部20は、アンテナ10からの高周波信号を中間周波数にダウンコンバートしたり、アナログ信号をデジタル信号に変換して、次のベースバンド部30で処理できるような信号フォーマットに変換したりする。RF部20は、例えば、アンテナ10からの入力信号を増幅する高周波増幅部、入力信号の周波数を低下させるミキサ、バンドパスフィルタ、A/D変換器、基準周波数源を含むPLL回路等を備える。なお、基準周波数源としては、例えば、TCXOTemperatureCompensatedCrystalOscillator等が用いられる。この基準周波数源は、RF部20の信号生成のために用いられる他、ベースバンド部30のサンプリングクロックを生成してベースバンド部30へ出力する。ベースバンド部30は、RF部20からデータ信号受信データとクロック信号を入力し、データ信号をデコードし、GPS受信機1の位置の測位を行う。以下、ベースバンド部30の詳細な構成について説明する。なお、本実施形態においては、RF部20及びベースバンド部30は1チップの集積回路で構成されていてもよいし、それぞれ別々のチップで構成されていてもよい。<1.2ベースバンド部30>図1に示すベースバンド部30は、一例であり、相関器31と、PLL32と、CPU33と、UART34と、メモリインターフェース35と、ROM36と、RAM37と、RTC38と、を備える。相関器31は、CPUの設定にしたがって動作する複数組の相関器から構成され、相関器31の出力にピークが出るように位相制御を行う。この位相制御によりGPS信号の捕捉や追尾トラッキングが行われる。PLL32は、RF部20から入力されたクロック信号をCPU33に出力する。CPU33は、PLL32から入力されたクロック信号に基づき動作し、GPS信号の捕捉/トラッキング、後述する航法メッセージデータのデコードや管理、測位計算、衛星の位置予測計算等を行う。UART34は、GPS受信機1に接続された情報端末機器40との間のデータの入出力等を行う。メモリインターフェース35は、外部メモリとのインターフェースとして機能する。ROM36は、マスクROMやフラッシュROMとして構成され、所定のプログラム等を格納する。RAM37は、バッテリバックアップ領域等を有する。RTC38RealtimeClockは、電源投入時に参照され、この時刻を利用してGPS衛星の位置予測計算を行う。なお、上記ベースバンド部30の構成は一例に過ぎず、その他の構成であってもよい。<1.3サイクルスリップ検出部300>図2は、ベースバンド部30により実現されるサイクルスリップ検出部サイクルスリップ検出装置300の機能ブロック図である。サイクルスリップ検出部300は、上述したベースバンド部30のCPUがROM36等に記憶された所定のプログラムを実行することによってサイクルスリップの検出を実現するものである。このサイクルスリップの検出は、データ信号補足/追尾部310より取得される、位相制御されているデータ信号受信データに対して行われる。このデータ信号は、GPS衛星から送信される航法メッセージデータを含む。航法メッセージデータは、次のような構成を有する。<1.3.1航法メッセージデータの構成>航法メッセージデータの1サイクルは、フレームという単位の集合であり、図3に示す構造を有する。1フレームは1500ビットであり、これを送信するには30秒の時間がかかる。フレームは5つのサブフレーム各300ビットから構成されており、サブフレーム1から順番に送信を始め、サブフレーム5を送信し終わると再びサブフレーム1の送信に戻る。サブフレームの内部は、図3に示すようにワードという単位に分割されている。1ワードは30ビットである。1サブフレームは10ワードに対応し、各ワードは24ビットのデータ部とパリティチェック用の6ビットから構成される。図4は、1ワード30ビットの構成を示す。d0からd31はそれぞれ1ビットの情報に相当する。d0及びd1は、前ワードの終端2ビットであり当該ワードのパリティチェック計算に用いられる。d2からd25は、当該ワードのデータビットであり、d26からd31は当該ワードのパリティビットである。なお、航法メッセージデータにサイクルスリップが生じた場合、データは図5に示すような状態になる。図5aは追尾衛星が送信したデータ、つまりサイクルスリップが生じていない状態のデータを示し、図5b受信機1が収集したデータでサイクルスリップが生じているデータを示す。同図に示すように、サイクルスリップが生じた時点でビット値が反転し、その後も反転し続けている。このビット値が最初に反転したタイミングがサイクルスリップが検出されたタイミングである。<1.3.2サイクルスリップ検出部300の構成>図2に戻ると、サイクルスリップ検出部300は、サイクルスリップ推定部301、メッセージ収集部第1パリティチェック演算部302、第2パリティチェック演算部303、及びパリティチェック比較部サイクルスリップ判定部304を備える。サイクルスリップ推定部301は、データ信号補足/追尾部310より位相制御されているデータ信号を取得し、その受信データに基づき、公知の手法によってサイクルスリップの有無を予備的に判定する。サイクルスリップ推定部301は、サイクルスリップが起こったと判定した場合はその検出したタイミングを取得する。ここでのサイクルスリップの判定手法の一例としては、例えば、次のようなものがある。GPS信号の搬送波の位相値を一定時間積算し、この位相積算値に基づいて移動体の前記一定時間の平均速度を求め、GPS衛星-移動体の相対速度による送信周波数のずれを表す搬送波追尾周波数に基づいて前記移動体の瞬時速度を求める。そして、上記平均速度と瞬時速度とを比較し、これらがほぼ一致していればサイクルスリップは生じていないと判断することができ、一方、これらの差が大きければ、位相積算値にサイクルスリップが生じていると判断することができる例えば、特開平09-145816号公報。或いは、GPS受信装置と慣性装置から算出された速度差を基にサイクルスリップを検出する例えば、特許文献1こともできる。その他にもサイクルスリップの検出手法は様々な公知の手法があり、本実施形態においてはいずれの手法も適用可能である。サイクルスリップ推定部301は、サイクルスリップがあると判定した場合は、その旨をメッセージ収集部302に通知するとともに、そのサイクルスリップを検出したタイミングを第2パリティチェック演算部303に出力する。メッセージ収集部302は、サイクルスリップ推定部301によるサイクルスリップ有りとの判定を受けて、データ信号補足/追尾部310より入力された、位相制御されているデータ信号に対し、所定の式を用いてパリティチェックを行い、その結果第1のパリティチェック結果をパリティチェック比較部304に出力する。所定の式とは、例えば次のような式である。上記数式1においては、当該ワード及び前ワードに含まれるビット値d0~d31を用いて、P0からP5のビット値を算出し、パリティチェック比較部304に出力する。ここでは、出力されたパリティチェック結果の値は、例えば、P0=0、P1=1、P2=1、P3=1、P4=1、P5=1であったとする。一方、第2パリティチェック演算部303は、サイクルスリップ推定部301より入力されたサイクルスリップ検出タイミングに基づき、データ信号においてサイクルスリップが生じたビット位置を特定する。第2パリティチェック演算部303は、例えば、データ信号の各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果の値を予めメモリ等に記憶しておき、その値を参照する。このサイクルスリップが発生した場合のパリティチェック結果の値は、例えば上記数式1を用いて算出され、例えば次の表1に示すようなテーブルとして予め作成されメモリに記憶されている。なお、表1は、1番目のビット位置として、前ワードの終端ビット図4のd1に相当を含む。このビット位置でサイクルスリップが検出されることにより、それ以降に続く当該ワード図4のd2~d30においてサイクルスリップが発生しているかどうかを特定でできる。一方、表1は、当該ワードの終端ビット図4のd31に相当を含まないが、これは、このビット位置では、当該ワードに関する限り単独エラーなのかサイクルスリップなのか判別できないためである。第2パリティチェック演算部303は、サイクルスリップが検出されたタイミングに相当するビット位置に対応する値P0~P5をパリティチェック結果第2のパリティチェック結果として取得する。ここでは、例えば、サイクルスリップが検出されたビット位置がd13であるとする。この場合、d13に対応する値ここでは、P0=0、P1=1、P2=1、P3=1、P4=1、P5=1をパリティチェック結果としてパリティチェック比較部304に出力する。パリティチェック比較部304は、メッセージ収集部302から入力されたパリティチェック結果の値と、第2パリティチェック演算部303から入力されたパリティチェック結果の値とが一致するかどうか比較し、その結果を測位演算部305に出力する。ここで、例えば、メッセージ収集部302及び第2パリティチェック演算部303共、出力された値はP0=0、P1=1、P2=1、P3=1、P4=1、P5=1となるため、一致すると判断されその結果が測位演算部320に出力される。測位演算部320は、パリティチェック比較部304より入力された比較結果に応じて、GPS受信機1の位置を測位するための演算を行う。一致するとの比較結果であった場合は、サイクルスリップが正確に検出されたことになる。したがって、測位演算部320は該当する航法メッセージデータを破棄又は修正等し、同航法メッセージデータに基づく観測量を測位に使用しないようにする。一方、一致しないとの比較結果があった場合は、航法メッセージデータを破棄又は修正する。<1.3.3サイクルスリップ検出部300の動作>以下、サイクルスリップ検出部300の動作について、図6のフローチャートを参照しながら説明する。ステップS101:サイクルスリップ推定部301は、データ信号補足/追尾部310より位相制御されている航法メッセージデータを含むデータ信号を取得する。ステップS102:サイクルスリップ推定部301は、データ信号に基づき、公知の手法によってサイクルスリップの有無を予備的に判定する。サイクルスリップ有りと判定した場合はステップS103に進み、サイクルスリップ無しと判定した場合はステップS107に進む。ステップS103:サイクルスリップ推定部301は、サイクルスリップの検出タイミングを第2パリティチェック演算部303に出力する。サイクルスリップ推定部301はまた、メッセージ収集部302にサイクルスリップ有りとの判定結果を出力する。ステップS104:メッセージ収集部302の第1パリティチェック演算部は、データ信号に対し、上述のように数式1によりパリティチェック結果P0~P5を算出する。一方第2パリティチェック演算部303は、上述のように表1を参照して、サイクルスリップの検出タイミングであるビット位置に対応するP0~P5の値を取得する。第1及び第2パリティチェック演算部によるパリティチェック結果はパリティチェック比較部304に入力される。ステップS105:パリティチェック比較部304は、第1及び第2パリティチェック演算部が取得した第1及び第2パリティチェック結果P0~P5が一致するかどうかを判定する。一致する場合は、ステップS106に進み、一致しない場合はステップS107に進む。ステップS106:パリティチェック比較部304は、データ信号にサイクルスリップがあると最終的に判定し、その判定結果を測位演算部305に出力する。サイクルスリップが有ると判定された場合、測位演算部305は、そのデータ信号に基づく観測量を測位に使用しないようにするため、そのデータ信号を破棄又は修正等する。ステップS107:パリティチェック比較部304は、データ信号にサイクルスリップが無いと判定し、その判定結果を測位演算部305に出力する。サイクルスリップが無いと判定された場合、測位演算部305は、そのデータ信号に基づく観測量について少なくともサイクルスリップを考慮することなく測位に使用することができる。なお、上記サイクルスリップ検出部の動作の流れは一例であり、各処理の順序やタイミング等は上記に限定されるものではない。<1.4第1実施形態の特徴>本実施形態に係るサイクルスリップ検出部300によれば、サイクルスリップ推定部301で予備的にサイクルスリップの判定を行なった後、パリティチェックを用いて最終的にサイクルスリップの判定を行なっているため、簡単且つ精度よくサイクルスリップの検出が可能である。<2.第2実施形態>第1実施形態のGPS受信機1のサイクルスリップ検出部300では、サイクルスリップ推定部301によりサイクルスリップの有無を予備的に判定した後、パリティチェックを用いてその判定の当否を最終的に判断しているが、本発明はこれに限定されない。第2実施形態に係るサイクルスリップ検出部2300は、パリティチェックを用いて直接サイクルスリップの有無を検出する一例である。なお、本実施形態においては、受信データに1ビットの単独エラーはないことを前提に、サイクルスリップの判定を行うものとする。なお、図1に示す第1実施形態の受信機1の構成は本実施形態においても同様であり、以下の説明において、第1実施形態と同様の構成については説明を省略し、同様の構成要素ついては同一の符号を付して説明する。<2.1サイクルスリップ検出部2300の構成>サイクルスリップ検出部サイクルスリップ検出装置2300は、メッセージ収集部パリティチェック演算部2302、及びサイクルスリップ判定部2305を備える。メッセージ収集部パリティチェック演算部2302は、第1パリティチェック演算部2302aと第2パリティチェック演算部2302bとを有する。第1パリティチェック演算部2302aは、データ信号補足/追尾部310より位相制御されている航法メッセージデータを含むデータ信号受信データを取得し、所定の式を用いてパリティチェック結果第1のパリティチェック結果を算出する。所定の式とは第1実施形態と同じである次の数式1である。上記数式1においては、当該ワード及び前ワードに含まれるビットd0~d31を用いて、P0からP5の値を算出する。ここでは、出力された値は、例えば、P0=0、P1=1、P2=1、P3=1、P4=1、P5=1であったとする。次に、メッセージ収集部2302の第2パリティチェック演算部2302bは、第1パリティチェック演算部2302aにより算出された上記パリティチェック結果の値P0~P5を取得し、同値が予め記憶された値と一致するかどうかを判定する。ここで、予め記憶された値とは、例えば、メッセージ収集部2302がデータ信号の各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果の値を予めメモリ等に記憶したものである。この各ビット位置においてサイクルスリップが発生した場合のパリティチェック結果の値は、例えば上記数式1を用いて算出され、例えば第1実施形態と同じ表1に示すようなテーブルとして予め作成されている。ここでは、第1パリティチェック演算部2302aにより算出されたパリティチェックの値P0~P5ここでは、P0=0、P1=1、P2=1、P3=1、P4=1、P5=1は、次の表1を参照すると、ビット位置d13とd27におけるパリティチェック結果の値P0~P5と一致していることが分かる。なお、表1におけるd13とd27の値は同じであるため、ここではサイクルスリップを検出したタイミングビット位置を一意には取得できないが、当該航法メッセージデータにおいてサイクルスリップが発生していることは明らかになる。メッセージ収集部2302は、このチェック結果をサイクルスリップ判定部2305に出力する。サイクルスリップ判定部2305は、メッセージ収集部2302より入力されたパリティチェック結果に基づき、サイクルスリップの有無を判定する。具体的には、メッセージ収集部2302の第1パリティチェック演算部2302aによりによって算出されたパリティチェック結果の値P0~P5が、第2パリティチェック演算部2302bの上記表1のいずれかの値P0~P5と一致した場合、サイクルスリップ有りと判定し、一致しない場合はサイクルスリップ無しと判定し、その判定結果を測位演算部320に出力する。測位演算部320は、パリティチェック判定部2305より入力された判定結果に応じて、GPS受信機1の位置を測位するための演算を行う。例えば、サイクルスリップが有りと判定された場合は該当する航法メッセージデータを破棄又は修正等し、サイクルスリップ無しと判定された場合は、サイクルスリップが検出されなかったものとして、当該航法メッセージデータを扱う。<2.2サイクルスリップ検出部2300の動作>以下、第2実施形態に係るサイクルスリップ検出部2300の動作について、図8のフローチャートを参照しながら説明する。ステップS201:メッセージ収集部2302は、データ信号補足/追尾部310より位相制御されている航法メッセージデータを含むデータ信号を取得する。ステップS202:メッセージ収集部2302の第1パリティチェック演算部2302aは、取得したデータ信号に対し、上述の通り数式1によりパリティチェック結果P0~P5を算出する。ステップS203:メッセージ収集部2302の第2パリティチェック演算部2302bは、上述のように表1を参照して、第1パリティチェック演算部2302aにより算出したP0~P5と一致する値が表1にあるかどうかを判定する。一致する値がある場合は、ステップS204に進み、一致する値がない場合はステップS205に進む。ステップS204:メッセージ収集部2302より、一致する値があるとのチェック結果を受けたサイクル判定部2305は、サイクルスリップ有りと判定する。この判定を受けた測位演算部305は、当該データ信号を破棄又は修正等して、そのデータ信号に基づく観測量を測位に使用しないようにする。ステップS205:メッセージ収集部2302より、一致する値が無いとのチェック結果を受けたサイクル判定部2305は、サイクルスリップ無しと判定する。この判定を受けた測位演算部305は、当該データ信号に基づく観測量について少なくともサイクルスリップを考慮することなく測位に使用することができる。なお、上記サイクルスリップ検出部の動作の流れは一例であり、各処理の順序やタイミング等は上記に限定されるべきでない。<2.3第2実施形態の特徴>本実施形態に係るサイクルスリップ検出部2300によれば、パリティチェックを利用してサイクルスリップを検出することができるため、従来に比して簡単で、正確にサイクルスリップの検出が可能である。また、追尾する一チャンネルの観測量から、閾値等を用いることなく、サイクルスリップの検出を行なうことが可能となる点においても、従来に比べて簡単にサイクルスリップの検出が可能である。<2.4第2実施形態の変形例>上記第2実施形態では、メッセージ収集部2302の第1パリティチェック演算部2302aがパリティチェック結果P0~P5を算出した後、第2パリティチェック演算部2302bにより表1を参照しているがこれに限定されない。例えば、第1パリティチェック演算部2302aによるパリティチェック結果P0~P5が全て0の値を示していれば、サイクルスリップは生じていないと判断し、表1等の参照はせずに、その結果をサイクルスリップ判定部2305に入力し、サイクルスリップは無しと判定するようにしてもよい。<3その他実施形態><3.1>上記第1及び第2実施形態においては、サイクルスリップが生じたことを示す所定の値P0~P5は表1として格納され、参照されているが、これに限定されない。かかるサイクルスリップが生じたことを示す所定の値はリアルタイムに算出するようにしてもよい。<3.2>上記第1及び第2実施形態に係るGPS受信機1は例示に過ぎず、これに基づいて以下に示すような変更を行うことが可能である。上記各実施形態では、本発明のGNSS受信機の一例としてGPS受信機1を適用した場合について説明したが、受信機の他の例として、測位システムからの衛星信号を利用可能な受信機であればよく、例えば、ガリレオGalileoPositioningSystemに適用されるGNSS受信機などでもよい。<3.3>上記第1及び第2実施形態では、アンテナ10、RF部20およびベースバンド部30を備えるGPS受信機1について示しているが、本発明は、例えばベースバンド部30のみを備える形態例えば、集積回路、半導体、モジュール、チップ、または、RF部20およびベースバンド部30のみを備える形態例えば、集積回路、半導体、チップ、モジュールと適用することも可能である。<3.4>上記第1及び第2実施形態においては、サイクルスリップ検出部300は装置や集積回路として説明したが、本発明は、サイクルスリップ検出方法やコンピュータプログラムとしても実現し得るものである。<3.5>