内燃機関が、排気系に設けられる触媒の上流及び下流に排気ガス用空燃比センサを備え、少なくとも触媒の下流に設けられる排気ガス用空燃比センサがセラミックのコーティング層を有する酸素センサであり、空燃比をリーンまたはリッチに変化させたときの酸素センサの空燃比検出結果に基づいて触媒の劣化判定を行う内燃機関の触媒劣化判定方法であって、リッチまたはストイキな空燃比での運転状態からリーンな空燃比での運転状態に変更して触媒劣化判定を開始する際に、触媒劣化判定開始前におけるリッチな空燃比での運転状態及び触媒劣化判定開始前におけるリッチな空燃比での運転状態から触媒劣化判定開始までの運転状態に基づいて前記触媒劣化判定時における空燃比検出結果を補正する内燃機関の触媒劣化判定方法。そこで本発明は以上の点に着目し、触媒の劣化判定精度の向上を図ることを目的としている。すなわち、本発明の内燃機関の触媒劣化判定方法は、内燃機関が、排気系に設けられる触媒の上流及び下流に排気ガス用空燃比センサを備え、少なくとも触媒の下流に設けられる排気ガス用空燃比センサがセラミックのコーティング層を有する酸素センサであり、空燃比をリーンまたはリッチに変化させたときの酸素センサの空燃比検出結果に基づいて触媒の劣化判定を行う内燃機関の触媒劣化判定方法であって、リッチまたはストイキな空燃比での運転状態からリーンな空燃比での運転状態に変更して触媒劣化判定を開始する際に、触媒劣化判定開始前におけるリッチな空燃比での運転状態及び触媒劣化判定開始前におけるリッチな空燃比での運転状態から触媒劣化判定開始までの運転状態に基づいて前記触媒劣化判定時における空燃比検出結果を補正することを特徴とする。このような構成によれば、リッチまたはストイキな空燃比での運転状態からリーンな空燃比での運転状態に変更して触媒劣化判定を開始する際に、触媒劣化判定開始前におけるリッチな空燃比での運転状態において酸素センサのコーティング層に異物が付着していることを考慮して、その異物の付着を推定して空燃比変動検出結果を補正することが可能になる。本発明は、以上説明したような構成であり、コーティング層を有する酸素センサを使用して触媒の劣化判定を行う場合にあって、その劣化判定精度を向上させることができる。以下、本発明の一実施形態を、図面を参照して説明する。図1に、一気筒の構成を概略的に示すこの実施形態における内燃機関100は、例えば自動車に搭載される火花点火式のものである。内燃機関100の吸気系1には、アクセルペダルの踏み込み量に応じて作動するスロットル弁11を設けており、スロットル弁11の下流にはサージタンク13を有する吸気マニホルド12を取り付けている。サージタンク13には吸気管圧力を検出するための圧力センサ71を配している。サージタンク13より下流の吸気系1には、吸気ポートに向けて燃料を噴射する燃料噴射弁3が取り付けてある。燃料噴射弁3は、後述する電子制御装置4により開閉を制御される。排気系5には、排気マニホルド51を取り付け、排気ガス浄化用の三元触媒52を装着している。三元触媒52は特に、酸素ストレージ能力を有するものである。そして、三元触媒52の上流位置にフロント空燃比センサ53を、またその下流位置にはリアO2センサ54をそれぞれ配置している。フロント空燃比センサ53及びリアO2センサ54は、排気ガスに接触して反応することにより、排気ガス中の酸素濃度に応じた電圧信号を出力する。リアO2センサ54は、固体電解質の表裏に電極を取り付け、排気ガスが接触する表側の電極の保護のためにセラミックのコーティング層を備えるものである。シリンダ2上部に形成される燃焼室の天井部には、吸気バルブ21、排気バルブ22及び点火プラグ23が配置される。電子制御装置4は、内燃機関の運転を制御するもので、中央演算装置41、記憶装置42、入力インターフェース43、出力インターフェースなどを有するコンピュータシステムである。入力インターフェース43には、圧力センサ71から出力される吸気圧信号a、エンジン回転数を検出するための回転数センサ72から出力される回転数信号b、車速を検出するための車速センサ73から出力される車速信号c、スロットルバルブの開度を検出するためのスロットルセンサ74から出力されるスロットル開度信号d、冷却水の温度を検出するための水温センサ76から出力される水温信号f、フロント空燃比センサ53から出力される上流側空燃比信号g、リアO2センサ54から出力される下流側空燃比信号hなどが入力される。一方、出力インターフェース44からは、インジェクタ3に対して燃料噴射信号n、点火プラグ8に対して点火信号mなどが出力される。中央演算装置41は、記憶装置42にあらかじめ格納されているプログラムを実行し、運転に必要な各種情報を上記の各センサから取得し、燃料噴射量や点火時期などを制御する。そのような制御において、フロント空燃比センサ53から出力する上流側空燃比信号gを用いて、従来と同様に空燃比のフィードバック制御を実行する。又、中央演算装置41は、三元触媒52の劣化を判定するために、記憶装置42に格納されている、リッチまたはストイキな空燃比での運転状態からリーンな空燃比での運転状態に変更して触媒劣化判定を開始する際に、触媒劣化判定開始前におけるリッチな空燃比での運転状態及び触媒劣化判定開始前におけるリッチな空燃比での運転状態から触媒劣化判定開始までの運転状態に基づいて触媒劣化判定時における空燃比検出結果を補正し、補正後の空燃比検出結果に基づいて劣化判定を行う劣化判定プログラムを実行する。この実施形態における三元触媒52の劣化判定は、三元触媒52の酸素吸蔵量OSAを測定することにより行うものである。酸素吸蔵量OSAは、空燃比を、リッチからまたはストイキから強制的にリーンに変化させ、フロント空燃比センサ53がリーンである空燃比を検出してから、リアO2センサ54が酸素を検出するまでの時間差に基づいて算出する。従って、この実施形態においては、空燃比検出結果としては、酸素吸蔵量OSAとなる。図2により、三元触媒52の劣化判定の手順を説明する。なお、劣化判定プログラムはリッチな空燃比での運転状態が存在し、且つ設定された三元触媒52の劣化判定開始のタイミングとなった際に実行するものである。例えば、加速運転により空燃比がリッチである運転が終了した時点と劣化判定開始のタイミングとが一致する場合は、空燃比がリッチである運転の終了時点から劣化判定プログラムを実行し、空燃比がリッチである運転が終了した後、理論空燃比またはリーン空燃比で通常走行を行っている間に劣化判定開始のタイミングとなった場合は、そのタイミングで劣化判定プログラムを実行する。この劣化判定プログラムの実行に先立って、リアO2センサ54に付着する異物である水素が劣化判定に及ぼす影響を相殺するために必要な演算を実施する。通常、セラミックのコーティング層を有するリアO2センサ54では、空燃比がリッチである運転状態において、セラミックのコーティング層に当該コーティング層を酸素が通過することを阻害する水素が付着する。このように水素が付着すると、リアO2センサ54による酸素検出が遅れる。このため、リアO2センサ54の出力が実際の空燃比の変更後反転するまでの遅延時間に基づいて三元触媒52の劣化を判定する場合、このような水素の付着に起因する酸素検出の遅れが生じると、正確な判定が困難になる。このようなコーティング層への水素の付着の影響を排除するために、上記の空燃比がリッチである運転状態にある期間の空燃比瞬時値と燃料噴射量瞬時値とリッチである運転時間とを計測する。これらの値は、空燃比がリッチである運転状態における酸素吸蔵量OSAの誤差分以下、OSA誤差増分と称するを演算するためのものである。また、空燃比がリッチである運転が終了した後、理論空燃比またはリーン空燃比で通常走行を行っている間に劣化判定開始のタイミングとなった場合にあっては、空燃比がリッチである運転の終了から、劣化判定開始のタイミングまでの運転状態における酸素吸蔵量OSAの誤差分以下、OSA誤差減少分と称するについても演算する。OSA誤差減少分とは、空燃比がリッチである運転状態においてリアO2センサ54に付着した水素が、理論空燃比またはリーン空燃比での運転中にリアO2センサ54から離脱するものに起因する。OSA誤差増分及びOSA誤差減少分は、次式により演算する。OSA誤差増分=∫F1tdtOSA誤差減少分=∫F2tdtただし、F1t=α×A/Fi×β×燃料噴射量iF2t=γ×A/Fi×δ×燃料噴射量iα、β、γ、δは、係数。A/Fiは、リアO2センサ54が計測した空燃比の瞬時値。燃料噴射量iは、その瞬時値。なお、OSA誤差増分については、上限値を設定しておく。これは、空燃比がリッチでの運転状態が長くなるとOSA誤差増分は大きくなるが、コーティング層に水素が付着限度量まで付着すると、それ以上は付着しないことに起因する。また、OSA誤差減少分は、空燃比がリッチである運転が終了した時点と劣化判定開始のタイミングとが一致する場合にあっては、0となり、酸素吸蔵量OSAの誤差分はOSA誤差増分のみとなる。まず、ステップS1では、空燃比を強制的にリーンに変更する。ステップS2では、空燃比をリーンに変更したことにより、リアO2センサ54が出力する下流側空燃比信号hが反転するまでの間の諸元を計測する。この場合の諸元とは、三元触媒52の酸素吸蔵量OSAを演算するために必要な因子である、リアO2センサ54が検出した実際の空燃比と理論空燃比との偏差、燃料噴射量、フロント空燃比センサ53が出力する上流側空燃比信号gの反転時点から下流側空燃比信号hの反転時点までの時間差を指すものである。ステップS3では、空燃比をリーンに変更してから所定時間経過後に空燃比をリッチに変更する。ステップS4では、空燃比をリッチに変更したことにより、下流側空燃比信号hが反転するまでの間の諸元を計測する。この場合の諸元は、ステップS2におけるものと同じである。ステップS5では、計測した諸元により、空燃比をリーンに変更した場合と、空燃比をリッチに変更した場合とのそれぞれの酸素吸蔵量OSAを上述した誤差分による補正も含めて演算する。誤差分を補正する前の、空燃比をリーンに変更した場合の第一酸素吸蔵量OSAと、空燃比をリッチに変更した場合の第二酸素吸蔵量OSAとの演算は、下記の式により行う。なお、第一酸素吸蔵量OSAを演算する場合においては、ステップS2において計測した諸元を、また第二酸素吸蔵量OSAを演算する場合においては、ステップS4において計測した諸元を、それぞれ代入するものである。OSA=ΔA/F×燃料噴射量×k×Δtただし、ΔA/Fは、リアO2センサ54が検出した実際の空燃比と理論空燃比との偏差。Δtは、上流側空燃比信号gの反転時点から下流側空燃比信号hの反転時点までの時間差。得られた各酸素吸蔵量OSAは、次式により誤差分を補正する。空燃比をリーンに変更した場合の酸素吸蔵量OSAを、リーン酸素吸蔵量OSAと称し、空燃比をリッチに変更した場合の酸素吸蔵量OSAを、リッチ酸素吸蔵量OSAと称する。リーン酸素吸蔵量OSA=第一酸素吸蔵量OSA-OSA誤差増分-OSA誤差減少分リッチ酸素吸蔵量OSA=第二酸素吸蔵量OSA-OSA誤差増分-OSA誤差減少分なお、この誤差分による各酸素吸蔵量OSAの補正は、空燃比がリッチである運転状態とその後の劣化判定開始のタイミングまでの運転状態における、リアO2センサ54に付着している水素の量に応じてリアO2センサ54において生じる誤差を補正するものである。従って、OSA誤差増分からOSA誤差減少分を減算した値が、0及び正の値である場合、つまりリアO2センサ54に水素が付着している場合にのみ実施するものである。ステップS6では、ステップS5において得られたリーン酸素吸蔵量OSAとリッチ酸素吸蔵量OSAとの平均値を算出する。ステップS7では、ステップS6において得られた平均値つまり平均酸素吸蔵量OSAavに基づいて、三元触媒52の劣化を判定する。平均酸素吸蔵量OSAavが判定値以上であれば、三元触媒52は劣化していないと判定し、判定値未満であれば、劣化していると判定する。このような構成によれば、例えば加速運転により空燃比がリッチでの運転が行われて、リアO2センサ54に水素が付着して酸素の検出反応に遅れが生じても、空燃比がリッチでの運転状態における水素の付着状態及びその後の運転状態による水素の離脱状態を、空燃比の瞬時値及び燃料噴射量の瞬時値を積算して得る誤差分OSA誤差増分及び誤差減少分として演算する。そして誤差分により、第一酸素吸蔵量OSAと第二酸素吸蔵量OSAとを補正して、三元触媒52の劣化を判定するための平均酸素吸蔵量OSAavを演算するので、劣化を判定するに際して、空燃比がリッチでの運転状態及びその後の劣化判定開始のタイミングまでの運転状態におけるリアO2センサ54の検出遅れを劣化の判定に反映させることができる。従って、三元触媒52の劣化の判定の精度を向上させることができる。また、このような誤差分の補正を行うことにより、リアO2センサ54に付着した水素が離脱するまで劣化判定の開始を遅らせる必要がないので、迅速に三元触媒52の劣化を判定することができる。なお、本発明は上記実施形態に限定されるものではない。その他、各部の具体的構成についても上記実施形態に限られるものではなく、本発明の趣旨を逸脱しない範囲で種々変形が可能である。例えば、前記第一酸素吸蔵量OSAを検出するために、空燃比を強制的にリーンへ変化させている期間を、水素がリアO2センサ54のセラミックコーティング層から酸素吸蔵量の測定に影響を及ぼさない程度まで離脱する所定期間となるように設定すれば、その後に続けて測定する空燃比をリッチに変更した場合の前記第二酸素吸蔵量OSAは、OSAの誤差分を補正することなくリッチ酸素吸蔵量OSAとして触媒劣化判定の演算に利用することができる。