Алан Кей ва Марвин Мински: Илми компютерӣ аллакай "грамматика" дорад. "Адабиёт" лозим аст

Алан Кей ва Марвин Мински: Илми компютерӣ аллакай "грамматика" дорад. "Адабиёт" лозим аст

Аввал аз чап Марвин Мински, дуюм аз чап Алан Кей, баъд Ҷон Перри Барлоу ва Глория Мински.

Савол: Шумо фикри Марвин Минскиро, ки «Илмҳои компютерӣ аллакай грамматика дорад, чӣ гуна шарҳ медиҳед. Он чизе ки ба ӯ лозим аст, адабиёт аст.”?

Алан Кей: Ҷанбаи ҷолибтарин дар сабт Блоги Кен (аз ҷумла шарҳҳо) он аст, ки ҳеҷ истиноди таърихӣ ба ин ақидаро дар ҳеҷ куҷо пайдо кардан мумкин нест. Воқеан, беш аз 50 сол пеш дар солҳои 60-ум дар ин бора бисёр сӯҳбатҳо буданд ва чуноне ки ман дар ёд дорам, чанд мақола.

Ман бори аввал дар бораи ин ақида аз Боб Бартон, соли 1967 дар аспирантура шунида будам, вақте ки ӯ ба ман гуфт, ки ин идея як қисми ангезаи Доналд Кнут ҳангоми навиштани "Санъати барномасозӣ" буд, ки бобҳои он аллакай паҳн шуда буданд. Яке аз саволҳои асосии Боб он вақт дар бораи "забонҳои барномасозӣ, ки барои хондани одамон ва инчунин мошинҳо тарҳрезӣ шудаанд" буд. Ва ин ангезаи асосии қисмҳои тарроҳии COBOL дар аввали солҳои 60-ум буд. Ва, шояд муҳимтар аз ҳама, дар заминаи мавзӯи мо, ин идея дар забони интерактивии хеле барвақт ва хеле зебо тарҳрезишуда JOSS (асосан Клифф Шоу) дида мешавад.

Тавре Фрэнк Смит мушоҳида кардааст, адабиёт бо ғояҳое оғоз мешавад, ки қобили муҳокима ва навиштан лозим аст; аксар вақт қисман намояндагӣ тавлид мекунад ва забонҳо ва шаклҳои мавҷударо васеъ мекунад; боиси андешаҳои нав дар бораи хондан ва навиштан мегардад; ва ниҳоят ба андешаҳои наве, ки ҷузъи ангезаи аслӣ набуданд.

Қисме аз ғояҳои «адабикунонӣ» хондан, навиштан ва истинод ба мақолаҳои дигаре мебошад, ки метавонанд ҷолиб бошанд. Масалан, лексияи Ҷоизаи Тюринги Марвин Мински бо чунин оғоз мешавад: "Мушкилоти илми информатика имрӯз нигаронии васвоси шакл аст, на мундариҷа.".

Он чизе ки ӯ дар назар дошт, ин буд, ки чизи муҳимтарин дар компютер ин маъно ва чӣ гуна онро метавон дидан ва муаррифӣ кард, дар муқоиса бо яке аз мавзӯъҳои бузурги солҳои 60-ум дар бораи таҳлили барномасозӣ ва забонҳои табиӣ. Ба назари ӯ, ҷолибтарин чизи рисолаи донишҷӯи магистр Терри Виноград метавонад дар он бошад, ки дар ҳоле ки он аз нуқтаи назари грамматикаи англисӣ чандон дуруст набуд (хеле хуб буд), аммо он метавонад суханони гуфташударо маънидод кунад ва гуфтаҳоро асоснок кунад. гуфт бо истифода аз ин арзиш. (Ин як бозгашт ба он чизест, ки Кен дар блоги Марвин гузориш медиҳад).

Роҳи мувозии назар ба "омӯзиши забонҳои ҳама ҷо". Бе тағир додани забон ё ҳатто илова кардани луғат бисёр корҳоро анҷом додан мумкин аст. Ин ба он монанд аст, ки чӣ гуна бо рамзҳои математикӣ ва синтаксис навиштани формула хеле осон аст. Ин қисман он чизест, ки Марвин ба даст меорад. Аҷиб он аст, ки мошини Тюринг дар китоби Марвин: Мошинҳои ниҳоӣ ва беохир (яке аз китобҳои дӯстдоштаи ман) як компютери хеле маъмулӣ бо ду дастур аст (барои сабти ном 1 илова кунед ва 1 аз реестр ва шохаҳо ба дастури нав кам кунед, агар реестр аз он камтар бошад. 0 - имконоти зиёде мавҷуданд.)

