【初心者向け】圧縮ファイルの違いは？特徴を比較します【ZIP, 7z, RAR, tar.gz】 2026-05-15 Zip 7z Tar Gzip Compressed-File File Extension