※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

Software Foundations日本語版Wikiへようこそ

  • Software Foundationsは、米国ペンシルバニア大のBenjamin Pierce先生のグループによって作成・公開されている、プログラミング言語Coqに沿ったソフトウェア作成についてのドキュメントです。
  • ここはその日本語版作成に集まった有志が情報を交換する場です。
  • 日本語版の公開にあたって、Pierce先生のご了解をいただいています。


2011年10月5日現在、SoftwareFoundationsの翻訳作業は、全面的にGithub上で行われています。目下僕を含め7名のメンバーでモリモリと翻訳が進んでいます(僕は少しお休み中ですが・・)。
Github上でのレポジトリ

2012年4月18日 ついに一通り翻訳が完了しました。皆様ご協力ありがとうございます。
今後は翻訳のBrush Upと、体裁の調整、次期バージョンへの対応と作業は続きます・・・

2012年版は目下翻訳未着手です。このままですと、一年飛ばして次は2013年版、ということになりそうです。
などと言っているうちに「型システム入門」が出版されました(祝)。
これまで統一された訳語がなかったものについて、一応の公式見解が出たと考えていいと思いますので、今後、訳語はこの本に合わせるということで今後の作業を考えていこうかと思っています。

ということを踏まえ上記作業に参加していただける方は、とりあえずGithubのアカウントを取得していただき、katayama_kまでメッセージをお願いします。


翻訳作業の進捗状況

通番 章タイトル 進捗 担当
1 Symbols 100% ummr
2 Preface 100% katayama_k
3 Basics 100% katayama_k
4 Lists 100% katayama_k(Leque)
5 Poly 100% katayama_k
6 Gen 100% Mzp
7 Prop 100% Mzp -> katayama_k
8 Logic 100% yoshihiro503 -> katayama_k
9 Rel 100% ummr
10 SfLib 100% katayama_k
11 Imp 100% Moco7 -> ummr
12 ImpParse 100% ummr
13 Equiv 100% ummr
14 ImpList 100% ummr
15 Hoare 100% ummr
16 HoareAsLogic 100% ummr
17 SmallStep 100% ummr
18 Types 100% oohashi(Leque)
19 Stlc 100% ummr
20 TypeChecking 100% ummr
21 MoreStlc 100% ummr
22 Records 100% ummr
23 References 100% ummr
24 Subtyping 100% ummr
25 RecordSub 100% ummr
26 Norm 100% ummr
27 UseTactics 100% ummr
28 UseAuto 100% ummr
29 LibTactics 100% ummr
30 PE 100% ummr
31 PostScript 100% ummr

(文責:片山 功士)

今日: -
昨日: -
トータル: -