Ин як забони маъмули барномасозӣ аст, аммо аз хатогиҳо огоҳ бошед. Ҳалли оқилонаи "ба таври умум омӯхташуда" инчунин бояд дорои навъҳои муайяни қудрати ифодакунанда бошад, ки эҳтимол барои омӯхтан вақти бештарро талаб мекунад.

Таваҷҷӯҳ ба Дон ба истилоҳ "барномасозии босавод" боиси эҷоди системаи муаллифӣ шуд (таърихан WEB номида мешавад), ки ба Дон имкон медиҳад, ки худи барномаи навишташавандаро шарҳ диҳад ва дорои хусусиятҳои зиёде буд, ки имкон медод қисмҳои барнома барои омӯзиши инсон истихроҷ шудааст. Идеяи он буд, ки ҳуҷҷати WEB барнома аст ва компилятор метавонад қисмҳои тартибдодашуда ва иҷрошавандаро аз он истихроҷ кунад.

Боз як навоварии аввалин идеяи ВАО-и динамикӣ буд, ки дар охири солҳои 60-ум идеяи маъмул буд ва барои бисёре аз мо як ҷузъи муҳими компютерҳои интерактивӣ буд. Яке аз якчанд ангезаҳои ин идея ин буд, ки чизе ба монанди "Принсипҳои Нютон" дошта бошад, ки дар он "математика" динамикӣ буд ва метавон онро иҷро кард ва ба графика пайваст кард ва ғайра. Ин як қисми ангезаи пешбурди идеяи Dynabook дар соли 1968 буд. Яке аз истилоҳоте, ки он вақт мавриди истифода қарор гирифт, "эссеи фаъол" буд, ки дар он навъҳои навиштан ва баҳсро дар иншо интизор шудан мумкин аст, барномаи интерактивӣ яке аз навъҳои зиёди васоити ахбори омма барои навъи нави ҳуҷҷат мебошад.

Баъзе намунаҳои хеле хуб дар Hypercard аз ҷониби худи Тед Куйлер дар охири солҳои 80-ум ва аввали солҳои 90-ум сохта шудаанд. Гиперкорт барои ин мустақиман танзим карда нашудааст - скриптҳо объектҳои медиавӣ барои кортҳо набуданд, аммо шумо метавонед каме кор кунед ва скриптҳоро дар кортҳо нишон диҳед ва онҳоро интерактивӣ кунед. Намунаи махсусан иғвоангез ин "Визел" буд, ки иншои фаъоле буд, ки як қисми китоби Ричард Доукинсро шарҳ медод, ки соатсози нобино буд ва ба хонанда имкон медиҳад, ки бо чаҳорчӯба озмоиш кунад, ки як навъ раванди парваришро барои ёфтани ҷумлаҳои ҳадаф истифода барад.

Бояд ба назар гирифт, ки дар ҳоле ки Hypercard барои Интернети пайдошаванда ва қабули васеъи он дар ибтидои солҳои 90-ум комилан мувофиқ буд, одамоне, ки Интернетро офаридаанд, интихоб карданд, ки онро қабул накунанд ё ғояҳои бузурги Энгелбарт. Ва Apple, ки дар ҷиноҳи тадқиқотии худ одамони зиёди ARPA/Parc дошт, аз гӯш кардани онҳо дар бораи аҳамияти Интернет ва чӣ гуна Hypercard дар оғоз кардани системаи симметрии хондан ва навиштан хеле хуб хоҳад буд, худдорӣ кард. Apple аз сохтани браузер дар замоне худдорӣ кард, ки браузери воқеан хуб як пешрафти назаррас хоҳад буд ва шояд дар пайдо шудани "чеҳраи ҷамъиятии" Интернет нақши бузург бозидааст.

