m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 今まで（金曜日と今日）の話をまとめると、リスト、バッグ、セットのいずれに対しても2項演算・と定数Iが定義できて、さらに、それぞれのパワー（ベキ集合）上に・とIを持ち上げることができる、ってことでした。そして、パワーの上でも次の計算法則が成立します。 (A・B)・C = A・(B・C) （どの場合でも） I・A = A・I = A （どの場合でも） A・B = B・A （バッグとセット） A・A = A （セット） つまり、計算法則もパワー上に持ち上がるのです。パワー上では、集合の合併演算∪があります。便宜上、∪を+で、空集合をO（大文字オー）で表すことにすると、次も成立します。 (A + B)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20050530%2F1117438208" title="Kleene代数と正規表現 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2005-05-30 16:30:08 rich https://m-hiyama.hatenablog.com/entry/20050530/1117438208 1.0 100%