Windows 10で「ドライブの圧縮」を実行してディスクの空き容量を増やす

フォルダやファイルを個別に圧縮する（3）ファイルのプロパティ上では、「サイズ」は変わらない。ただ、ディスク全体のプロパティを見ると、若干ながら空き容量が増えている（ファイルが圧縮されている）ことが分かる。