Semantics with Applications を読んで denotational semantics について知る (1) これからの一連のエントリは私が "Semantics with Applications" (Nielson & Nielson) の第5章 "Denotational Semantics" を読みながら記録を残していくものです。注意点としては別に翻訳ではないし、理解に間違いを含むかもしれません。この本の第1版はウェブで読めるので怪しいぞと思ったらそちらを参照されるとよいでしょう。 http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html Denotational semantics の目標 Denotational semanticsではプログラミング言語の統語的な構成素それぞれについて、「統語的表現から数