Alan Kay 和 Marvin Minsky:電腦科學已經有了「文法」。 需要“文學”

Alan Kay 和 Marvin Minsky:電腦科學已經有了「文法」。 需要“文學”

左一是馬文·明斯基,左二是艾倫·凱,然後是約翰·佩里·巴洛和格洛麗亞·明斯基。

問題: 您如何解釋馬文·明斯基的“計算機科學已經有了語法”的想法。 她需要的是文學。」?

艾倫凱: 錄音中最有趣的一點 肯的​​博客 (包括評論)的一個問題是,在任何地方都找不到這個想法的歷史參考。 事實上,50 多年前的 60 年代,對此有很多討論,據我記得,有幾篇文章。

我第一次從鮑勃·巴頓(Bob Barton) 那裡聽說這個想法是在1967 年,當時他還在讀研究生,當時他告訴我,這個想法是唐納德·高德納(Donald Knuth) 撰寫《編程的藝術》時的動機的一部分,該書的章節已經廣為流傳。 鮑伯當時的主要問題之一是關於「設計用於人類和機器閱讀的程式語言」。 這是 60 年代初期部分 COBOL 設計的主要動機。 而且,也許更重要的是,在我們主題的背景下,這個想法可以在非常早期且設計相當精美的互動語言 JOSS(主要是 Cliff Shaw)中看到。

正如弗蘭克·史密斯(Frank Smith)所觀察到的,文學始於值得討論和寫下的想法; 它經常部分地產生表示並擴展現有的語言和形式; 它帶來了關於閱讀和寫作的新想法; 最後產生不屬於最初動機的新想法。

「文學化」的一部分想法是閱讀、寫作和參考其他可能感興趣的文章。 例如,馬文·明斯基的圖靈獎演講是這樣開頭的: “當今計算機科學的問題在於過度關注形式而不是內容。”.

他的意思是,計算中最重要的是意義以及如何查看和表示它,而不是 60 年代關於如何分析程式設計和自然語言的大主題之一。 對他來說,碩士生Terry Winograd 的論文最有趣的地方可能在於,雖然它在英語文法方面不是很正確(但非常好),但它能夠理解所講的內容,並能證明所講內容的合理性。說使用這個值。 (這是對 Ken 在 Marvin 部落格上的報導的回顧)。

以一種平行的方式看待「無所不在的語言學習」。 無需更改語言甚至添加字典即可完成許多工作。 這類似於使用數學符號和語法很容易編寫公式。 這部分就是馬文的意思。 有趣的是,馬文的書《計算:有限和無限機器》(我最喜歡的書之一)中的圖靈機是一台相當典型的計算機,有兩條指令(寄存器加1,寄存器減1,如果暫存器小於,則分支到新指令) 0 - 有許多選項。)

它是一種常見的程式語言,但要注意其中的陷阱。 「普遍學習」的合理解決方案也必須具有某些可能需要更多時間來學習的表達能力。

Don 對所謂的「文學程式設計」的興趣導致了一個創作系統(歷史上稱為 WEB)的創建,該系統允許 Don 解釋正在編寫的程序,其中包括許多允許程序的某些部分被編寫的功能。提取用於人類研究。 這個想法是,WEB 文件是一個程序,編譯器可以從中提取已編譯和可執行的部分。

另一個早期創新是動態媒體的想法,這是 60 年代末的一個流行想法,對於我們許多人來說是互動式 PC 運算的重要組成部分。 這個想法的幾個動機之一是擁有類似「牛頓原理」的東西,其中「數學」是動態的,可以運行並與圖形等相關聯。這是 1968 年推廣 Dynabook 想法的動機的一部分。 當時開始使用的術語之一是“活躍論文”,人們在論文中期望的寫作和論證類型透過互動式程式得到增強,互動式程式是一種新型文件的多種媒體類型之一。

Ted Cuyler 本人在 80 年代末和 90 年代初在 Hypercard 中製作了一些非常好的例子。 Hypercard 並未直接為此進行配置 - 腳本不是卡片的媒體對象,但您可以做一些工作並讓腳本顯示在卡片上並使它們具有互動性。 一個特別具有挑釁性的例子是《黃鼠狼》,這是一篇積極的文章,解釋了理查德·道金斯的《盲人鐘錶匠》一書的一部分,允許讀者嘗試一個使用一種培育過程來尋找目標句子的框架。

值得考慮的是,雖然 Hypercard 幾乎完美地適合新興的互聯網及其在 90 年代初的廣泛採用,但創造互聯網的人們選擇不接受它或恩格爾巴特早期的更大想法。 蘋果公司的研究部門有許多 ARPA/Parc 人員,但拒絕聽取他們關於網路重要性以及 Hypercard 如何擅長啟動對稱讀寫系統的意見。 蘋果公司拒絕生產瀏覽器,而此時一款真正優秀的瀏覽器將是一項重大發展,並且可能在網路「公眾形象」的形成過程中發揮巨大作用。

如果我們再往前幾年,我們會發現沒有真正的開發系統的網頁瀏覽器是絕對荒謬的——甚至近乎淫穢(想想維基開發應該是多麼愚蠢的工作),作為許多簡單的例子之一,維基百科文章像 LOGO 一樣,它可以在電腦上運行,但不允許文章的讀者嘗試從文章中編程 LOGO。 這意味著對電腦重要的內容對使用者來說是被封鎖的,以保護舊媒體的不同實現。

值得考慮的是,維基百科一直是思考、發明、實施和編寫所需的「計算文學」的主要類型(這當然涉及多種形式的多媒體形式的閱讀和寫作,包括程式設計)。

更值得思考的是,在2017年的這個Quora答案中,我無法在這裡寫程式! - 這將有助於展示我到底想解釋什麼,儘管互動式媒體這個薄弱的想法背後有巨大的電腦能力。 重要的問題是“發生了什麼?” 這裡完全被忽略了。

為了了解這個問題,這裡有一個 1978 年的系統,幾年前我們復活了它,部分是為了向 Ted Nelson 致敬,部分是為了好玩。

(請觀看2點15分)


整個系統是我現在所說的40多年前的早期嘗試。

一個典型的例子可以在 9:06 看到。


除了「動態物件」之外,這裡的關鍵考慮因素之一是「視圖」(頁面上可見的媒體)可以獨立於其內容進行統一處理(我們稱之為「模型」)。 一切都是一個「視窗」(有些有明確的邊界,有些不顯示邊界)。 所有這些都在專案頁面上編譯。 另一個見解是,由於您必須組合和組合某些內容,因此請確保所有內容都是可組合的和可組合的。

我認為不成熟的使用者無法批評糟糕的設計是可以原諒的。 但是,那些為用戶製作互動式媒體的程式設計師,以及那些不關心了解媒體和設計,尤其是他們自己領域的歷史的程式設計師,不應該如此輕易地逃脫懲罰,也不應該因此而獲得獎勵。他們是「弱者」。

最後,一個沒有真正文學的領域幾乎等於這個領域不是一個領域。 文學是一種在新的流派以及該領域當前和未來的思考中保存偉大思想的方式。 當然,這在計算中並沒有任何有用的程度。 與流行文化一樣,計算仍然最感興趣的是無需大量培訓即可完成的工作,以及執行力比結果的後果更重要。 文學是一種媒介,可以讓你從簡單、直接的內容轉向更大、更重要的內容。

我們需要!

關於GoTo學校

Alan Kay 和 Marvin Minsky:電腦科學已經有了「文法」。 需要“文學”

來源: www.habr.com

添加評論