制約環境での展開