This repository was archived by the owner on Jan 5, 2025. It is now read-only.
Repository files navigation
文体は常に敬体（です・ます調）とする.
英文をコメントアウトして，その直下に和訳を書く．
英文はOMITでくくること．（README.origin.md参照）
和訳文を改行すると，その位置に空白が入ってしまうので段落内で改行しない.
句読点には , . を用いる.
3音以上のカタカナ語の末尾の長音記号「ー」は省く．
カタカナ語のままで違和感のない用語はカタカナ語のまま使う．
masterブランチで和訳したい章に対応する下記の表に自分の名前を入れてpush．
対象の章名でブランチを切り翻訳を行う．
翻訳が終わったらブランチをpushしてプルリクエストを出す．
輪読に参加しているメンバーでレビューを行い、全て解決したらマージする．
読み合わせを行った際のコミットは参加したメンバーのco-authorコミットにする ．
章名
担当
C01_Introduction.rst
S01_Getting_Started.lean
s-taiga
S02_Overview.lean
s-taiga
章名
担当
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.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
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.rst
s-taiga
S01_Structures.lean
Taka
S02_Algebraic_Structures.lean
s-taiga
S03_Building_the_Gaussian_Integers.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
About
「Mathematics in Lean tutorial」の和訳.
Topics
Resources
Stars
Watchers
Forks
Languages
Lean
96.8%
Python
1.9%
TeX
0.8%
Dockerfile
0.3%
Batchfile
0.1%
Shell
0.1%
You can’t perform that action at this time.