推 plsmaop: 為什麼要在職研究程式語言...... 1.163.102.226 03/08 23:52
→ plsmaop: 你想像中的程式語言是什麼? 1.163.102.226 03/08 23:53
→ fayhong: 我知道在職研究這個不太可能,我也知道 180.204.76.174 03/09 00:27
→ fayhong: 研究 PLT 是在做什麼,因為我現在就在自 180.204.76.174 03/09 00:27
→ fayhong: 學著,所以希望在研究所可以學到正規的 180.204.76.174 03/09 00:28
→ fayhong: 知識 180.204.76.174 03/09 00:28
推 plsmaop: lambda calculus, hoarse logic,......, 1.163.102.226 03/09 00:41
→ plsmaop: 勇者...... 1.163.102.226 03/09 00:42
推 plsmaop: 我認識的傢伙玩這些都玩程式證明玩的很開 1.163.102.226 03/09 00:44
→ plsmaop: 心,還有玩lisp, scheme, prolog, Haskel 1.163.102.226 03/09 00:45
→ plsmaop: l,說到實際應用我是看過production上有H 1.163.102.226 03/09 00:45
→ plsmaop: askell的server啦...... 1.163.102.226 03/09 00:45
→ plsmaop: 啊最多的是erlang 1.163.102.226 03/09 00:45
→ plsmaop: Hoare logic才對,上面自動選字幫我亂換. 1.163.102.226 03/09 00:46
→ fayhong: 哈哈哈,我還很淺,連自動機都還沒搞懂, 180.204.76.174 03/09 06:45
→ fayhong: 台灣不乏有這種研究 PLT 的強者,但在學 180.204.76.174 03/09 06:46
→ fayhong: 術環境裡,PLT 卻不是顯學 180.204.76.174 03/09 06:46
推 plsmaop: 有興趣可以來112資工系旁聽陳偉松的自動 1.163.102.226 03/09 08:34
→ plsmaop: 機,跟資管系穆信成的程式語言,都是上 1.163.102.226 03/09 08:34
→ plsmaop: 學期開課 1.163.102.226 03/09 08:34
→ plsmaop: 暑假也可以去參加這個 1.163.102.226 03/09 08:37
→ fayhong: 穆老師是在資管系開課呀!我很想去 FLOAC 49.215.161.0 03/09 09:03
→ fayhong: ,但就是卡在上班時間 XD 49.215.161.0 03/09 09:03
→ fayhong: 抱歉,是FLOLAC 49.215.161.0 03/09 09:04
推 fc0411: 記得廖峻鋒老師滿了 老師的網頁常更新應 163.18.46.92 03/09 13:36
→ fayhong: 好的,謝謝您 180.204.76.174 03/10 00:16
推 diorleoroy: 余能豪老師轉去台科了,可能也沒辦法 220.133.168.49 03/10 12:13
→ diorleoroy: 找了 220.133.168.49 03/10 12:13
→ fayhong: 好的,謝謝兩位學長(姐)的消息 180.204.76.174 03/10 23:16
推 ckp4131025: 在職專班無收滿的問題 49.215.208.192 03/11 10:54
推 ckp4131025: 人機互動相關廖文宏也有做,不過廖老 49.215.208.192 03/11 10:56
→ ckp4131025: 師的主力在影像、聲音的辨識 49.215.208.192 03/11 10:56
→ fayhong: 謝謝樓上學長(姐)的建議 211.21.93.157 03/11 12:26