数式を基に細分化