これらの日本語訳は、もともとは私的目的で，上記の機関とは無関係につくりました． 内容の正確性については原文を確認してください．

これらのLaTeXファイルは、uplatexを使うことでPDFファイルを作成できます。文字コードはUTF-8です。macOS用のTeX Live 2018を使いました。日本語組版用のスタイルファイルは使っていません。しかし日本語組版のために小さな変更をしています。ハイパーリンクにはPXjahyperを用いました。それらについては直接それぞれのtexファイルをご覧ください。

These Japanese translations were originally created for private purposes, regardless of the above organization. Please check the original about the accuracy of the contents.

These LaTeX files can create PDF files by using uplatex. The character code is UTF-8. I used TeX Live 2018 for macOS. I do not use style files for Japanese typesetting. But I made a small change for Japanese type setting. I used PXjahyper for hyperlinks. Please refer to each tex file directly about them.

Yukitoshi FUjimura