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

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

2020-02-03から1日間の記事一覧

論理計算と随伴関手(4)

半環について考える前に、半群についてもう少し考えてみます。集合 によって自由生成された自由半群 は の元からなる1個以上有限個の文字列の全体として定義することができます。集合 によって自由生成された自由モノイド は の元からなる0個以上有限個の文…