specializeはあくまで最適化過程の話であって、