作者查詢 / xcycl
作者 xcycl 在 PTT [ NTU ] 看板的留言(推文), 共8則
限定看板:NTU
看板排序:
全部MAC325Math241AdvEduUK240iOS198Gossiping127bicycle105Coffee87PhD85PLT55AfterPhD54Programming39FITNESS34BabyMother32C_Chat28studyabroad27sex26feminine_sex22Germany21LaTeX20HatePolitics19IELTS19book18TOEFL_iBT18CSSE17homemaker17MobileComm12logic11sinica10study10C_and_CPP9Android8NTU8Python8home-sale7DigiCurrency6E-appliance6nCoV20196Oversea_Job6Soft_Job6Tech_Job6creditcard5Japandrama5NSwitch5Brit-pop4C_Sharp4clmusic4FuMouDiscuss4MacShop4PublicIssue4CompBook3marriage3NCKU_Math3China_Travel2global_univ2KS98-3022Mix_Match2Prob_Solve2rent-exp2Salary2Violin2Bank_Service1Boy-Girl1CATCH1ForeignEX1Google1Headphone1Key_Mou_Pad1LCD1Linux1London1Militarylife1movie1Tennis1VISA1<< 收起看板(74)
首頁
上一頁
1
下一頁
尾頁
14F→:今年的邏輯的確很吸引人 ...05/15 00:04
18F→:Harper 那本沒有 DTP 跟 Martin-Lof's type theory05/15 13:36
19F→:也沒有 denotational semantics05/15 13:37
20F→:真的有關聯的大概就是 op. sem.05/15 13:37
22F→:唸書的時候理論組都是數學背景 XD05/15 13:55
32F→:噢喔噢!但說 cat. 是精髓有點太偏了 ...05/15 17:36
35F→:啊,我拖稿了 =_=05/15 18:47
36F→:不想寫得原因是一開始忘了放 product 要含糊帶過 ..05/15 18:56
首頁
上一頁
1
下一頁
尾頁