m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 モノイドの直積は普通に出てくるが、自由積はあまり話題にされない。圏論的には、自由積は余積（直和）となる。ストレージの並列操作を定式化しようとすると、モノイドの自由積が必要になる。SがM加群かつN加群のとき、SにM*N加群構造が自然に定義できる。この加群構造が並列操作を議論する枠組みになる。ゼロ（吸収元）があるとき、自由積を潰して作った積（平坦積？）が排他性とかの記述に使えると思う。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20101207%2F1291700989" title="モノイドの自由積は重要だ、なのに、、、 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2010-12-07 14:49:49 rich https://m-hiyama-memo.hatenablog.jp/entry/20101207/1291700989 1.0 100%