Brush up some texts in AtCoder env chapter

tatsuya6502 · tatsuya6502 · commit a65e5e22165f · 2019-07-02T19:21:50.000+08:00
diff --git a/src/atcoder-env/index.md b/src/atcoder-env/index.md
@@ -16,15 +16,15 @@
 [crates-2019]: https://github.com/rust-lang-ja/atcoder-rust-resources/wiki/Crates-2019
 
 
-## 素のRust設定について
+## 素のRust環境について
 
 [AtCoder 2019/7 Language Updateのスプレッドシート][spreadsheet]では、従来のようにクレートがインストールされていない「素のRust環境」の併設を望む声もあるようです。
 
 [spreadsheet]: https://docs.google.com/spreadsheets/d/1PmsqufkF3wjKN6g1L0STS80yP4a6u-VdGiEv5uOHe0M/edit
 
 本章の内容に従って環境をセットアップした場合に、ユーザプログラム（選手が提出したプログラム）が従来のようにクレートを使用しないなら、インストールしたクレートはないものと同じになります。
-使用しないクレートはユーザプログラムの実行ファイルになんら影響も与えません。
-素のRust環境を別途用意する必要はなさそうに思えます。
+使用しないクレートはユーザプログラムの実行ファイルになんら影響を与えません。
+このことから素のRust環境を別途用意する必要はなさそうに思えます。
 
 もしそれでも心配という声があるようなら、素のRust環境を別途用意することも可能です。
 その場合は以下の環境変数の値を変える（または`unset`する）ことで、本章でセットアップする環境と、素のRust環境を切り替えることができます。
diff --git a/src/atcoder-env/installing-rust-toolchain.md b/src/atcoder-env/installing-rust-toolchain.md
@@ -9,8 +9,8 @@
 
 今回の言語アップデートでは2019年5月20日にリリースされた1.35.0をインストールします。
 
-Rustの安定版（stable版）は6週間ごとにリリースされますので、次の1.36.0は7月4日にリリースされます。
-言語アップデート作業は2019年7月から始まりましたので、1.36.0をインストールすることも可能です。
+Rustの安定版（stable版）は6週間ごとにリリースされますので、次のバージョンの1.36.0のリリース日は7月4日になります。
+言語アップデート作業は2019年7月初旬から始まりましたので、1.36.0をインストールすることも可能です。
 しかし今回は安全のために、リリースされてから少し日が経っている1.35.0を選択します。
 
 ツールチェインのインストールには`rustup`というRustプロジェクト公式のコマンドラインツールを使います。
diff --git a/src/atcoder-env/supported-environment.md b/src/atcoder-env/supported-environment.md
@@ -67,7 +67,9 @@
 - Rustツールチェインを、ジャッジサーバ上の全Linuxユーザがread-onlyでアクセスできる場所にインストールする
 - 選手が使用できるクレートを事前に選定し、コンパイルしておく
   - コンパイルしてできた`rlib`ファイルをジャッジサーバ上の全Linuxユーザがread-onlyでアクセスできる場所に保存する
-- ジャッジの際にはユーザプログラムのコンパイルに`cargo`を介さずに`rustc`を直接実行することで、クレートが毎回コンパイルされることを防ぐ
+- ジャッジの際にはユーザプログラムのコンパイルに`cargo`を介さずに`rustc`を直接実行する
+  - ジャッジの際にクレートのソースファイルがダウンロードされることがないので、選手が使用するクレートを制限できる
+  - クレートが毎回コンパイルされることが防げる
 
 Rustツールチェインや`rlib`ファイルは`/usr/local/lib/rust`ディレクトリ配下に置きます。
 
