Add a summary to the first page of AtCoder env chapter

tatsuya6502 · tatsuya6502 · commit 091073b4b36d · 2019-07-02T17:22:05.000+08:00
diff --git a/src/atcoder-env/index.md b/src/atcoder-env/index.md
@@ -7,8 +7,23 @@
 - Rustツールチェインやクレート（外部ライブラリ）をジャッジサーバへインストールする手順
 - 提出されたプログラムのコンパイルおよび実行手順
 
-本章のMarkdownソースファイルはGitHub [rust-lang-ja/atcoder-rust-resources][gh]にあります。
+
+## Rustツールチェインやクレートの内容など
+
+- Rust 1.35.0
+- インストールするクレート：[このページ][crates-2019]を参照
+
+ユーザプログラム（選手が提出したプログラム）がクレートを使用しない場合、インストールしたクレートはユーザプログラムの実行ファイルになんの影響も与えません。
+素のRust環境を別途用意する必要はありません
+
+[crates-2019]: https://github.com/rust-lang-ja/atcoder-rust-resources/wiki/Crates-2019
+
+
+## 内容についてのお問い合わせなど
+
 内容について質問などがありましたら、[GitHub Issue][gh-issue]などでご連絡ください。
 
-[gh]: https://github.com/rust-lang-ja/atcoder-rust-resources
+なお本章のMarkdownソースファイルはGitHub [rust-lang-ja/atcoder-rust-resources][gh]にあります。
+
 [gh-issue]: https://github.com/rust-lang-ja/atcoder-rust-resources/issues
+[gh]: https://github.com/rust-lang-ja/atcoder-rust-resources
diff --git a/src/atcoder-env/installing-rust-crates.md b/src/atcoder-env/installing-rust-crates.md
@@ -22,7 +22,7 @@
 
 **AtCoder運営者様へのお願い**
 
-対象クレートの一覧は[このページ](crates-2019)にあります。
+対象クレートの一覧は[このページ][crates-2019]にあります。
 ジャッジサーバで使用して問題ない内容か、インストール前にレビューをお願いいたします。
 
 質問や要望などがありましたら、[GitHub Issue][gh-issue]などでご連絡ください。
