※この記事は「記事27」演繹システム付属（むしろ内蔵）のプログラミングシステムとして、自然数の算術を使うことにはメリットがあります。自然数は誰にとってもお馴染みで、自然数の算術は非常に確実性が高いとみんな信じています。しかし、プログラミングの…

※この記事は「記事26」プログラムで扱うデータの集合について述べます。ひとつ前の記事は読んでいるものとします。 プログラミングシステム (A25) 内容： 高々可算集合 列挙子付き集合 列挙子付き集合の別な見方 データ領域 タプリング写像と成分取り出し〈…