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

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

2020-01-28から1日間の記事一覧

半環上のフラクタル代数(1)

「環上の代数」、「環上の加群」に対応する半環のときの用語がないので、これらを「半環上のフラクタル代数」、「半環上のフラクタル加群」と呼ぶことにします。 「半環上のフラクタル代数」の「微分」を考えてそれに対する「極限」を考えます。 論理計算の…