-
Notifications
You must be signed in to change notification settings - Fork 2
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
お疲れ様です。
差分を確認しました。全てをきちんと確認してはいませんが、明らかに気になったところをコメントしました。
| parenthesis | 括弧,丸括弧 | 「JIS Z 8201-1981」に準拠 | | ||
| parser | パーサ | | | ||
| pattern matching | パターンマッチング | | |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
「パターンマッチ」という訳語もよく使うと思いますが、どう思いますか?追加しても良いと思います。
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ありがとうございます。
Lean の pattern matching に類似の機能として、Haskell の pattern matching の訳語を調べたところ、「パターンマッチ」「パターンマッチング」「パターン照合」があり、特に「パターンマッチ」が優勢のようでした。
「パターン照合」は専門用語らしさが薄くいまいちな訳語に思えますが、他の2つはおそらくどちらも間違いではなく、どちらかに統一できるだけの根拠がないように思えるため、両方掲載するのは確かにありだと思いました。追加いたします。
個人的には、概念そのものを説明するときは名詞的な「パターンマッチング」を、実際にコード内で機能を用いる場合は動詞的な「パターンマッチ」を使うとすっきりしそうだと思いました。
| reducibility | 簡約可能性 | | | ||
| reducible | 簡約可能,`reducible` 属性 | | | ||
| reducible | 簡約可能,`reducible` 属性 | | |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
上の行と重複しているようです
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ありがとうございます。修正いたします。
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
他は良いと思いました
review ありがとうございます! |
GLOSSARY.md
に1章までの訳語を追加しました。個人的に「対訳表を充実させることは翻訳の品質保証に直結する」と考えており、
かなり細かく訳語を拾っています。
分量が多いですので、
に集中して review して頂ければと思います。
merge 後に誤りの指摘・修正提案をしたい場合もあると思いますので、
そのときは後で建てる予定の「対訳表への指摘用の新規 Issue」にコメントして頂ければ幸いです。
1章までの翻訳に携わった方に review request を出させていただきました。ご確認のほどよろしくお願いします!
(1名以上から approve があり、かつ未解決の指摘が無い場合、全員の approve を待たずに merge する可能性があります。)