Re: [姆咪] 真物已回收
※ 引述《int0x80 (後悔なんてあるわけない)》之銘言：
: 在還是實體上課的時候，偶然聽到坐我後面的人在聊天
: 他們好像某門課要寫組語，其中一個人說了：
: 「終於在寫真正的程式了」
: 這我就覺得蠻有趣的了，關於什麼叫真正的程式這一點
: 我覺得應該會有兩種答案吧
: 第一種會覺得越底層就越接近真正的程式
: 真正的程式就是那台由各種分子組成的機器
: 而程式碼只是我們控制這台機器會怎麼跑的方式
: 第二種反而會覺得越高級的語言越接近真正的程式
: 真正的程式是抽象的，像是輸入會怎麼對應到輸出
: 組語、機器碼只是我們用來「實作」我們想像中的程式的方式
國內資工系
學失崇尚的是一種寫程式的工程師思維路徑，
而不是電腦科學家的思維
台大資工的理論課與數學課太少了
用實際的例子來說，台大資工的學生很少有人知道甚麼事
programming language theory
不知道lambda calculus
沒聽過type theory
更遑論Hoare logic或事formal verification
甚至荒滅的認為所謂學習寫程式
就是要越接近機器語言與組合語言的方向走
--
→
10/11 07:37,
10/11 07:37
→
10/11 07:37,
10/11 07:37
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.30.35 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1654551042.A.ED3.html
→
06/07 05:33,
3年前
, 1F
06/07 05:33, 1F
→
06/07 05:33,
3年前
, 2F
06/07 05:33, 2F
→
06/07 05:34,
3年前
, 3F
06/07 05:34, 3F
→
06/07 05:34,
3年前
, 4F
06/07 05:34, 4F
推
06/07 05:38,
3年前
, 5F
06/07 05:38, 5F
→
06/07 05:38,
3年前
, 6F
06/07 05:38, 6F
→
06/07 05:40,
3年前
, 7F
06/07 05:40, 7F
→
06/07 05:40,
3年前
, 8F
06/07 05:40, 8F
→
06/07 05:41,
3年前
, 9F
06/07 05:41, 9F
推
06/07 05:51,
3年前
, 10F
06/07 05:51, 10F
→
06/07 05:54,
3年前
, 11F
06/07 05:54, 11F
→
06/07 05:55,
3年前
, 12F
06/07 05:55, 12F
→
06/07 05:58,
3年前
, 13F
06/07 05:58, 13F
→
06/07 05:58,
3年前
, 14F
06/07 05:58, 14F
討論串 (同標題文章)