2007-11-05から1日間の記事一覧

不動点意味論のわかりにくいところ

http://d.hatena.ne.jp/bellbind/20071030/1193720960 なんとなくわかってきたのでメモ 結局は、半順序、上限がイメージしにくい 半順序は直感的にa より b のほうが情報が多いというだけのもの 半順序かどうかではなく、そうなるように定義されているものと…