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