データを展開して実行するための作業領域となる第1揮発性メモリーと、前記第1揮発性メモリーよりもメモリー容量が小さい第2揮発性メモリーと、前記第1揮発性メモリーおよび前記第2揮発性メモリーに電力を供給するための電源部と、を備え、前記電源部は、通常状態から省電力状態に移行したときには、前記第1揮発性メモリーへの電力の供給を停止しつつ前記第2揮発性メモリーへは電力を供給し、前記第1揮発性メモリーは、通常状態から省電力状態に移行するときに、省電力状態に入る前に記憶していたデータを前記第2揮発性メモリーに退避させることを特徴とする画像形成装置。前記第2揮発性メモリーは、通常状態のときに、データを保持しないことを特徴とする請求項1に記載の画像形成装置。前記第1揮発性メモリーは、省電力状態から通常状態に復帰したときに、前記第2揮発性メモリーに退避させたデータを前記第2揮発性メモリーから受け取ることを特徴とする請求項1または2に記載の画像形成装置。前記第1揮発性メモリーから前記第2揮発性メモリーに退避させるデータに圧縮処理を施す処理部をさらに備えることを特徴とする請求項1~3のいずれかに記載の画像形成装置。ところで、画像形成装置では、装置への電源投入がなされると、ジョブを実行するための各種プログラムデータを不揮発性メモリーから揮発性メモリーに読み出し、展開したプログラムデータ起動イメージを揮発性メモリーに保持させる。そして、その揮発性メモリーを作業領域として使用する。しかし、通常動作モードから省電力モードに切り替わり、揮発性メモリーへの電力供給が遮断されると、省電力モードに入る前に揮発性メモリーに保持させていた起動イメージが失われる。したがって、省電力モードから再び通常動作モードに切り替わったときには、不揮発性メモリーから揮発性メモリーにプログラムデータを読み出す処理から始めなければならないので、装置が起動するまでに時間がかかるという不都合がある。この不都合を解消するには、省電力モードに入った後にも揮発性メモリーへの電力供給を続ければよいが、省電力効果が低下するという新たな不都合が生じる。本発明は、上記課題を解決するためになされたものであり、省電力状態に入る前に揮発的に記憶させていたデータを失うことなく、省電力効果を高めることが可能な画像形成装置を提供することを目的とする。上記目的を達成するために、本発明の画像形成装置は、データを展開して実行するための作業領域となる第1揮発性メモリーと、第1揮発性メモリーよりもメモリー容量が小さい第2揮発性メモリーと、第1揮発性メモリーおよび第2揮発性メモリーに電力を供給するための電源部と、を備えている。そして、電源部は、通常状態から省電力状態に移行したときには、第1揮発性メモリーへの電力の供給を停止しつつ第2揮発性メモリーへは電力を供給し、第1揮発性メモリーは、通常状態から省電力状態に移行するときに、省電力状態に入る前に記憶していたデータを第2揮発性メモリーに退避させる。たとえば、画像形成装置が使用されないまま一定時間が経過したとき、あるいは、通常状態から省電力状態への移行指示を画像形成装置が受け付けたとき、通常状態から省電力状態に移行する。本発明の構成によると、電源部は、通常状態から省電力状態に移行したときには、第1揮発性メモリーへの電力の供給を停止しつつ第2揮発性メモリーへは電力を供給する。したがって、通常状態から省電力状態に移行するときに、省電力状態に入る前に第1揮発性メモリーに記憶させていたデータを第2揮発性メモリーに退避させることにより、省電力状態に入る前に第1揮発性メモリーに記憶させていたデータを失わずに済む第2揮発性メモリーに保持される。したがって、省電力状態から通常状態に復帰するときに、不揮発性メモリーから再びデータを読み出して展開する処理が不要となり、装置が速やかに起動する。また、省電力状態のときに電力を供給する第2揮発性メモリーは第1揮発性メモリーよりもメモリー容量が小さいので、省電力状態のときに第1揮発性メモリーに電力を供給する省電力状態に入る前に第1揮発性メモリーに記憶させていたデータをそのまま保持する場合に比べて、消費電力が減少して省電力効果が高まる。また、データを退避させる第2揮発性メモリーは安価であるので、コストアップを抑制することができる。上記の構成において、好ましくは、第2揮発性メモリーは、通常状態のときに、データを保持しない。このように構成すれば、通常状態から省電力状態に移行するときには、第2揮発性メモリーのメモリー領域は空き領域となっている。したがって、通常状態から省電力状態に移行するときに、容易に、データを退避させるためのメモリー領域を確保することができる。上記の構成において、好ましくは、第1揮発性メモリーは、省電力状態から通常状態に復帰したときに、第2揮発性メモリーに退避させたデータを第2揮発性メモリーから受け取る。このように構成すれば、省電力状態から通常状態に復帰した後は、第2揮発性メモリーよりもメモリー容量が大きい第1揮発性メモリーが作業領域となるので、処理速度が低下することはない。上記の構成において、第1揮発性メモリーから第2揮発性メモリーに退避させるデータに圧縮処理を施す処理部をさらに備えることが好ましい。このように構成すれば、第2揮発性メモリーのメモリー容量が第1揮発性メモリーのメモリー容量よりも小さいことに起因してデータを退避させることができないメモリー容量が不足する、という不都合が発生するのを抑制することができる。以上のように、本発明によれば、省電力状態に入る前に揮発的に記憶させていたデータを失うことなく、省電力効果を高めることが可能な画像形成装置を容易に得ることができる。以下に、図1を参照して、本発明の一実施形態による画像形成装置100の全体構成について説明する。本実施形態の画像形成装置100は、複合機であり、コピー、プリンター、スキャナーおよびファックスなどの複数種のジョブの実行が可能である。そして、この画像形成装置100は、操作パネル101、画像読取部102、給紙部103、搬送路104、画像形成部105および定着部106などを備える。操作パネル101は、表示面がタッチパネルで覆われた液晶表示部11を有する。この液晶表示部11には、各種設定などを行うための設定キーソフトキーが表示されるとともに、装置状態などを示すメッセージも表示される。また、操作パネル101には、数値入力が必要な設定指示を受け付けるためのテンキー12ハードキーや、各種ジョブの実行の開始指示を受け付けるためのスタートキー13ハードキーなども設けられている。画像読取部102は、原稿を読み取って画像データを生成する。この画像読取部102には、図示しないが、露光ランプ、ミラー、レンズおよびイメージセンサーなどの光学系部材が設けられている。そして、画像読取部102は、載置読取用コンタクトガラス21に載置される原稿を読み取る際、露光ランプの光を原稿に照射し、反射光を受けたイメージセンサーの出力値をA/D変換した後、A/D変換後のデータに対して各種補正シェーディング補正などを施すことによって、画像データを生成する。これにより、画像読取部102による原稿の読み取り動作によって得られた画像データに基づき印刷を行うことができる。また、画像読取部102による原稿の読み取り動作によって得られた画像データを蓄積することもできる。また、画像読取部102には、原稿カバー22が設けられている。そして、載置読取用コンタクトガラス21による原稿の読み取り時には、載置読取用コンタクトガラス21に載置された原稿を原稿カバー22で押えることができるようになっている。なお、この原稿カバー22に原稿搬送装置としての機能を持たせてもよい。この場合には、原稿カバー22によって、送り読取用コンタクトガラス23に原稿を1枚ずつ送ることができるようになる。給紙部103は、用紙Pを収容するカセット31を複数有し、それら複数のカセット31に収容された用紙Pを搬送路104に供給する。この給紙部103には、収容された用紙Pを引き出すピックアップローラー32や、用紙Pの重送を抑制するための分離ローラー対33などが設けられている。搬送路104は、装置内部において用紙Pを搬送する。具体的に言うと、給紙部103から供給された用紙Pは、搬送路104によって、画像形成部105および定着部106をこの順番で通過し、排出トレイ41にまで導かれる。この搬送路104には、用紙Pを搬送する複数の搬送ローラー対42が設けられている。さらに、用紙Pを画像形成部105の手前で待機させ、タイミングを合わせて画像形成部105に送り出すレジストローラー対43も設けられている。画像形成部105は、画像データに基づきトナー像を形成し、そのトナー像を用紙Pに転写する。画像形成部105は、感光体ドラム51、帯電装置52、露光装置53、現像装置54、転写ローラー55およびクリーニング装置56などを含んでいる。トナー像の形成プロセスおよびトナー像の転写プロセスとしては、まず、感光体ドラム51を回転駆動させ、その感光体ドラム51の表面を帯電装置52で所定電位に帯電させる。また、露光装置53は、画像データに基づき光ビームLを出力し、感光体ドラム51の表面を走査露光する。これにより、感光体ドラム51の表面に静電潜像を形成する。続いて、現像装置54は、感光体ドラム51の表面に形成された静電潜像にトナーを供給して現像する。そして、転写ローラー55は、感光体ドラム51の表面に圧接する。この後、レジストローラー対43がタイミングを計り、転写ローラー55と感光体ドラム51との間に用紙Pを進入させる。このとき、転写ローラー55には所定の電圧が印加される。これによって、感光体ドラム51の表面のトナー像が用紙Pに転写される。なお、トナー像の転写プロセスが終わると、クリーニング装置56は、感光体ドラム51の表面に残留するトナーなどを除去する。定着部106は、用紙Pに転写されたトナー像を加熱加圧して定着させる。この定着部106は、発熱源を内蔵する定着ローラー61と、定着ローラー61に圧接される加圧ローラー62とを含んでいる。そして、トナー像が転写された用紙Pは、定着ローラー61と加圧ローラー62との間を通過することで、加熱加圧される。これにより、用紙Pにトナー像が定着され、印刷が完了する。そして、印刷済みの用紙Pは、搬送路104に導かれ、搬送ローラー対42によって排出トレイ41に送られる。次に、図2を参照して、画像形成装置100のハードウェア構成について説明する。画像形成装置100は、主制御部110処理部を備え、その主制御部110は、中央演算処理装置であるCPU111や画像処理部112などを含む。画像処理部112は、画像処理専用のASICやメモリーなどからなっており、画像データに対して、拡大/縮小、濃度変換およびデータ形式変換などの各種の画像処理を施す。また、主制御部110は、操作パネル101、画像読取部102、給紙部103、搬送路104、画像形成部105および定着部106などと接続される。そして、主制御部110は、記憶部113に記憶されたプログラムデータや各種データに基づき、全体制御、画像処理制御、および、各種回転体を回転させるモーターの駆動制御などを行う。なお、主制御部110は、全体制御や画像処理制御を行う制御部と、各種回転体を回転させるモーター制御を行う制御部とに分割されていてもよい。記憶部113は、ROM131、RAM132およびHDD133などを含む。たとえば、装置各部の制御や演算を行うためのプログラムデータなどは、ROM131に不揮発的に記憶される。そして、ROM131に記憶されたプログラムデータなどは、RAM132に読み出され、揮発的に記憶される。なお、RAM132については、後に詳細に説明する。主制御部110に接続される操作パネル101は、表示制御部14を含む。表示制御部14は、CPUやICなどからなり、液晶表示部11に表示された設定キーが押下されると、タッチパネルの出力を受けて押下位置の座標を特定する押下された設定キーを特定する。タッチパネルの出力と押下位置の座標との対応を示すデータは、たとえば、記憶部15あるいは、記憶部113に記憶される。なお、主制御部110が表示制御を行うようになっていてもよい。また、画像形成装置100は、主制御部110と接続される通信部140を備える。この通信部140は、たとえば、外部のコンピューター200とネットワークNTを介して通信可能に接続される。これにより、コンピューター200から送信された画像データに基づき印刷を行うことができ、画像読取部102による原稿の読み取り動作によって得られた画像データをコンピューター200に送信することもできる。また、通信部140にモデムなどを内蔵してもよく、この場合、電話回線などのネットワークNTを介して、外部のファックス装置300とファックス通信を行うことができる。さらに、画像形成装置100は、電源部150を備える。この電源部150は、商用電源と接続され、装置各部を動作させるのに必要な電圧を生成する。そして、電源部150は、通常状態のときには、装置各部の全部分に電力を供給する。その一方、電源部150は、通常状態から省電力状態に移行したときには、装置各部のうちの一部たとえば、主制御部110、および、省電力状態から通常状態への復帰条件が満たされたことを検知するための復帰条件検知部にのみ電力を供給し、それ以外の部分への電力の供給を停止する。たとえば、主制御部110は、装置が使用中である場合に、装置各部の全部分への電力供給を電源部150に行わせ、通常状態を保持させる。さらに、主制御部110は、装置の使用が終わってから装置が使用されないまま経過した未使用時間を計時し、未使用時間が一定時間内である場合には、装置各部の全部分への電力供給を電源部150に行わせ、通常状態を保持させる。その一方、主制御部110は、未使用時間が一定時間を越えた場合には、装置各部のうちの一部のみへの電力供給を電源部150に行わせ、通常状態から省電力状態に移行させる。または、主制御部110は、通常状態から省電力状態への移行指示を操作パネル101が受け付けた場合たとえば、操作パネル101に設けられた節電キーが押下された場合にも、装置各部のうちの一部のみへの電力供給を電源部150に行わせ、通常状態から省電力状態に移行させる。そして、主制御部110は、省電力状態から通常状態への復帰条件が満たされたことを検知すると、装置各部の全部分への電力供給を電源部150に再開させ、省電力状態から通常状態に復帰させる。なお、主制御部110は、通常状態から省電力状態に移行させた後、省電力状態から通常状態への復帰条件が満たされたか否かを判別しなければならない。このため、主制御部110は、省電力状態であったとしても、電源部150から電力供給を受け、部分的に起動している。そして、主制御部110は、省電力状態のときに、省電力状態から通常状態への復帰条件が満たされたこと示す信号を受信したとき、省電力状態から通常状態への復帰条件が満たされたと判別する。たとえば、省電力状態から通常状態への復帰条件が満たされたことを示す信号は、復帰条件検知部が主制御部110に出力する。このため、省電力状態のときには、復帰条件検知部にも電源部150から電力が供給されている。復帰条件検知部に相当する部分としては、操作パネル101が挙げられる。たとえば、操作パネル101は、省電力状態のときに、タッチパネルが触れられたり、ハードキーが押下されたりすると、操作があったことを示す信号省電力状態から通常状態への復帰条件が満たされたことを示す信号を主制御部110に送信する。そして、主制御部110は、省電力状態のときに操作パネル101から信号を受信すると、省電力状態から通常状態に復帰させる。また、通信部140も復帰条件検知部として機能する。すなわち、通信部140は、省電力状態のときに、コンピューター200やファックス装置300などの外部機器からデータたとえば、画像データを受信すると、外部機器からデータを受信したことを示す信号省電力状態から通常状態への復帰条件が満たされたことを示す信号を主制御部110に送信する。そして、主制御部110は、省電力状態のときに通信部140から信号を受信すると、省電力状態から通常状態に復帰させる。さらに、用紙カセット31の着脱を検知するためのセンサーや、原稿カバー22の開閉を検知するためのセンサーなども復帰条件検知部として機能する。すなわち、主制御部110は、省電力状態のときに、用紙カセット31が着脱された、あるいは、原稿カバー22が開閉された、という信号を受信すると、省電力状態から通常状態に復帰させる。次に、図3を参照して、画像形成装置100に搭載されるRAM132について詳細に説明する。RAM132は、ワーク用RAM134第1揮発性メモリーと、そのワーク用RAM134とは別個に設けられたデータ保持用RAM135第2揮発性メモリーとを含む。ワーク用RAM134およびデータ保持用RAM135は、メモリーバスMBを介して主制御部110に接続され、主制御部110との間でデータの送受信を行う。また、ワーク用RAM134とデータ保持用RAM135との間でもデータの送受信を行う。これらワーク用RAM134およびデータ保持用RAM135は、セルフリフレッシュ機能を有する。たとえば、主制御部110は、ワーク用RAM134およびデータ保持用RAM135にセルフリフレッシュを行わせるため、クロックイネーブル信号CKE1およびCKE2の各信号レベルを個々に切り替える。また、ワーク用RAM134およびデータ保持用RAM135は、電源部150からの電力供給を別々に受ける。なお、以下の説明では、ワーク用RAM134の駆動電圧を駆動電圧V1と称し、データ保持用RAM135の駆動電圧を駆動電圧V2と称して区別する。なお、駆動電圧V1およびV2は、電源部150の内部に設けられた生成回路で生成してもよいし、電源部150とは別個に設けられた生成回路で生成してもよい。また、ワーク用RAM134およびデータ保持用RAM135は、それぞれ、データの判定に用いるリファレンス電圧Vr1およびVr2の供給を電源部150から受ける。なお、リファレンス電圧Vr1およびVr2は、電源部150とは別個に設けられたリファレンス電圧生成回路151で生成してもよいし、電源部150の内部に設けられた生成回路で生成してもよい。ここで、ワーク用RAM134は、ROM131に記憶されたプログラムデータなどを展開して実行するための作業領域メインメモリーとなる。このため、通常状態のときには、電源部150は、ワーク用RAM134に電力を供給する。通常状態から省電力状態に移行すると、電源部150は、ワーク用RAM134への電力供給を停止する。たとえば、電源部150からワーク用RAM134への電力供給を遮断するため、主制御部110は、ワーク用RAM134と電源部150とを繋ぐスイッチ部152をオンからオフに切り替える。このとき、ワーク用RAM134に起動イメージワーク用RAM134に展開されたプログラムデータがそのまま保存されていると、起動イメージが失われてしまう。したがって、省電力状態から通常状態に復帰するときには、ROM131に書き込まれたプログラムデータを再び読み出す処理から始めなければならないので、装置が起動するまでに時間がかかってしまう。この不都合を解消する方法としては、通常状態から省電力状態に移行するときに起動イメージをワーク用RAM134から不揮発性メモリーROMなどに退避させ、省電力状態から通常状態に復帰したときに起動イメージを不揮発性メモリーからワーク用RAM134に戻すことが考えられる。この方法によると、通常状態から省電力状態に移行するときにワーク用RAM134への電力供給を遮断したとしても、省電力状態に入る前の起動イメージを保持することができる。このため、省電力状態から通常状態に復帰するときには、装置が速やかに起動するので、ユーザーにとっては利便性がよい。しかし、大きいメモリー容量を有する不揮発性メモリーが必要となるので、コストアップに繋がる。また、別の方法として、省電力状態のときに、ワーク用RAM134の一部分のみを使用するたとえば、予め定められたバンクまたはチップのみをセルフリフレッシュすることも考えられる。これによると、ワーク用RAM134の全部分を使用する場合に比べると、省電力効果は高まる。しかし、ワーク用RAM134の全部分を使用することができなければ、ユーザーの利便性は低下する。また、複雑な回路が必要となり、コストアップに繋がる。そこで、本実施形態では、ワーク用RAM134とは別に、データ保持用RAM135を設けている。なお、このデータ保持用RAM135は、ワーク用RAM134よりもメモリー容量が小さいメモリーチップの実装数が少ない。たとえば、データ保持用RAM135のメモリー容量は、ワーク用RAM134のメモリー容量の1/4~1/16程度となっている。また、データ保持用RAM135に繋がるメモリーバスMBのバス幅たとえば、16ビットは、ワーク用RAM134に繋がるメモリーバスMBのバス幅たとえば、32ビットよりも狭められている。また、データ保持用RAM135は、通常状態のときに、データを保持しない。すなわち、主制御部110は、通常状態のときには、ワーク用RAM134のみを作業領域として使用し、データ保持用RAM135は作業領域として使用しない。したがって、通常状態から省電力状態に移行するときには、データ保持用RAM135のメモリー領域は空き領域となっている。さらに、データ保持用RAM135は、通常状態および省電力状態にかかわらず、電源部150から電力供給を受ける。すなわち、電源部150は、通常状態のときには、ワーク用RAM134およびデータ保持用RAM135の両方に電力を供給し、通常状態から省電力状態に移行したときには、ワーク用RAM134への電力供給を停止しつつデータ保持用RAM135への電力供給を継続する。そして、通常状態から省電力状態に移行するときに、主制御部110は、ワーク用RAM134が保持していたデータ省電力状態に入る前の起動イメージを圧縮処理してデータ保持用RAM135に退避させる。これにより、ワーク用RAM134への電力供給を遮断したとしても、省電力状態に入る前の起動イメージはデータ保持用RAM135に保持される。このとき、データ保持用RAM135への電力供給は続けられるが、データ保持用RAM135のメモリー容量はワーク用RAM134のメモリー容量よりも小さいので、ワーク用RAM134への電力供給を続ける省電力状態に入る前の起動イメージをワーク用RAM134にそのまま保持させておく場合に比べて、消費電力を抑えることができる。この後、省電力状態から通常状態に復帰したときに、主制御部110は、データ保持用RAM135に退避させたデータ省電力状態に入る前の起動イメージを伸張処理してワーク用RAM134に受け取らせる。すなわち、省電力状態から通常状態に復帰した後は、メモリー容量の大きいワーク用RAM134が作業領域となるので、処理速度が低下することはない。また、このときには、ROM131に書き込まれたプログラムデータを再び読み出す処理から始める必要がないので、速やかに装置を起動させることができる。次に、図4を参照して、通常状態から省電力状態に移行するとき省電力状態から通常状態に復帰させるときのRAM132の動作について説明する。まず、図4のフローのスタート時点では、ワーク用RAM134にプログラムデータなどが展開されているワーク用RAM134に起動イメージが保持されているとする。また、この時点では、ワーク用RAM134およびデータ保持用RAM135の両方が電源部150からの電力供給を受けているとする。そして、装置の使用が終わった後、装置が使用されないまま一定時間が経過したとき通常状態から省電力状態に移行するとき、図4のフローがスタートする。あるいは、通常状態から省電力状態への移行指示を操作パネル101が受け付けたときも、図4のフローがスタートする。ステップS1において、主制御部110は、ワーク用RAM134に保持させていたデータ起動イメージを圧縮してデータ保持用RAM135に退避させる。ステップS2において、主制御部110は、電源部150からワーク用RAM134への電力供給を遮断する。すなわち、主制御部110は、ワーク用RAM134と電源部150とを繋ぐスイッチ部152をオンからオフに切り替える。ただし、主制御部110は、電源部150からデータ保持用RAM135への電力供給は続けさせる。ステップS3において、主制御部110は、省電力状態から通常状態への復帰条件が満たされたことを示す信号を受信したか否かを判断する。判断の結果、省電力状態から通常状態への復帰条件が満たされたことを示す信号を受信していれば、ステップS4に移行し、省電力状態から通常状態への復帰条件が満たされたことを示す信号を受信していなければ、ステップS3の動作を繰り返す。ステップS4に移行すると、主制御部110は、電源部150からワーク用RAM134への電力供給を再開させる。すなわち、主制御部110は、ワーク用RAM134と電源部150とを繋ぐスイッチ部152をオフからオンに切り替える。ステップS5において、主制御部110は、データ保持用RAM135に退避させたデータを伸張してワーク用RAM134に移動させる。本実施形態では、上記のように、電源部150は、通常状態から省電力状態に移行したときには、ワーク用RAM134第1揮発性メモリーへの電力の供給を停止しつつデータ保持用RAM135第2揮発性メモリーへは電力を供給する。したがって、通常状態から省電力状態に移行するときに、省電力状態に入る前にワーク用RAM134に揮発的に記憶させていたデータをデータ保持用RAM135に退避させることにより、省電力状態に入る前にワーク用RAM134に揮発的に記憶させていたデータを失わずに済むデータ保持用RAM135に保持される。したがって、省電力状態から通常状態に復帰するときに、ROM131から再びデータを読み出して展開する処理が不要となり、装置が速やかに起動する。また、省電力状態のときに電力を供給するデータ保持用RAM135はワーク用RAM134よりもメモリー容量が小さいので、省電力状態のときにワーク用RAM134に電力を供給する省電力状態に入る前にワーク用RAM134に揮発的に記憶させていたデータをそのまま保持する場合に比べて、消費電力が減少して省電力効果が高まる。また、データを退避させるデータ保持用RAM135は安価であるので、コストアップを抑制することができる。また、本実施形態では、上記のように、データ保持用RAM135は、通常状態のときに、データを保持しない。このように構成すれば、通常状態から省電力状態に移行するときには、データ保持用RAM135のメモリー領域は空き領域となっている。したがって、通常状態から省電力状態に移行するときに、容易に、データを退避させるためのメモリー領域を確保することができる。また、本実施形態では、上記のように、ワーク用RAM134は、省電力状態から通常状態に復帰したときに、データ保持用RAM135に退避させたデータをデータ保持用RAM135から受け取る。このように構成すれば、省電力状態から通常状態に復帰した後は、データ保持用RAM135よりもメモリー容量が大きいワーク用RAM134が作業領域となるので、処理速度が低下することはない。また、本実施形態では、上記のように、主制御部110処理部は、ワーク用RAM134からデータ保持用RAM135に退避させるデータに圧縮処理を施す。このように構成すれば、データ保持用RAM135のメモリー容量がワーク用RAM134のメモリー容量よりも小さいことに起因してデータを退避させることができないメモリー容量が不足する、という不都合が発生するのを抑制することができる。今回開示された実施形態は、すべての点で例示であって、制限的なものではないと考えられるべきである。本発明の範囲は、上記実施形態の説明ではなく特許請求の範囲によって示され、さらに、特許請求の範囲と均等の意味および範囲内でのすべての変更が含まれる。