GitHub - sfja/sfja: SoftwareFoundations(Ja)発起人の片山です。4章までの翻訳を行いました。 以下は、梅村氏との質疑で出た、現状の翻訳方針です。 決定事項というわけではありませんが、特に「こうしたほうがいい」という ことがなければ、当面文体などはこの方針でお願いいたします。 ・文体は「ですます」調。ただし定理の主張の訳や、証明に直接付加され た説明は、「示す」「とする」「になる」等の文体とする。また、 練習問題は、「しなさい」という命令調のほうが気分がでるのでそう する。ただし、練習問題の説明はですますで書く。 ・句読点は「、」「。」 (「，」「．」ではないという意味) ・英語版の.vのソースファイル上では、半角80で改行が入っていますが、 日本語のコメントでこれをやってしまうとhtmlに変換した際に半角 スペースが入ってしまうので、日本語の.vファイルでは改行をいれずに ダラダラ書いてください。 ・原文冒頭の (* $Date: .
