形式のチェックが続きます (<=len n args) nがargsの要素数以下かどうか <=lenは、引数リストの長さが指定した数以下かどうかを返します。 反対じゃないかな なおnが0以下のときは'nil nが0でargsが'()なら'tにしてもよさそうな気がするけど