newtype10vampireのスケジュール最適化