ファイルを別の記憶装置にバックアップするバックアップ装置であって、前記ファイルのファイルサイズと単位サイズ当たりの圧縮にかかる圧縮所要時間から前記ファイルの圧縮にかかる予測圧縮時間を算出する圧縮時間予測手段と、前記ファイルのファイルサイズと圧縮率から圧縮後のファイルサイズを求め、当該圧縮後のファイルサイズと単位サイズ当たりのバックアップにかかるバックアップ所要時間から圧縮後のファイルのバックアップにかかる時間を求めて前記圧縮予測時間を加算し、予測圧縮バックアップ時間を算出する圧縮バックアップ時間予測手段と、前記ファイルのファイルサイズと前記バックアップ所要時間からバックアップにかかる予測非圧縮バックアップ時間を算出する非圧縮バックアップ時間予測手段と、前記予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定する判定手段と、前記判定手段が前記ファイルを圧縮してバックアップすると判定したときに、前記ファイルを圧縮する圧縮手段と、前記ファイルあるいは前記圧縮したファイルを別の記憶装置にバックアップするバックアップ手段と、を有することを特徴とするバックアップ装置。前記圧縮バックアップ時間予測手段は、前記予測圧縮時間と前記圧縮後のファイルのバックアップにかかる時間のうちの長いほうに基づいて第2の予測圧縮バックアップ時間を算出し、前記判定手段は、前記第2の予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定し、前記バックアップ手段は、前記圧縮手段が圧縮を完了する前から、圧縮し終えた部分から順に別の記憶装置にバックアップすることを特徴とする請求項1記載のバックアップ装置。前記圧縮手段がファイルを圧縮するときにかかる時間と圧縮率、前記バックアップ手段がファイルをバックアップするときにかかる時間を測定し、前記圧縮所要時間、前記バックアップ所要時間を算出する測定手段を有することを特徴とする請求項1又は2記載のバックアップ装置。ファイルを別の記憶装置にバックアップするバックアップ方法であって、圧縮時間予測手段による、前記ファイルのファイルサイズと単位サイズ当たりの圧縮にかかる圧縮所要時間から前記ファイルの圧縮にかかる予測圧縮時間を算出するステップと、圧縮バックアップ時間予測手段による、前記ファイルのファイルサイズと圧縮率から圧縮後のファイルサイズを求め、当該圧縮後のファイルサイズと単位サイズ当たりのバックアップにかかるバックアップ所要時間から圧縮後のファイルのバックアップにかかる時間を求めて前記圧縮予測時間を加算し、予測圧縮バックアップ時間を算出するステップと、非圧縮バックアップ時間予測手段による、前記ファイルのファイルサイズと前記バックアップ所要時間からバックアップにかかる予測非圧縮バックアップ時間を算出するステップと、判定手段による、前記予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定するステップと、圧縮手段による、前記判定手段が前記ファイルを圧縮してバックアップすると判定したときに、前記ファイルを圧縮するステップと、バックアップ手段による、前記ファイルあるいは前記圧縮したファイルを別の記憶装置にバックアップするステップと、を有することを特徴とするバックアップ方法。前記圧縮バックアップ時間予測手段は、前記予測圧縮時間と前記圧縮後のファイルのバックアップにかかる時間のうちの長いほうに基づいて第2の予測圧縮バックアップ時間を算出し、前記判定手段は、前記第2の予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定し、前記バックアップ手段は、前記圧縮手段が圧縮を完了する前から、圧縮し終えた部分から順に別の記憶装置にバックアップすることを特徴とする請求項4記載のバックアップ方法。測定手段による、前記圧縮手段がファイルを圧縮するときにかかる時間と圧縮率、前記バックアップ手段がファイルをバックアップするときにかかる時間を測定し、前記圧縮所要時間、前記バックアップ所要時間を算出するステップを有することを特徴とする請求項4又は5記載のバックアップ方法。請求項1乃至3のいずれかに記載のバックアップ装置としてコンピュータを動作させることを特徴とするバックアッププログラム。しかしながら、ファイルを圧縮してファイルサイズを小さくし、バックアップ用記憶装置の容量を効率よく使用することはできても、その圧縮処理にかかる時間を考慮していないため、時間的な効率化は図れていない。ファイルサイズが縮小したことによりバックアップ処理そのものの所要時間は短縮されるものの、ファイルの圧縮処理にも時間を要するため、圧縮処理とバックアップ処理を合計したバックアップの時間的な効率化はできないという問題があった。特に、大きなサイズのファイルを圧縮してバックアップする場合や大容量のハードディスクに保持している多数のファイルを大量にバックアップする場合に、一律にファイルを圧縮してバックアップを実行すると、ファイルサイズやファイル数が大きくなるほどファイルの圧縮に時間がかかり、バックアップ処理そのものを開始するまでに長時間待たなければならないということが顕著に発生する。本発明は、上記に鑑みてなされたものであり、バックアップを時間的に効率化することを目的とする。第1の本発明に係るバックアップ装置は、ファイルを別の記憶装置にバックアップするバックアップ装置であって、前記ファイルのファイルサイズと単位サイズ当たりの圧縮にかかる圧縮所要時間から前記ファイルの圧縮にかかる予測圧縮時間を算出する圧縮時間予測手段と、前記ファイルのファイルサイズと圧縮率から圧縮後のファイルサイズを求め、当該圧縮後のファイルサイズと単位サイズ当たりのバックアップにかかるバックアップ所要時間から圧縮後のファイルのバックアップにかかる時間を求めて前記圧縮予測時間を加算し、予測圧縮バックアップ時間を算出する圧縮バックアップ時間予測手段と、前記ファイルのファイルサイズと前記バックアップ所要時間からバックアップにかかる予測非圧縮バックアップ時間を算出する非圧縮バックアップ時間予測手段と、前記予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定する判定手段と、前記判定手段が前記ファイルを圧縮してバックアップすると判定したときに、前記ファイルを圧縮する圧縮手段と、前記ファイルあるいは前記圧縮したファイルを別の記憶装置にバックアップするバックアップ手段と、を有することを特徴とする。上記バックアップ装置において、前記圧縮バックアップ時間予測手段は、前記予測圧縮時間と前記圧縮後のファイルのバックアップにかかる時間のうちの長いほうに基づいて第2の予測圧縮バックアップ時間を算出し、前記判定手段は、前記第2の予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定し、前記バックアップ手段は、前記圧縮手段が圧縮を完了する前から、圧縮し終えた部分から順に別の記憶装置にバックアップすることを特徴とする。上記バックアップ装置において、前記圧縮手段がファイルを圧縮するときにかかる時間と圧縮率、前記バックアップ手段がファイルをバックアップするときにかかる時間を測定し、前記圧縮所要時間、前記バックアップ所要時間を算出する測定手段を有することを特徴とする。第2の本発明に係るバックアップ方法は、ファイルを別の記憶装置にバックアップするバックアップ方法であって、圧縮時間予測手段による、前記ファイルのファイルサイズと単位サイズ当たりの圧縮にかかる圧縮所要時間から前記ファイルの圧縮にかかる予測圧縮時間を算出するステップと、圧縮バックアップ時間予測手段による、前記ファイルのファイルサイズと圧縮率から圧縮後のファイルサイズを求め、当該圧縮後のファイルサイズと単位サイズ当たりのバックアップにかかるバックアップ所要時間から圧縮後のファイルのバックアップにかかる時間を求めて前記圧縮予測時間を加算し、予測圧縮バックアップ時間を算出するステップと、非圧縮バックアップ時間予測手段による、前記ファイルのファイルサイズと前記バックアップ所要時間からバックアップにかかる予測非圧縮バックアップ時間を算出するステップと、判定手段による、前記予測圧縮バックアップ時間と前記予測非圧縮バックアップ時間とを比較し、前記ファイルを圧縮してバックアップするか否か判定するステップと、圧縮手段による、前記判定手段が前記ファイルを圧縮してバックアップすると判定したときに、前記ファイルを圧縮するステップと、バックアップ手段による、前記ファイルあるいは前記圧縮したファイルを別の記憶装置にバックアップするステップと、を有することを特徴とする。第3の本発明に係るバックアッププログラムは、上記バックアップ装置としてコンピュータを動作させることを特徴とする。本発明によれば、バックアップを時間的に効率化することができる。以下、本発明の実施の形態について図面を用いて説明する。図1は、本実施の形態におけるバックアップシステムの構成を示す機能ブロック図である。同図に示すバックアップシステムは、バックアップ装置1、バックアップ用ハードディスク2を備え、及びバックアップ装置1とバックアップ用ハードディスク2は通信ケーブル3で接続される。バックアップ装置1は、ハードディスク11、測定部12、判定部13、圧縮実行部14、およびバックアップ実行部15を備える。バックアップ用ハードディスク2は、バックアップ装置1から通信ケーブル3を介してバックアップ対象のファイル111を受信し、バックアップファイル211として格納する。バックアップ装置1が備える各部は、演算処理装置、記憶装置等を備えたコンピュータにより構成して、各部の処理がプログラムによって実行されるものとしてもよい。このプログラムはバックアップ装置1が備える記憶装置に記憶されており、磁気ディスク、光ディスク、半導体メモリ等の記録媒体に記録することも、ネットワークを通して提供することも可能である。以下、バックアップ装置1の各部について説明する。ハードディスク11は、バックアップ対象のファイル111を格納する。また、ファイル111がバックアップのために圧縮される場合は、圧縮されたファイル111を一時的に格納する。測定部12は、ファイルの圧縮にかかる時間、ファイルの転送にかかる時間を測定し、ファイル単位サイズ当たりの圧縮所要時間、バックアップ所要時間を求め、ファイル単位サイズ当たりの平均圧縮所要時間、平均バックアップ所要時間を更新する。また、ファイル毎に圧縮率を求める。判定部13は、バックアップ対象のファイル111を圧縮しない場合、圧縮する場合それぞれの予測バックアップ所要時間を求めて比較し、バックアップの際に圧縮を行うか否かを判定する。圧縮しない場合の予測バックアップ所要時間は、ファイル111のファイルサイズと平均バックアップ所要時間から算出する。圧縮する場合の予測バックアップ所要時間は、ファイル111のファイルサイズと圧縮率から圧縮後のファイルサイズを求め、圧縮後のファイルサイズと平均バックアップ所要時間から圧縮後のファイル111のバックアップにかかる時間を求めて予測圧縮時間を加算して算出する。圧縮実行部14は、判定部13がファイル111をバックアップする際に圧縮すると判定したときに、ハードディスク11からファイル111を読み出して圧縮し、圧縮したファイルをハードディスク11に保存する。バックアップ実行部15は、ハードディスク11からファイルを読み出してバックアップ用ハードディスク2に転送する。ファイルを圧縮した場合は、圧縮したファイルをハードディスク11から読み出して転送する。次に、バックアップ所要時間を測定する処理について説明する。図2は、バックアップ実行部15によるバックアップ実行の際に、バックアップ所要時間を測定する処理の流れを示すフローチャートである。バックアップ実行部15がファイルをバックアップ用ハードディスク2に転送してバックアップを開始するとステップS11、測定部12がそのバックアップに要した時間を測定するステップS12。そして、測定して得られた時間からファイル単位サイズ当たりのバックアップ所要時間を算出するステップS13。例えば、バックアップするファイルサイズが2GByteであり、バックアップ所要時間が20秒であったとする。バックアップ所要時間はファイルサイズに比例するとして、ファイル単位サイズを1GByteとすれば、上記の例では、ファイル単位サイズ当たりのバックアップ所要時間は10秒となる。また、ファイルのバックアップを行う度にファイル単位サイズ当たりのバックアップ所要時間を算出し、算出したファイル単位サイズ当たりのバックアップ所要時間を平均して、ファイル単位サイズ当たりのバックアップ平均所要時間を計算する。なお、バックアップ所要時間は、バックアップ実行時における、ディスクの読み書き速度やネットワークのトラフィックに左右されるため、過去のバックアップ全てを用いてバックアップ平均所要時間を計算するのではなく、最新例えば、過去10回分の平均値をバックアップ平均所要時間として計算する。次に、ファイル圧縮所要時間を測定する処理について説明する。図3は、圧縮実行部14によるファイル圧縮実行の際に、ファイル圧縮所要時間を測定する処理の流れを示すフローチャートである。圧縮実行部14がファイルの圧縮を開始するとステップS21、測定部12がその圧縮に要した時間を測定するステップS22。そして、測定して得られた所要時間からファイル単位サイズ当たりのファイル圧縮所要時間を算出しステップS23、ファイル毎にファイルの圧縮率を算出するステップS24。例えば、圧縮する前のファイルサイズが5GByteであり、圧縮所要時間が25秒であったとする。圧縮所要時間は圧縮前のファイルサイズに比例するとして、ファイル単位サイズを1GByteとすれば、上記の例では、ファイル単位サイズ当たりの圧縮所要時間は5秒となる。また、ファイルの圧縮を行う度にファイル単位サイズ当たりの圧縮所要時間を算出し、算出したファイル単位サイズ当たりの圧縮所要時間を平均して、ファイル単位サイズ当たりの圧縮平均所要時間を計算する。なお、圧縮平均所要時間も、バックアップ平均所要時間と同様に、過去全てのファイル圧縮ではなく、最新例えば、過去10回分の平均値を圧縮平均所要時間として計算する。ファイルの圧縮率は、圧縮後のファイルサイズを圧縮前のファイルサイズで割って求める。例えば、圧縮前のファイルサイズが5GByteのファイルを圧縮し、圧縮後のファイルサイズが1GByteになったとすると、このファイルの圧縮率は1÷5=0.220となる。なお、ファイルの内容により圧縮率が異なるので、ファイルの圧縮率は個々のファイルそれぞれに対して圧縮率を記録する。次に、本実施の形態におけるバックアップ装置がバックアップを実行する処理について説明する。図4は、バックアップ装置1がバックアップを実行する処理の流れを示すフローチャートである。まず、判定部13がバックアップするファイルのファイルサイズを測定しステップS31、測定したファイルサイズとファイル単位サイズ当たりの圧縮平均所要時間から予測圧縮時間を算出するとともに、測定したファイルサイズとそのファイルについての圧縮率から圧縮後のファイルサイズを算出するステップS32。判定部13は、バックアップするファイルを圧縮する場合と圧縮しない場合それぞれの予測バックアップ所要時間を算出するステップS33。ファイルを圧縮する場合の予測バックアップ所要時間は、ステップS32で求めた圧縮後のファイルサイズとファイル単位サイズ当たりのバックアップ平均所要時間から求める。ファイルを圧縮しない場合の予測バックアップ所要時間は、ステップS31で測定した圧縮前のファイルサイズとファイル単位サイズ当たりのバックアップ平均所要時間から求める。そして、圧縮する場合の予測バックアップ所要時間に予測圧縮時間を加え、圧縮しない場合の予測バックアップ所要時間と比較し、圧縮しない場合の予測バックアップ所要時間よりも圧縮する場合の予測バックアップ所要時間のほうが速いか否か判定するステップS34。圧縮する場合の予測バックアップ所要時間に予測圧縮時間を加えたものが圧縮しない場合の予測バックアップ所要時間以下の場合は、圧縮実行部14がファイルを圧縮するステップS35。このとき、測定部12がファイルの圧縮に要した圧縮所要時間と圧縮率を求めて、ファイル単位サイズ当たりの圧縮平均所要時間と圧縮率を更新するステップS36。そして、バックアップ実行部15がハードディスク11からファイルを読み出し、バックアップ用ハードディスク2へのバックアップを開始するステップS37。圧縮しない場合はバックアップするファイルを読み出し、圧縮した場合は圧縮後のファイルを読み出してバックアップする。このとき、圧縮した場合、圧縮しない場合のいずれの場合も、測定部12がファイルのバックアップに要した時間を測定してバックアップ所要時間を求め、ファイル単位サイズ当たりのバックアップ平均所要時間を更新するステップS38。続いて、圧縮するか否かを判定する処理について具体的な例を用いて説明する。1つめの具体例として、ファイルサイズが5GByte、圧縮率が20で、ファイル単位サイズ1GByte当たりのバックアップ平均所要時間が10秒、ファイル単位サイズ1GByte当たりの圧縮平均所要時間が5秒の場合について考える。この場合、圧縮後のファイルサイズは1GByteと予測される。ファイルの圧縮に25秒、圧縮後のファイルのバックアップに10秒かかると予測されるので、圧縮する場合にバックアップにかかる時間は35秒と予測される。一方、圧縮しない場合にバックアップにかかる時間は50秒と予測される。したがって、圧縮する場合のほうがバックアップにかかる時間が短いので、このファイルについては、圧縮してバックアップされる。2つめの具体例として、ファイルサイズが5GByte、圧縮率が80で、ファイル単位サイズ1GByte当たりのバックアップ平均所要時間が10秒、ファイル単位サイズ1GByte当たりの圧縮平均所要時間が5秒の場合について考える。この場合、圧縮後のファイルサイズは4GByteと予測される。ファイルの圧縮に25秒、圧縮後のファイルのバックアップに40秒かかると予測されるので、圧縮する場合にバックアップにかかる時間は65秒と予測される。一方、圧縮しない場合にバックアップにかかる時間は50秒と予測される。したがって、圧縮しない場合のほうがバックアップにかかる時間が短いので、このファイルについては、圧縮しないでバックアップされる。なお、本実施の形態では、圧縮実行部14が圧縮を完了してからバックアップを開始しているが、圧縮実行部14が圧縮を完了する前から、圧縮し終えた部分から順にバックアップ用ハードディスク2にバックアップするものでもよい。このとき、判定部13は、予測圧縮時間と圧縮後のファイルのバックアップにかかる時間のうちの長いほうに基づいて圧縮する場合の予測バックアップ所要時間を求め、圧縮しない場合の予測バックアップ所要時間と比較して圧縮するか否か判定する。以上説明したように、本実施の形態によれば、バックアップ平均所要時間、圧縮平均所要時間、圧縮率を測定しておき、ファイルをバックアップする際に、圧縮しない場合、圧縮する場合それぞれの予測バックアップ所要時間を算出し、圧縮しない場合の予測バックアップ所要時間と圧縮する場合の予測バックアップ所要時間を比較して、バックアップの際にファイルを圧縮するか否か判定することにより、バックアップ処理完了までを時間的に効率化することが可能となる。