∞個は状態を表す