Functional Programming in Lean 日本語訳 原文 原文のソースコード 対訳表 翻訳する際のルール 文体は常に敬体（です・ます調）とする. 英文をコメントアウトして，その直下に和訳を書く． 和訳文を改行すると，その位置に空白が入ってしまうので段落内で改行しない. 句読点には , . を用いる. 3音以上のカタカナ語の末尾の長音記号「ー」は省く． カタカナ語のままで違和感のない用語はカタカナ語のまま使う．