一部では告知済みですが、プログラミング言語の「型」の教科書と言われる Types and Programming Languages (通称 TAPL) の翻訳チームに参加してます。訳者は、以前の本のメンバー (片岡さんいないけど) だけでなく、OCaml nagoya の人たちに参加してもらっ…