ボッチのソルティーのスケジュール最適化