CPO に関連する定義まとめ
Posted on 水 01 5月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論, 表示的意味論, 本
CTMCP のために Mozart/Oz を動かす
Posted on 月 08 4月 2019 in 学習 • Tagged with Mozart, Oz, Emacs, 本, 環境構築
ゼミの輪読で， Concepts, Techniques, and Models of Computer Programming (MIT Press) ，略称 CTM または CTMCP を読むことになった．その為の準備と，ちょっとだけ読んだのでそ …
Continue reading