例えばwikipediaにもプログラム意味論という項目があって、ぼくがやっている研究のベースにあるのはこういった理論なのだが、「意味論」という単語がいまいちピンとこなくてずっと苦しんだ。最近、なんでピンとこないかの理由が少しわかった気がするので書い…