用紙に画像を印刷する画像形成装置であって、前記用紙が供給されるトレイと、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送手段と、前記搬送された用紙の用紙サイズを計測する計測手段と、前記計測手段により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する判断手段と、前記判断手段により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送手段と、を含むことを特徴とする画像形成装置。前記計測手段は、前記搬送された用紙の先端部を始点として検知し、前記搬送された用紙の後端部を終点として検知することにより前記搬送された用紙の用紙サイズを計測し、前記計測手段による前記用紙サイズの計測が終了すると、前記用紙の先端部を、前記印刷開始地点の位置まで戻す第3の搬送手段をさらに含むことを特徴とする請求項1に記載の画像形成装置。前記計測手段は、前記トレイに同一サイズの用紙が複数枚供給されているとき、前記複数枚の用紙のうち、最初の1枚について前記用紙サイズを計測し、2枚目以降は前記用紙サイズを計測しないことを特徴とする請求項1又は2に記載の画像形成装置。前記用紙サイズの計測が必要であるか否かの情報をサイズ検出動作設定として予め定めておき、前記計測手段は、前記サイズ検出動作設定に定められた前記情報にしたがって前記用紙サイズの計測を行うことを特徴とする請求項1から3の何れか1項に記載の画像形成装置。前記判断手段により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記第2の搬送手段による搬送を停止すると共に、前記用紙に対する印刷を続行する旨の指示を受けたときには前記用紙に対する印刷を実行し、前記用紙に対する印刷を停止する旨の指示を受けたときには、前記用紙は前記第2の搬送手段により前記トレイへ戻されることを特徴とする請求項1から4のいずれか1項に記載の画像形成装置。前記判断手段により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記計測された用紙サイズと同一サイズのトレイの存在の有無が検索され、前記計測された用紙サイズと同一サイズのトレイが存在するときは、前記用紙は、前記第2の搬送手段により前記同一サイズのトレイへ戻され、前記計測された用紙サイズと同一サイズのトレイが存在しないときは、前記用紙は、前記第2の搬送手段により前記用紙の供給元のトレイへ戻されることを特徴とする請求項1から5のいずれか1項に記載の画像形成装置。前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたときの前記用紙の排出先トレイをサイズ不一致紙排出トレイとして予め設定しておき、前記判断手段により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙は、前記第2の搬送手段により前記サイズ不一致紙排出トレイとして設定された前記排出先トレイへ戻されることを特徴とする請求項1から6のいずれか1項に記載の画像形成装置。前記計測手段により計測された前記用紙サイズが予め設定された印刷用紙のサイズを超えたとき、前記用紙サイズの計測を行うことなく、前記用紙は、前記第2の搬送手段により前記トレイへ戻されることを特徴とする請求項1から7のいずれか1項に記載の画像形成装置。用紙に画像を印刷し、前記用紙が供給されるトレイを含む画像形成装置の制御方法であって、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送工程と、計測手段が、前記搬送された用紙の用紙サイズを計測する工程と、前記計測する工程により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する工程と、前記判断する工程により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送工程と、を含むことを特徴とする画像形成装置の制御方法。用紙に画像を印刷し、前記用紙が供給されるトレイを含む画像形成装置のコンピュータにより実行可能なプログラムであって、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送処理と、計測手段が、前記搬送された用紙の用紙サイズを計測する処理と、前記計測する処理により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する処理と、前記判断する処理により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送処理と、を含むことを特徴とするプログラム。しかしながら、今までの搬送経路上に設置されたセンサによる用紙サイズ検出では、用紙サイズの不一致が検出されたときには、既に当該用紙に対するトナーが消費され、その用紙が無駄になるだけでなく、給紙されたサイズが一致しない用紙を、装置内又は排紙トレイから取り除かなければならないという手間が発生してしまうという問題がある。また、特許文献1に開示された技術は、用紙サイズの不一致を検出し、サイズが不一致である用紙への無駄な印刷を防止ことを目的としているが、サイズが不一致であると判定されるまでに消費されたトナーや用紙が無駄になるという問題や、サイズが不一致である用紙を排紙トレイから取り除かなければならないという手間が発生してしまうという問題は依然として解消されていない。そこで本発明は、上記問題点に鑑みてなされたものであって、用紙サイズが予め設定された印刷用の用紙サイズと不一致である用紙に対するトナーの消費と用紙の無駄遣いを省くだけでなく、用紙サイズが予め設定された印刷用の用紙サイズと不一致である用紙を、画像形成装置内又は排紙トレイから除去する手間を無くすことができる画像形成装置、制御方法、及びプログラムを提供することを目的とする。上記課題を解決するため、請求項1に記載の本発明における画像形成装置は、用紙に画像を印刷する画像形成装置であって、前記用紙が供給されるトレイと、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送手段と、前記搬送された用紙の用紙サイズを計測する計測手段と、前記計測手段により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する判断手段と、前記判断手段により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送手段と、を含むことを特徴とする。また、上記課題を解決するため、請求項9に記載の本発明における画像形成装置の制御方法は、用紙に画像を印刷し、前記用紙が供給されるトレイを含む画像形成装置の制御方法であって、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送工程と、計測手段が、前記搬送された用紙の用紙サイズを計測する工程と、前記計測する工程により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する工程と、前記判断する工程により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送工程と、を含むことを特徴とする。さらに、上記課題を解決するため、請求項10に記載の本発明におけるプログラムは、用紙に画像を印刷し、前記用紙が供給されるトレイを含む画像形成装置のコンピュータにより実行可能なプログラムであって、前記トレイに供給された用紙を印刷開始地点に向かう方向へ搬送する第1の搬送処理と、計測手段が、前記搬送された用紙の用紙サイズを計測する処理と、前記計測する処理により計測された前記用紙サイズと、予め設定された印刷用紙のサイズとが一致するか否かを判断する処理と、前記判断する処理により、前記用紙サイズと前記予め設定された印刷用紙のサイズとが不一致であると判断されたとき、前記用紙を前記印刷開始地点に向かう方向とは反対方向に搬送し、前記用紙を前記トレイへ戻す第2の搬送処理と、を含むことを特徴とする。本発明によれば、給紙前に用紙サイズを検出することができない画像形成装置においても、予め設定された印刷用の用紙サイズと不一致である用紙に対するトナーの消費と用紙の無駄遣いを防止することができ、用紙サイズが予め設定された印刷用の用紙サイズと不一致である用紙を画像形成装置内又は排紙トレイから除去する手間を省くことができる画像形成装置、制御方法、及びプログラムが得られる。次に、本発明を実施するための形態について図面を参照して詳細に説明する。なお、各図中、同一又は相当する部分には同一の符号を付しており、その重複説明は適宜に簡略化乃至省略する。本発明は、給紙前に用紙サイズを検出することができないトレイからの印刷に際して、給紙時に作像処理を実行せずに用紙を搬送し、搬送経路上に設置されたセンサによって用紙サイズを検知し、用紙サイズが検知された後に、その用紙の先端部を印刷が開始される地点の位置まで搬送することが特徴になっている。以下、本発明の実施形態について添付図面を参照して説明する。まず、本発明の実施形態に係る画像形成装置の構成について説明する。図1は、本発明の実施形態に係る画像形成装置の構成を示す概略図である。図1において、本発明の実施形態に係る画像形成装置1は、排紙トレイ11と、操作部12と、印刷部13と、本体トレイ給紙トレイ14と、手差しトレイ給紙トレイ15とから構成される。排紙トレイ11は画像が印刷された用紙が排出される場所であり、操作部12はユーザによる各種設定を受け付ける画面やボタン等であり、印刷部13は用紙を搬送し用紙へ画像を印刷する場所であり、本体トレイ14及び手差しトレイ15は、給紙する用紙がセットされる場所である。次に、本発明の実施形態に係る画像形成装置の主要部について説明する。図2は、本発明の実施形態に係る画像形成装置の主要部を説明する概略ブロック図である。図2において、RAMRandomAccessMemory22、ROMReadOnlyMemory23、NV-RAMNonVolatileRAM:不揮発性RAM24、I/OInput/Output25、操作部26は、それぞれCPUCentralProcessingUnit21によって制御されている。RAM22は、印刷設定の保存、用紙サイズの保存等を行い、ROM23は、制御プログラムを格納する。NV-RAM24は、設定の保存、用紙サイズ検知設定、サイズ不一致紙排出先設定等を行い、I/O25は、モータ、クラッチ、センサ等の部品や用紙サイズのセンサ等である。また、操作部26は、設定の入力表示手段であり、用紙サイズ検出動作設定、サイズ不一致紙排出先設定、サイズ不一致発生の警告表示等を行う。次に、本発明の実施形態に係る画像形成装置の第1実施形態について図3、及び図4から図7を用いて説明する。図3は、本発明の実施形態に係る画像形成装置の第1実施形態の動作を示すフロー図であり、図4は、本発明の実施形態に係る画像形成装置の搬送経路と用紙の位置関係について説明する横断面図のうち用紙が手差しトレイの給紙位置にある状態を示す図、図5は、本発明の実施形態に係る画像形成装置の搬送経路と用紙の位置関係について説明する横断面図のうち用紙が用紙サイズ計測開始位置印刷が開始される地点の位置にある状態を示す図、図6は、本発明の実施形態に係る画像形成装置の搬送経路と用紙の位置関係について説明する横断面図のうち用紙が用紙サイズ確定位置にある状態を示す図、そして、図7は、本発明の実施形態に係る画像形成装置の搬送経路と用紙の位置関係について説明する横断面図のうち用紙がサイズ不一致のときの排紙トレイにある状態を示す図である。図3において、印刷操作が開始されると、まず、ステップ以下、Sという。301において用紙41図4が手差しトレイ15から給紙される。このとき、未だ作像処理は実施されない。そして、S302において、搬送経路上のセンササイズ検知センサレジストセンサ42図4が、用紙41の先端部を検出したか否かが判断され、用紙41の先端部が検出されない場合S302:Noには再びS302の処理に戻る。搬送経路上のセンサ42により、用紙41の先端部が検出された場合にはS302:Yes、S303へ移行し、搬送経路上のセンサ42により用紙サイズの計測が開始され、S304において、搬送経路上のセンサ42が用紙41の後端部を検出したか否かが判断される。S304において、搬送経路上のセンサ42が用紙41の後端部を検出しない場合にはS304:No、再びS304の処理に戻るが、搬送経路上のセンサ42が用紙41の後端部を検出した場合にはS304:Yes、S305の処理へ移行し、用紙41のサイズの計測が終了し、用紙41のサイズが確定される。用紙41のサイズが確定されると、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷が開始される地点の位置まで反対方向に搬送されるS306。ここで、確定された用紙41の用紙サイズと、予め設定された印刷用の用紙サイズとが一致するか否かの判断が行われS307、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致する場合S307:Yesには、用紙41は、その先端部が再びサイズ検知センサレジストセンサ42印刷が開始される地点の位置の方向に搬送され、レジストが再開され用紙41への印刷が行われるS308。一方、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S307:Noには、用紙41に対する印刷は行われずに、用紙41は、その先端部が印刷が開始される地点の位置まで反対方向に搬送されたまま給紙トレイ手差しトレイ15に排出されるS309。このようにして印刷操作が終了する。ここで、上記説明した本発明の実施形態に係る画像形成装置の第1実施形態の動作について、図4から図7を用いてさらに詳細に説明する。図4から図7において、手差しトレイ15又は本体トレイ14に供給された用紙41は、その先端部と後端部とがサイズ検知センサレジストセンサ42を通過することにより用紙サイズが計測され、用紙41を搬送するレジストローラ43、トナーが帯電している感光体44を通過することにより用紙41に画像が形成され、定着ローラ45にてトナーが用紙41に定着されることにより排紙トレイ11に画像形成後の用紙41が排出される。ここで、サイズ検知センサレジストセンサ42の位置は、印刷が開始される地点の位置でもある以下、印刷開始地点の位置ともいう。そして、上記図3で説明したように、確定された用紙41のサイズと、予め設定された印刷用の用紙サイズとが一致する場合S307:Yesには、用紙41は、図4→図5→図6→図5→図6→図7のように搬送され、確定された用紙41のサイズと、予め設定された印刷用の用紙サイズとが一致しない場合S307:Noには、用紙41は、図4→図5→図6→図5→図4のように搬送されるのである。すなわち、手差しトレイ15又は本体トレイ14から給紙された用紙41を、サイズ検知センサレジストセンサ42印刷開始地点の位置に向かう方向へ搬送するのが第1の搬送手段であり、この搬送された用紙41の用紙サイズを計測するのが計測手段、計測された用紙41の用紙サイズと、予め設定された印刷用の用紙サイズとが一致するか否かを判断するのが判断手段である。そして、判断手段により、用紙41のサイズと、予め設定された印刷用の用紙サイズとが一致しないと判断されたとき、用紙41を、その先端部が第1の搬送手段により搬送された方向と反対方向であるサイズ検知センサレジストセンサ42印刷開始地点の位置に向かう方向まで搬送し、手差しトレイ給紙トレイ15へ排出するのが第2の搬送手段である。また、用紙41のサイズが確定されると、用紙41を、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで戻すように搬送するのが第3の搬送手段である。次に、本発明の実施形態に係る画像形成装置の第2実施形態について説明する。図8は、本発明の実施形態に係る画像形成装置の第2実施形態の動作を示すフロー図である。図8に示す各フローのうち、S801と、S803からS810までの各ステップと、図3に示した各フローのうち、S301と、S302からS309までの各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図8では、用紙を給紙するステップS801と、搬送経路上のサイズ検知センサレジストセンサ42が用紙41の先端部を検出したか否かを判断するステップS803との間に、給紙された用紙41が1枚目であるか否かを判断するステップS802が挿入されたことが特徴となっている。これは、同一の給紙トレイ15には、1枚目以降も同一サイズの用紙41がセットされている可能性が高いため、給紙された用紙41のうち、1枚目の用紙サイズのみを計測することにより用紙サイズの計測にかかる時間を短縮し、生産性の向上を図ったものである。すなわち、S802において、給紙された用紙41が1枚目であるか否かが判断され、1枚目である場合にはS802:Yes、S803以下の図3において説明したフローと同一のフローを経由するが、給紙された用紙41が1枚目でない、すなわち、2枚目以降である場合にはS802:No、既に用紙41の用紙サイズが確定され、予め設定された印刷用の用紙サイズと一致することが分かっているので、用紙41の用紙サイズの計測を行うことなく、S811において用紙41は、その先端部がサイズ検知センサレジストセンサ42印刷開始地点の位置に向けて搬送され、S809において用紙41への印刷が行われる。次に、本発明の実施形態に係る画像形成装置の第3実施形態について説明する。図9は、本発明の実施形態に係る画像形成装置の第3実施形態の動作を示すフロー図である。図9に示す各フローのうち、S901と、S904からS911までの各ステップと、図3に示した各フローのうち、S301と、S302からS309までの各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図9では、用紙を給紙するステップS901と、搬送経路上のサイズ検知センサ42が用紙41の先端部を検出したか否かを判断するステップS904との間に、用紙41のサイズ検出動作設定を参照するステップS902と、給紙された用紙41がサイズ検出動作対象の用紙であるか否かを判断するステップS903とが挿入されたことが特徴となっている。これは、ユーザの好みにより、給紙される用紙41を、検出動作設定を実行する対象とするか否かを任意に選択することができるようにしたものである。すなわち、S902において、予めユーザにより設定されたサイズ検出動作設定を参照する。ここで、予めユーザにより設定されるサイズ検出動作設定について図10を用いて説明する。図10は、本発明の実施形態に係る画像形成装置の第3実施形態において、サイズ検出動作を設定する操作部1226の画面の例を示す図である。図10において、操作部1226には、サイズ検出動作設定として、全用紙サイズ検出動作する、1枚目のみサイズ検出動作する、サイズ検出動作しないの3項目が表示されている。全用紙サイズ検出動作するとは、全ての給紙対象の用紙についてサイズ検出動作を実施して印刷を行うこと、1枚目のみサイズ検出動作するとは、複数枚の印刷において指定給紙トレイの1枚目の用紙についてのみサイズ検出動作を実施し、2枚目以降は1枚目と同一のサイズであると仮定して、サイズ検出動作を行わずに給紙時に作像定着動作を実施して印刷を行うこと、サイズ検出動作しないとは、サイズ検出動作を行わずに、給紙時に作像定着動作を実施して印刷を行うことをそれぞれ表している。特に、サイズ検出動作しないが選択される場合としては、サイズが不一致の用紙であっても、敢えて大きな紙に印刷する等、用紙サイズに関係なくとりあえず印刷したい場合等が考えられる。図9に戻り、S902において、図10で説明した予めユーザにより設定されたサイズ検出動作設定を参照し、S903において、給紙された用紙41が、サイズ検出動作対象の用紙であるか否かが判断される。S903において、給紙された用紙41が、サイズ検出動作対象の用紙であると判断された場合にはS903:Yes、S904以下の図3において説明したフローと同一のフローを経由するが、給紙された用紙41が、サイズ検出動作対象の用紙でないと判断された場合にはS903:No、用紙41のサイズの計測を行うことなく、S912において用紙41は、その先端部がサイズ検知センサレジストセンサ42印刷開始地点の位置に向けて搬送され、S910において用紙41への印刷が行われる。次に、本発明の実施形態に係る画像形成装置の第4実施形態について説明する。図11は、本発明の実施形態に係る画像形成装置の第4実施形態の動作を示すフロー図である。図11に示す各フローのうち、S111からS118までの各ステップと、図3に示した各フローのうち、S301からS308までの各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図11では、用紙41の用紙サイズと、予め設定された印刷用の用紙サイズとが一致するか否かの判断S117において、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S307:Noには、S119へ移行して用紙の搬送を停止し、ユーザの指示を仰ぐことが特徴となっている。これは、用紙41のサイズが、予め設定された印刷用の用紙サイズと不一致であった場合に、その後の動作をユーザの好みにより任意に選択することができるようにしたものである。ここで、S119におけるユーザの指示を仰ぐ点に関して、図12を用いて説明する。図12は、本発明の実施形態に係る画像形成装置の第4実施形態において、サイズ不一致検出時のユーザ指示受付操作部1226の画面の例を示す図である。図11のS117において、サイズ不一致が検出されるとS117:No、操作部1226には図12に示すような表示が現れ、ユーザによって印刷を続行することが選択される場合には、Yesボタンが押下されることにより、図11のS120はYesとなるためS118へ移行し、レジストが再開され用紙41への印刷が行われるS118。一方、図12において、ユーザによって印刷を続行することが選択されない場合には、Noボタンが押下されることにより、図11のS120はNoとなるためS121へ移行し、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送されたまま給紙トレイ手差しトレイ15に排出されるS121。次に、本発明の実施形態に係る画像形成装置の第5実施形態について説明する。図13は、本発明の実施形態に係る画像形成装置の第5実施形態の動作を示すフロー図である。図13に示す各フローのうち、S131からS138までの各ステップと、図3に示した各フローのうち、S301からS308までの各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図13では、用紙41の用紙サイズと、予め設定された印刷用の用紙サイズとが一致するか否かの判断S137において、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S137:Noに、計測された用紙サイズと同一サイズの用紙がセットされる給紙トレイの有無が判断される。そして、計測された用紙サイズと同一サイズの用紙がセットされる給紙トレイがある場合には、そのトレイに当該用紙41が排出されることが特徴となっている。これは、予め設定された印刷用の用紙サイズと異なる用紙サイズの用紙を、その用紙と一致するサイズの用紙がセットされるトレイに排出することによって、サイズが不一致な用紙を給紙トレイから改めて取り除く必要性を無くすようにしたものである。すなわち、S137において、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S137:Noに、S139へ移行し、計測された用紙サイズと同一サイズの給紙トレイがあるか否かが判断される。S139において、計測された用紙サイズと同一サイズの用紙がセットされる給紙トレイがない場合S139:Noには、図3のS309と同様に、用紙41に対する印刷は行われずに、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送されたまま給紙トレイ手差しトレイ15に排出されるS140。一方、S139において、計測された用紙サイズと同一サイズの用紙がセットされる給紙トレイがある場合S139:Yesには、S141へ移行し、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送されたまま、計測された用紙サイズと一致するサイズの用紙がセットされる給紙トレイに排出される。次に、本発明の実施形態に係る画像形成装置の第6実施形態について説明する。図14は、本発明の実施形態に係る画像形成装置の第6実施形態の動作を示すフロー図である。図14に示す各フローのうち、S142からS149までの各ステップと、図3に示した各フローのうち、S301からS308までの各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図14では、用紙41の用紙サイズと、予め設定された印刷用の用紙サイズとが一致するか否かの判断S148において、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S148:Noに、このサイズが一致しない用紙41の排出先をユーザによって予め設定されたトレイへ排出することが特徴となっている。これは、予め設定された印刷用の用紙サイズと異なるサイズの用紙を、ユーザの好みにより、希望する任意のトレイに排出できるよう選択可能としたものである。すなわち、S148において、用紙41の用紙サイズと予め設定された印刷用の用紙サイズとが一致しない場合S148:No、S150へ移行し、サイズ不一致の排出先設定を参照し、当該設定されたトレイへ用紙41を排出するのである。ここで、図15を参照して、サイズ不一致排出トレイ設定について説明する。図15は、本発明の実施形態に係る画像形成装置の第6実施形態において、サイズ不一致紙の排出トレイを設定する設定操作部1226の画面の設定例を示す図である。図15には、サイズ不一致紙排出トレイ設定として、給紙元トレイ、本体排紙トレイ、1ビントレイ、給紙トレイ1、給紙トレイ2、及び手差しトレイが例示されている。図15では、排出トレイとして給紙元トレイが選択されている。なお、ユーザは、これらの排出トレイの中から任意のトレイを選択することができる。図14に戻り、S150では、用紙41に対する印刷は行われずに、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送されたまま、図15で選択されたサイズ不一致紙排出トレイ設定を参照し、ユーザによって設定された排出トレイへ向けて用紙41が排出される。次に、本発明の実施形態に係る画像形成装置の第7実施形態について説明する。図16は、本発明の実施形態に係る画像形成装置の第7実施形態の動作を示すフロー図である。図16に示す各フローのうち、S161からS163、S165からS169、及びS172の各ステップと、図3に示した各フローのうち、S301からS303、S304からS308、及びS309の各ステップとは同一であるから、これらの各ステップについての詳細な説明は省略し、図3に示す各ステップと異なるステップについて説明する。図16では、給紙された用紙41の用紙サイズの計測を開始するステップS163と搬送経路上のセンサが用紙41の後端部を検出したか否かを判断するステップS165との間に、計測中の用紙41の用紙サイズが、設定用紙サイズを超えたか否かを判断するステップS164が挿入されたことが特徴となっている。これは、計測中の用紙サイズの長手方向のサイズが設定用紙サイズを超えており、予め設定された用紙サイズと不一致であることが明らかであるとき、用紙41の用紙後端部を検出することなく用紙サイズの計測を行わないことにより、短時間で当該用紙41をサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送することが可能になる。すなわち、S164において、計測中の用紙41のサイズが、予め設定された用紙サイズを超えたか否かが判断され、用紙サイズを超えていない場合S164:Noには、S165以下の図3において説明したフローと同一のフローを経由する。他方、用紙サイズを超えている場合S164:Yesには、S170へ移行し、用紙41の用紙サイズの計測を強制的に終了し、用紙41は、その先端部がサイズ検知センサレジストセンサ42の位置印刷開始地点の位置まで反対方向に搬送されたままS171、給紙トレイ手差しトレイ15に排出されるS172。なお、上述した図3、図8、図9、図11、図13、図14、及び図16に示した一連の動作フローは、画像形成装置1に内蔵された図2のCPU21が、ROM23に格納されたプログラムを読み取り実行することによって行われる。このように、本発明によれば、給紙前に用紙サイズを検出することができない用紙について、給紙時に作像処理が実行されずに用紙が搬送され、搬送経路上に設置されたセンサによって用紙サイズが検知され、用紙サイズが検知された後に、その用紙の先端部が、印刷開始地点の位置まで反対方向に搬送されることにより、用紙サイズが、予め設定された印刷用の用紙サイズと不一致である用紙に対するトナーの消費と用紙の無駄遣いを防止することができ、用紙サイズが、予め設定された印刷用の用紙サイズと不一致である用紙を画像形成装置内又は排紙トレイから除去する手間を省くことができる画像形成装置、制御方法及びプログラムを得ることができる。以上、本発明の好適な実施の形態により本発明を説明した。ここでは特定の具体例を示して本発明を説明したが、特許請求の範囲に定義された本発明の広範囲な趣旨及び範囲から逸脱することなく、これら具体例に様々な修正及び変更が可能である。