数式のrefactoring