内燃機関の排気経路に設置された触媒より上流側の排気ガスの空燃比を、理論空燃比に対してリッチであるリッチ空燃比とリーンであるリーン空燃比とを切り替えるように制御する空燃比制御手段と、前記排気経路の前記触媒より下流の排気ガスの空燃比に応じた出力を発する空燃比センサと、前記空燃比制御手段による空燃比制御中であって、前記触媒より下流に設置された空燃比センサの出力が平衡化する所定の期間における前記空燃比センサの出力と、理論空燃比に相当する基準出力との差異に応じて、前記空燃比センサの出力を補正する補正係数を算出する補正係数算出手段と、を備えることを特徴とする空燃比センサの補正装置。前記所定の期間は、前記空燃比制御手段により、触媒より上流側において空燃比が前記リッチ空燃比から前記リーン空燃比に切り替えられて第1の時間経過した後から、前記リーン空燃比から再び前記リッチ空燃比に切り替えられるときよりも第2の時間前までの期間、及び又は、前記リーン空燃比から前記リッチ空燃比に切り替えられて第3の時間経過した後から、前記リッチ空燃比から前記リーン空燃比に切り替えられるときよりも第4の時間前までの期間であることを特徴とする請求項1に記載の空燃比センサの補正装置。前記所定の期間は、前記空燃比制御手段により、触媒より上流側において空燃比が前記リッチ空燃比から前記リーン空燃比に切り替えられて第1の時間経過した後から、前記リーン空燃比から前記リッチ空燃比に切り替えられるときよりも第2の時間前までの期間であることを特徴とする請求項1に記載の空燃比センサの補正装置。前記空燃比センサの出力の変化の微分値を算出する微分値算出手段を、更に備え、前記所定の期間は、前記微分値が所定の許容範囲内にある期間であることを特徴とする請求項1に記載の空燃比センサの補正装置。前記所定の期間は、前記微分値が前記許容範囲内にある期間が、一定時間の連続する期間であることを特徴とする請求項4に記載の空燃比センサの補正装置。前記所定の期間は、更に、前記空燃比が前記空燃比センサを前記リーン空燃比から前記リッチ空燃比に切り替えられた後から、再び、前記リーン空燃比に切り替えられるまでの期間であることを特徴とする請求項4又は5に記載の空燃比センサの補正装置。前記所定の期間における前記空燃比センサの出力として、前記所定の期間の間に複数回検出された前記空燃比センサの出力の平均値を用いることを特徴とする請求項1から6のいずれか1項記載の空燃比センサの補正装置。ところで、起電力式の酸素センサは、検出対象とするガスのガス量やガス濃度への依存が大きく、低濃度や低流量のガスに対しては出力が出にくくなる特徴がある。従って、今後、排ガス規制の厳格化等により、触媒下流に排出される排気ガスの濃度が更に低くなった場合、起電力式の酸素センサでは触媒下流の空燃比変化を正確に検出できなくなる事態が起こり得る。また、酸素センサは検出対象とするガスが低濃度になればなるほど、その出力応答性が遅れる傾向がある。従って、低濃度の排気ガス環境下では、リッチ空燃比とリーン空燃比との間での空燃比の変動に対し、即時に反応してその変化を検出することが困難となる。従って、上記従来技術のような触媒劣化検出など、下流側の酸素センサの出力変化に基づく制御の精度を高く維持することが難しくなると考えられる。これに対し、触媒下流側のセンサを例えば限界電流式の空燃比センサとすることが考えられる。限界電流式の空燃比センサであれば、極低濃度の排気ガスについても、ある程度正確にその空燃比を検出することができる。しかし空燃比センサについても、経時劣化や初期のばらつき等によりその出力にずれが生じる場合がある。このような場合には、空燃比センサの出力誤差により、触媒劣化判定等の制御の高い精度を維持することが難しい。以上より、この発明は上記課題を解決することを目的とし、触媒下流に空燃比センサを設置した場合に、その出力を適正に補正できるように改良した空燃比センサの補正装置を提供するものである。この発明は、上記の目的を達成するため、空燃比センサの補正装置であって、内燃機関の排気経路に設置された触媒より上流側の排気ガスの空燃比を、理論空燃比に対してリッチであるリッチ空燃比とリーンであるリーン空燃比とを切り替えるように制御する空燃比制御手段と、排気経路の触媒より下流の排気ガスの空燃比に応じた出力を発する空燃比センサと、空燃比制御手段による空燃比制御中であって、触媒より下流に設置された空燃比センサの出力が平衡化する所定の期間における空燃比センサの出力と、理論空燃比に相当する基準出力との差異に応じて、空燃比センサの出力を補正する補正係数を算出する補正係数算出手段と、を備える。この発明において、空燃比センサの出力が平衡化する所定の期間は、空燃比制御手段により、触媒より上流側において空燃比がリッチ空燃比からリーン空燃比に切り替えられて第1の時間経過した後から、リーン空燃比から再びリッチ空燃比に切り替えられるときよりも第2の時間前までの期間、及び又は、リーン空燃比からリッチ空燃比に切り替えられて第3の時間経過した後から、リッチ空燃比からリーン空燃比に切り替えられるときよりも第4の時間前までの期間とすることができる。ここで第1から第4の時間は、同一時間であってもよいし、それぞれ異なる時間であってもよい。あるいは、所定の期間は、空燃比制御手段により、触媒より上流側において空燃比がリッチ空燃比からリーン空燃比に切り替えられて第1の時間経過した後から、リーン空燃比からリッチ空燃比に切り替えられるときよりも第2の時間前までの期間とすることもできる。ここで、第1、第2の時間は同一時間であってもよいし、互いに異なる時間であってもよい。また、この発明の空燃比センサの補正装置は、空燃比センサの出力の変化の微分値を算出する微分値算出手段を、更に備えるものとすることができる。この場合、所定の期間は、微分値が所定の許容範囲内にある期間とすることができる。更に、微分値算出手段を用いるものについては、所定の期間は、微分値が許容範囲内にある期間が、一定時間の連続する期間とすることもできる。また、所定の期間は、微分値が所定の許容範囲内にある期間とすると共に、更に、空燃比が空燃比センサをリーン空燃比からリッチ空燃比に切り替えられた後から、再び、リーン空燃比に切り替えられるまでの期間とすることもできる。また、これらの所定の期間における空燃比センサの出力として、所定の期間の間に複数回検出された空燃比センサの出力の平均値を用いることとしてもよい。この発明によれば、触媒上流の空燃比をリッチ空燃比又はリーン空燃比に切り替える制御を行った場合、触媒は、空燃比切り替え後のある期間中に最適な浄化状態となり、その状態で触媒下流側に排出される排気ガスは、理論空燃比近傍の排気ガスを最適な状態に還元したものとなる。このような状態となっている間、空燃比センサの出力は、理論空燃比に対応する出力に安定し、平衡化するものと考えられる。従って、空燃比センサの出力が平衡化する期間において、空燃比センサの出力と、理論空燃比に対応する基準出力とを比較することで、空燃比センサの基準出力に対するずれを求めることができる。更に、このずれに基づいて空燃比センサの出力補正係数を算出することで、空燃比センサの劣化等によるずれを補正することができる。また、この発明において、空燃比を切り替える前後の所定時間を除いた期間を所定の期間とするものについては、触媒が最適な状態となり空燃比センサの出力が安定する期間の出力を、より確実に利用することができる。また、この発明において、空燃比センサの出力変化の微分値が、所定の許容範囲内である場合の、空燃比センサの出力に基づいて空燃比センサの補正係数を求めるものについては、空燃比センサの出力に含まれるノイズ等をより確実に除去し、より適正な空燃比センサの出力補正係数を求めることができる。また、触媒の酸素放出速度は被毒状態や劣化状態による影響を受けやすく、その影響は、リッチ空燃比からリーン空燃比に切り替えられた場合に現れやすい。従って、この発明において、リーン空燃比からリッチ空燃比に切り替えられた場合の期間を所定の期間とし、その期間の出力を空燃比センサの補正に用いるものについては、更に高い精度で空燃比センサの補正を行うことができる。以下、図面を参照して本発明の実施の形態について説明する。なお、各図において、同一または相当する部分には同一符号を付してその説明を簡略化ないし省略する。実施の形態1.図1は、この発明の実施の形態1におけるシステムの全体構成について説明するための模式図である。図1のシステムは車両等に搭載されて用いられる。図1において、内燃機関2の排気経路4には、触媒6、8が設置されている。触媒6は内燃機関2から排出される一酸化炭素CO及び炭化水素HCを酸化すると共に、窒素酸化物NOxを還元することにより、排気ガスを浄化することができる。排気経路4の触媒6より上流側には空燃比センサ10が設置されている。排気経路4の触媒6より下流側かつ、触媒8より上流に、空燃比センサ12が設置されている。両空燃比センサ10、12は、共に限界電流式のセンサであり、検出対象となる排気ガスの空燃比に応じた出力を発する。なお、便宜的に、以下の実施の形態において、触媒6の上流側の空燃比センサ10をFrセンサ10、下流側の空燃比センサ12をRrセンサ12とも称することとする。図1のシステムは制御装置14を備えている。制御装置14は、内燃機関2のシステム全体を総合制御する。制御装置14の出力側には各種アクチュエータが接続され、入力側には空燃比センサ10、12等の各種センサが接続される。制御装置14は、センサ信号を受けて排気ガスの空燃比や機関回転数、その他内燃機関2の運転に必要な種々の情報を検出すると共に、所定の制御プログラムに従って各アクチュエータを操作する。なお、制御装置14に接続されるアクチュエータやセンサは多数存在するが、本明細書においてはその説明は省略する。このシステムにおいて制御装置14が実行する制御には、Rrセンサ12の出力の補正のための制御が含まれる。図2は、この発明の実施の形態1における制御の内容について説明するための図である。図2において、IN側紙面上側の直線は、触媒6に流入する排気ガスの空燃比を表し、OUT側紙面下側の曲線は、触媒6から流出する排気ガスに対するRrセンサ12の出力を表している。図2に示されるように、Rrセンサ12の補正のための制御は、触媒6に流入させる排気ガスの空燃比を、理論空燃比に対してリッチであるリッチ空燃比とリーンであるリーン空燃比との間で振動させるアクティブ制御中に行われる。より具体的に、図2の例では、リッチ空燃比である14.1と、リーン空燃比である15.1とを強制的に切り替える制御が実行されている。なお、このアクティブ制御は、例えば触媒6の劣化判定等の他の目的のために実行される制御であり、制御装置14に記憶された制御プログラムに基づき実行される。このアクティブ制御においては、例えば、触媒6に流入するIN側の排気ガスの空燃比がリッチ空燃比から、リーン空燃比に切り替えられ、リーン空燃比に維持される。このとき、触媒6はリーン雰囲気の排気ガスの未燃成分を酸化又は還元し、最適な状態に浄化する。なお、このように排気ガスが最適に浄化されている状態を最適浄化状態と称することとする。この最適浄化状態において、触媒6の下流には理論空燃比近傍に浄化された排気ガスが排出される。従って、図2のaに示されるように、Rrセンサ12は、理論空燃比に対応する値を安定して出力する。しかし、触媒6にリーンな排気ガスが流入し続けると、触媒6が最大限に酸素を吸蔵し、もはや酸素を吸蔵できない状態となる。この状態となると、触媒6はリーン成分NOx等を浄化還元することができない状態となり、触媒6下流にはリーン雰囲気の排気ガスが排出され始める。従って、Rrセンサ12の出力は、所定のリーン空燃比を示す値となる。Rrセンサ12の出力がリーンを示す値となると、触媒6のIN側の排気ガスの空燃比がリッチ空燃比となるように切り替えられる。触媒6にはリッチな排気ガスが流入し、触媒6の内部ではガスの平衡化が進みリッチな排気ガスを最適な状態に浄化する最適浄化状態となる。この状態では触媒6の下流側には理論空燃比近傍の浄化された排気ガスが排出される。従って、図2aに示されるように、Rrセンサ12の出力は、リーンを示す値から理論空燃比に対応する値に安定する。その後、触媒6にリッチな排気ガスが流入し続けると、触媒6は、流入するリッチ雰囲気の排気ガスを浄化することができない状態となる。この状態になると、触媒6下流には、リッチ雰囲気の排気ガスが流出する。従って、Rrセンサ12の出力はリッチ雰囲気を示す値となる。その後、再びリーン雰囲気に切り替えられると、触媒6内部で再びガスの平衡化が進み、排気ガスが最適な状態に浄化される触媒最適状態となる。この状態ではRrセンサ12の出力は再び理論空燃比に対応する値に安定する。アクティブ制御中においては、以上のようなリッチ空燃比とリーン空燃比とを繰り返し切り替える。その切り替え後の一定期間、触媒が最適浄化状態となると、Rrセンサ12の出力も安定的に理論空燃比近傍の値を示す。ここで、理論的には、最適浄化状態におけるRrセンサ12の出力は理論空燃比に対応する出力である基準出力14.6を示すこととなる。しかしながら、最適浄化状態にあっても、Frセンサ10やRrセンサ12の経時劣化、初期ばらつき等により、Rrセンサ12の出力値が理論空燃比に対応する値とならない場合がある。そして最適浄化状態におけるセンサ出力と基準出力とのずれは、Rrセンサ12の出力全体に渡るずれであると考えられる。以上より、本実施の形態1では、上記アクティブ制御中の最適浄化状態におけるRrセンサ12の出力を検出し、出力検出値と基準出力14.6との差を求め、この差の平均値を算出する。そして、この平均値をRrセンサ12に対する出力補正係数として用いることとする。ただし、空燃比がリッチ空燃比からリーン空燃比あるいはリーン空燃比からリッチ空燃比に切り替えられた後、Rrセンサ12が安定的な出力を発するまでに、ある程度の時間を要する。従って、本実施の形態1では、リッチ空燃比に切り替えられて2秒後から、リーン空燃比に切り替えられる2秒前までの期間と、リーン空燃比に切り替えられて2秒後から、リッチ空燃比に切り替えられる2秒前までの期間を触媒最適状態とし、この間のRrセンサ12の出力を検出し補正係数を算出するものとする。図3は、この発明の実施の形態1において制御装置が実行する制御のルーチンについて説明するためのフローチャートである。図3の制御では、まず、前提条件が成立しているか否かが判別されるS102。ここでの前提条件は、アクティブ制御が可能な運転条件か、あるいは、アクティブ制御実行中であるかなどであり、予め定められ、制御装置14に記憶されているものとする。ステップS102において前提条件の成立が認められない場合、今回の処理は終了する。一方、ステップS102において前提条件の成立が認められると、次に、学習条件が成立しているか否かが判別されるS104。ここで学習条件は、例えば、触媒6が活性状態にあり、触媒6の下流側が所定のリッチ空燃比とリーン空燃比との間で振れているか否かなどであり、予め定められ、制御装置14に記憶されているものとする。ステップS104において、学習条件の成立が認められない場合、今回の処理は一旦終了する。一方、ステップS104において学習条件の成立が認められると、最適浄化状態における空燃比が検出されるS106。具体的には、本実施の形態1では、最適浄化状態として、アクティブ制御中であって、空燃比を、リッチ空燃比からリーン空燃比、あるいはリーン空燃比からリッチ空燃比とする空燃比の切り替えの前後2秒間を除いた期間が設定されている。ステップS106では、この期間におけるRrセンサ12の出力が、所定時間ごとに繰り返し所定サンプル数となるまで検出される。次に、補正係数が算出されるS108。補正係数の算出においては、まず、ステップS106において検出されたRrセンサ12の出力と基準出力14.6との差が求められる。その後、この差の平均値が算出され、この平均値が補正係数とされる。その後、今回の処理は一旦終了する。なお、算出された平均値補正係数は、Frセンサ10、Rrセンサ12の最適浄化状態に対する学習値として用いられる。例えば、空燃比センサ10、12を用いた空燃比のフィードバック制御において、出力の基準となる理論空燃比に対する値基準値を、次式1のように補正する。基準値=146補正係数その他学習値1このように、最適浄化状態におけるセンサ出力に基づく補正を行うことで、触媒6の劣化による浄化点のずれ、燃料の変化による理論空燃比のずれ、リッチガス増加等によるセンサの出力ずれ等の影響を受けることなく、触媒6の最適浄化点に対する空燃比センサ10、12の出力を補正することができ、最適浄化状態を基準とする制御を実行することができる。なお、本実施の形態1においては運転領域に関わらず、アクティブ制御実行中に空燃比センサ10、12の補正係数を算出する制御を実行する場合について説明した。しかし、この発明はこれに限るものではない。吸入空気量は触媒浄化性能に対する影響が大きい。このような要素に対し、例えばエンジン回転数をいくつかの領域に分けて、各領域で、補正係数を算出するようにしてもよい。これにより、より高い精度で空燃比センサ10、12の出力を補正することが可能となる。これは、実施の形態2においても同様である。また、本実施の形態1においては、触媒6の劣化判定等、他の目的の制御であるアクティブ制御の実行中のタイミングを利用して、本実施の形態1の空燃比センサ10、12の補正係数を算出するための制御を実行する場合について説明した。これにより、効率的に補正係数の算出を行うことができる。しかし、この発明はこれに限るものではなく、空燃比センサ10、12の補正係数算出のために、アクティブ制御を別途実行することとしてもよい。これは実施の形態2においても同様である。また、実施の形態1においては、リッチ空燃比からリーン空燃比に切り替えた場合、リーン空燃比からリッチ空燃比に切り替えた場合のいずれの場合についても、Rrセンサ12の出力を検出し、補正係数算出に用いる場合について説明した。しかし、触媒6は、劣化状態や被毒状態によっては、酸素放出速度に変化が出やすい。そして、その影響は、リッチからリーンに空燃比を変化させた場合に現れやすい。従って、この発明は、Rrセンサ12の補正係数算出においては、リーン空燃比からリッチ空燃比へ切り替えた場合の出力のみを用いて補正係数を算出することとしてもよい。これにより、より適正な補正係数を得ることができる。これは実施の形態2においても同様である。また、本実施の形態1では、触媒6の上流、下流にそれぞれ限界電流式の空燃比センサ10、12を配置する場合について説明した。しかし、この発明において上流側の空燃比センサ10はこれに限るものではない。触媒6の上流側のセンサは、アクティブ制御において触媒6上流の空燃比を、所定のリッチ空燃比、リーン空燃比に制御するために用いるものである。従って、本発明においては、空燃比センサ10に替えて、触媒6上流側の空燃比を検出できる他のセンサを用いることができる。また、この発明は、排気経路4の触媒6上流に空燃比検出用のセンサを配置するものに限られるものではない。例えば、空燃比センサ10を設置せず、内燃機関2に設置された筒内圧センサの出力に応じて空燃比を検出するものであってもよい。これは、実施の形態2においても同様である。また、本実施の形態1においては、空燃比センサ10、12の補正係数として、Rrセンサ12の出力と基準出力との差の平均値を用いる場合について説明した。しかし、この発明において、空燃比センサ10、12に対する補正係数の算出方法はこれに限るものではなく、基準出力との差異に応じて他の手法により検出するものであればよい。また、Rrセンサ12の出力を複数回検出し、この平均値を用いる場合について説明したが、この発明はこれに限るものではなく、1回の検出値をそのまま補正係数の算出に用いることとしてもよい。これは実施の形態2においても同様である。更に、本発明は、空燃比センサ10、12を共に補正する補正係数を求める場合にかぎられず、例えば空燃比センサ12の出力のみを補正する補正係数とするものであってもよい。これは実施の形態2においても同様である。なお、例えば、実施の形態1において、アクティブ制御中であって、空燃比を、リッチ空燃比からリーン空燃比、あるいはリーン空燃比からリッチ空燃比とする空燃比の切り替えの前後2秒間を除いた期間が、この発明における空燃比センサの出力が平衡化する所定の期間に該当する。そして、本実施の形態1のステップS106及びS108が実行されることで、この発明の補正係数算出手段が実現する。実施の形態2.実施の形態2は、図1のシステムと同様の構成を有している。また、実施の形態2のシステムは、Rrセンサ12の出力が平衡化する所定の期間として、異なる期間を規定する点を除いて、実施の形態1のシステムと同様の制御を行う。即ち、実施の形態2のシステムにおいても、最適浄化状態のRrセンサ12の出力を検出し、この出力値に基づいて補正係数を算出する。ただし、実施の形態2においては、その出力変化の微分値が所定値以下である場合の出力のみを用い、この出力に基づいて補正係数を算出する。図4は、Rrセンサ12の出力とその微分値を表す図である。また、図4において上部の曲線はRrセンサ12の出力であり、下部の曲線は、Rrセンサ12の出力変化を微分した値を示している。また図4においbで示されるような斜線部分は最適浄化状態である。図4に示されるとおり、触媒下流の排気ガスの空燃比がリッチ空燃比からリーン空燃比、あるいはその逆に大きく変化するときに、その微分値も大きくなることが確認される。また、最適浄化状態では微分値も安定的な値を示す。しかしRrセンサ12の出力にはノイズが含まれる場合があり、この場合、最適浄化状態においても、微分値が大きく変化する。従って、実施の形態2においては、ノイズ分の微分幅を事前に実験等により求め、許容される微分幅許容範囲を決定する。そして、微分値がこの許容範囲内に収まっている場合に、Rrセンサ12の出力を補正係数の算出に用いることとする。補正係数の算出方法や補正方法は、実施の形態1と同様であり、出力と理論空燃比14.6との差の平均値を求め、これを補正係数とする。以上のように、微分値が許容範囲内に収まる期間の出力のみを補正係数算出の出力として用いることで、Rrセンサ12の出力に含まれるノイズをカットすることができる。これにより、より適正な補正係数を算出することができ、空燃比制御等の精度を向上させることができる。なお、本実施の形態2において、微分値が許容範囲に収まる期間が、本発明の空燃比センサの出力が平衡化する所定の期間に該当する。そして、本実施の形態2においては、この期間におけるセンサ出力補正係数の算出に用いる場合について説明した。しかし、この発明において、空燃比センサの出力が平衡化する所定の期間はこれに限るものではない。例えば、微分値が許容範囲に収まる期間が、一定時間連続していう期間のみを、この発明の所定の期間とし、この期間における出力のみを補正係数の算出に用いるものとしてもよい。以上の実施の形態において各要素の個数、数量、量、範囲等の数に言及した場合、特に明示した場合や原理的に明らかにその数に特定される場合を除いて、その言及した数に、この発明が限定されるものではない。また、この実施の形態において説明する構造等は、特に明示した場合や明らかに原理的にそれに特定される場合を除いて、この発明に必ずしも必須のものではない。