J-Bobを動かしてみます >> (load "j-bob.jbb") Welcome to J-Bob #<void> >> (J-Bob/step '((dethm car/cons (x y) (equal (car (cons x y)) x))) '(car (cons 'ham '(eggs))) '((() (car/cons 'ham '(eggs))))) 'ham >> (show-profile) '((untag 18159) (elem1 93</void>…