Ship 30 SICP for 30-Day 01:抽象,是計算過程在資料與程式之間的遊戲。

2022/08/25閱讀時間約 1 分鐘
Ship 30 SICP for 30 的第01天,我們來談「抽象」是什麼。
抽象,大概是大家對數學的刻板映像。
抽象可以看作是形式化論證的本質。透過形式化的工具,人類在討論各種主題時有了共通的語言,能夠交流各種發現與想法,在一個更精確的境界。而這些形式語言經過自動化的結果,成為了程式語言,讓各種發現與想法能大量的重複被實現。
有了掌握抽象的能力,就能讓機器代替我們做到許多事情。
進一步,我們討論的機器會是計算機(Computers)。
下面三個關鍵字的定義,是我參考SICP第1頁的段落後,個人覺得最好的呈現。
  1. 計算過程(Computational Processes): 居住在計算機之中的抽象存在(Abstract Beings)。
  2. 資料(Data): 計算過程開展(evolve)時,操作的抽象事物(Abstract Things)。
  3. 程式(Program): 領導計算過程開展的規則模式(Pattern of Rules)。
你是否有仔細想過這三個關鍵字的定義呢?

掌握抽象,其實就是藉由「計算過程」的需求,來操作「資料」與「程式」。

你會如何理解抽象呢?歡迎與我分享你的想法。
贊助支持創作者,成為他繼續創作的動力吧!
收集Structure and Interpretation of Computer Programs (SICP)的原子短文
如果要發表留言,請先登入註冊會員
打造你的創作天地
在這裡尋找共鳴,與方格子的 35 萬格友分享觀點與生活。
領取見面禮
只要設定追蹤作者,即可享有 48小時
Premium 閱讀權限