compact関数