Amazon EC2 Auto Scaling でコストの節約を実現しながらスケールアウトを加速する Warm Pools が利用可能に