{"id":37033,"date":"2019-10-31T22:15:24","date_gmt":"2019-10-31T19:15:24","guid":{"rendered":"https:\/\/prohoster.info\/blog\/alan-kej-kak-by-ya-prepodaval-computer-science-101\/"},"modified":"2021-01-02T13:01:57","modified_gmt":"2021-01-02T11:01:57","slug":"alan-kej-kak-by-ya-prepodaval-computer-science-101","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sk\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay: ako by som vyu\u010doval Computer Science 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\u201eJedn\u00fdm z d\u00f4vodov, pre\u010do sa naozaj prihl\u00e1si\u0165 na univerzitu, je prekro\u010di\u0165 r\u00e1mec be\u017en\u00e9ho profesijn\u00e9ho vzdel\u00e1vania a uchopi\u0165 hlb\u0161ie my\u0161lienky.\u201c<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

Zamyslime sa nad touto ot\u00e1zkou. Pred nieko\u013ek\u00fdmi rokmi ma katedry po\u010d\u00edta\u010dov\u00fdch vied pozvali na predn\u00e1\u0161ky na nieko\u013ek\u00fdch univerzit\u00e1ch. Takmer n\u00e1hodou som sa op\u00fdtal svojej prvej skupiny, skladaj\u00facej sa zo star\u0161\u00edch \u0161tudentov, doktorandov a profesorov, na ich defin\u00edciu \u201epo\u010d\u00edta\u010dovej vedy\u201c. V\u0161etci dok\u00e1zali uvies\u0165 iba in\u017einiersku defin\u00edciu. Robil som to na ka\u017edom novom mieste a v\u00fdsledky boli v\u0161ade podobn\u00e9.<\/p>\n

\u010eal\u0161ou ot\u00e1zkou bolo: \u201eKto je Douglas Engelbart?\u201c. Nieko\u013eko \u013eud\u00ed povedalo: \u201enebol sn\u00e1\u010f nejak\u00fdm sp\u00f4sobom spojen\u00fd s po\u010d\u00edta\u010dovou my\u0161ou?\u201c (a to ma ve\u013emi sklamalo, preto\u017ee moja vedeck\u00e1 komunita sa sna\u017eila dosiahnu\u0165 to, aby bolo mo\u017en\u00e9 odpoveda\u0165 na t\u00fato ot\u00e1zku po dvoch a\u017e troch kliknutiach my\u0161ou a overi\u0165, \u017ee Engelbart bol skuto\u010dne s po\u010d\u00edta\u010dovou my\u0161ou nejak\u00fdm sp\u00f4sobom spojen\u00fd).<\/p>\n

\u010cas\u0165 probl\u00e9mu spo\u010d\u00edvala v nedostatku zvedavosti, \u010diasto\u010dne v \u00fazkej osobnej cie\u013eoch, ktor\u00e9 neboli spojen\u00e9 s u\u010den\u00edm, a \u010diasto\u010dne v nedostatku predstavy o tom, \u010do t\u00e1to veda obn\u00e1\u0161a, a podobne.<\/p>\n

P\u00e4\u0165 rokov pracujem na \u010diasto\u010dn\u00fd \u00fav\u00e4zok na katedre po\u010d\u00edta\u010dov\u00fdch technol\u00f3gi\u00ed Kalifornskej univerzity (v podstate som profesor, ale nemus\u00edm chodi\u0165 na zasadnutia katedry). Ob\u010das predn\u00e1\u0161am, niekedy prv\u00e1kom. Po\u010das t\u00fdchto rokov sa u\u017e tak n\u00edzka \u00farove\u0148 zvedavosti o po\u010d\u00edta\u010dovej vede e\u0161te zn\u00ed\u017eila (ale z\u00e1rove\u0148 sa zv\u00fd\u0161il z\u00e1ujem, preto\u017ee po\u010d\u00edta\u010dov\u00e9 technol\u00f3gie s\u00fa pova\u017eovan\u00e9 za cestu k dobre platen\u00e9mu zamestnaniu, ak viete programova\u0165 a z\u00edskali ste certifik\u00e1t na jednej z desiatich najlep\u0161\u00edch \u0161k\u00f4l). Odpovedaj\u00fac na to, e\u0161te \u017eiaden \u0161tudent si nes\u0165a\u017eoval na to, \u017ee prv\u00fdm jazykom na Kalifornskej univerzite je C++!
\n<\/a><\/noindex>
\nMysl\u00edm, \u017ee sme sa ocitli v situ\u00e1cii, kde boli obidve hodnoty \u201epo\u010d\u00edta\u010d\u201c a \u201eveda\u201c oslaben\u00e9 slab\u00fdmi mas\u00edvnymi konceptmi, aby sa vytvoril nov\u00fd term\u00edn \u2014 ak\u00fdsi \u0161t\u00edtok na d\u017e\u00ednoch \u2014 ktor\u00fd dobre znie, ale je dostato\u010dne pr\u00e1zdny. S\u00favisiacim term\u00ednom, ktor\u00fd bol podobne oslaben\u00fd, je \u201esoftv\u00e9rov\u00e9 in\u017einierstvo\u201c, ktor\u00e9 op\u00e4\u0165 nepou\u017e\u00edvalo najgeni\u00e1lnej\u0161ie my\u0161lienky \u201eprogramovania\u201c a \u201ein\u017einierstva\u201c, ale jednoducho ich skombinovalo (toto bolo z\u00e1merne uroben\u00e9 v \u0161es\u0165desiatych rokoch, ke\u010f bol term\u00edn vyna\u0161iel).<\/p>\n

Jedn\u00fdm z d\u00f4vodov, pre\u010do sa skuto\u010dne zaregistrova\u0165 na univerzitu, je vyjs\u0165 za hranice jednoduch\u00e9ho profesijn\u00e9ho vzdel\u00e1vania a namiesto toho sa uchopi\u0165 hlb\u0161\u00edch my\u0161lienok. Mysl\u00edm si, \u017ee je celkom rozumn\u00e9, aby sa v \u00favode do \u0161pecializ\u00e1cie pok\u00fasili \u2014 ak je to mo\u017en\u00e9, pomocou pr\u00edkladov \u2014 zabezpe\u010di\u0165, aby sa \u0161tudenti zaoberali skuto\u010dn\u00fdmi probl\u00e9mami a za\u010dali ch\u00e1pa\u0165, \u010do je v tejto oblasti naozaj zauj\u00edmav\u00e9, d\u00f4le\u017eit\u00e9 a centr\u00e1lne.<\/p>\n

Prv\u00e1kov te\u0161\u00ed, ke\u010f im uk\u00e1\u017eu, ako sa prav\u00edtko polo\u017een\u00e9 na in\u00e9 prav\u00edtko st\u00e1va aritmetick\u00fdm pr\u00edstrojom, s ktor\u00fdm m\u00f4\u017eu prekona\u0165 chlapcov z piatej triedy pri s\u010d\u00edtavan\u00ed zlomkov. A potom bud\u00fa \u0161\u0165astn\u00ed, ke\u010f sa z\u00fa\u010dastnia na v\u00fdvoji vylep\u0161en\u00fdch aritmetick\u00fdch pr\u00edstrojov. Dotkli sa skuto\u010dn\u00e9ho po\u010d\u00edta\u010da \u2014 fyzick\u00e9ho a ment\u00e1lneho n\u00e1stroja, ktor\u00fd n\u00e1m pom\u00e1ha myslie\u0165. Nau\u010dili sa naozaj efekt\u00edvny sp\u00f4sob predstavovania \u010d\u00edsel \u2014 \u00fa\u010dinnej\u0161\u00ed, ne\u017e ak\u00fd sa u\u010d\u00ed v \u0161kol\u00e1ch!<\/p>\n

Podarilo sa im spoji\u0165 ich zdrav\u00fd koncept \u201eprid\u00e1vania\u201c ako \u201ezhroma\u017e\u010fovania\u201c s nie\u010d\u00edm podobn\u00fdm s nov\u00fdmi mocn\u00fdmi vlastnos\u0165ami. Naprogramovali ho tak, aby bol schopn\u00fd rie\u0161i\u0165 r\u00f4zne probl\u00e9my.<\/p>\n

Taktie\u017e ho roz\u0161\u00edrili. A tak \u010falej. To nie je digit\u00e1lny po\u010d\u00edta\u010d. A nie je to po\u010d\u00edta\u010d s pam\u00e4\u0165ov\u00fdm programom. Ale to je esencia po\u010d\u00edta\u010da. Rovnako ako antikythera mechanizmus<\/a><\/noindex> \u2014 to je vlastne esencia po\u010d\u00edta\u010da a v\u00fdpo\u010dtov.<\/p>\n

\"Alan<\/p>\n

Antikythera mechanizmus<\/i><\/p>\n

Ako \u010faleko m\u00f4\u017eeme z\u00e1js\u0165 a ko\u013eko toho m\u00f4\u017eeme dosiahnu\u0165 predt\u00fdm, ne\u017e v\u0161etko unikne z na\u0161ich r\u00fak a strat\u00edme sa v abstrakci\u00e1ch? V\u017edy som bol citliv\u00fd na charakteristiku Alana Perlis<\/a><\/noindex> \u2014 prv\u00e9ho laure\u00e1ta Turingovej ceny, ktor\u00fd mo\u017eno vymyslel term\u00edn \u201eInformatika\u201c \u2014 ktor\u00fd v 60. rokoch povedal: \u201eInformatika je vedou o procesoch\u201c. O v\u0161etk\u00fdch procesoch.<\/p>\n

Pre spolo\u010dnos\u0165 Quora sa nebudeme sna\u017ei\u0165 to posun\u00fa\u0165 \u010falej alebo zmeni\u0165 na n\u00e1bo\u017eensk\u00fa dogmu. Po\u010fme proste \u0161\u0165astne pou\u017e\u00edva\u0165 t\u00fato my\u0161lienku. Alan Perlis<\/a><\/noindex>, aby sme lep\u0161ie rozm\u00fd\u0161\u013eali o na\u0161ej oblasti. A najm\u00e4 o tom, ako ju u\u010di\u0165. Teraz je potrebn\u00e9 sa pozrie\u0165 na s\u00fa\u010dasn\u00fd v\u00fdznam \u201evied\u201c, a Perlis bol dos\u0165 presved\u010den\u00fd, \u017ee by nemalo by\u0165 zrieden\u00e9 star\u00fdmi v\u00fdznamami (napr\u00edklad ako \u201ezber vedomost\u00ed\u201c) ani pou\u017eitiami (ako \u201ekni\u017en\u00e1 veda\u201c alebo dokonca \u201espolo\u010densk\u00e9 vedy\u201c). Pod \u201evedou\u201c sa sna\u017eil pochopi\u0165 fenom\u00e9n cez vytv\u00e1ranie modelov\/map, ktor\u00e9 sa sna\u017eia uk\u00e1za\u0165, \u201esledova\u0165\u201c a predpoveda\u0165 javy.<\/p>\n

\"Alan<\/p>\n

Dal som nieko\u013eko rozhovorov o tom, ako najlep\u0161ie mapy a modely m\u00f4\u017eu \u010dasto sedie\u0165 na tri\u010dku, tak ako sed\u00ed Maxwellova rovnice a in\u00e9. Anal\u00f3gia spo\u010d\u00edva v tom, \u017ee existuje \u201eveda o mostoch\u201c, hoci v\u00e4\u010d\u0161ina mostov je vytvoren\u00e1 \u010dlovekom. Ale ke\u010f je most postaven\u00fd, zobrazuje javy, ktor\u00e9 m\u00f4\u017eu vedci \u0161tudova\u0165, a z mostov je mo\u017en\u00e9 vytvori\u0165 modely r\u00f4znych druhov a formulova\u0165 komplexn\u00e9 a u\u017eito\u010dn\u00e9 \u201ete\u00f3rie mostov\u201c. Z\u00e1bava spo\u010d\u00edva v tom, \u017ee m\u00f4\u017eeme navrhn\u00fa\u0165 a postavi\u0165 nov\u00e9 mosty (u\u017e som spomenul, \u017ee pravdepodobne niet ni\u010doho z\u00e1bavnej\u0161ieho, ako je spolupr\u00e1ca vedcov a in\u017einierov na rie\u0161en\u00ed ve\u013ek\u00fdch a d\u00f4le\u017eit\u00fdch probl\u00e9mov!).<\/p>\n

\"Alan<\/p>\n

Herbert Simon \u2014 laure\u00e1t Turingovej a Nobelovej ceny \u2014 nazval to v\u0161etko \u201evedou o umelom\u201c (a nap\u00edsal skvel\u00fa knihu s rovnak\u00fdm n\u00e1zvom).<\/p>\n

\"Alan<\/p>\n

Dovo\u013ete mi uvies\u0165 pr\u00edklad. V 50. rokoch spolo\u010dnosti a univerzity stavali po\u010d\u00edta\u010de s ulo\u017een\u00fdm programom a za\u010dali ich programova\u0165 \u2014 a bol osobitn\u00fd okamih, ke\u010f v roku 1956 pri\u0161iel Fortran \u2014 ktor\u00fd nebol prv\u00fdm jazykov vysokej \u00farovne, ale mo\u017eno prv\u00fdm, ktor\u00fd bol urobil tak dobre, \u017ee sa pou\u017e\u00edval v mnoh\u00fdch r\u00f4znych oblastiach, vr\u00e1tane mnoh\u00fdch, ktor\u00e9 predt\u00fdm robili iba v strojovom jazyku.<\/p>\n

To v\u0161etko vyprodukovalo \u201efenom\u00e9ny\u201c.<\/p>\n

\"Alan<\/p>\n

John McCarthy<\/i><\/p>\n

Hist\u00f3ria Lispu je slo\u017eitej\u0161ia, no John McCarthy mal z\u00e1ujem o pokus n\u00e1js\u0165 \u201ematematick\u00fa te\u00f3riu v\u00fdpo\u010dtov\u201c a bol odhodlan\u00fd zabezpe\u010di\u0165, aby v\u0161etko fungovalo skvele. Funkcia eval, ktor\u00e1 interpretuje Lisp, sa \u013eahko zmest\u00ed na tri\u010dko! V porovnan\u00ed so \u201eprogramovac\u00edm syst\u00e9mom\u201c je to zanedbate\u013en\u00e9. \u010co je d\u00f4le\u017eitej\u0161ie, t\u00e1to \u201ete\u00f3ria v\u00fdpo\u010dtov\u201c mala mocnej\u0161iu koncepciu ne\u017e Fortran! Bola to najlep\u0161ia my\u0161lienka mostu!<\/p>\n

Miniat\u00farnos\u0165 Lispu umo\u017e\u0148uje celej my\u0161lienke programovania by\u0165 zachytenou pomocou p\u00e1r stla\u010den\u00ed na hlb\u0161ej \u00farovni a by\u0165 zamyslenou na \u00farovni, ktor\u00e1 sa zd\u00e1 jednoducho nemo\u017en\u00e1, ke\u010f sa pozer\u00e1te na obrovsk\u00e9 artefakty (to je jeden z d\u00f4vodov, pre\u010do si vedci ob\u013eubuj\u00fa, aby matematika bola kompaktn\u00e1 a mocn\u00e1). Matematika, ktor\u00e1 je tu pou\u017eit\u00e1, je novou matematikou, preto\u017ee prip\u00fa\u0161\u0165a koncepty ako \u201epred\u201c a \u201epo\u201c, a to vedie k \u201elogike premenlivej veli\u010diny\u201c, ktor\u00e1 umo\u017e\u0148uje zachova\u0165 ako funk\u010dn\u00fa z\u00e1vislos\u0165, tak aj logick\u00e9 myslenie, pri\u010dom prip\u00fa\u0161\u0165a \u010das a priebeh. (To sa st\u00e1le v na\u0161ich \u010dasoch nepochopilo v krutom svete situa\u010dn\u00e9ho programovania).<\/p>\n

Lisp, ktor\u00fd p\u00f4sob\u00ed ako mocn\u00fd programovac\u00ed jazyk a metalanguage schopn\u00fd predstavi\u0165 svoju vlastn\u00fa te\u00f3riu, je pr\u00edkladom skuto\u010dnej po\u010d\u00edta\u010dovej vedy. Ak sa ho nau\u010d\u00edte a \u010fal\u0161ie podobn\u00e9 veci, budete schopn\u00ed hlb\u0161ie prem\u00fd\u0161\u013ea\u0165 a by\u0165 zodpovednej\u0161\u00ed za svoj vlastn\u00fd osud, ne\u017e keby ste sa len nau\u010dili programova\u0165 vo Fortran alebo jeho s\u00fa\u010dasn\u00fdch ekvivalentoch (\u2026 tak sa m\u00f4\u017eete pribl\u00ed\u017ei\u0165 program\u00e1torom!).<\/p>\n

dozviete sa ove\u013ea viac o \u0161peci\u00e1lnych typoch dizajnu, ktor\u00e9 s\u00fa potrebn\u00e9 vo v\u00fdpo\u010dtoch (napr\u00edklad, zvy\u010dajne sa neocen\u00ed, ke\u010f v\u00fdpo\u010dty \u010dasto vy\u017eaduj\u00fa prekro\u010denie v\u00fdpo\u010dtov\u00e9ho prostredia: jedna z osobitn\u00fdch charakterist\u00edk ulo\u017een\u00fdch programov\u00fdch v\u00fdpo\u010dtov spo\u010d\u00edva v tom, \u017ee to nie je len materi\u00e1l pre program, ale materi\u00e1l pre \u00faplne nov\u00fd po\u010d\u00edta\u010d).<\/p>\n

\u010eal\u0161\u00ed d\u00f4vod, pre\u010do si vybra\u0165 defin\u00edciu Perlis, spo\u010d\u00edva v tom, \u017ee v\u00fdpo\u010dty s\u00fa vo v\u00e4\u010d\u0161ej miere spojen\u00e9 s vytv\u00e1ran\u00edm syst\u00e9mov r\u00f4znych typov ne\u017e s algoritmami, \"d\u00e1tov\u00fdmi \u0161trukt\u00farami\" alebo dokonca samotn\u00fdm programovan\u00edm. Napr\u00edklad po\u010d\u00edta\u010d je syst\u00e9m, v\u00fdpo\u010dty s\u00fa syst\u00e9my, lok\u00e1lna sie\u0165 a internet s\u00fa syst\u00e9my a v\u00e4\u010d\u0161ina programov by mala predstavova\u0165 lep\u0161ie syst\u00e9my, ako s\u00fa tie, ktor\u00fdmi s\u00fa (star\u00fd \u0161t\u00fdl programovania z 50-tych rokov pretrval a\u017e do bodu, kedy sa zd\u00e1, \u017ee programovanie by malo takto vyzera\u0165 \u2014 niet ni\u010doho vzdialenej\u0161ieho od pravdy).<\/p>\n

Internet je dobr\u00fdm pr\u00edkladom \u2014 na rozdiel od v\u00e4\u010d\u0161iny programov v na\u0161ej dobe, internet nie je potrebn\u00e9 zastavi\u0165, aby sa opravilo alebo vylep\u0161ilo nie\u010do \u2014 je sk\u00f4r biologick\u00fdm syst\u00e9mom \u2014 pod\u013ea n\u00e1\u0161ho \u00famyslu, ne\u017e t\u00fdm, \u010do v\u00e4\u010d\u0161ina \u013eud\u00ed pova\u017euje za v\u00fdpo\u010dtov\u00fd syst\u00e9m. A je ove\u013ea \u0161k\u00e1lovate\u013enej\u0161\u00ed a spo\u013eahlivej\u0161\u00ed ne\u017e takmer v\u0161etky softv\u00e9rov\u00e9 syst\u00e9my, ktor\u00e9 existuj\u00fa dnes. Naozaj stoj\u00ed za zamyslenie, predt\u00fdm ne\u017e za\u010dnete u\u010di\u0165 nov\u00e1\u010dikov programovania nie tak\u00fdm siln\u00fdm konceptom!<\/p>\n

Tak\u017ee, \u010do mus\u00edme urobi\u0165 na prvom ro\u010dn\u00edku oboru Informatika, je zv\u00e1\u017ei\u0165, \u010do konkr\u00e9tne m\u00f4\u017eu \u0161tudenti robi\u0165 na samotnom za\u010diatku, a potom sa sna\u017ei\u0165 zosta\u0165 v r\u00e1mci ich \"kognit\u00edvneho za\u0165a\u017eenia\", aby im pomohli dosiahnu\u0165 to, \u010do je naozaj d\u00f4le\u017eit\u00e9. Je ve\u013emi d\u00f4le\u017eit\u00e9 \"zosta\u0165 autentick\u00fdm\" a n\u00e1js\u0165 cesti\u010dky, ktor\u00e9 s\u00fa intelektu\u00e1lne \u010destn\u00e9 a vhodn\u00e9 pre t\u00fdch, ktor\u00ed sa len za\u010d\u00ednaj\u00fa u\u010di\u0165. (Pros\u00edm, neu\u010dte zl\u00e9 n\u00e1pady len preto, \u017ee sa zdaj\u00fa o nie\u010do jednoduch\u0161ie \u2014 mno\u017estvo zl\u00fdch n\u00e1padov je v skuto\u010dnosti ove\u013ea jednoduch\u0161\u00edch!).<\/p>\n

\u0160tudenti by mali za\u010da\u0165 tvorbou nie\u010doho, \u010do by malo mno\u017estvo d\u00f4le\u017eit\u00fdch charakterist\u00edk, o ktor\u00fdch tu diskutujem. M\u00f4\u017ee to by\u0165 syst\u00e9m z viacer\u00fdch dynamicky interaguj\u00facich \u010dast\u00ed at\u010f. Dobr\u00fd sp\u00f4sob, ako sa rozhodn\u00fa\u0165, ak\u00fd programovac\u00ed jazyk pou\u017ei\u0165, je jednoducho vytvori\u0165 nie\u010do, \u010do m\u00e1 tis\u00edce interaguj\u00facich \u010dast\u00ed! Ak nie, mali by ste tak\u00e9 n\u00e1js\u0165. Najhor\u0161ie, \u010do m\u00f4\u017eete urobi\u0165, je postavi\u0165 \u0161tudentov na cestu pr\u00edli\u0161 slab\u00e9ho zru\u010dnosti, ktor\u00e1 by silne obmedzila ve\u013ek\u00e9 my\u0161lienky. To ich jednoducho zab\u00edja \u2014 a my ich chceme vychova\u0165, nie zni\u010di\u0165.<\/p>\n

O \u0161kole GoTo<\/h3>\n

\"Alan<\/p>\n