ci: generate pages at a65e5e2 [ci skip]

bn-e · bn-e · commit 534eb619cd0b · 2019-07-02T11:22:41.000Z
diff --git a/docs/atcoder-env/index.html b/docs/atcoder-env/index.html
@@ -157,11 +157,11 @@ <h2><a class="header" href="#rustツールチェインやクレートの内容
 <li>Rust 1.35.0</li>
 <li>インストールするクレート：<a href="https://github.com/rust-lang-ja/atcoder-rust-resources/wiki/Crates-2019">このページ</a>を参照</li>
 </ul>
-<h2><a class="header" href="#素のrust設定について" id="素のrust設定について">素のRust設定について</a></h2>
+<h2><a class="header" href="#素のrust環境について" id="素のrust環境について">素のRust環境について</a></h2>
 <p><a href="https://docs.google.com/spreadsheets/d/1PmsqufkF3wjKN6g1L0STS80yP4a6u-VdGiEv5uOHe0M/edit">AtCoder 2019/7 Language Updateのスプレッドシート</a>では、従来のようにクレートがインストールされていない「素のRust環境」の併設を望む声もあるようです。</p>
 <p>本章の内容に従って環境をセットアップした場合に、ユーザプログラム（選手が提出したプログラム）が従来のようにクレートを使用しないなら、インストールしたクレートはないものと同じになります。
-使用しないクレートはユーザプログラムの実行ファイルになんら影響も与えません。
-素のRust環境を別途用意する必要はなさそうに思えます。</p>
+使用しないクレートはユーザプログラムの実行ファイルになんら影響を与えません。
+このことから素のRust環境を別途用意する必要はなさそうに思えます。</p>
 <p>もしそれでも心配という声があるようなら、素のRust環境を別途用意することも可能です。
 その場合は以下の環境変数の値を変える（または<code>unset</code>する）ことで、本章でセットアップする環境と、素のRust環境を切り替えることができます。</p>
 <table><thead><tr><th align="left">環境変数</th><th align="left">本章でセットアップする環境（クレートを使用できる環境）を使用する場合</th><th align="left">素のRust環境を使用する場合</th></tr></thead><tbody>
diff --git a/docs/atcoder-env/installing-rust-toolchain.html b/docs/atcoder-env/installing-rust-toolchain.html
@@ -150,8 +150,8 @@ <h1><a class="header" href="#rustツールチェインのインストール" id=
 <p>このページではAtCoderのジャッジサーバにRustツールチェインをインストールする手順を説明します。</p>
 <h2><a class="header" href="#rustバージョン" id="rustバージョン">Rustバージョン</a></h2>
 <p>今回の言語アップデートでは2019年5月20日にリリースされた1.35.0をインストールします。</p>
-<p>Rustの安定版（stable版）は6週間ごとにリリースされますので、次の1.36.0は7月4日にリリースされます。
-言語アップデート作業は2019年7月から始まりましたので、1.36.0をインストールすることも可能です。
+<p>Rustの安定版（stable版）は6週間ごとにリリースされますので、次のバージョンの1.36.0のリリース日は7月4日になります。
+言語アップデート作業は2019年7月初旬から始まりましたので、1.36.0をインストールすることも可能です。
 しかし今回は安全のために、リリースされてから少し日が経っている1.35.0を選択します。</p>
 <p>ツールチェインのインストールには<code>rustup</code>というRustプロジェクト公式のコマンドラインツールを使います。
 これにより特定のバージョンのRustをインストールすることが可能になります。</p>
diff --git a/docs/atcoder-env/supported-environment.html b/docs/atcoder-env/supported-environment.html
@@ -242,7 +242,12 @@ <h2><a class="header" href="#一般的なrustプログラム開発環境との
 <li>コンパイルしてできた<code>rlib</code>ファイルをジャッジサーバ上の全Linuxユーザがread-onlyでアクセスできる場所に保存する</li>
 </ul>
 </li>
-<li>ジャッジの際にはユーザプログラムのコンパイルに<code>cargo</code>を介さずに<code>rustc</code>を直接実行することで、クレートが毎回コンパイルされることを防ぐ</li>
+<li>ジャッジの際にはユーザプログラムのコンパイルに<code>cargo</code>を介さずに<code>rustc</code>を直接実行する
+<ul>
+<li>ジャッジの際にクレートのソースファイルがダウンロードされることがないので、選手が使用するクレートを制限できる</li>
+<li>クレートが毎回コンパイルされることが防げる</li>
+</ul>
+</li>
 </ul>
 <p>Rustツールチェインや<code>rlib</code>ファイルは<code>/usr/local/lib/rust</code>ディレクトリ配下に置きます。</p>
 <p>なお、選手が使用するクレートを制限することは、本章で用いる方法の他に、<a href="https://crates.io/crates/cargo-vendor"><code>cargo-vendor</code></a>という<code>cargo</code>の拡張コマンドを使うことでも実現できます。しかしその方法ではジャッジの際にクレートが毎回コンパイルされることは防げません。</p>
