generated at
制約条件の理論