定理証明手習い (84) 演算子

(unary-op rator rand) （組み込みの）単項演算子の演算を行う
(binary-op rator rand1 rand2) （組み込みの）二項演算子の演算を行う
(apply-op rator rands) （組み込みの）演算子の演算を行う

rator、なんだかわかった・・・
opeが省略されてたのか
そりゃ辞書引いても載ってないわ
まあ自分の察しの悪さもたいがいだが
randもランダムとか関係なし

難しいところは特になし

randにはタグがついてないことには注意かな