Coqの勉強も兼ねた個人的な翻訳作業用リポジトリです。
主にモチベーションのために公開しています。自由に利用してもらって構いませんが、以下の点に注意してください。
-
このリポジトリには翻訳後のドキュメントは含まれていません。
-
生成にはそれなりに時間がかかります。
-
そのうち別リポジトリにアップロードしようとは思っています。
-
-
Coq8.8に基づいた記述です。
-
Coqはマイナーバージョンの更新でもけっこう変更が入るため、ご注意ください。
-
-
翻訳の正確性は保証できません。
-
主に語学力の問題から、意訳・誤訳が多く含まれると思います。
-
誤っている部分についての指摘は歓迎ですが、対応できるとは限りません。
-
-
原文は Open Publication License の下で公開されています。詳しくは https://github.com/coq/coq/blob/master/doc/LICENSE を参照してください。
-
とはいえ、個人的に利用する範囲でこれが障害になる場面はまず無いかと思います。
-
翻訳した文書以外のもの(shファイルとか用語集とか)も自由に利用していただいて構いません。ただし、以下に注意してください。
-
作業ファイルはOmegaTの利用を前提としています。
-
poファイルを使っていますが、一般的なgettextフローではありません。
-
翻訳内容は全てproject_save.tmxに保存されています。
-
-
シェルスクリプトの使い方については現状どこにも書いていません。感じてください。
問題の指摘や翻訳への参加は大歓迎です。 コメント等はissueなりメールなりからどうぞ。