Агар мо якчанд сол пеш равем, мо бемаънӣ будани мутлақ - ҳатто қариб зишт - як браузери вебро, ки системаи воқеии рушд надорад, кашф мекунем (фикр кунед, ки чӣ гуна рушди беақлонаи вики ҳатто кор мекард) ва ҳамчун яке аз мисолҳои оддӣ, мақолаи Википедиа мисли LOGO , ки дар компютер кор мекунад, аммо ба хонандаи мақола имкон намедиҳад, ки LOGO-ро аз мақола барномарезӣ кунад. Ин маънои онро дошт, ки он чизе, ки барои компютерҳо муҳим буд, барои корбарон дар муҳофизати татбиқҳои гуногуни ВАО-и кӯҳна баста шудааст.

Бояд ба назар гирифт, ки Википедиа жанри ибтидоӣ барои тафаккур, ихтироъ, амалӣ ва навиштани "адабиёти ҳисоббарорӣ" буд ва мебошад, ки лозим аст (ва ин албатта ҳам хондан ва ҳам навиштанро дар шаклҳои зиёди мултимедиявӣ, аз ҷумла барномасозӣ дар бар мегирад).

Он чизе, ки дар бораи он фикр кардан лозим аст, он аст, ки ман наметавонам дар ин посухи Quora барнома нависам - дар соли 2017! - ин барои нишон додани он, ки ман кӯшиш мекунам фаҳмонам, сарфи назар аз қудрати бузурги компютер, ки ин идеяи заиф дар бораи ВАО-и интерактивӣ аст, кӯмак мекунад. Саволи муҳим ин аст, ки "чӣ шуд?" дар ин чо тамоман аз мадди назар дур мондааст.

Барои фаҳмидани ин мушкилот, ин як системаи соли 1978 аст, ки мо қисман чанд сол пеш ҳамчун арҷгузорӣ ба Тед Нелсон ва қисман барои фароғат эҳё карда будем.

(Лутфан, дар ин ҷо 2:15 тамошо кунед)


Тамоми система як кӯшиши барвақт дар он чизест, ки ман ҳоло дар бораи 40 сол пеш гап мезанам.

Мисоли беҳтаринро дар соати 9:06 дидан мумкин аст.


Ба ғайр аз "объектҳои динамикӣ", яке аз мулоҳизаҳои калидӣ дар ин ҷо ин аст, ки "намоишҳо" - расонаҳое, ки дар саҳифа намоёнанд - метавонанд яксон ва новобаста аз мундариҷаи онҳо коркард шаванд (мо онҳоро "моделҳо" меномем). Ҳама чиз як «тиреза» аст (баъзеҳо сарҳади возеҳ доранд ва баъзеҳо марзи худро нишон намедиҳанд). Ҳамаи онҳо дар саҳифаи лоиҳа ҷамъ оварда шудаанд. Боз як фаҳмиши дигар ин буд, ки азбаски шумо бояд баъзе чизҳоро эҷод кунед ва якҷоя кунед, боварӣ ҳосил кунед, ки ҳама чиз созанда ва таркибӣ аст.

Ман фикр мекунам, ки корбарони ноустуворро бахшидан мумкин аст, ки наметавонанд тарҳҳои бадро танқид кунанд. Аммо барномасозоне, ки барои корбарон васоити интерактивӣ месозанд ва парвое надоранд, ки дар бораи расонаҳо ва тарроҳӣ, ба хусус аз таърихи соҳаи худ омӯзанд, набояд ин қадар ба осонӣ аз ин кор дур нашаванд ва барои ин кор подош нагиранд. онхо «заифтар» мебошанд.

Нихоят, майдони бе адабиёти вокеи кариб баробари он аст, ки майдон майдон нест. Адабиёт василаест барои нигоҳ доштани ғояҳои бузург дар жанри нав ва тафаккури имрӯзу оянда дар он соҳа. Ин, албатта, дар хисобу китоб то андозае фоиданок нест. Мисли фарҳанги поп, компютер то ҳол бештар ба он таваҷҷӯҳ дорад, ки чӣ корҳоро бидуни омӯзиши васеъ анҷом додан мумкин аст ва дар куҷо иҷро кардан аз оқибатҳои натиҷаҳо муҳимтар аст. Адабиёт яке аз воситаҳое мебошад, ки шумо метавонед аз содда ва фаврӣ ба калонтар ва муҳимтар гузаред.

Ба мо лозим аст!

Дар бораи GoTo School

Алан Кей ва Марвин Мински: Илми компютерӣ аллакай "грамматика" дорад. "Адабиёт" лозим аст

Манбаъ: will.com

Илова Эзоҳ