インストールに関する補足を追記．eduroam からも tains-eng からもライセンス認証は
うまくいかない旨を記載．