Functional Programming in Lean 日本語訳

• 原文
• 原文のソースコード
• 対訳表

翻訳する際のルール

• 文体は常に敬体（です・ます調）とする．
• 英文をコメントアウトして，その直下に和訳を書く．
• 和訳文を改行すると，その位置に空白が入ってしまうので段落内で改行しない．
• 句読点には ， ．（全角）を用いる．
• 英数字には半角を用いる．
• 記号の全角・半角は『JTF日本語標準スタイルガイド（翻訳用）』の「3 記号の表記と用途」に準拠する．
  • 全角：， ． ・ ： ！ ？ ～ （ ） 「 」 『 』
  • 半角：/ ,（数字の桁区切り）.（小数点）- " ` （スペース）
• 同格の語句の並列には中黒 ・ を用いる．
  • カタカナ複合語の区切りには中黒を用いない．ただし，人名や熟語など，同格の語句の並列と誤解される可能性の低い箇所では中黒を用いてもよい．
• 原文で _ を用いて強調表示されている単語は，**和訳単語**（元の英単語）と訳す．ただし，専門用語ではない単語や，文が強調表示されている場合は，英語を併記しない．
  • 原文例：This pattern is called _structural recursion_.
  • 和訳例：このパターンは**構造的再帰**（structural recursion）と呼ばれます．
• 3音以上のカタカナ語の末尾の長音記号「ー」は省く．
• カタカナ語のままで違和感のない用語はカタカナ語のまま使う．
• 原則として全角文字列とアルファベットまたはインラインコードとが隣接した場合は半角スペースを入れるが，見た目の字幅が小さな全角記号（？ と ～ を除く全ての全角記号）の前後では半角スペースを入れない．
  • 全角文字列と数字が隣接した場合も半角スペースを入れない．

翻訳に貢献したい方へ

• 競合を防ぐため，翻訳開始したとき，ファイルごとに draft PR を出してください．
• レビューには時間がかかるので，1つのPRに含める変更は少なめにしてください．
• 翻訳が終わったらレビューをリクエストしてください．