Alans Kejs un Mārvins Minskis: Datorzinātnei jau ir "gramatika". Vajag "literatūru"

Alans Kejs un Mārvins Minskis: Datorzinātnei jau ir "gramatika". Vajag "literatūru"

Pirmais no kreisās ir Mārvins Minskis, otrais no kreisās ir Alans Kejs, tad Džons Perijs Bārlovs un Glorija Minska.

Jautājums: Kā jÅ«s interpretētu Mārvina Minska domu, ka ā€œDatorzinātnei jau ir gramatika. Viņai vajadzÄ«ga literatÅ«ra.ā€

Alans Kejs: Interesantākais ieraksta aspekts Kena emuārs (ieskaitot komentārus) ir tas, ka nekur nav atrodama vēsturiska atsauce uz Å”o ideju. PatiesÄ«bā pirms vairāk nekā 50 gadiem 60. gados par to tika daudz runāts un, kā atceros, arÄ« vairāki raksti.

Pirmo reizi par Å”o ideju dzirdēju no Boba Bārtona 1967. gadā aspirantÅ«rā, kad viņŔ man teica, ka Ŕī ideja bija daļa no Donalda Knuta motivācijas, kad viņŔ rakstÄ«ja ProgrammÄ“Å”anas mākslu, kuras nodaļas jau cirkulēja. Viens no galvenajiem Boba jautājumiem bija par "programmÄ“Å”anas valodām, kas paredzētas lasÄ«Å”anai gan cilvēkiem, gan maŔīnām". Un tā bija galvenā motivācija COBOL dizaina daļām 60. gadu sākumā. Un, iespējams, vēl svarÄ«gāk mÅ«su tēmas kontekstā, Ŕī ideja ir redzama ļoti agrÄ«nā un diezgan skaisti veidotajā interaktÄ«vajā valodā JOSS (pārsvarā Klifs Å o).

Kā novēroja Frenks Smits, literatÅ«ra sākas ar idejām, kuras ir vērts apspriest un pierakstÄ«t; tas bieži vien daļēji Ä£enerē reprezentācijas un paplaÅ”ina esoŔās valodas un formas; tas rada jaunas idejas par lasÄ«Å”anu un rakstÄ«Å”anu; un visbeidzot jaunām idejām, kas nebija daļa no sākotnējā motÄ«va.

Daļa no ā€œliteraturizācijasā€ idejas ir lasÄ«Å”ana, rakstÄ«Å”ana un atsaukÅ”anās uz citiem rakstiem, kas varētu interesēt. Piemēram, Mārvina Minska TjÅ«ringa balvas lekcija sākas ar: "Å odien datorzinātņu problēma ir obsesÄ«vās rÅ«pes par formu, nevis saturu.".

ViņŔ domāja, ka vissvarÄ«gākā lieta skaitļoÅ”anā ir nozÄ«me un tas, kā to var apskatÄ«t un attēlot, pretstatā vienai no 60. gadu lielajām tēmām par programmÄ“Å”anas un dabisko valodu analÄ«zi. Viņam visinteresantākais maÄ£istrantÅ«ras Tjerija Vinograda darbā varētu bÅ«t tas, ka tas nebija ļoti pareizs angļu valodas gramatikas ziņā (tas bija ļoti labs), bet tas, ka tas varēja saprast teikto un varēja pamatot to, kas bija teikts. teica, izmantojot Å”o vērtÄ«bu. (Tas ir atskats uz to, ko Kens ziņo Mārvina emuārā).

Paralēls veids, kā aplÅ«kot ā€œvisuresoÅ”u valodu apguviā€. Daudz ko var izdarÄ«t, nemainot valodu vai pat nepievienojot vārdnÄ«cu. Tas ir lÄ«dzÄ«gi tam, kā ar matemātiskiem simboliem un sintaksi ir ļoti viegli uzrakstÄ«t formulu. Tas ir daļēji tas, uz ko Mārvins tiecas. SmieklÄ«gi, ka TjÅ«ringa maŔīna Mārvina grāmatā Computation: Fite and Infinite Machines (viena no manām iecienÄ«tākajām grāmatām) ir diezgan tipisks dators ar divām instrukcijām (pievienojiet 1, lai reÄ£istrētu un atņemiet 1 no reÄ£istra un filiāles jaunajai instrukcijai, ja reÄ£istrs ir mazāks par 0 ā€” ir daudz iespēju.)

