今は、プロバーベルが最適解になんのか?