教員向け/学生のプログラミング環境構築方法の名前を変更します。