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

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

2020-12-31から1日間の記事一覧

エレファントな整数論(7)

を使って良いことにしたので、前回の議論は群を使って考えることができます。 群による整数の加法 集合 と の二項演算 が は結合法則を満たす。すなわち 任意の に対して が存在して、任意の に対して 任意の に対して が存在して、 が成り立つとき と の組…