エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-01-24から1日間の記事一覧

エレファントな整数論(14)

「半環上のフラクタル代数(5) - エレファント・コンピューティング調査報告」で環上のモノイド代数について説明しましたが、追加も含めて再び書いておきます。 環上のモノイド代数(の半環版) を単位元を持つ可換半環、 をモノイドとします。 とおきます。 に…