Defun帰納法はかなり適用範囲が広そうなやり方です Defun帰納法は、自分たちで書くどんな関数でも使えるのでしょうか？ 帰納的な主張を構成する方法にしろ、全域性の主張を構成する方法にしろ、どんな関数に対しても構成はできます。 ifの位置にもよるけど持…