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