>>935
そういえばStoyの本ではdomainとしてcpoでなくcomplete latticeを使ってると
聞いたんだけど、T(top element)にはどういう意味を持たせてるの?