読者です 読者をやめる 読者になる 読者になる

操作的意味論は今時はキレイなんですかー

とりあえず、ブラウザの履歴だけ張って逃げる。

そもそもはSchemeのsemanticsの話だそうでScheme表示的意味論

関係ないけど『プログラム意味論』(横内寛文著 絶版)<絶版なのか!!買っておいてよかった<嫁よ