Edit requests of Docker Machine を使って VirtualBox に Dockerホストを立てる（２０１６年５月版）