CPO に関連する定義まとめ
2019年05月02日に投稿 • カテゴリ：数学 • タグ：Domain Theory、束論、順序理論、表示的意味論、本
某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レ …
続きを読む
CTMCP のために Mozart/Oz を動かす
ゼミの輪読で， Concepts, Techniques, and Models of Computer Programming (MIT Press) ，略称 CTM または CTMCP を読むことになった．その為の準備と，ちょっとだけ読んだのでそ …