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

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

2020-01-17から1日間の記事一覧

論理プログラミング(3)

半環の定義 集合 に2つの二項演算、加法 と乗法 が定義されていて、加法に関しては可換なモノイド、乗法に関してはモノイドで、乗法が加法に対して分配法則を満たすとき、 は半環であると言います。乗法が可換であるとき は可換であると言います。加法が冪等…