CPO に関連する定義まとめ

Posted on 水 01 5月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論, 表示的意味論,

某勉強会がコーヒーブレイクタイムに入って,ブレイクタイムから抜けたら何もかも忘れてそうだったので,数式レンダリングのテストも兼ねて CPO 関連の定義だけまとめておくことにした.

なお各定義は, SoPL (Semantics of Programming Languages) に則ってる.

Complete Partial Order

まあ,まずはおなじみのやつから.

定義. 半順序 (partially ordered set, poset, partial order …

Continue reading

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 を読むことになった.その為の準備と,ちょっとだけ読んだのでそのまとめ.

Mozart/Oz

この本では, Oz というプログラミング言語を扱っている.と言っても, Oz の実装である …


Continue reading