Alan Kay 및 Marvin Minsky: 컴퓨터 과학에는 이미 "문법"이 있습니다. '문학'이 필요하다

왼쪽에서 첫 번째가 마빈 민스키, 왼쪽에서 두 번째가 앨런 케이, 존 페리 발로우와 글로리아 민스키입니다.

질문 : “컴퓨터 과학에는 이미 문법이 있습니다.”라는 Marvin Minsky의 생각을 어떻게 해석하시겠습니까? 그녀에게 필요한 것은 문학이다.”?

앨런 케이: 녹음에서 가장 흥미로운 점 켄의 블로그 (의견 포함) 이 아이디어에 대한 역사적 언급은 어디에서도 찾을 수 없다는 것입니다. 사실, 50여 년 전인 60년대에 이에 관해 많은 이야기가 있었고, 제가 기억하는 것처럼 여러 기사도 있었습니다.

나는 1967년 대학원에서 Bob Barton으로부터 이 아이디어에 대해 처음 들었습니다. 그는 이 아이디어가 Donald Knuth가 The Art of 프로그래밍을 집필할 때 동기 부여의 일부라고 말했고, 그 중 일부는 이미 회자되고 있었습니다. 당시 Bob의 주요 질문 중 하나는 "기계뿐만 아니라 인간도 읽을 수 있도록 설계된 프로그래밍 언어"에 관한 것이었습니다. 그리고 이것이 60년대 초반 COBOL 디자인의 주요 동기가 되었습니다. 그리고 아마도 우리 주제의 맥락에서 더 중요한 것은 이 아이디어가 매우 초기에 매우 아름답게 디자인된 대화형 언어 JOSS(주로 Cliff Shaw)에서 볼 수 있다는 것입니다.

프랭크 스미스(Frank Smith)가 관찰했듯이 문학은 토론하고 기록할 가치가 있는 아이디어에서 시작됩니다. 종종 부분적으로 표현을 생성하고 기존 언어와 형식을 확장합니다. 읽기와 쓰기에 대한 새로운 아이디어로 이어집니다. 그리고 마지막으로 원래 동기의 일부가 아닌 새로운 아이디어에 도달했습니다.

“문학화” 아이디어의 일부는 관심을 가질 만한 다른 기사를 읽고, 쓰고, 참고하는 것입니다. 예를 들어 Marvin Minsky의 Turing Award 강의는 다음과 같이 시작됩니다. “오늘날 컴퓨터 과학의 문제는 내용보다는 형식에 대한 강박적인 관심입니다.”.

그가 의미하는 바는 프로그래밍과 자연어를 분석하는 방법에 대한 60년대의 큰 주제 중 하나와는 달리 컴퓨팅에서 가장 중요한 것은 의미와 그것이 어떻게 보고 표현될 수 있는지라는 것입니다. 그에게 석사과정 학생인 Terry Winograd의 논문에서 가장 흥미로운 점은 그것이 영어 문법 측면에서는 그다지 정확하지는 않지만(아주 훌륭했습니다), 말한 내용을 이해하고 정당화할 수 있다는 점일 것입니다. 이 값을 사용하여 말했습니다. (이는 Ken이 Marvin의 블로그에 보고한 내용에 대한 후퇴입니다.)

“유비쿼터스 언어 학습”을 바라보는 평행한 방식. 언어를 바꾸거나 사전을 추가하지 않고도 많은 작업을 수행할 수 있습니다. 이는 수학 기호와 구문을 사용하여 공식을 작성하는 것이 매우 쉬운 것과 유사합니다. 이것은 부분적으로 Marvin이 얻고 있는 것입니다. Marvin의 책 Computation: Finite and Infinite Machines(내가 가장 좋아하는 책 중 하나)에 나오는 Turing 기계가 1개의 명령(등록하려면 1을 더하고 레지스터에서 0을 빼고, 레지스터가 XNUMX - 많은 옵션이 있습니다.)

일반적인 프로그래밍 언어이지만 함정에 유의하세요. "보편적으로 학습된" 문제에 대한 합리적인 해결책은 학습하는 데 더 많은 시간이 필요할 수 있는 특정 종류의 표현력도 가져야 합니다.

소위 "읽을 수 있는 프로그래밍"에 대한 Don의 관심은 Don이 작성되고 있는 바로 그 프로그램을 설명할 수 있게 해주는 저작 시스템(역사적으로 WEB이라고 함)의 생성으로 이어졌습니다. 인간 연구를 위해 추출되었습니다. 그 아이디어는 웹 문서가 프로그램이고 컴파일러가 이 문서에서 컴파일된 부분과 실행 가능한 부분을 추출할 수 있다는 것이었습니다.

또 다른 초기 혁신은 다이내믹 미디어라는 아이디어였는데, 이는 60년대 후반에 대중적인 아이디어였으며 우리 중 많은 사람들에게 인터랙티브 PC 컴퓨팅의 중요한 부분이었습니다. 이 아이디어의 여러 동기 중 하나는 "수학"이 역동적이고 실행되고 그래픽 등에 연결될 수 있는 "뉴턴의 원리"와 같은 것을 갖는 것이었습니다. 이는 1968년에 Dynabook 아이디어를 홍보하려는 동기의 일부였습니다. 당시 사용되기 시작한 용어 중 하나는 '액티브 에세이'였습니다. 이는 새로운 유형의 문서를 위한 여러 유형의 미디어 중 하나인 인터랙티브 프로그램을 통해 에세이에서 기대할 수 있는 글쓰기 및 주장의 종류가 향상된다는 의미입니다.

