sumiiのブログ

ここを読んでいるような方は良いと思いますが、トラックバックもしていただいて、普段と違う読者の方が心配になってきたので、「帰納的定義ということ」に追記しました。ついでに帰納的定義の双対である余帰納的定義の紹介。 「x = nilか、x = (cons i y)の形でiは整数かつy∈S」ならばx∈Sである を満たす最小の集合Sを考え…