bellbind https://blog.hatena.ne.jp/bellbind/ ラシウラ https://bellbind.hatenadiary.org/ http://d.hatena.ne.jp/bellbind/20071030/1193720960 なんとなくわかってきたのでメモ 結局は、半順序、上限がイメージしにくい 半順序は直感的にa より b のほうが情報が多いというだけのもの 半順序かどうかではなく、そうなるように定義されているものとして扱う 上限も同様に性質として存在するもの（たとえばcpo）を扱っている (特に上限は)数値の大小や集合の包含関係のイメージに優先されない たとえば、自然数Nでの順序は、1=succ(0)と規定されているから、1は0から拡張した存在として順序化される。数値の大小として付いているのではない たとえば、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbellbind.hatenadiary.org%2Fentry%2F20071105%2F1194261832" 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 2007-11-05 20:23:52 rich https://bellbind.hatenadiary.org/entry/20071105/1194261832 1.0 100%