80년대 후반과 90년대 초반에 Ted Cuyler가 직접 Hypercard에서 아주 좋은 예를 만들었습니다. Hypercard는 이를 위해 직접 구성되지 않았습니다. 스크립트는 카드용 미디어 개체가 아니었지만 일부 작업을 수행하고 스크립트를 가져와 카드에 표시하고 대화형으로 만들 수 있었습니다. 특히 도발적인 예는 리처드 도킨스(Richard Dawkins)의 책 Blind Watchmaker의 일부를 설명하는 적극적인 에세이인 "Weasel"로, 독자가 일종의 번식 과정을 사용하여 목표 문장을 찾는 프레임워크를 실험할 수 있도록 했습니다.

Hypercard가 신흥 인터넷에 거의 완벽하게 들어맞았으며 90년대 초반에 널리 채택되었지만 인터넷을 만든 사람들은 Hypercard나 Engelbart의 더 큰 초기 아이디어를 수용하지 않기로 결정했다는 점을 고려해 볼 가치가 있습니다. 그리고 연구 부문에 ARPA/Parc 인력이 많았던 Apple은 인터넷의 중요성과 Hypercard가 대칭형 읽기-쓰기 시스템을 시작하는 데 얼마나 훌륭한지에 대한 그들의 의견을 듣기를 거부했습니다. 정말 좋은 브라우저가 상당한 발전을 이루고 인터넷의 "대중적 얼굴"이 어떻게 변하는 지에 큰 역할을 했을 시기에 Apple은 브라우저 만들기를 거부했습니다.

몇 년만 더 나아가면 실제 개발 시스템이 없는 웹 브라우저의 절대적인 부조리함(심지어 외설적임에도 불구하고)을 발견할 수 있으며(위키 개발이 얼마나 어리석은지 생각해 보십시오), 많은 간단한 예 중 하나인 위키피디아 기사를 참조하세요. 컴퓨터에서 작동하지만 기사의 독자가 기사에서 LOGO 프로그래밍을 시도하는 것을 허용하지 않는 LOGO 와 같습니다. 이는 컴퓨터에 중요한 것이 기존 미디어의 다양한 구현을 방어하기 위해 사용자에게 차단되었음을 의미했습니다.

Wikipedia가 필요한 "컴퓨팅 문학"을 생각하고, 발명하고, 구현하고, 쓰는 데 있어 주요 장르였으며 지금도 그러하다는 점을 고려해 볼 가치가 있습니다(그리고 여기에는 분명히 프로그래밍을 포함한 다양한 형태의 멀티미디어를 읽고 쓰는 것이 모두 포함됩니다).

더 생각해 볼 가치가 있는 점은 2017년에는 이 Quora 답변에서 프로그램을 작성할 수 없다는 것입니다! - 이것은 대화형 미디어에 대한 약한 아이디어의 바탕이 되는 엄청난 컴퓨터 성능에도 불구하고 내가 설명하려는 것이 정확히 무엇인지 보여주는 데 도움이 될 것입니다. 중요한 질문은 “무슨 일이 일어났나요?”입니다. 여기서는 완전히 간과됩니다.

문제에 대한 아이디어를 얻으려면 몇 년 전에 부분적으로는 Ted Nelson에 대한 찬사로, 부분적으로는 재미로 부활한 1978년 시스템이 있습니다.

(2:15부터 시청해주세요)

전체 시스템은 제가 지금 이야기하고 있는 것의 초기 시도입니다. 40년 전입니다.

대표적인 예는 9:06에서 볼 수 있습니다.

"동적 개체" 외에도 여기에서 고려해야 할 주요 사항 중 하나는 "뷰"(페이지에 표시되는 미디어)가 해당 콘텐츠(우리는 이를 "모델"이라고 함)와 균일하고 독립적으로 처리될 수 있다는 것입니다. 모든 것은 "창"입니다(일부에는 명확한 테두리가 있고 일부에는 테두리가 표시되지 않음). 이들 모두는 프로젝트 페이지에 컴파일되어 있습니다. 또 다른 통찰력은 일부 항목을 구성하고 결합해야 하기 때문에 모든 것이 구성 가능하고 구성 가능한지 확인해야 한다는 것입니다.

어리석은 사용자는 나쁜 디자인을 비판할 수 없다는 점은 용서받을 수 있다고 생각합니다. 그러나 사용자를 위한 대화형 미디어를 만들고 특히 자신의 분야의 역사에서 미디어와 디자인에 대해 배우는 데 관심이 없는 프로그래머는 그렇게 쉽게 벗어나서는 안 되며 그렇게 하여 보상을 받아서도 안 됩니다. 그들은 "약하다".

마지막으로, 실제 문학이 없는 분야는 그 분야가 분야가 아니라는 사실과 거의 동일합니다. 문학은 새로운 장르와 그 분야의 현재와 미래의 사고에서 훌륭한 아이디어를 보존하는 방법입니다. 물론 이것은 계산에 유용한 정도로 존재하지 않습니다. 대중문화와 마찬가지로 컴퓨팅은 여전히 ​​광범위한 훈련 없이 무엇을 할 수 있는지, 그리고 결과의 결과보다 실행이 더 중요한지에 가장 관심이 있습니다. 문학은 단순하고 즉각적인 것에서 더 크고 더 중요한 것으로 이동할 수 있는 매체 중 하나입니다.

우리는 그게 필요해!

GoTo 학교 소개

• 17월 30~15일, 28월 12~25일, XNUMX월 XNUMX~XNUMX일 모스크바 지역의 여름 프로젝트 GoTo 프로그래밍 학교.
• Группа в ВК
• Подписаться на рассылку

출처 : habr.com