- 文体は常に敬体（です・ます調）とする.
- 英文をコメントアウトして，その直下に和訳を書く．
- 英文は
OMITでくくること．（README.origin.md参照）
- 英文は
- 和訳文を改行すると，その位置に空白が入ってしまうので段落内で改行しない.
- 句読点には
,.を用いる. - 3音以上のカタカナ語の末尾の長音記号「ー」は省く．
- カタカナ語のままで違和感のない用語はカタカナ語のまま使う．
- masterブランチで和訳したい章に対応する下記の表に自分の名前を入れてpush．
- 対象の章名でブランチを切り翻訳を行う．
- 翻訳が終わったらブランチをpushしてプルリクエストを出す．
- 輪読に参加しているメンバーでレビューを行い、全て解決したらマージする．
- 読み合わせを行った際のコミットは参加したメンバーのco-authorコミットにする．
- C01_Introduction
| 章名 | 担当 |
|---|---|
| C01_Introduction.rst | |
| S01_Getting_Started.lean | s-taiga |
| S02_Overview.lean | s-taiga |
- C02_Basics
| 章名 | 担当 |
|---|---|
| C02_Basics.rst | s-taiga |
| S01_Calculating.lean | Taka |
| S02_Proving_Identities_in_Algebraic_Structures.lean | s-taiga |
| S03_Using_Theorems_and_Lemmas.lean | s-taiga |
| S04_More_on_Order_and_Divisibility.lean | s-taiga |
| S05_Proving_Facts_about_Algebraic_Structures.lean | s-taiga |
- C03_Logic
| 章名 | 担当 |
|---|---|
| C03_Logic.rst | s-taiga |
| S01_Implication_and_the_Universal_Quantifier.lean | s-taiga |
| S02_The_Existential_Quantifier.lean | s-taiga |
| S03_Negation.lean | s-taiga |
| S04_Conjunction_and_Iff.lean | s-taiga |
| S05_Disjunction.lean | s-taiga |
| S06_Sequences_and_Convergence.lean | s-taiga |
- C04_Sets_and_Functions
| 章名 | 担当 |
|---|---|
| C04_Sets_and_Functions.rst | s-taiga |
| S01_Sets.lean | s-taiga |
| S02_Functions.lean | s-taiga |
| S03_The_Schroeder_Bernstein_Theorem.lean | s-taiga |
- C05_Elementary_Number_Theory
| 章名 | 担当 |
|---|---|
| C05_Elementary_Number_Theory.rst | s-taiga |
| S01_Irrational_Roots.lean | s-taiga |
| S02_Induction_and_Recursion.lean | s-taiga |
| S03_Infinitely_Many_Primes.lean | s-taiga |
- C06_Structures
| 章名 | 担当 |
|---|---|
| C06_Structures.rst | s-taiga |
| S01_Structures.lean | Taka |
| S02_Algebraic_Structures.lean | s-taiga |
| S03_Building_the_Gaussian_Integers.lean | s-taiga |
- C07_Hierarchies
| 章名 | 担当 |
|---|---|
| C07_Hierarchies.rst | s-taiga |
| S01_Basics.lean | s-taiga |
| S02_Morphisms.lean | s-taiga |
| S03_Subobjects.lean | s-taiga |
- C08_Groups_and_Rings
| 章名 | 担当 |
|---|---|
| C08_Groups_and_Rings.rst | s-taiga |
| S01_Groups.lean | s-taiga |
| S02_Rings.lean | s-taiga |
- C09_Linear_Algebra
| 章名 | 担当 |
|---|---|
| C09_Linear_Algebra.rst | s-taiga |
| S01_Vector_Spaces.lean | s-taiga |
| S02_Subspaces.lean | s-taiga |
| S03_Endomorphisms.lean | s-taiga |
| S04_Bases.lean | s-taiga |
- C10_Topology
| 章名 | 担当 |
|---|---|
| C10_Topology.rst | s-taiga |
| S01_Filters.lean | s-taiga |
| S02_Metric_Spaces.lean | s-taiga |
| S03_Topological_Spaces.lean | s-taiga |
- C11_Differential_Calculus
| 章名 | 担当 |
|---|---|
| C11_Differential_Calculus.rst | s-taiga |
| S01_Elementary_Differential_Calculus.lean | s-taiga |
| S02_Differential_Calculus_in_Normed_Spaces.lean | s-taiga |
- C12_Integration_and_Measure_Theory
| 章名 | 担当 |
|---|---|
| C12_Integration_and_Measure_Theory.rst | s-taiga |
| S01_Elementary_Integration.lean | s-taiga |
| S02_Measure_Theory.lean | s-taiga |
| S03_Integration.lean | s-taiga |