現在の「勝ち組」はどれなんだ？操作的？表示的？公理的？
いっぺん「MLの意味論完全解説ブック」を手に取って見たい．そして多分全く理解できないことに慄きたい．そう，R5RS末尾の意味論セクションを初めて見たあの日のように．まぁどちらも教材としては適当ではないのだろうね．