作者:
NTUEE2CS (EE轉CS)
2022-06-07 05:30:38※ 引述《int0x80 (後悔なんてあるわけない)》之銘言：
: 在還是實體上課的時候，偶然聽到坐我後面的人在聊天
: 他們好像某門課要寫組語，其中一個人說了：
: 「終於在寫真正的程式了」
: 這我就覺得蠻有趣的了，關於什麼叫真正的程式這一點
: 我覺得應該會有兩種答案吧
: 第一種會覺得越底層就越接近真正的程式
: 真正的程式就是那台由各種分子組成的機器
: 而程式碼只是我們控制這台機器會怎麼跑的方式
: 第二種反而會覺得越高級的語言越接近真正的程式
: 真正的程式是抽象的，像是輸入會怎麼對應到輸出
: 組語、機器碼只是我們用來「實作」我們想像中的程式的方式
國內資工系
學失崇尚的是一種寫程式的工程師思維路徑，
而不是電腦科學家的思維
台大資工的理論課與數學課太少了
用實際的例子來說，台大資工的學生很少有人知道甚麼事
programming language theory
不知道lambda calculus
沒聽過type theory
更遑論Hoare logic或事formal verification
甚至荒滅的認為所謂學習寫程式
就是要越接近機器語言與組合語言的方向走