[logic-ml] Glynn Winskel "Formal Semantics of Programming Languages" の翻訳をお手伝いいただける方を探しています

[Kohei SUENAGA]

皆様，

京都大学の末永です．

メーリングリストをお借りして，教科書の翻訳を
お手伝いいただける方を募集させていただければと思います．
重複して受け取られた場合はご容赦ください．

Glynn Winskel "Formal Semantics of Programming Languages " の
翻訳出版の話が来ていて，お手伝いいただける方を探しています．
https://www.amazon.com/dp/0262731037
プログラム意味論の世界で一番有名な教科書の一つです．
トピックはプログラムの意味を数学を使って厳密に与える
様々な方法や，与えた意味論を使ってプログラミング言語の
性質を証明する方法です．
興味のある方は末永 ksuenaga at kuis.kyoto-u.ac.jp まで
メールをいただければと思います．書誌情報に訳者として
名前を載せられるのは数人らしいのですが，
お手伝いいただいた方には謝辞などでお名前を
出させていただきます．また，些少ながら原稿料も出るようです．
どうぞよろしくお願い致します．

末永幸平

-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/