rcons版のreverse/reverseを証明します reverse2/reverse2はどうしようかな rconsとreverseの定義・証明 (defun defun.rcons () (J-Bob/define (prelude) '(((defun rcons (x y) (if (atom x) (cons y x) (cons (car x) (rcons (cdr x) y)))) (size x) ((Q) …