作者查詢 / 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)

首頁

尾頁

[活動] FLOL∀C 2020 邏輯、語言與計算暑期研習營

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

作者: stopcrying - 發表於 2020/05/11 23:44(4年前)

5^F推suhorng: 來了!!05/28 11:42

[問題] Agda 的 instance resolution

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

作者: CoNsTaR - 發表於 2020/04/26 12:52(4年前)

12^F→suhorng: 不知道為什麼想到 type provider. 沒有很懂問題描述XD05/28 11:35

[問題] 請問main()和main(void)的差別

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

作者: pandaren0905 - 發表於 2020/05/27 18:39(4年前)

4^F→suhorng: (歪題)程式只是語法然後設計比較不差的程式語言的 "void"05/28 11:30

5^F→suhorng: (或 unit)與函數可以詮釋成 Scott domain 的連續函數05/28 11:31

6^F→suhorng: 至於 C/C++..就放棄吧當成純粹同名但無關的名詞05/28 11:31

[連結] Josh Ko: 看看程式語言學在幹嘛

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

作者: suhorng - 發表於 2020/04/08 08:48(4年前)

5^F→suhorng: 如果你的問題是這一篇的背景, 那要找的是 pi calculus04/18 16:29

6^F→suhorng: 的操作語意以及 session types04/18 16:30

7^F→suhorng: 如果像 TaPL 這麼一般的介紹我也暫時想不到有什麼課本04/18 16:32

8^F→suhorng: 可能找找上課講義或投影片. 其他就是找特定主題的資料了04/18 16:34

9^F→suhorng: 例如討論程式語言語意時, 一個場景是在原本語言之下還有04/18 16:35

10^F→suhorng: 抽象機器, 然後可以探討抽象機器與原本語言的解釋器之間04/18 16:36

11^F→suhorng: 有什麼關係. 這裡會應用操作語意04/18 16:36

12^F→suhorng: 又或者針對特定語言去應用操作語意來討論 contextual04/18 16:37

13^F→suhorng: equivalence 等等04/18 16:37

[公告] 版規 v0.91置底

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

作者: stopcrying - 發表於 2020/03/24 21:11(4年前)

1^F推suhorng: 嗨卡西!03/24 22:34

[問題] Visual C#連結SQL Server

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

作者: aesopw - 發表於 2019/03/27 14:47(5年前)

1^F→suhorng: 可以到 C_Sharp 板問問看XD03/28 08:16

[問題] 如何使用dspic30F4011產生出SPWM

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

作者: Icelyz - 發表於 2018/01/20 23:23(6年前)

1^F推suhorng: 晶片可能要問問看 ASM 板的板友了XD01/21 00:03

[講者] 東京Lisp Community Organizer佐野先生

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

作者: Danielviolin - 發表於 2017/12/04 07:25(6年前)

2^F推suhorng: 推~ 無法去QQ12/04 10:42

[討論]大一資工系求解

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

作者: apple09391 - 發表於 2016/11/17 00:33(7年前)

3^F推suhorng: 錯板, 請到其他板發問11/17 11:03

[閒聊] 物件導向的 Multi-dispatching

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

作者: ronin728 - 發表於 2016/11/08 18:01(7年前)

2^F推suhorng: 有人用 Visitor Pattern 來寫(因為沒 multi dispatch)11/09 08:12

首頁

尾頁