推 CoNsTaR: 先學Agda或Idris之類的語言對你會不會比 24.114.101.177 07/16 19:30
→ CoNsTaR: 較輕鬆啊? 24.114.101.177 07/16 19:30
→ chiij: 呃 不懂 大大言下之意是還沒資格上IT所嗎? 115.64.215.82 07/16 20:08
推 CoNsTaR: Agda Idris Coq 這些語言可以拿來做定理 24.114.84.143 07/16 23:05
→ CoNsTaR: 證明 24.114.84.143 07/16 23:05
推 CoNsTaR: 優點不用像其他語言一樣需要考慮機器相 24.114.84.143 07/16 23:08
→ CoNsTaR: 關的問題 24.114.84.143 07/16 23:08
→ CoNsTaR: 缺點是因為這種語言太嚴謹了所以很難上 24.114.84.143 07/16 23:08
→ CoNsTaR: 手 24.114.84.143 07/16 23:08
→ CoNsTaR: 不過因為原Po是數學系的,所以我才覺得 24.114.84.143 07/16 23:09
→ CoNsTaR: 應該很適合吧? 24.114.84.143 07/16 23:09
→ chiij: 謝謝C大看得起 不過小弟想這終究是程式語言 115.64.215.82 07/17 18:42
→ chiij: 本身的數學經驗大概幫不上什麼忙吧XD 115.64.215.82 07/17 18:42
→ chiij: 不過還是感謝提供資訊 我會記得這件事的 115.64.215.82 07/17 18:43
→ chiij: 謝謝e大提供基本教學網頁 49.197.116.77 07/18 17:09
推 wastony1107: foundation.nthu.edu.tw 36.235.91.176 08/17 18:15
→ wastony1107: 推煥宗教授的程式設計導論,對C語言 36.235.91.176 08/17 18:15
→ wastony1107: 的講解精闢入理,c大加油 36.235.91.176 08/17 18:17