この記事は、日曜数学会 Advent Calender 2019の6日目の記事であり、2019年11月3日に行われたロマンティック数学ナイトプライム@筑波大学で発表した内容をブログ用に加筆修正したものです。前回はAlweさんの「帰納的に定義する」とはなにか?で、帰納的に定…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。