作者查詢 / suhorng

總覽項目：發文 | 留言 | 暱稱

作者 suhorng 在 PTT [ PLT ] 看板的留言(推文), 共110則

限定看板：PLT

看板排序：

全部C_Chat5350Math2497LightNovel1315C_and_CPP1218NTU423Prob_Solve337trans_math282Programming222CFantasy183NTUcourse143PLT110ck-talk103studyabroad76TOEFL_iBT75b00902HW71Grad-ProbAsk59SENIORHIGH57SMSlife48ASM44b00902xxx37Shana37GRE28NTU-Exam23Soft_Job22DoubleMajor21CSSE19Army-Sir15logic15juniorhigh14PangSir14CSCouncil13C_BOO11CKEISC10b98902xxx9Nangang8PHP8Python8b04902xxx7Gossiping7graduate6KanColle6Kyoto_Ani6b98902HW4b99902HW4b99902xxx4CS_TEACHER4CSIE_WSLAB4joke4KS98-3024LaTeX4love-vegetal4Militarylife4NTUHistory024Sub_CS4SYSOP4AC_In3b01902HW3b01902xxx3BBSmovie3CompilerDev3IdolMaster3NTUMG3Shokugeki3Suckcomic3Translate-CS3AfterPhD2Agr-Football2asciiart2b02902xxx2ck-inforOLD2ck60th1282CodeJob2H-GAME2Isayama2Libra2NTUMEB012NTUSA2specialman2StupidClown2SummerCourse2Ajax1ArakawaCow1ask1Aviation1B00305XXX1B00310XXX1b974060XX1b97902HW1Beauty1bi-sexual1Buddha1Buddhism1Bus1Capricornus1civil971ck58th3241ck61st1031ck61st3221ck61st3261ckbc1ComGame-Plan1CompBook1CSIE_Service1Daan1dog1DragonNest1Electronics1Evangelion1Fallinlove1FCU-EES1FinalFantasy1Gamesale1GetMarry1historia1home-sale1HSNU_11431IMO_Taiwan1Jeremy_Lin1JYPnation1KMSH_MS981KNU1Koei1KS97-3021KS97-3101LamiGirls1Linux1love1LoveLive_Sip1marriage1MCU_Talk1MH1Military1mobilesales1NCCU1NCHU-FT-1011NCHU_CsHsnu1NDHU-LF981NIHONGO1Nogizaka461NPTU1NTU_Service1ntuACCT031ntuACCT041NTUBA041NTUDMCC1NTUEE1151NTUfin061NTUMath1001NTUMEB001NTUmed001NTUSFA1NTUST_Talk1NTUT_EE496B1Pangya1part-time1PC_Shopping1PCSH96_3061piano1Pisces1pity1PuzzleDragon1Queer_drama1Railway1RakutenGirls1sex1sky1SRW1StarTrek1Stock1Suckgame1SuperBike1TakahashiRie1TOEIC1TokyoGhoul1Transfer1transgender1TTU-EE991TTU-I90B1TW-GHONOR1TWopera1uniform1Unlight1USC1VISA1Visual_Basic1Wen-Shan1Windows1WOW1WuYiFan1Yabuki1YZU_EE95B1Zhongzheng1<< 收起看板(192)

首頁

尾頁

Re: [情報] Functional Thursday #35

[ PLT ]18 留言, 推噓總分: +9

作者: CindyLinz - 發表於 2016/01/30 16:12(8年前)

18^F推suhorng: 印象裡博士論文跟後來出的書好像有點差? 有重新整理過02/23 16:32

[情報] Functional Thursday #35

[ PLT ]12 留言, 推噓總分: +6

作者: CindyLinz - 發表於 2016/01/28 15:21(8年前)

10^F推suhorng: 把 amortized 變成 real time 好猛@@ 聽起來好威01/29 21:01

[情報] Types and PL 高雄第三次線下讀書會

[ PLT ]9 留言, 推噓總分: +4

作者: drm343 - 發表於 2015/12/27 00:43(8年前)

4^F推suhorng: 我覺得 Concepts in PL 實在不太行...(以這方面來說)02/05 16:53

5^F→suhorng: 當然只是個人意見XD02/05 16:56

7^F→suhorng: 板工什麼的板眾投投票就能換掉啦~~~~02/06 12:42

[情報] Types and PL 高雄線下讀書會

[ PLT ]11 留言, 推噓總分: +10

作者: drm343 - 發表於 2015/11/21 15:55(8年前)

4^F推suhorng: 借轉11/22 11:06

7^F推suhorng: 是 w 大!11/27 12:28

[問題] How useful is category theory to PLT?

[ PLT ]5 留言, 推噓總分: +1

作者: carelai - 發表於 2015/11/19 15:35(8年前)

1^F推suhorng: 作PLT的什麼研究? PLT範圍很大11/19 15:52

4^F→suhorng: I'm sorry. I'm not familiar with this area...11/19 22:11

5^F→suhorng: Just that indeed people give categorical semantics11/19 22:11

[情報] Functional Thursday #30

[ PLT ]1 留言, 推噓總分: +1

作者: CindyLinz - 發表於 2015/09/28 00:26(8年前)

1^F推suhorng: It's Oleg!!!!09/29 13:36

[問題] Lattice Theory在PLT的重要性？

[ PLT ]17 留言, 推噓總分: +5

作者: carelai - 發表於 2015/08/08 00:29(8年前)

4^F推suhorng: 個人覺得用到的部份上網找一些課的投影片讀就足夠了(如果08/08 01:35

5^F→suhorng: 有要很深入的話), 另外在 program analysis 裡也會用到一08/08 01:36

6^F→suhorng: 些(更基礎)的部份, 像 data flow analysis 那邊08/08 01:36

[情報] Functional Thursday #28

[ PLT ]3 留言, 推噓總分: +3

作者: CindyLinz - 發表於 2015/08/04 00:34(8年前)

3^F推suhorng: 推一個08/07 17:58

[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'15)

[ PLT ]2 留言, 推噓總分: +2

作者: pa4373 - 發表於 2015/06/06 16:04(9年前)

1^F推suhorng: 推~06/06 19:42

2^F推suhorng: R.I.P....11/25 18:54

[討論] 覺得Racket很神奇

[ PLT ]12 留言, 推噓總分: +3

作者: carelai - 發表於 2015/03/26 18:21(9年前)

3^F推suhorng: 其實要擴展語法還是要寫 parser 啦, 只不過簡單的 case03/26 23:13

4^F→suhorng: 可以用 macro 的樣子. 函數式語言要做內嵌語言應該都滿容03/26 23:13

5^F→suhorng: 易的03/26 23:13

首頁

尾頁