・圏CPOの定義。完備半順序集合(cpo=任意の上昇列が最小上界を持つような半順序集合)とその間の連続関数(多分順序と極限を保つという意味。位相空間の開集合の全体が半順序集合になるというとこから来てる名前なんでしょう)を射とする圏。最小元を持つ場合は…

ここ数日で学習したこと・私ごときが思いつく程度の疑問は、単なる勘違いか、とっくに解決されてるか、みんな疑問に思ってるけど難しいので敢えて口にしない、のどれかというオチ。しかし、別にプロの研究者ではないので、どうでもいいのだった。 というわけ…

よくわからんが http://hackage.haskell.org/trac/ghc/ticket/317以下の話は、GHC6.4.2のghciでやった結果。GHCのバージョンが違ったり、コンパイルした場合や最適化した場合は挙動が変わるかも。ここ見ると、Int#とかのunlifted typeはbottomを含まない。従…