皆様，

京都大学の末永です．

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

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

末永幸平