zip形式で圧縮する際に、一番サイズを縮められるのは7-zip？
圧縮時の設定は速度ガン無視で圧縮率最重視にするとして。