Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

1章をレビュー #3

Merged
merged 2 commits into from
Sep 8, 2023
Merged

Conversation

aconite-ac
Copy link
Member

1章をレビューしました。

必須と思われる修正は以下の通りです。

  • 最初の段落の「定義,命題,そしてアイデアです.」の節で「証明」が抜けていました。

他は指示語の具体化、対比構造の保存などの必須でない提案です。

@@ -42,13 +43,13 @@ $G$ が $x^5=x^8=1$ を満たす要素 $x$ によって生成される群だと
群論をより深く理解している人なら,即座にこの群が自明であることがわかるでしょう.
何が起こっているのかについて,はるかに洗練されたモデルを有しているからです.
アイデアは複雑で,人によって異なるものです.
群が何であるかについてのコンピュータの理解は,文字通りウィキペディアの定義のコピーです.
「群が何であるか」という問いについてのコンピュータの理解は,文字通りウィキペディアの定義のコピーです.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

「群が何であるか」という問い

「群とは何であるか」という問い,の方が日本語として自然ではないかと思います.

あるいは,「群はなにものであるか」という問い としてもいいと思います

Copy link
Member

@Seasawher Seasawher left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

1か所コメントしました.ほかの変更箇所については同意です.

@Seasawher
Copy link
Member

メンテナによるPRの変更が許可されているようなので,変更してマージしますね

軽微な文章の修正
@Seasawher Seasawher merged commit 82bbc98 into lean-ja:main Sep 8, 2023
1 check passed
@aconite-ac aconite-ac deleted the aconite-review-c1 branch September 9, 2023 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants