(…を)圧縮する、押し縮める