最適化は一つ一つが個別のトピックだから大変そう・・・　Guaranteed optimizationsってなんですか？