melpon
https://blog.hatena.ne.jp/melpon/
melpon日記 - HaskellもC++もまともに扱えないへたれのページ
https://melpon.hatenadiary.org/
圏
とか考えたんだけど、なぜかうまく作れない。 対象: "青"か"白"かε 射: "青"と"白"と"ε"で作られるしましま。 域: 最初が"青"の場合は"青" 最初が"白"の場合は"白" 最初が"ε"の場合は"ε" 余域: 最後が"青"の場合は"白" 最後が"白"の場合は"青" 最後が"ε"の場合は"ε" 恒等射: ε 結合: 青白青白青白青白･･･のしましま。いけるかなーとか思ったんだけど、εと青白の結合を考えたときに結合法則が成り立たないのでアウト。 むー、ループが発生しているところは全部圏にできるんじゃまいか、とか思ったんだけど、圏にできないループもあるのね･･･。 圏がうまく捕まえられなく…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmelpon.hatenadiary.org%2Fentry%2F20090522%2F1242960259" title=""青"と"白"と"ε"だけの圏 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ" 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
2009-05-22 11:44:19
"青"と"白"と"ε"だけの圏
rich
https://melpon.hatenadiary.org/entry/20090522/1242960259
1.0
100%