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

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

2020-08-25から1日間の記事一覧

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

ここでは環上の多項式環に対応するものについて考えてみます。これは Prolog の実行順序の説明で必要となります。まず「群論の計算」の記事で説明した環上のモノイド代数についてもう一度説明します。 環上のモノイド代数 ここでは半環の場合も含めて考えま…