最適化の話であってバグではない