"ローラを回転させて用紙を搬送する用紙搬送手段と、当該用紙搬送手段の搬送路に存在するジャム紙を検知するジャム紙検知手段と、ユーザによるジャム紙引き出しに伴う前記ローラの回転を検知する回転検知手段と、当該回転検知手段の出力に基づいて、前記ジャム紙検知手段により検知されたジャム紙が除去されたことを検知するジャム紙除去検知手段と、を有する画像形成装置。請求項1に記載された画像形成装置において、前記回転検知手段は、前記ローラの回転軸に取り付けられたロータリーエンコーダの出力により、前記ローラの回転方向及び回転量を検知する画像形成装置。請求項1に記載された画像形成装置において、前記回転検知手段は、前記ローラ又は当該ローラに従動する回転軸に付加されたモータの起電力により、前記ローラの回転方向及び回転量を検知する画像形成装置。請求項1に記載された画像形成装置において、前記ジャム紙検知手段は、前記搬送路に沿って配置された用紙センサにより検知されない位置に存在するジャム紙を検知する画像形成装置。請求項1に記載された画像形成装置において、前記ジャム紙検知手段により検知されたジャム紙の位置を表示するジャム表示手段と、前記ジャム紙除去検知手段の出力に基づいて、前記ジャム表示手段の表示を更新する手段とを有する画像形成装置。請求項5に記載された画像形成装置において、前記ジャム表示手段は、操作表示部である画像形成装置。請求項5に記載された画像形成装置において、前記ジャム表示手段は、前記搬送路に沿って配置された発光手段である画像形成装置。本発明は、このような問題を解決するためになされたものであり、その目的は、ジャム紙が用紙センサにより検知されない位置に存在する場合であっても、ジャム紙が除去されたタイミングで、除去されたことを検知できるようにすることである。本発明の画像形成装置は、ローラを回転させて用紙を搬送する用紙搬送手段と、当該用紙搬送手段の搬送路に存在するジャム紙を検知するジャム紙検知手段と、ユーザによるジャム紙引き出しに伴う前記ローラの回転を検知する回転検知手段と、当該回転検知手段の出力に基づいて、前記ジャム紙検知手段により検知されたジャム紙が除去されたことを検知するジャム紙除去検知手段と、を有する画像形成装置である。本発明によれば、ジャム紙が用紙センサにより検知されない位置に存在する場合であっても、ジャム紙が除去されたタイミングで、除去されたことを検知することができる。以下、本発明の実施形態について図面を参照して説明する。画像形成装置の機構部の構成図1は、本発明の実施形態の画像形成装置の機構部の概略構成を示す図である。図示のように、本発明の実施形態の画像形成装置は、原稿の給紙部100、原稿の読み込みを行うスキャナ部101、及び用紙に画像を形成する画像形成部102、給紙トレイ内から用紙を取り出すためのピックアップローラ103、ピックアップローラ103により取り出された用紙を搬送するための給紙ローラ104、用紙の先端又は後端を検知する検知器である給紙センサ105、給紙センサ105を通過した用紙を搬送するための搬送ローラ106、用紙の先端又は後端を検知する検知器である縦搬送センサ107、レジストレーション前で用紙の先端又は後端を検知する検知器であるレジストレーションセンサ108、画像形成部102と同期を取るために用紙を一時的に停止、待機させるレジストレーションローラ109、画像形成部102において形成された像を用紙に転写する紙転写ローラ110、用紙に転写された像を定着させるための定着ローラ111、像が定着された用紙の先端又は後端を検知する検知器である排紙センサ112、機外に排紙された用紙をためる排紙トレイ113、及び手差し給紙を行うための手差し給紙部114を備えている。ここで、ピックアップローラ103、給紙ローラ104、搬送ローラ106、レジストレーションローラ109、紙転写ローラ110、及び定着ローラ111は、用紙搬送手段として機能する。また、用紙センサとしての、給紙センサ105、縦搬送センサ107、レジストレーションセンサ108、及び排紙センサ112は、上述した用紙搬送手段により形成される用紙搬送路に沿って配置されている。また、本発明の実施形態の画像形成装置は、ユーザが動作条件を設定したり、装置が動作状態を表示したりするユーザインタフェースである操作パネル115と、排紙センサ112でのジャム処理等に使用する排紙ドア116と、給紙センサ105、縦搬送センサ107、レジストレーションセンサ108でのジャム処理等に使用する給紙縦搬送ドア117と、レジストレーションセンサ108、排紙センサ112でのジャム処理等に使用する前ドア118とを備えている。また、本発明の実施形態の画像形成装置は、用紙搬送路の近くの用紙センサの間の位置に配置されたジャム紙除去補助LEDLightEmittingDiode121~124を備えている。ジャム紙除去補助LED121、122、123、124は、それぞれ給紙センサ105と縦搬送センサ107の間の給紙センサ105付近、縦搬送センサ107とレジストレーションセンサ108の間、レジストレーションセンサ108と排紙センサ112の間のレジストレーションセンサ108付近、レジストレーションセンサ108と排紙センサ112の間の排紙センサ112付近にジャム紙が存在するときに発光点灯又は点滅することで、ユーザにジャム紙の存在する位置を知らせる。画像形成装置の制御部の構成図2は、本発明の実施形態の画像形成装置の制御部の概略構成を示す図である。図示のように、本発明の実施形態の画像形成装置は、メイン制御部1と、それぞれがメイン制御部1に接続された用紙搬送部2、用紙位置検知部3、用紙位置記憶部4、ジャム紙除去検知部5、操作表示部6、及び画像処理部7を備えている。メイン制御部1は、CPUCentralProcessingUnit、ROMReadOnlyMemory、及びRAMRandomAccessMemoryを備えており、ROMに記憶されている各種プログラムをCPUがRAMをワークエリアとして実行することにより、画像形成装置全体の動作を制御する。用紙搬送部2は、ピックアップローラ103、給紙ローラ104、搬送ローラ106、レジストレーションローラ109、紙転写ローラ110、定着ローラ111などにより用紙を搬送するためにメイン制御部1とやりとりを行う。用紙位置検知部3は、給紙センサ105、縦搬送センサ107、レジストレーションセンサ108、排紙センサ112により検知された状態をメイン制御部1に伝える。用紙位置記憶部4は、用紙位置検知部3の検知出力を基に、用紙の先端位置、後端位置を記憶する。ジャム紙除去検知部5は、ユーザのジャム紙除去操作によりジャム紙が除去されたことを検知する詳細については後述。操作表示部6は、メイン制御部1からの指示を操作パネル115に表示するための制御を行う。画像処理部7は、スキャナ部101により読み込まれた画像情報を処理し、画像形成部102に送る。センサ間ジャム紙の検知図3は、用紙センサ間の用紙搬送位置に存在するジャム紙を検知する原理を説明するための図である。図示のように、用紙搬送路Wに沿って用紙センサSn1,Sn2が配置されており、用紙P1がVp[mmsec]の速度で搬送されている。用紙P1の長さLp[mm]よりも、用紙センサSn1,Sn2の間の距離Ls[mm]の方が長い。ここで、用紙センサSn1,Sn2は、図1において隣り合う2個のセンサ、即ち、給紙センサ105と縦搬送センサ107、縦搬送センサ107とレジストレーションセンサ108、レジストレーションセンサ108と排紙センサ112に対応する。用紙P1の先端が用紙センサSn2の検知位置を通過してから用紙センサSn1の検知位置を通過するまでの時間の期待値は、LsVp[sec]となる。しかし、用紙搬送路W上の障害物や、搬送ローラの滑りなどにより、用紙センサSn2の検知位置を通過してからLsVp[sec]後から大きくずれて用紙が用紙センサSn1の検知位置に到達する、若しくは到達しないなどのことが起こると、ジャムとなる。この用紙をジャム紙として検知するには、用紙先端が用紙センサSn2を通過してから用紙センサSn1に到達するまでの時間にマージンαsecを持たせた時間内、つまり、用紙センサSn2を通過してから{LsVp±α}[sec]内に用紙センサSn1にて用紙の先端を検知できない場合に、ジャムが発生したことを検知できる。センサ間ジャム紙及びその除去図4は、図3に示す原理で検知したジャム紙P1を示し、図5は、ユーザがジャム紙P1を引き抜くことで、ジャム紙P1を除去する様子を示している。これらの図において、搬送ローラR1は、搬送ローラ106、レジストレーションローラ109、画像形成部102及び紙転写ローラ110、定着ローラ111に対応する。図5に示すように、ユーザがジャム紙P1を取り出すために、ジャム紙P1を搬送方向の斜め前方に引っ張ると、ジャム紙P1と搬送ローラR1との間の摩擦力により、搬送ローラR1が回転する。つまり、ユーザによるジャム紙引き出し操作時の張力を駆動力として、搬送ローラR1が回転する。なお、ユーザはジャム紙P1の引き出し操作と併せて搬送ローラR1の回転操作を行ってもよい。このようなユーザによるジャム紙P1の引き出しに伴う搬送ローラR1の回転を後述する手段により検知することで、用紙センサSn1、Sn2の間に存在するジャム紙P1が除去されたことを、ジャム紙P1が除去されたドア開状態のタイミングでリアルタイムに検知することができる。搬送ローラの回転に基づくセンサ間ジャム紙の除去の検知図6は、搬送ローラR1の回転を検知する手段の一例を示す図である。図示のように、ロータリーエンコーダEn1が搬送ローラR1に従動して回転するように付加されている。ユーザがジャム紙P1を引っ張った際は、搬送ローラR1の回転をロータリーエンコーダEn1で検知することができる。図7は、図6に示す手段の出力を用いて、ジャム紙が除去されたことを検知する手段を示す図である。図示のように、バス10と、それぞれがバス10に接続されたCPU11、RAM12、ROM13、GP汎用IO14、及びパルスカウンタ15を備えている。GPIO14には、搬送ローラR1を回転駆動するモータMt1が接続されており、パルスカウンタ15にはロータリーエンコーダEn1が接続されている。ここで、バス10、CPU11、RAM12、ROM13、及びGPIO14は、図2のメイン制御部1に対応し、ロータリーエンコーダEn1及びパルスカウンタ15が、図2のジャム紙除去検知部5に対応する。ロータリーエンコーダEn1が回転した際は、パルスが出力されるため、これをパルスカウンタ15にて計測し、以後に述べる式[1]を用いて計算することで、搬送ローラR1の回転量を知ることが出来る。即ち、xをジャム紙P1が移動した量[m]、KEn1をロータリーエンコーダEn1の分解能[pulserevolution]、nをパルスカウンタ15でカウントしたパルス数[pulse]、rR1を搬送ローラR1の半径[m]とすると、として、ジャム紙P1が移動した量を求めることができる。この移動量として一定値以上の値が得られた場合に、ジャム紙P1がユーザにより除去されたことをリアルタイムで検知することができる。図8は、搬送ローラR1の回転を検知する手段の別の一例を示す図である。図示のように、モータMt1は、搬送ローラR1に従動して回転する。なお、このモータMt1として、搬送ローラR1のローラ対の内の駆動側を回転駆動するモータとは別に、従動側のローラに付加してもよい。ユーザがジャム紙P1を引っ張った際は、搬送ローラR1の回転をモータMt1の起電力で検知することができる。図9は、図8に示す手段の出力を用いて、ジャム紙が除去されたことを検知する手段を示す図である。この図において、図7と同一の部分には、図7と同じ参照符号が付されている。図示のように、モータMt1の起電力をADCアナログディジタルコンバータ16に入力することが特徴である。図9において、印刷時はGPIO14を介してモータMt1に出力電圧が流れるが、ジャムが発生した際は、GPIO14からの電圧は出力されず、モータMt1は停止した状態となる。ここで、ユーザによるジャム紙除去時に搬送ローラR1が回転するのに連動してモータMt1が回転すると、モータMt1に起電力が発生するため、これをADC16でディジタル化し、以後に述べる式[2]~[4]を用いて計算することにより、搬送ローラR1の回転量を知ることができる。即ち、tを時間[sec]、eを起電力の大きさ[V]、rcをモータMt1のコイルの半径[m]、Bを磁束密度[T]、Lをコイル有効長[m]、Nをコイル巻き数[回]、ωをモータMt1の角速度[radsec]とすると、の関係が成立する。この式をωの式に直して両辺を時間tで積分すると、が得られる。式[3]は、図9のADC16から得られた起電力eから、モータMt1の回転角度[rad]が得られることを意味する。さらに、となるので、ADC16より得られたモータMt1の起電力eから、ジャム紙P1が移動した量を得ることができる。この移動量として一定値以上の値が得られた場合に、ジャム紙P1がユーザにより除去されたことをリアルタイムで検知することができる。画像形成装置の動作図10は、本発明の実施形態の画像形成装置の動作の一例を示す図である。この動作は、ジャム紙除去補助アニメーションの進行を制御する手順を含む印刷動作である。メイン制御部1は、操作表示部6から印刷開始指示を受けると、モータの駆動などを行い、印刷動作を開始するステップS1。次に、用紙センサにより、ジャムの検知を開始するステップS2。通常は、ジャムが発生することなく印刷は正常終了するステップS2:Noが、ジャムが発生した場合ステップS2:Yesには、印刷動作を全て停止させステップS3、各負荷も停止させるステップS4。次いで、ユーザにジャム紙除去の手順を促すべく、操作パネル115に対して、ジャム紙に対するジャム紙除去の手順を記したアニメーションを表示させるステップS5。次に、図7又は図9に示す手段により、ジャム紙除去のアニメーションに対応したジャム紙が除去されたか否かを判断しステップS6、除去されたと判断した場合ステップS6:Yesは、操作パネル115の表示を更新するステップS7。次に、全てのジャム紙が除去されたか否かを判断するステップS8。判断の結果、まだ機内にジャム紙が残っている場合ステップS8:No、次のジャム紙に対するジャム紙除去の手順を記したアニメーションを表示させステップS9、ステップS6に戻る。機内のジャム紙が全て除去されたと判断された場合ステップS8:Yes、アニメーション表示を終了させステップS10、復帰動作ステップS11を実行し、一連の動作を終了する。ここでは、ジャム紙除去のアニメーションに対応していないジャム紙が除去された場合には何もせず、ジャム紙除去のアニメーションに対応するジャム紙が除去された場合のみ、アニメーション表示を切り替えることで、ユーザのジャム紙除去アニメーション表示手動切替えの手間を軽減している。図11は、本発明の実施形態の画像形成装置の動作の別の一例を示す図である。この動作は、ジャム紙除去補助LED121~124の点灯制御手順を含む印刷動作である。この図において、図10と対応するステップには、図10と同じ参照符号ステップ番号が付されている。印刷動作の開始ステップS1から、ジャムが発生した場合ステップS2:Yesに、印刷動作を全て停止させステップS3、各負荷も停止させるステップS4までの動作は図10と同じである。次に、ユーザにジャム紙除去の手順を促すべく、ジャム紙のある場所に近い位置のジャム紙除去補助LEDを点灯させるステップS5a。次いで、図7又は図9に示す手段により、点灯したジャム紙除去補助LEDに対応したジャム紙が除去されたか否かを判断しステップS6a、除去されたと判断した場合ステップS6a:Yesは、ジャム紙除去補助LEDの表示を更新するステップS7a。次に、全てのジャム紙が除去されたか否かを判断するステップS8。判断の結果、まだ機内にジャム紙が残っている場合ステップS8:No、次のジャム紙に対応するジャム紙除去補助LEDを点灯させステップS9a、ステップS6aに戻る。機内のジャム紙が全て除去されたと判断された場合ステップS8:Yes、ジャム紙除去補助LEDの点灯を終了させステップS10a、復帰動作ステップS11を実行し、一連の動作を終了する。このように本発明の実施形態の画像形成装置によれば、用紙センサ間の用紙搬送位置に存在するジャム紙が除去されたことを除去されたタイミングで認識できるため、ジャム紙の存在する位置を示すユーザインタフェースの表示状態操作パネル115におけるアニメーション表示状態、ジャム紙除去補助LED121~124の点灯状態をリアルタイムに更新することができる。"