6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1 - OpenCourseWare(OCW)を勉強するWiki

MIT OpenCourseWare ＞ 6.001 Structure and Interpretation of Computer Programs, Spring 2005 ＞ 6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1

MIT OpenCourseWare 6.001 Structure and Interpretation of Computer Programs, Spring 2005, Lecture 1: What is the focus of 6.001? のまとめ

ラジオの方では vol.20 にあたりました。6.001 Structure and Interpretation of Computer Programs, Spring 2005のLecture NoteのL1のの内容をまとめたものです。Lecture Noteを読むときの助けにしてください。

1.1 What is the focus of 6.001?

Is this course about Computer Science?

This course is about Computer Science

というけど、このコースはScienceじゃない。むしろエンジニアリングやアートと言ったほうがいい。
また、このコースはComputerについてでもない。たとえば地理(geometry)なんかが計量の道具の学問じゃないのと一緒。geometryという言葉を分解してみると、

• GHEA: earth (地球)
• METRA: measure (測量)

となるんだけど、たとえばナイル川の氾濫の多かったせいで土地の地形や目印がころころ変わった古代エジプトの例を考えてみると、geometry(地理)について調査研究するってことは同時に測量道具を研究するってこと。そうするとgeometry(地理)は測量調査についての学問じゃなくて、ある種の知識、宣言的知識/何が正しいかという知識(Declarative or "what is true")についての学問になる。

6.001でいう"Computer Science"は、Computer Scienceが扱うものはコンピュータそれ自体についてではなくて道具を扱う。地理の例と同じように、この講義ではComputer Scienceによって私たちが利用可能となった知識について扱う。

Declarative Knowledge and Imperative Knowledge(宣言的な知識と命令的な知識？)

Declarative Knowledge = "What is true" knowledge
たとえば、「√xとは、 y^2=xかつy>=0であるyのこと」といったように。しかしどのように√xを見つけるかについては触れられない。

Imperative Knowledge = "How to" knowledge
例えば√xを見つけるための一連のステップ。

---

today's visitor： -
total visitor： -