ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　CTM/CTMCP/ガウディ本の翻訳が出て、喜んでいることは、
http://iiyu.asablo.jp/blog/2007/11/08/1897079
CTM、本日、全国発売日(らしい)
で、既報通り。
　さっき、何気にめくっていて、気になった訳語がある。
　スコット先生の「Denotational Semantics」の訳を「記述的意味論」として
いる。
　これは本邦初じゃないか。
　普通、業界で使われている訳語は、「表示的意味論」。
　これを嫌って意図的に「記述的意味論」としたのかもしれないが、標準的な
訳語でないのはたしか。
　もし、CTM/CTMCP/ガウディ本で、Denotational Semanticsの訳語を「記述的
意味論」と覚えてしまったら、話が通じないことが多いだろう。「表示的意味
論」という訳語も覚えましょう。

　ちなみに、おれらの学生時代は、京大の中島玲二先生の
http://www.amazon.co.jp/exec/obidos/ASIN/4254114133/showshotcorne-22/
中島玲二著「数理情報学入門―スコット・プログラム理論」
で、表示的意味論を勉強しました。amazonでは完全に品切れですね。
　中島先生の講義もあったけど、３歩歩いたので、何も覚えてないです。＼(^O^)／
　あ、中島先生がバイオリンかチェロを弾くという話があったような。。。^^;

http://ja.wikipedia.org/wiki/表示的意味論
をみても、参考書は英語ばかりですね。

http://en.wikipedia.org/wiki/Denotational_semantics
もどうぞ。