圧縮

小学校では習わないことなので、書いておく。 ZIP圧縮とデジカメ画像の圧縮は別物だ。