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

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

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

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

ブール代数(可補分配束)の非可換であるようなものを考えます。 自由モノイド 集合 で生成される自由モノイドを または とします。 は文字の集合 から作られる文字列全体の集合と見ることができます。空文字列が単位元となります。 の元を1つの文字からなる文…