Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding).
Scala By Example (PDF) の和訳を Wiki 上で開始しました。 現時点で Chapter 4 がほぼ完了。最終的に翻訳が終わった段階で LaTeX -> PDF 化したいと思っていますが、とりあえずは Wiki 上で英文和文の対訳形式で皆様に翻訳のレヴューを行って頂ければと思います。 Wiki 上で編集するかコメント欄にご指摘を頂ければと思います。
