Vagrant をダウンロードしてインストールする
Vagrant とは
先の手順によって，VirtualBox がインストールされているはずです．VirtualBox によって Windows 上に 仮想マシン (Linux など) をインストールして実行することが可能になる．しかしながら，VirtualBox の設定を一つひとつ行ったり，仮想マシンをインストールする作業を毎回行うことは大変な労力です．
Vagrant は VirtualBox を操作して仮想環境を簡単に構築したり，仮想マシンを起動／シャットダウンしたりできるツールです．Vagrant を使えば，わずか数行のコマンドで仮想環境を構築できます．
Vagrant をダウンロードする
https://www.vagrantup.com/ から DOWNLOAD をクリックしてダウンロードページを開く．
Windows の AMD64 版をダウンロードする．
Vagrant をインストールする
ダウンロードしたインストーラをダブルクリックして起動する．以降の作業は特に注意することはなく，どんどん進めていけば良い．
「Next」をクリック
ライセンス条項を読んで，チェックを入れた後，「Next」をクリック
「Next」をクリック
「Install」をクリック
インストール中．暫く待つ．
「Finish」をクリック
「Yes」をクリックすれば，Windows が再起動される．なお，学内の情報処理実習室で作業をした場合は，「No」をクリックしてそのまま作業を続けるようにすること．再起動するとせっかくインストールした VirtualBox と Vagrant が削除されてもとに戻ってしまいます．
