2006-05-25 denote 表示的意味論(denotational semantics)の"denotation"って何よ、という話。ひょっとしたら外している or わかりきっているかもしれませんが、ある概念を記号で表記するのが"notation"(ノーテーション)なので、逆に記号が表記する概念を与えるのが"denotation"ではないか、と勝手に想像していました。