solverはまだ実装してないので,使用する部分は削除