Solver書き始め