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

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

2020-09-21から1日間の記事一覧

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

論理プログラミングとシークエント計算 集合の記法 集合 に対して は半環(単位元を持つ自明ではない冪等可換半環)となります。 を単位元を持つ自明ではない半環とし、 とします。 は と順序を除いて一意的に表すことができます。よって を と定義することが…