Zipが大きすぎるときにファイルをダウンロードする
Zipファイルを解凍するアプリとして「ZIP Extractor」「Cloud Convert」「Zip, UnZip」の3つのアプリが出てきたので、それらを利用してみました。 ZIP Extractor、Zip,UnZipはうまくいかず、Cloud Convertはうまくいってるような気もしたが時間がかなりかかっていたため別の Windows の標準 ZIP ツールを使用した場合、ZIP の仕様では 4GB を超えるファイルを圧縮すると、解凍時にファイルが壊れてしまいます。PKWARE 社の無償のツール ZIP Reader を使用すれば、圧縮プログラムを持たない Windows ユーザーでも ZIP ファイルを問題なく展開・解凍できます。