涼宮 ハルヒ 圧縮