のために今日も正式に有給ですよ（←強調）。まだおかゆとうどんしか食べられないし。暇なんだけど、家の中を立って歩いたり、PCに長く向かってると、やっぱりちょっと気持ち悪い…

意味論の勝ち組は明らかに操作的意味論かと。:-) 仮想機械による実行で定義していた頃は「汚い」とか言われましたが、small-stepにせよbig-stepにせよ、ただの帰納的定義で済むことがわかってしまったので。（参考：Types and Programming Languagesの3.4節…