diff --git a/docs/print.html b/docs/print.html
@@ -237,11 +237,11 @@ <h2><a class="header" href="#rustツールチェインやクレートの内容
 <li>Rust 1.35.0</li>
 <li>インストールするクレート：<a href="https://github.com/rust-lang-ja/atcoder-rust-resources/wiki/Crates-2019">このページ</a>を参照</li>
 </ul>
-<h2><a class="header" href="#素のrust設定について" id="素のrust設定について">素のRust設定について</a></h2>
+<h2><a class="header" href="#素のrust環境について" id="素のrust環境について">素のRust環境について</a></h2>
 <p><a href="https://docs.google.com/spreadsheets/d/1PmsqufkF3wjKN6g1L0STS80yP4a6u-VdGiEv5uOHe0M/edit">AtCoder 2019/7 Language Updateのスプレッドシート</a>では、従来のようにクレートがインストールされていない「素のRust環境」の併設を望む声もあるようです。</p>
 <p>本章の内容に従って環境をセットアップした場合に、ユーザプログラム（選手が提出したプログラム）が従来のようにクレートを使用しないなら、インストールしたクレートはないものと同じになります。
-使用しないクレートはユーザプログラムの実行ファイルになんら影響も与えません。
-素のRust環境を別途用意する必要はなさそうに思えます。</p>
+使用しないクレートはユーザプログラムの実行ファイルになんら影響を与えません。
+このことから素のRust環境を別途用意する必要はなさそうに思えます。</p>
 <p>もしそれでも心配という声があるようなら、素のRust環境を別途用意することも可能です。
 その場合は以下の環境変数の値を変える（または<code>unset</code>する）ことで、本章でセットアップする環境と、素のRust環境を切り替えることができます。</p>
 <table><thead><tr><th align="left">環境変数</th><th align="left">本章でセットアップする環境（クレートを使用できる環境）を使用する場合</th><th align="left">素のRust環境を使用する場合</th></tr></thead><tbody>
@@ -348,7 +348,12 @@ <h2><a class="header" href="#一般的なrustプログラム開発環境との
 <li>コンパイルしてできた<code>rlib</code>ファイルをジャッジサーバ上の全Linuxユーザがread-onlyでアクセスできる場所に保存する</li>
 </ul>
 </li>
-<li>ジャッジの際にはユーザプログラムのコンパイルに<code>cargo</code>を介さずに<code>rustc</code>を直接実行することで、クレートが毎回コンパイルされることを防ぐ</li>
+<li>ジャッジの際にはユーザプログラムのコンパイルに<code>cargo</code>を介さずに<code>rustc</code>を直接実行する
+<ul>
+<li>ジャッジの際にクレートのソースファイルがダウンロードされることがないので、選手が使用するクレートを制限できる</li>
+<li>クレートが毎回コンパイルされることが防げる</li>
+</ul>
+</li>
 </ul>
 <p>Rustツールチェインや<code>rlib</code>ファイルは<code>/usr/local/lib/rust</code>ディレクトリ配下に置きます。</p>
 <p>なお、選手が使用するクレートを制限することは、本章で用いる方法の他に、<a href="https://crates.io/crates/cargo-vendor"><code>cargo-vendor</code></a>という<code>cargo</code>の拡張コマンドを使うことでも実現できます。しかしその方法ではジャッジの際にクレートが毎回コンパイルされることは防げません。</p>
@@ -365,8 +370,8 @@ <h1><a class="header" href="#rustツールチェインのインストール" id=
 <p>このページではAtCoderのジャッジサーバにRustツールチェインをインストールする手順を説明します。</p>
 <h2><a class="header" href="#rustバージョン" id="rustバージョン">Rustバージョン</a></h2>
 <p>今回の言語アップデートでは2019年5月20日にリリースされた1.35.0をインストールします。</p>
-<p>Rustの安定版（stable版）は6週間ごとにリリースされますので、次の1.36.0は7月4日にリリースされます。
-言語アップデート作業は2019年7月から始まりましたので、1.36.0をインストールすることも可能です。
+<p>Rustの安定版（stable版）は6週間ごとにリリースされますので、次のバージョンの1.36.0のリリース日は7月4日になります。
+言語アップデート作業は2019年7月初旬から始まりましたので、1.36.0をインストールすることも可能です。
 しかし今回は安全のために、リリースされてから少し日が経っている1.35.0を選択します。</p>
 <p>ツールチェインのインストールには<code>rustup</code>というRustプロジェクト公式のコマンドラインツールを使います。
 これにより特定のバージョンのRustをインストールすることが可能になります。</p>
diff --git a/docs/searchindex.js b/docs/searchindex.js
diff --git a/docs/searchindex.json b/docs/searchindex.json
