Solverのフレームワークを整えた