iOS13とiPadOSでは、新たにファイルのZIP圧縮および解凍(伸張)が可能となっています。 「ファイル」アプリで、任意のファイルを長押しするとメニューが表示されるので、その中から「圧縮」をタップすることでZIP形式で圧縮できます。 またZIPファイルを長押ししメニューから「伸張」を選ぶことで解凍できます。 iOS13は9月20日にリリースされました。 たくさんの新機能や改善、修正が含まれています。 iOS13については「iOS 13」に、iPadOSについては「iPadOS」に、iOSの便利な使い方は「iOS Tips」にまとめています。