前回 別の方法を考えた。 # 加算4 let add4(x, y) = pr(y, s).x; # 乗算 let mul(x, y) = pr(o, pr(y, s)).x; なんだ～letで定義する関数?に、引数設定できるんじゃん。 ちなみに今回作った加算と乗算は、第一引数xなら外から渡せる。 cpl> simp mul(pi1, s.…