22 Jul
2016
22 Jul
'16
11:03 a.m.
皆様，
京都大学の末永です．
メーリングリストをお借りして，教科書の翻訳を お手伝いいただける方を募集させていただければと思います． 重複して受け取られた場合はご容赦ください．
Glynn Winskel "Formal Semantics of Programming Languages " の 翻訳出版の話が来ていて，お手伝いいただける方を探しています． https://www.amazon.com/dp/0262731037 プログラム意味論の世界で一番有名な教科書の一つです． トピックはプログラムの意味を数学を使って厳密に与える 様々な方法や，与えた意味論を使ってプログラミング言語の 性質を証明する方法です． 興味のある方は末永 [email protected] まで メールをいただければと思います．書誌情報に訳者として 名前を載せられるのは数人らしいのですが， お手伝いいただいた方には謝辞などでお名前を 出させていただきます．また，些少ながら原稿料も出るようです． どうぞよろしくお願い致します．
末永幸平
--
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
[email protected]
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/