"用紙を積載するカセットと、前記カセット後端に設けられたセンサと、前記センサが前記カセットからの用紙のはみ出しを検知すると用紙がはみ出していることを報知器を用いて報知する制御を行うコントローラと、を備える画像形成装置。前記センサは、前記カセットの壁面に設けられている請求項1記載の画像形成装置。前記センサは、鉛直方向に設けられている請求項1記載の画像形成装置。前記カセットと前記センサを連結する軸部材を有する請求項1記載の画像形成装置。前記センサは、前記カセットとバネで連結されている請求項1記載の画像形成装置。一方、用紙カセットが画像形成装置の内部から引き出される場合、用紙束の最上位の用紙は、給紙ローラに接触した状態または挟まれた状態になる可能性がある。この場合、最上位の用紙は、給紙ローラによって摩擦力が働く。最上位の用紙は、用紙カセットが画像形成装置の内部から引き出されるのに反して、画像形成装置の内部に留まろうとする。最上位の用紙は、サイドウォールを乗り越えて、画像形成装置の内部であって、用紙カセットと駆動ユニットの間に落ちる可能性がある。ここでは、画像形成装置の内部であって、用紙カセットと駆動ユニットの間を用紙カセットの裏側の空間と定義する。実施形態によれば、画像形成装置は、画像形成装置は、カセットと、センサと、コントローラとを有する。前記カセットは、用紙を積載する。前記センサは、前記カセット後端に設けられている。前記コントローラは、前記センサが前記カセットからの用紙のはみ出しを検知すると用紙がはみ出していることを報知器を用いて報知する制御を行う。図1は、実施形態に係る画像形成装置1の外観を示す斜視図である。画像形成装置1は、画像形成部10、用紙搬送装置20、スキャナ30、コントロールパネル40、排紙トレイ50を有する。画像形成部10は、画像形成装置1の中央にある。画像形成部10は、画像情報を、例えばハードコピーもしくはプリントアウトと称される出力画像として出力する。用紙搬送装置20は、画像形成部10の下方にある。用紙搬送装置20は、画像形成部10に対して画像出力に用いられる任意サイズの用紙を供給する。用紙搬送装置20は、用紙カセット201、用紙カセット202、用紙カセット203、用紙カセット204を収納するための空間を有する。用紙搬送装置20は、鉛直方向に下方から用紙カセット204、用紙カセット203、用紙カセット201、用紙カセット202の順に互いに対向するように収納する。用紙カセット202よりも鉛直方向の上方は、画像形成部1の底面である。スキャナ30は、画像形成装置1の上方にある。スキャナ30は、画像形成部10において画像形成される対象である画像情報を原稿から画像データとして取り込む。コントロールパネル40は、画像形成装置1の上方にある。コントロールパネル40は、画像形成部10における画像形成の開始や、スキャナ30による原稿の画像情報の読み取りの開始を入力するための入力機能を有する。コントロールパネル40は、ユーザに対する各種メッセージを表示する表示機能を有する。排紙トレイ50は、画像形成装置1の側面にある。排紙トレイ50は、画像形成部10で画像形成された用紙を積載する。図2は、実施形態に係る用紙搬送装置20に着脱する用紙カセット201の上方斜視図である。ここでは、用紙カセット201の構造について説明するが、用紙カセット202、203、204の構造も同様である。矢印Xは、用紙搬送装置20に対する用紙カセット201の挿入方向である以降、用紙カセット201の挿入方向と称す。また、矢印Xと反対方向が用紙カセット201の引き出し方向である。本実施形態では、用紙カセット201が用紙搬送装置20に装着した状態で、用紙カセット201における用紙搬送装置20の内部に位置する側をリア側、用紙搬送装置20の外部に位置する側をフロント側と定義する。画像形成装置1は、給紙ローラ21を有する。給紙ローラ21は、用紙カセット201が装着されたときに、用紙カセット201に積載された用紙束の上面と対向する。給紙ローラ21は、用紙カセット201に積載された用紙束の上面から一枚ずつ画像形成部10に搬送する。給紙ローラ21は、用紙カセット201が用紙搬送装置20に装着されるX方向と直交するY方向に用紙を搬送する。給紙ローラ21は、Y方向における用紙の先端側と対向する。用紙カセット201は、筐体2011、フロント側サイドウォール2012F,リア側サイドウォール2012R、エンドウォール2013、トレイ2014、センサ2015を有する。筐体2011は、箱状であって、その内部に用紙を積載して収納する。筐体2011は、X方向が用紙の幅方向、Y方向が用紙の長手方向と一致するように用紙束を積載する。フロント側サイドウォール2012Fは、用紙カセット201に積載される用紙束の一端側フロント側の側面と接する。フロント側サイドウォール2012Fは、X方向の前後に移動し、用紙の幅方向の位置を規制する。同様に、リア側サイドウォール2012Rは、用紙カセット201に積載される用紙束の他端側リア側の側面と接する。リア側サイドウォール2012Rは、X方向の前後に移動し、用紙の幅方向の位置を規制する。エンドウォール2013は、Y方向における用紙束の後端側の面と接する。エンドウォール2013は、Y方向の前後に移動し、用紙の長手方向の位置を規制する。トレイ2014は、筐体2011に積載された用紙束の最下面と接する。なお、本実施形態では、用紙ずれとは、用紙が用紙カセット201のリア側の壁面も乗り越えてセンサ2015に接する位置までずれることを意味する。用紙残りとは、用紙ずれを起こした用紙が用紙カセット201の裏側の空間に落ちて、画像形成装置1の内部に残ることを意味する。センサ2015は、用紙カセット201のリア側の壁面近傍に位置する。センサ2015は、筐体2011よりも鉛直方向に突出する。センサ2015は、棒状のアクチュエータである。センサ2015は、筐体2011よりも鉛直方向に突出した部分になんらかが接触することによる圧力の変化を検知する。センサ2015は、なんらかの圧力が加えられたことを検知している間、オン状態になり信号を出力する。つまり、センサ2015は、用紙ずれを検知できる。具体的には、センサ2015は、X方向にリア側サイドウォール2012Rを乗り越えて、さらに用紙カセット201のリア側の壁面も乗り越えた筐体2011からはみ出した用紙を検知する。また、センサ2015は、筐体2011よりも鉛直方向に突出した部分になにも接触していない間、つまり、なんの圧力も加わえられていない間、オフ状態になり信号を出力しない。用紙カセット201が画像形成装置1から引き出される場合、センサ2015は、用紙ずれを起こした用紙も用紙カセット201と一緒に画像形成装置1内部から引き出す。センサ2015は、画像形成装置1内の用紙残りを防止するストッパとしても機能する。図3は、実施形態に係る用紙カセット201のリア側の斜視図である。用紙カセット201は、さらに連結部材2016を有する。連結部材2016は、用紙カセット21のリア側の壁面からX方向に突出した部材である。連結部材2016は、用紙カセット201が画像形成装置に挿入される場合、画像形成装置1に固定されている駆動ユニット22と連結する。駆動ユニット22は、連結部材2016と連結するカップリング部材221を有する。駆動ユニット22は、連結部材2016を介してトレイ2014を駆動する。トレイ2014は、給紙ローラ21による用紙の搬送を確実とするために、用紙束全体を筐体2011の底面から給紙ローラ21に向けて押し上げる。図4Aは、実施形態に係る画像形成装置1に挿入された用紙カセット201及び用紙カセット202の側面図である。図4Bは、図4AにおけるI部分を拡大して示す用紙カセット201及び用紙カセット202の側面図である。図4Cは、実施形態に係る画像形成装置1に挿入された用紙カセット201及び用紙カセット202をリア側から見た斜視図である。センサ2015は、用紙カセット201よりも上方の用紙カセット202の底面よりも鉛直方向に突出している。用紙カセット202の底面は、用紙カセット201がX方向の前後に可動する範囲内において、X方向に沿ってセンサ2015と接触しない溝2021を有する。用紙カセット201が画像形成装置1から引き出される場合であっても、センサ2015は、この溝2021により、用紙カセット202との接触を回避できる。なお、溝2021の形状は、用紙カセット202がセンサ2015と接触しない形状であればよく、限定されない。用紙カセット201の底面も、用紙カセット201よりも下方の用紙カセット203が有するセンサと接触しないようにX方向に沿って溝2021と同様の溝を有する。用紙カセット203の底面も、用紙カセット203よりも下方の用紙カセット204が有するセンサと接触しないようにX方向に沿って溝2021と同様の溝を有する。用紙カセット202よりも上方の画像形成部10の底面も、用紙カセット202が有するセンと接触しないようにX方向に沿って溝2021と同様の溝を有する。用紙カセット204は下方に画像形成装置1から引き出され、かつセンサを有する部材が存在しないため、底面に溝を有さなくてもよい。つまり、少なくとも用紙カセット201、202、203、画像形成部10は底面に溝を有する。なお、用紙カセット204が用紙搬送装置20の任意の位置、例えば、図1に示す用紙カセット201、202、203のいずれかの位置に収納可能である場合はX方向に沿って溝2021と同様の溝を有する。これは、用紙搬送装置20において、用紙カセット204が画像形成装置1から引き出され、かつセンサを有する用紙カセットよりも上方に収納される可能性もあるからである。図5Aは、実施形態に係る画像形成装置1から用紙カセット201が引き出された状態を示す側面図である。図5Bは、図5AにおけるII部分を拡大して示す用紙カセット201及び用紙カセット202の側面図である。用紙カセット202は、底面から用紙カセット201側に鉛直方向の下方に延びたカバー部材2022をフロント側に有する。一例としては、カバー部材2022は、用紙カセット202のフロント側の壁面から鉛直方向に突出する。カバー部材2022は、用紙カセット201がX方向の前後に可動する範囲内において、用紙カセット201のどの部分とも接触しない位置まで鉛直方向に突出する。カバー部材2022は、センサ2015と水平方向に対向する。カバー部材2022のY方向の大きさは、センサ2015のY方向の大きさ以上である。つまり、ユーザは、用紙カセット201が画像形成装置1から引き出し方向へ最大限引き出された場合であっても、センサ2015に触れることはできない。用紙カセット201の底面も、用紙カセット201よりも下方の用紙カセット203が有するセンサと対向するように、カバー部材2022と同様のカバー部材をフロント側に有する。用紙カセット203の底面も、用紙カセット203よりも下方の用紙カセット204が有するセンサと対向するように、カバー部材2022と同様のカバー部材をフロント側に有する。用紙カセット202よりも上方の画像形成部10の底面も、用紙カセット202が有するセンサと対向するように、カバー部材2022と同様のカバー部材をフロント側に有する。用紙カセット204は下方に画像形成装置1から引き出され、かつセンサを有する部材が存在しないため、底面のフロント側にカバー部材を有さなくてもよい。つまり、少なくとも用紙カセット201、202、203、画像形成部10は底面のフロント側にカバー部材を有する。なお、用紙カセット204が用紙搬送装置20の任意の位置、例えば、図1に示す用紙カセット201、202、203のいずれかの位置に収納可能である場合は底面のフロント側にカバー部材2022と同様のカバー部材を有する。これは、用紙搬送装置20において、用紙カセット204が画像形成装置1から引き出され、かつセンサを有する他の用紙カセットよりも上方に収納される可能性もあるからである。本実施形態によれば、カバー部材2022は、センサ2015が用紙の接触以外の接触を検知することを防止できる。次に、センサ2015の構成及びセンサ2015と筐体2011との接続についての様々な態様について説明する。図4Cに示すように、センサ2015は、筐体2011のリア側の壁面に設けられたY方向と並行な軸2017にαバネ2018を介して連結している。センサ2015は、X方向の1方が筐体2011のリア側の壁面と接し、他方が開放されている。αバネ2018は、センサ2015を筐体2011に押し付けるような力を働かせる。センサ2015は、先端にαバネ2018による力以上の力がX方向から加えられると、図3に示す矢印Z方向に軸2017を中心として回転する。センサ2015は、αバネ2018により、用紙カセット201の挿入又は引き出しの衝撃で用紙ずれを誤検知することを防止する。なお、αバネ2018の代わりに、同様の機能を有する他の弾性体を用いてもよい。さらに、筐体2011は、図4Cに示すように、規制部材2019を有する。規制部材2019は、センサ2015が用紙によってX方向に押された状態で所定角度まで回転したところで接触する。規制部材2019は、センサ2015の所定角度以上回転することを規制する。したがって、センサ2015は、規制部材2019により、用紙残りを防止すると共に、用紙ずれを起こした用紙も用紙カセット201と一緒に画像形成装置1内部から効率よく引き出せる。さらに、センサ2015は、切欠き2015aを有する。切欠き2015aは、用紙と接触するセンサ2015の面の先端近傍にある。切欠き2015aは、センサ2015が鉛直方向に突出した状態で、用紙と接触するセンサ2015の面からX方向にへこんでいる。切り欠き2015aは、用紙と接触するセンサ2015の面にY方向に亘って設けられている。切欠き2015aは、用紙がX方向にセンサ2015を乗り越える前に用紙をキャッチする。なお、切欠き2015aは、用紙をキャッチできればよく、その形状は限定されない。他にも窪みや凹部などでもよい。用紙ずれが生じた状態で用紙カセット201が画像形成装置1から引き出されたとしても、用紙ずれを起こした用紙は、切欠き2015aに引っかかった状態で用紙カセット201と一緒に画像形成装置1内部から引き出される。用紙と接触するセンサ2015の面は、鉛直方向に突出した状態で、X方向と直交する。用紙と接触するセンサ2015の面は、大きくなるにつれ、用紙に対するストッパとしての機能も効果的になる。図2は、用紙カセット201がセンサ2015を1つのみ有する例を示しているが、センサ2015の数はこれに限られない。センサ2015は、Y方向にそって筐体2011のリア側の壁面に複数設けられてもよい。なお、用紙カセット201が複数のセンサ2015を有する場合、用紙カセット201よりも上方の用紙カセット202は、複数のセンサ2015それぞれを逃がすような複数の溝2021を有する。図6は、実施形態に係る画像形成装置1の制御系統を示すブロック図である。画像形成装置1は、メインコントローラ90、画像形成部制御回路91、コントロールパネル制御回路92、給紙部制御回路93、第1のセンサ制御回路94、第2のセンサ制御回路95を有する。メインコントローラ90は、CPU901、メモリ902を有する。CPU901は、メモリ902に保存されている制御プログラムに基づいて各部を制御する。画像形成部制御回路91は、画像形成部10による画像形成動作をCPU901の命令によって制御する。コントロールパネル制御回路92は、コントロールパネル40でのメッセージの表示、ユーザ入力の受付をCPU901の命令によって制御する。給紙部制御回路93は、給紙ローラ21による用紙の搬送をCPU901の命令によって制御する。さらに、給紙部制御回路93は、駆動ユニット22の駆動をCPU901の命令によって制御する。第2のセンサ制御回路94は、センサ2015の動作をCPU901の命令によって制御する。センサ2015は、なんらかが接触している間オン状態の間、信号をセンサ制御回路94に出力する信号オン。センサ2015は、なにも接触していない間オフ状態の間、信号をセンサ制御回路94に出力しない信号オフ。第2のセンサ制御回路95は、図示しない開閉センサの動作を制御する。開閉センサは、画像形成装置1の内部にある。開閉センサは、用紙カセット201が画像形成装置1に完全に挿入されたかを検知する。本実施形態では、CPU901は、センサ2015からの信号のオン又はオフを常に監視する。CPU901は、センサ2015からの信号を検知した場合言い換えると、センサ2015が用紙の接触を検知した場合、コントロールパネル40へ用紙ずれが起きている可能性があることを示す内容の注意メッセージを表示するように制御する。コントロールパネル40は、注意メッセージの報知器として機能する。なお、CPU901は、注意メッセージまたは警告音をコントロールパネル40から音声出力するように制御してもよい。CPU901は、コントロールパネル40のランプを点灯するように制御してもよい。CPU901は、注意メッセージの表示、音声出力、ランプの点灯を任意の組み合わせで同時または順番に実行するようにコントロールパネル40を制御してもよい。なお、CPU901は、センサ2015がオフ状態になった後、かつ、開閉センサが用紙カセット201が画像形成装置1に完全に挿入されたことを検知した後、給紙ローラ21による用紙の搬送を再開するように制御する。本実施形態によれば、用紙カセット201が画像形成装置1から引き出される場合に、用紙ずれを検知することができ、用紙残りを防止することができる。ユーザは、コントロールパネル40に表示された注意メッセージを確認することで、用紙残りが発生する可能性を早期に認識できる。その結果、ユーザは、用紙ずれを起こした用紙を除去することで、画像形成装置1内の不具合を未然に防止できる。本発明のいくつかの実施形態を説明したが、これらの実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら新規な実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施形態やその変形は、発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。"