制約伝搬

せいやくでんぱん