コードのリファクタリング Solver綺麗にした．