蟻が蟻であるという制約