d.y.d.

おもしろいみろん 「プログラミング言語の」「フォーマルな」意味論（Semantics） には大きくわけて３種類あって、一番メジャーなのは操作的意味論… （参考 → [1] [2] [3]） というのは、まあそうかなとも思うのですが、 それはそれとして一番面白いのは表示的意味論だ、と適当なことを書き散らしてみるよ。 役に立つかなんて関係ない、面白さが全てだ。 勿論、どれもきちんと......続きはこちら