CPO に関連する定義まとめ

2019年05月02日に投稿 • カテゴリ:数学 • タグ:Domain Theory束論順序理論表示的意味論

某勉強会がコーヒーブレイクタイムに入って,ブレイクタイムから抜けたら何もかも忘れてそうだったので,数式レ …

続きを読む

CTMCP のために Mozart/Oz を動かす

2019年04月08日に投稿 • カテゴリ:学習 • タグ:MozartOzEmacs環境構築

ゼミの輪読で, Concepts, Techniques, and Models of Computer Programming (MIT Press) ,略称 CTM または CTMCP を読むことになった.その為の準備と,ちょっとだけ読んだのでそ …

続きを読む