Tā ir izplatÄ«ta programmÄ“Å”anas valoda, taču esiet informēts par nepilnÄ«bām. SaprātÄ«gam risinājumam "universāli apgÅ«tajam" vajadzētu bÅ«t arÄ« noteikta veida izteiksmes spēkam, kas, iespējams, prasÄ«tu vairāk laika, lai mācÄ«tos.

Dona interese par tā saukto "pratÄ«go programmÄ“Å”anu" noveda pie autorÄ“Å”anas sistēmas (vēsturiski saukta par WEB) izveidi, kas ļautu Donam izskaidrot paÅ”u programmu, kas tika rakstÄ«ta, un kas ietvēra daudzas funkcijas, kas ļāva programmas daļām iegÅ«ts cilvēku pētÄ«Å”anai. Ideja bija tāda, ka WEB dokuments ir programma, un kompilators varētu no tā izvilkt apkopotās un izpildāmās daļas.

Vēl viena agrÄ«na inovācija bija ideja par dinamiskiem medijiem, kas bija populāra ideja 60. gadu beigās un daudziem no mums bija svarÄ«ga interaktÄ«vās datoru skaitļoÅ”anas sastāvdaļa. Viens no vairākiem Ŕīs idejas motÄ«viem bija kaut kas lÄ«dzÄ«gs "Ņūtona principiem", kurā "matemātika" bija dinamiska un to varēja palaist un piesaistÄ«t grafikai utt. Tas bija daļa no motÄ«va popularizēt Dynabook ideju 1968. gadā. Viens no terminiem, ko sāka lietot toreiz, bija ā€œaktÄ«va esejaā€, kur esejā sagaidāmos rakstÄ«Å”anas veidus un argumentus uzlabo interaktÄ«vā programma, kas ir viens no daudzajiem mediju veidiem jauna veida dokumentiem.

Dažus ļoti labus piemērus programmā Hypercard izveidoja pats Teds Kailers 80. gadu beigās un 90. gadu sākumā. Hiperkarte nebija tieÅ”i konfigurēta Å”im nolÅ«kam ā€” skripti nebija karÅ”u multivides objekti, taču jÅ«s varētu veikt kādu darbu un panākt, lai skripti tiktu parādÄ«ti kartēs un padarÄ«tu tos interaktÄ«vus. ÄŖpaÅ”i provokatÄ«vs piemērs bija "Weasel", kas bija aktÄ«va eseja, kurā tika izskaidrota daļa no Ričarda Dokinsa grāmatas Blind Watchmaker, ļaujot lasÄ«tājam eksperimentēt ar sistēmu, kas izmantoja sava veida audzÄ“Å”anas procesu, lai atrastu mērÄ·a teikumus.

Ir vērts padomāt, ka, lai gan Hypercard bija gandrÄ«z ideāls risinājums topoÅ”ajam internetam un tā plaÅ”i izplatÄ«tajai ievieÅ”anai 90. gadu sākumā, cilvēki, kas izveidoja internetu, izvēlējās nepieņemt to vai Engelbārta plaŔākās agrākās idejas. Un Apple, kuras pētniecÄ«bas spārnā bija daudz ARPA/Parc cilvēku, atteicās uzklausÄ«t viņus par interneta nozÄ«mi un to, kā Hypercard bÅ«tu lieliski piemērots simetriskas lasÄ«Å”anas-rakstÄ«Å”anas sistēmas iedarbināŔanai. Apple atteicās izveidot pārlÅ«kprogrammu laikā, kad patiesi laba pārlÅ«kprogramma bÅ«tu bijusi nozÄ«mÄ«ga attÄ«stÄ«ba, un, iespējams, tam bija liela nozÄ«me, kā izrādÄ«jās interneta "publiskā seja".

