View Code? Open in Web Editor
NEW
This project forked from avigad/mathematics_in_lean_source
「Mathematics in Lean tutorial」の和訳(作業中).
Home Page: https://lean-ja.github.io/mathematics_in_lean_source/
Shell 0.10%
Python 2.90%
CSS 0.05%
TeX 1.36%
Makefile 0.07%
Lean 94.95%
Batchfile 0.12%
Dockerfile 0.45%
mathematics_in_lean_source's Introduction
- 文体は常に敬体(です・ます調)とする.
- 英文をコメントアウトして,その直下に和訳を書く.
- 英文は
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 |
- C09_Differential_Calculus
章名 |
担当 |
C09_Differential_Calculus.rst |
s-taiga |
S01_Elementary_Differential_Calculus.lean |
s-taiga |
S02_Differential_Calculus_in_Normed_Spaces.lean |
s-taiga |
- C10_Integration_and_Measure_Theory
章名 |
担当 |
C10_Integration_and_Measure_Theory.rst |
s-taiga |
S01_Elementary_Integration.lean |
s-taiga |
S02_Measure_Theory.lean |
s-taiga |
S03_Integration.lean |
s-taiga |
mathematics_in_lean_source's People
Stargazers
mathematics_in_lean_source's Issues
C01/S01等で外部リンクが埋め込まれているが、すべて英語ページのため、日本語のソースにしたい。
markdownのように訳注をつけるやり方を調べる。
あるいは,devcontainer や gitpod でセットアップをする手段を提供する.