エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
最近、再帰的余代数という概念について少し勉強したので、証明をまとめてPDFにした。 github.com 動機な... 最近、再帰的余代数という概念について少し勉強したので、証明をまとめてPDFにした。 github.com 動機など細かいところには触れられていないが、以下のことが証明されている。 終再帰的余代数 = 始代数 Setでは、再帰的ならば整礎