世界IaaSパブリッククラウド市場は31%成長、AWSがシェア約5割–ガートナー