演習問題の解き方の説明を修正する

lean-ja · Nov 14, 2024 · 8c19f93 · 8c19f93
1 parent 6410967
commit 8c19f93
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/LeanByExample/Tutorial/Exercise/README.lean b/LeanByExample/Tutorial/Exercise/README.lean
@@ -7,10 +7,12 @@
 
 解き始めるための最も簡単で手軽な方法は、Lean 4 Playground を使う方法です。各ページの右上に <i class="fa fa-play"></i> というボタンがあるので、これをクリックしてください。Lean 4 Playground のページに移動し、そのままブラウザ上で演習問題を解き始めることができます。
 
-Lean 4 Playground を使いたくない事情がある場合は、Codespace を開き、`LeanByExample/Tutorial/Exercise` ディレクトリの中にある該当ファイルを開いてください。
+あるいは、Codespace を開き、`LeanByExample/Tutorial/Exercise` ディレクトリの中にある該当ファイルを開いてもよいです。
 
 [![codespace badge](https://github.com/codespaces/badge.svg)](https://codespaces.new/lean-ja/lean-by-example)
 
+お使いの PC に Lean をインストール済みであれば、このリポジトリをクローンして VSCode で開いてください。
+
 ## ❓ どうしてもわからないとき
 
 時間をかけて考えてみてください。著者は簡単な問題をたくさん解くのではなく、おもしろい問題にじっくり取り組んだ方が学びは大きいと信じています。どの問題も、本書のレファレンス部分を参照しつつ試行錯誤をすれば自力で解けることを目指して作っています。

diff --git a/LeanByExample/Tutorial/Solution/README.lean b/LeanByExample/Tutorial/Solution/README.lean
@@ -7,10 +7,12 @@
 
 解き始めるための最も簡単で手軽な方法は、Lean 4 Playground を使う方法です。各ページの右上に <i class="fa fa-play"></i> というボタンがあるので、これをクリックしてください。Lean 4 Playground のページに移動し、そのままブラウザ上で演習問題を解き始めることができます。
 
-Lean 4 Playground を使いたくない事情がある場合は、Codespace を開き、`LeanByExample/Tutorial/Exercise` ディレクトリの中にある該当ファイルを開いてください。
+あるいは、Codespace を開き、`LeanByExample/Tutorial/Exercise` ディレクトリの中にある該当ファイルを開いてもよいです。
 
 [![codespace badge](https://github.com/codespaces/badge.svg)](https://codespaces.new/lean-ja/lean-by-example)
 
+お使いの PC に Lean をインストール済みであれば、このリポジトリをクローンして VSCode で開いてください。
+
 ## ❓ どうしてもわからないとき
 
 時間をかけて考えてみてください。著者は簡単な問題をたくさん解くのではなく、おもしろい問題にじっくり取り組んだ方が学びは大きいと信じています。どの問題も、本書のレファレンス部分を参照しつつ試行錯誤をすれば自力で解けることを目指して作っています。