MicrosoftとMITがクラウドの効率を改善する数理モデルを開発