2019/12/31 更新：記事作成から3年以上が経過しており、リンク先が変わっていたり、なくなっていたりしているため、そのような不適切となったリンクを削除しました。Vagrant（ベイグラント）…