5月第1週はゴールデンウイークと重なったため国内のIT業界にはほとんど動きがなかったが、海外ではビッグニュースが相次いだ。今回は「Red Hat Summit 2017」とDockerのCEO交代に注目してみたい。