() もアトムの一種である。 とのことだが、Racketで > (list? '())とやると #t と評価される。空リストはアトムかリストか、結局どっちだ？ ちなみにThe Little SchemerではS式がアトムかどうか判別する関数として (define (atom? x) (and (not (pair? x)) (…