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%2F2024%2F09%2F03%2F220056" title="単一化アルゴリズム(3) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41EZ5GV0P4L._SL500_.jpg Hatena Blog https://hatena.blog 2024-09-03 22:00:56 rich https://computeralgebra.hatenablog.com/entry/2024/09/03/220056 1.0 100%