computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 多重集合 自由可換モノイド エレファントな整数論では、素因数分解の一意性のわかりやすい記法を考えていたのですが、良い方法ができず止まっていました。ここでは、数式ではなくプログラミング言語を使って書くとどうなるか考えていきたいと思います。まず、エレファントな整数論(18)、(19)で書いた内容を書いておきます。 整数の素因数分解の多重集合としての一意性 重複度を含めた集合を多重集合(wikipedia:多重集合参照)と呼びます。多重集合 とは、通常の集合とは異なり、 の中に重複するものがあったとき、その出現する回数が異なれば多重集合としては異なるものとするものです。多重集合 と は全単射 が存在して任意の に対して である… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F11%2F17%2F001944" title="多重集合・自由可換モノイド(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-11-17 00:19:44 rich https://computeralgebra.hatenablog.com/entry/2022/11/17/001944 1.0 100%