推 xcycl: 看數學程度，order theory 如果覺得簡單或學過的話，可以 08/08 01:18
→ xcycl: 自己自修 domain theory 跟 denotational semantics。反之 08/08 01:18
→ xcycl: 則可以修修磨練一下，但有開設的學校應該不多吧？ 08/08 01:18
推 suhorng: 個人覺得用到的部份上網找一些課的投影片讀就足夠了(如果 08/08 01:35
→ suhorng: 有要很深入的話), 另外在 program analysis 裡也會用到一 08/08 01:36
→ suhorng: 些(更基礎)的部份, 像 data flow analysis 那邊 08/08 01:36
→ carelai: domain theory 是不是 order theory 的一部分？但一般的 08/08 21:49
→ carelai: order theory 對PLT乃至計算機科學沒有用處吧？static 08/08 21:49
→ carelai: analysis 我是聽說要用lattice，愿聞其詳 08/08 21:50
推 xcycl: 以 Wikipedia 上描述的 order theory 幾乎整個理論 CS 都會 08/10 05:35
→ xcycl: 用到，l像是自動機，程式語意，邏輯，到處都是...但也不是 08/10 05:36
→ xcycl: 特別困難就是了 08/10 05:37
推 xcycl: Domain theory 是 order theory 的延伸，continuous lattic 08/10 05:39
→ xcycl: es 通常不會在 lattice 的教材出現，概念不大一樣。 08/10 05:39
→ carelai: 原來是這樣，謝謝，看來 continuous lattice 是專為 08/10 07:49
→ carelai: denotational semantics 所發明的，發明人為 Dana Scott 08/10 07:50
推 yonny: 創造分組變項後 去data=>split(分割檔案)=>選分組變項 08/20 19:06