Ja mēs virzāmies uz priekÅ”u dažus gadus, mēs atklājam absolÅ«tu absurdu ā€” pat gandrÄ«z neÄ·Ä«tru ā€” tÄ«mekļa pārlÅ«kprogrammā bez reālas izstrādes sistēmas (padomājiet, cik muļķīgai wiki izstrādei vajadzēja pat darboties), un kā vienu no daudziem vienkārÅ”iem piemēriem ā€” Wikipedia rakstu. kā LOGO , kas darbojas datorā, bet neļauj raksta lasÄ«tājam mēģināt programmēt LOGO no raksta. Tas nozÄ«mēja, ka tas, kas bija svarÄ«gi datoriem, tika bloķēts lietotājiem, lai aizsargātu dažādas veco mediju ievieÅ”anas iespējas.

Ir vērts apsvērt, ka Wikipedia ir bijis un ir primārais žanrs, lai domātu, izgudrotu, ieviestu un rakstÄ«tu nepiecieÅ”amo "skaitļoÅ”anas literatÅ«ru" (un tas noteikti ietver gan lasÄ«Å”anu, gan rakstÄ«Å”anu daudzos multivides veidos, tostarp programmÄ“Å”anai).

Vēl vairāk ir vērts padomāt, ka es nevaru Å”eit uzrakstÄ«t programmu Å”ajā Quora atbildē - 2017. gadā! - tas palÄ«dzēs parādÄ«t, ko tieÅ”i es cenÅ”os izskaidrot, neskatoties uz milzÄ«go datora jaudu, kas ir Ŕīs vājās interaktÄ«vo mediju idejas pamatā. SvarÄ«gs jautājums ir "kas notika?" Å”eit ir pilnÄ«bā ignorēts.

Lai gÅ«tu priekÅ”statu par problēmu, Å”eit ir 1978. gada sistēma, kuru mēs daļēji atjaunojām pirms dažiem gadiem kā veltÄ«jumu Tedam Nelsonam un daļēji izklaidei.

(Lūdzu, skatieties Ŕeit 2:15)


Visa sistēma ir agrīns mēģinājums tam, par ko es tagad runāju pirms vairāk nekā 40 gadiem.

Lielisks piemērs ir redzams 9:06.


NeatkarÄ«gi no "dinamiskajiem objektiem", viens no galvenajiem apsvērumiem Å”eit ir tas, ka "skatus" - lapā redzamos medijus - var apstrādāt vienādi un neatkarÄ«gi no to satura (mēs tos saucam par "modeļiem"). Viss ir "logs" (dažiem ir skaidras apmales, un daži to nerāda). Tie visi ir apkopoti projekta lapā. Vēl viena atziņa bija tāda, ka, tā kā jums ir jākomponē un jāapvieno dažas lietas, pārliecinieties, ka viss ir komponējams un kompozÄ«cijas.

Es domāju, ka nesamazinātiem lietotājiem var piedot, ka viņi nevar kritizēt sliktu dizainu. Taču programmētājiem, kuri veido interaktÄ«vos medijus lietotājiem un kuriem nav svarÄ«gi mācÄ«ties par medijiem un dizainu, it Ä«paÅ”i no savas jomas vēstures, nevajadzētu tik viegli tikt vaļā, un par to nevajadzētu saņemt atlÄ«dzÄ«bu. viņi ir "vājāki".

Visbeidzot, joma bez Ä«stas literatÅ«ras ir gandrÄ«z lÄ«dzvērtÄ«ga faktam, ka lauks nav joma. LiteratÅ«ra ir veids, kā saglabāt lieliskas idejas jaunā žanrā un paÅ”reizējā un nākotnes domāŔanā Å”ajā jomā. Tas, protams, nav lietderÄ«gi aprēķinos. Tāpat kā popkultÅ«ru, arÄ« skaitļoÅ”anu joprojām visvairāk interesē tas, ko var izdarÄ«t bez plaÅ”as apmācÄ«bas un kur izpilde ir svarÄ«gāka par rezultātu sekām. LiteratÅ«ra ir viens no lÄ«dzekļiem, kur var pāriet no vienkārŔā un tÅ«lÄ«tējā uz lielāku un svarÄ«gāko.

Mums to vajag!

Par GoTo School

Alans Kejs un Mārvins Minskis: Datorzinātnei jau ir "gramatika". Vajag "literatūru"

Avots: www.habr.com

Pievieno komentāru