行き詰まり気味なのでまず確実に進捗できそうなところを済ませます (defun defun.reverse2 () (J-Bob/define (prelude) '(((defun reverse2 (x res) (if (atom x) res (reverse2 (cdr x) (cons (car x) res)))) (size x) ((Q) (natp/size x)) (() (if-true (…