ku-ma-me https://blog.hatena.ne.jp/ku-ma-me/ まめめも https://mametter.hatenablog.com/ 一部では告知済みですが、プログラミング言語の「型」の教科書と言われる Types and Programming Languages (通称 TAPL) の翻訳チームに参加してます。訳者は、以前の本のメンバー (片岡さんいないけど) だけでなく、OCaml nagoya の人たちに参加してもらった上、監訳はなんと住井先生というパーフェクトな布陣です。既にひと通り日本語にはなっているので、もう少し修正して、来月下旬くらいから有志にレビューしてもらいたい感じです。 募集人員：若干名 期間：12月下旬から1-2ヶ月程度（予定） 応募要件：下記 A)、B) の少なくとも一方を満たす方 A) プログラミ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmametter.hatenablog.com%2Fentry%2F20121109%2Fp1" title=" Types and Programming Languages 日本語版 レビュワー募集 - まめめも" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/51aw+2+090L.jpg Hatena Blog https://hatena.blog 2012-11-09 00:00:00 rich https://mametter.hatenablog.com/entry/20121109/p1 1.0 100%