輪読会[MIL和訳]

[s-taiga]

以下の書籍の輪読会を検討しています。参加を希望される方は本投稿にリプライしてください。

書籍名

Mathematics in Lean

リポジトリのパス

https://github.com/lean-ja/mathematics_in_lean_source

[Taka0007]

夜分遅くに失礼します。
勉強がてら参加してみたいのですが、可能でしょうか。

[s-taiga]

@Taka0007
ご参加ありがとうございます！和訳の方よろしくお願いいたします
またもしお手すきでしたら以下のプルリクエストへのレビューもしていただけますと幸いです！
@Seasawher
自分の代わりに進めていただきましてありがとうございます！

[Taka0007]

@s-taiga
承知しました。
和訳と並行してレビューもさせていただきたいと思います！

今回の和訳についてなのですが、読みやすさを重視する（意訳）のか原文に忠実であることを重視するのか、どちらでしょうか。
先ほど軽く和訳を拝見させていただいたのですが、より分かりやすい表現に変える余地のあるものが一部ございました。
これらに関してコメントしていいものかご教授いただけると幸いです。

[Taka0007]

@s-taiga
夜分遅くに失礼いたします。
催促するようで申し訳ないのですが、こちらの件について返答をいただけないでしょうか。
翻訳の方向性を定めてからプルリクのレビューや、英訳を進めていきたいので確認していただけると幸いです。

[s-taiga]

@Taka0007
大変申し訳ございません！こちらのコメント気づいておりませんでした。お待たせしてしまい大変申し訳ございません。。
和訳ありがとうございます。方向性については、ご認識頂いたとおり読みやすいようある程度の意訳を含めております。
ですので、レビュー観点としては原文に忠実であるかどうかはそこまで要求しないことを考えていました。
ただ、この点については人により色々意見があると思いますのでTakaさんのお考えも拝聴できればと考えています。
重ね重ね返信が遅くなりましてすみません。

[Taka0007]

@s-taiga
お世話になっております。
通知を見逃しており確認が遅くなってしまい申し訳ございません…！
返信ありがとうございます。
個人的には自分もTaigaさんと同じく「原文に忠実であるかどうかは追及しない」という方針で進めていきたいと考えておりました。
そのため、レビューや和訳もその方針で進めていきたいと思います。
（自分が行ったレビューや和訳の中に、過度に意訳しすぎている部分等ございましたら、ご教授いただければ幸いです。）

[s-taiga]

@Taka0007 @Seasawher
本書の和訳について著者の方にお伺いしましたところ、今後も章の追加だけでなく既存の章の更新も入るため、止めはしないがあまりおすすめはしない、というような回答をいただきました。
そこで本書の輪読会を続行するかどうかご相談させていただきたく思います。

個人的には現時点で一度和訳してしまい、1年に一回くらい変更があったらその部分だけ再度修正するみたいな方針でもよいのではないかと考えています。

[Seasawher]

著者のお返事を見せてもらってもいいですか？

[Taka0007]

（これは一個人の考えですが）s-taigaさんのおっしゃる通り、一旦和訳を敢行してしまい更新が入ったら和訳も再度手を入れなおす、というような形式にするのが丸く収まるような気がしています。

[s-taiga]

@Taka0007
ご回答ありがとうございます。
すみません、以下のZulip chatのトピックになります。
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Translating.20.60Mathematics.20in.20Lean.60.20to.20Japanese/near/395331556
また現在和訳を行っています自分とTaka007さんで意見が一致しましたため、このまま続行したいと思います。

[Seasawher]

@Taka0007 横から失礼します．

Discussion 上の通知を見逃すという事象が複数回発生していますね．モバイルで見づらいのが問題なのか，新着コメントが常に一番下に来るとは限らないのが問題なのかわかりませんが，やりづらいのではないかと思います．lean-ja がホストしている discord サーバがありますので，よろしければそちらもご利用いただけます．

https://discord.com/invite/p32ZfnVawh

[Taka0007]

@Seasawher
ありがとうございます。
Discussionの通知がメールでしか来ない状況で、その他のメールと混ざって見逃してしまっていました。
申し訳ない限りです…！
先ほどDiscordのほうに参加させていただきました。
よろしくお願いいたします。