computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 論理プログラミングとシークエント計算 集合の記法 集合 に対して は半環(単位元を持つ自明ではない冪等可換半環)となります。 を単位元を持つ自明ではない半環とし、 とします。 は と順序を除いて一意的に表すことができます。よって を と定義することができます。 は半環の準同型となります。集合 から集合 への写像 に対して と考えると半環の準同型 を定義することができます。 を集合、、 とします。、 に対して、 を のとき 、 のとき と定義します。集合 と に対して、 と の直和を 、 と の直積を と書きます。 の 個の直積( は自然数)を と書きます。 個の直積も考えます。 と書きます。 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F09%2F21%2F092550" title="半環上のフラクタル代数(9) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20X Hatena Blog https://hatena.blog 2020-09-21 09:25:50 rich https://computeralgebra.hatenablog.com/entry/2020/09/21/092550 1.0 100%