星之一角: FLOLAC 2010 - 邏輯、語言與計算

2010-04-22

2010 「邏輯、語言與計算」暑期研習營

當然是強力推薦囉。不過至於我嘛... orz
一方面是大部份應該都聽過很多次了，
一方面是就算是這樣，習題很可能也寫不出來 XD
一方面是一邊工作一邊學這真的非常累 @@
總之對這方面的議題有興趣的話，而且還不是很熟悉的話，最少參加一次 :p

jaiyalas said...: 很猶豫的說
一些東西真的是聽蠻多次了
可是這次有semantics的課耶
有點想衝著這兩門衝一下 @@; April 22, 2010 at 1:29 AM
Lin Jen-Shin (godfat) said...: denotational 我有興趣，
operational 就沒有了...
我對那種複雜度的森林沒什麼興趣 :/; April 22, 2010 at 1:34 AM
Plumm said...: 白天上課的話幾乎都不能去 @.@; April 22, 2010 at 9:53 AM
scm said...: 其實現在比較常用到的是 operational semantics 耶...; April 23, 2010 at 7:14 AM
Lin Jen-Shin (godfat) said...: Plumm, 在這裡替你默哀.. @@

scm, 雖然我幾乎完全不知道細節..
但不覺得那樣很累嗎？ XD|||
雖然那似乎是比較容易解釋 imperative program 的方式？; April 23, 2010 at 1:21 PM
Anonymous said...: godfat:

>雖然那似乎是比較容易解釋 imperative program 的方式？

是嗎？我的印象中好像沒聽過這樣的說法。SML的定義規格文件(The Definition of Standard ML) 也是用Operational semantics方式寫成的耶。; May 25, 2010 at 9:49 AM
Lin Jen-Shin (godfat) said...: 我不知道，那一定是我搞錯了 XDD
畢竟不熟悉 orz; May 25, 2010 at 11:15 AM