What have you found for these years?

2010-04-22

FLOLAC 2010 - 邏輯、語言與計算

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

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

7 retries:

jaiyalas said...

很猶豫的說
一些東西真的是聽蠻多次了
可是這次有semantics的課耶
有點想衝著這兩門衝一下 @@

Lin Jen-Shin (godfat) said...

denotational 我有興趣,
operational 就沒有了...
我對那種複雜度的森林沒什麼興趣 :/

Plumm said...

白天上課的話幾乎都不能去 @.@

scm said...

其實現在比較常用到的是 operational semantics 耶...

Lin Jen-Shin (godfat) said...

Plumm, 在這裡替你默哀.. @@

scm, 雖然我幾乎完全不知道細節..
但不覺得那樣很累嗎? XD|||
雖然那似乎是比較容易解釋 imperative program 的方式?

Anonymous said...

godfat:

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

是嗎? 我的印象中好像沒聽過這樣的說法。SML的定義規格文件(The Definition of Standard ML) 也是用Operational semantics方式寫成的耶。

Lin Jen-Shin (godfat) said...

我不知道,那一定是我搞錯了 XDD
畢竟不熟悉 orz

Post a Comment

Note: Only a member of this blog may post a comment.



All texts are licensed under CC Attribution 3.0