(length '(a b c) )
⇒ (+ 1 (length '(b c )))
⇒ (+ 1 (+ 1 (length '(c))))
⇒ (+ 1 (+ 1 (+ 1 (length '()))))
⇒ (+ 1 (+ 1 (+ 1 0)))
⇒ (+ 1 (+ 1 1))
⇒ (+ 1 2)
⇒ 3
引数xの第一要素を除いた部分を新しいxにする
(cdr x)
自分自身を適用する
(length x)