{"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\/cs\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay: Jak bych u\u010dil Computer Science 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Jedn\u00edm z d\u016fvod\u016f, pro\u010d se skute\u010dn\u011b rozhodnout pro studium na univerzit\u011b, je p\u0159ekro\u010dit hranice prost\u00e9ho profesn\u00edho \u0161kolen\u00ed a m\u00edsto toho se zam\u011b\u0159it na hlub\u0161\u00ed my\u0161lenky.<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

Poj\u010fme se na tuto ot\u00e1zku trochu zamyslet. P\u0159ed n\u011bkolika lety m\u011b katedry informatiky pozvaly, abych p\u0159edn\u00e1\u0161el na n\u011bkolika univerzit\u00e1ch. Tak n\u00e1hodou jsem se zeptal sv\u00e9 prvn\u00ed t\u0159\u00eddy slo\u017een\u00e9 ze student\u016f posledn\u00edch ro\u010dn\u00edk\u016f, postgradu\u00e1ln\u00edch student\u016f a profesor\u016f na jejich definici 'informatiky'. V\u0161ichni dok\u00e1zali poskytnout pouze in\u017een\u00fdrskou definici. Tento postup jsem opakoval na ka\u017ed\u00e9m nov\u00e9m m\u00edst\u011b a v\u0161ude byly podobn\u00e9 v\u00fdsledky.<\/p>\n

Dal\u0161\u00ed ot\u00e1zka zn\u011bla: 'Kdo je Douglas Engelbart?'. N\u011bkolik lid\u00ed \u0159eklo: 'Nen\u00ed to ten, kdo m\u011bl n\u011bjakou souvislost s po\u010d\u00edta\u010dovou my\u0161\u00ed?' (a to m\u011b skute\u010dn\u011b zklamalo, proto\u017ee moje v\u011bdeck\u00e9 spole\u010denstv\u00ed vynalo\u017eilo velk\u00e9 \u00fasil\u00ed, aby bylo mo\u017en\u00e9 odpov\u011bd\u011bt na tuto ot\u00e1zku po dvou nebo t\u0159ech kliknut\u00edch my\u0161\u00ed a ujistit se, \u017ee Engelbart skute\u010dn\u011b m\u011bl n\u011bco spole\u010dn\u00e9ho s po\u010d\u00edta\u010dovou my\u0161\u00ed).<\/p>\n

\u010c\u00e1ste\u010dn\u011b byla probl\u00e9mem absence zv\u011bdavosti, \u010d\u00e1ste\u010dn\u011b \u00fazkost osobn\u00edch c\u00edl\u016f, kter\u00e9 nebyly spojeny s u\u010den\u00edm, a \u010d\u00e1ste\u010dn\u011b nedostatek p\u0159edstavy o tom, co tato v\u011bda obn\u00e1\u0161\u00ed, a tak d\u00e1le.<\/p>\n

Pracoval jsem na \u010d\u00e1ste\u010dn\u00fd \u00favazek na kated\u0159e informatiky Kalifornsk\u00e9 univerzity ji\u017e n\u011bkolik let (v podstat\u011b jsem profesor, ale nemus\u00edm chodit na zased\u00e1n\u00ed katedry). Ob\u010das vedu kurzy, n\u011bkdy pro studenty prvn\u00edho ro\u010dn\u00edku. B\u011bhem t\u011bchto let se i tak n\u00edzk\u00e1 \u00farove\u0148 zv\u011bdavosti k informatice v\u00fdrazn\u011b sn\u00ed\u017eila (ale tak\u00e9 vzrostla popularita, proto\u017ee informatika je pova\u017eov\u00e1na za cestu k dob\u0159e placen\u00e9 pr\u00e1ci, pokud um\u00edte programovat a z\u00edskali certifik\u00e1t na jedn\u00e9 z deseti nejlep\u0161\u00edch \u0161kol). Odpov\u00eddaj\u00edc\u00edm zp\u016fsobem si \u017e\u00e1dn\u00fd student dosud nest\u011b\u017eoval, \u017ee prvn\u00edm jazykem na Kalifornsk\u00e9 univerzit\u011b je C++!
\n<\/a><\/noindex>
\nMysl\u00edm, \u017ee jsme narazili na situaci, kdy ob\u011b hodnoty \"po\u010d\u00edta\u010d\" a \"v\u011bda\" byly naru\u0161eny slab\u00fdmi obecn\u00fdmi koncepty, aby vytvo\u0159ily nov\u00fd term\u00edn \u2014 jak\u00fdsi \u0161t\u00edtek na d\u017e\u00edn\u00e1ch \u2014 kter\u00fd zn\u00ed dob\u0159e, ale je dost pr\u00e1zdn\u00fd. S t\u00edm souvisej\u00edc\u00ed term\u00edn, kter\u00fd byl podobn\u011b po\u0161kozen, \"softwarov\u00e9 in\u017een\u00fdrstv\u00ed\", kter\u00fd op\u011bt nevyu\u017e\u00edval nejgeni\u00e1ln\u011bj\u0161\u00ed my\u0161lenky \"programov\u00e1n\u00ed\" a \"in\u017een\u00fdrstv\u00ed\", ale jen je zkombinoval (to bylo z\u00e1m\u011brn\u011b ud\u011bl\u00e1no v \u0161edes\u00e1t\u00fdch letech, kdy byl tento term\u00edn vytvo\u0159en).<\/p>\n

Jedn\u00edm z d\u016fvod\u016f, pro\u010d skute\u010dn\u011b nastoupit na univerzitu, je p\u0159ekonat jednoduch\u00e9 profesn\u00ed \u0161kolen\u00ed a m\u00edsto toho se uchopit hlub\u0161\u00edch my\u0161lenek. Pova\u017euji za rozumn\u00e9, aby \u00favod do oboru \u2014 pokud je to mo\u017en\u00e9, pomoc\u00ed p\u0159\u00edklad\u016f \u2014 usilovalo o to, aby se studenti zab\u00fdvali skute\u010dn\u00fdmi probl\u00e9my a za\u010dali ch\u00e1pat, co je v t\u00e9to oblasti skute\u010dn\u011b zaj\u00edmav\u00e9, d\u016fle\u017eit\u00e9 a st\u011b\u017eejn\u00ed.<\/p>\n

\u017d\u00e1ci prvn\u00edch t\u0159\u00edd se raduj\u00ed, kdy\u017e jim uk\u00e1\u017e\u00ed, jak se prav\u00edtko polo\u017een\u00e9 na dal\u0161\u00ed prav\u00edtko st\u00e1v\u00e1 aritmetick\u00fdm po\u010d\u00edta\u010dem, s jeho\u017e pomoc\u00ed mohou p\u0159ekonat p\u00e1t\u00e9 t\u0159\u00eddy p\u0159i p\u0159id\u00e1v\u00e1n\u00ed zlomkov\u00e9 \u010d\u00e1sti. A potom budou r\u00e1di, kdy\u017e se zapoj\u00ed do v\u00fdvoje vylep\u0161en\u00fdch aritmetick\u00fdch po\u010d\u00edta\u010d\u016f. Dotkli se skute\u010dn\u00e9ho po\u010d\u00edta\u010de \u2014 fyzick\u00e9ho a ment\u00e1ln\u00edho n\u00e1stroje, kter\u00fd n\u00e1m pom\u00e1h\u00e1 p\u0159em\u00fd\u0161let. Nau\u010dili se opravdu efektivn\u00ed zp\u016fsob, jak p\u0159edstavit \u010d\u00edsla \u2014 \u00fa\u010dinn\u011bj\u0161\u00ed ne\u017e to, co se vyu\u010duje ve \u0161kol\u00e1ch!<\/p>\n

Poda\u0159ilo se jim spojit jejich zdravou my\u0161lenku \"p\u0159id\u00e1v\u00e1n\u00ed\" jako \"nashrom\u00e1\u017ed\u011bn\u00ed\" s n\u011b\u010d\u00edm podobn\u00fdm s nov\u00fdmi mocn\u00fdmi vlastnostmi. Naprogramovali ho tak, aby bylo schopn\u00e9 \u0159e\u0161it r\u016fzn\u00e9 probl\u00e9my.<\/p>\n

Tak\u00e9 ho roz\u0161\u00ed\u0159ili. A tak d\u00e1le. Nen\u00ed to digit\u00e1ln\u00ed po\u010d\u00edta\u010d. A nen\u00ed to po\u010d\u00edta\u010d s ulo\u017eiteln\u00fdm programem. Ale to je podstata po\u010d\u00edta\u010de. P\u0159esn\u011b tak, jak antikyteransk\u00fd mechanismus<\/a><\/noindex> \u2014 to je vlastn\u011b podstatou po\u010d\u00edta\u010de a v\u00fdpo\u010dt\u016f.<\/p>\n

\"Alan<\/p>\n

Antikyteransk\u00fd mechanismus<\/i><\/p>\n

Jak daleko m\u016f\u017eeme zaj\u00edt a kolik toho m\u016f\u017eeme ud\u011blat, ne\u017e v\u0161echno vyjde z kontroly a ztrat\u00edme se v abstrakc\u00edch? V\u017edy m\u011b zaj\u00edmala charakteristika Alana Perlis<\/a><\/noindex> \u2014 prvn\u00edho laure\u00e1ta Turingovy ceny, kter\u00fd pravd\u011bpodobn\u011b vynalezl term\u00edn \u201epo\u010d\u00edta\u010dov\u00e1 v\u011bda\u201c \u2014 kter\u00fd v 60. letech \u0159ekl: \u201ePo\u010d\u00edta\u010dov\u00e1 v\u011bda je v\u011bdou o procesech\u201c. O v\u0161ech procesech.<\/p>\n

Pro spole\u010dnost Quora se nesna\u017eme to d\u00e1le zkomplikovat nebo prom\u011bnit v n\u00e1bo\u017eenskou doktr\u00ednu. Poj\u010fme prost\u011b \u0161\u0165astn\u011b pou\u017e\u00edvat tuto my\u0161lenku. Alan Perlis<\/a><\/noindex>, abychom l\u00e9pe p\u0159em\u00fd\u0161leli o na\u0161\u00ed oblasti. A zejm\u00e9na o tom, jak ji u\u010dit. Nyn\u00ed se mus\u00edme pod\u00edvat na modern\u00ed v\u00fdznam \u201ev\u011bdy\u201c a Perlis byl docela p\u0159esv\u011bd\u010den, \u017ee by nem\u011bl b\u00fdt \u0159ed\u011bn star\u00fdmi v\u00fdznamy (nap\u0159\u00edklad takov\u00fdm, jako je \u201eshroma\u017e\u010fov\u00e1n\u00ed znalost\u00ed\u201c) a pou\u017eit\u00edmi (nap\u0159\u00edklad \u201eknihovnictv\u00ed\u201c nebo dokonce \u201espole\u010densk\u00e9 v\u011bdy\u201c). Pod \u201ev\u011bdou\u201c se sna\u017eil pochopit fenom\u00e9n, vytv\u00e1\u0159en\u00edm model\u016f\/map, kter\u00e9 se sna\u017e\u00ed uk\u00e1zat, \u201esledovat\u201c a p\u0159edv\u00eddat jevy.<\/p>\n

\"Alan<\/p>\n

D\u00e1val jsem n\u011bkolik rozhovor\u016f o tom, jak nejlep\u0161\u00ed mapy a modely mohou b\u00fdt \u010dasto vhodn\u00e9 pro tri\u010dko, tak, jak to d\u011blaj\u00ed Maxwellovy rovnice a dal\u0161\u00ed. Analogie spo\u010d\u00edv\u00e1 v tom, \u017ee existuje \u201ev\u011bda o mostech\u201c, p\u0159esto\u017ee v\u011bt\u0161ina most\u016f je vytvo\u0159ena \u010dlov\u011bkem. Jakmile je most postaven, odr\u00e1\u017e\u00ed jevy, kter\u00e9 si v\u011bdci mohou studovat, z most\u016f je mo\u017en\u00e9 vytvo\u0159it modely r\u016fzn\u00fdch typ\u016f a vyvinout komplexn\u00ed a u\u017eite\u010dn\u00e9 \u201eteorie most\u016f\u201c. Z\u00e1bava spo\u010d\u00edv\u00e1 v tom, \u017ee pot\u00e9 m\u016f\u017eete navrhovat a stav\u011bt nov\u00e9 mosty (u\u017e jsem zm\u00ednil, \u017ee pravd\u011bpodobn\u011b nen\u00ed nic z\u00e1bavn\u011bj\u0161\u00edho ne\u017e spole\u010dn\u00e1 pr\u00e1ce v\u011bdc\u016f a in\u017een\u00fdr\u016f na \u0159e\u0161en\u00ed velk\u00fdch a d\u016fle\u017eit\u00fdch probl\u00e9m\u016f!).<\/p>\n

\"Alan<\/p>\n

Herbert Simon \u2014 laure\u00e1t Turingovy ceny a Nobelovy ceny \u2014 to nazval \u201ev\u011bdami o um\u011bl\u00e9m\u201c (a napsal skv\u011blou knihu se stejn\u00fdm n\u00e1zvem).<\/p>\n

\"Alan<\/p>\n

Dovolte mi uv\u00e9st p\u0159\u00edklad. V 50. letech spole\u010dnosti a univerzity za\u010daly stav\u011bt po\u010d\u00edta\u010de s programovateln\u00fdm ulo\u017een\u00edm a za\u010daly je programovat \u2014 a byl zvl\u00e1\u0161tn\u00ed okam\u017eik, kdy v roce 1956 vznikl Fortran \u2014 kter\u00fd nebyl prvn\u00edm jazykem vysok\u00e9 \u00farovn\u011b, ale pravd\u011bpodobn\u011b prvn\u00edm, ud\u011blan\u00fdm natolik dob\u0159e, \u017ee se pou\u017e\u00edval v mnoha r\u016fzn\u00fdch oblastech, v\u010detn\u011b mnoha, kter\u00e9 byly d\u0159\u00edve prov\u00e1d\u011bny pouze v strojov\u00e9m jazyce.<\/p>\n

To v\u0161e vyvolalo \u201efenom\u00e9ny\u201c.<\/p>\n

\"Alan<\/p>\n

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

Historie Lispu je slo\u017eit\u011bj\u0161\u00ed, ale John McCarthy se zaj\u00edmal o snahu nal\u00e9zt \"matematickou teorii v\u00fdpo\u010dt\u016f\" a byl odhodl\u00e1n, aby v\u0161e fungovalo skv\u011ble. Funkce eval, kter\u00e1 interpretuje Lisp, se snadno vejde na tri\u010dko! Ve srovn\u00e1n\u00ed se \"syst\u00e9mem programov\u00e1n\u00ed\" je to zanedbateln\u00e9. Co je d\u016fle\u017eit\u011bj\u0161\u00ed, tato \"teorie v\u00fdpo\u010dt\u016f\" m\u011bla siln\u011bj\u0161\u00ed koncept ne\u017e Fortran! Byla to nejlep\u0161\u00ed idea mostu!<\/p>\n

Minimalismus Lispu umo\u017e\u0148uje cel\u00e9 my\u0161lence programov\u00e1n\u00ed b\u00fdt zachycena pomoc\u00ed n\u011bkolika stisknut\u00ed na hlub\u0161\u00ed \u00farovni a b\u00fdt promy\u0161lena na \u00farovni, kter\u00e1 se zd\u00e1 b\u00fdt prost\u011b nemo\u017en\u00e1, kdy\u017e se d\u00edv\u00e1te na obrovsk\u00e9 artefakty (to je jeden z d\u016fvod\u016f, pro\u010d v\u011bdci maj\u00ed r\u00e1di, kdy\u017e je matematika kompaktn\u00ed a siln\u00e1). Matematika zde pou\u017e\u00edvan\u00e1 je novou matematikou, jeliko\u017e dovoluje takov\u00e9 pojmy jako \"p\u0159ed\" a \"po\", a to vede k \"logice prom\u011bnn\u00e9 veli\u010diny\", kter\u00e1 umo\u017e\u0148uje uchov\u00e1vat jak funk\u010dn\u00ed z\u00e1vislost, tak logickou my\u0161lenku, a tak\u00e9 p\u0159itom p\u0159ipou\u0161t\u00ed pozici a tok \u010dasu. (To st\u00e1le nen\u00ed pochopeno v na\u0161\u00ed dob\u011b v krut\u00e9m sv\u011bt\u011b situacion\u00e1ln\u00edho programov\u00e1n\u00ed).<\/p>\n

Lisp, hraj\u00edc\u00ed roli mocn\u00e9ho programovac\u00edho jazyka a metalanguage, kter\u00fd je schopen p\u0159edstavit svou vlastn\u00ed teorii, je p\u0159\u00edkladem skute\u010dn\u00e9 informatiky. Pokud se ho nau\u010d\u00edte a dal\u0161\u00ed podobn\u00e9 v\u011bci, budete schopni hloub\u011bji p\u0159em\u00fd\u0161let a m\u00edt v\u011bt\u0161\u00ed odpov\u011bdnost za sv\u016fj vlastn\u00ed osud, ne\u017e kdy\u017e byste se pouze nau\u010dili programovat v Fortranu nebo jeho modern\u00edch ekvivalentech (... pak se p\u0159ibl\u00ed\u017e\u00edte k program\u00e1tor\u016fm!).<\/p>\n

Dozv\u00edte se mnohem v\u00edce o speci\u00e1ln\u00edch typech n\u00e1vrhu, kter\u00e9 jsou pot\u0159eba v v\u00fdpo\u010dtech (nap\u0159\u00edklad obvykle nen\u00ed cen\u011bno, kdy\u017e v\u00fdpo\u010dty \u010dasto vy\u017eaduj\u00ed p\u0159esahov\u00e1n\u00ed v\u00fdpo\u010detn\u00edho prost\u0159ed\u00ed: jednou z speci\u00e1ln\u00edch charakteristik ulo\u017een\u00fdch programov\u00fdch v\u00fdpo\u010dt\u016f je, \u017ee to nen\u00ed jen materi\u00e1l pro program, ale materi\u00e1l pro zcela nov\u00fd po\u010d\u00edta\u010d).<\/p>\n

Dal\u0161\u00edm d\u016fvodem volby definice Perlis je to, \u017ee v\u00fdpo\u010dty jsou obecn\u011b mnohem v\u00edce spojeny se syst\u00e9mov\u00fdm vytv\u00e1\u0159en\u00edm r\u016fzn\u00fdch typ\u016f ne\u017e s algoritmy, \"datov\u00fdmi strukturami\" nebo dokonce samotn\u00fdm programov\u00e1n\u00edm. Nap\u0159\u00edklad po\u010d\u00edta\u010d je syst\u00e9m, v\u00fdpo\u010dty jsou syst\u00e9my, lok\u00e1ln\u00ed s\u00ed\u0165 a internet jsou syst\u00e9my a v\u011bt\u0161ina program\u016f by m\u011bla p\u0159edstavovat lep\u0161\u00ed syst\u00e9my ne\u017e ty, kter\u00fdmi jsou (star\u00fd styl programov\u00e1n\u00ed z 50. let p\u0159e\u017eil tak dlouho, \u017ee se zd\u00e1, \u017ee programov\u00e1n\u00ed by takov\u00e9 m\u011blo b\u00fdt \u2014 nen\u00ed nic vzd\u00e1len\u011bj\u0161\u00edho pravd\u011b).<\/p>\n

Internet je dobr\u00fdm p\u0159\u00edkladem \u2014 na rozd\u00edl od v\u011bt\u0161iny program\u016f dne\u0161n\u00ed doby, internet nen\u00ed t\u0159eba zastavit, aby bylo mo\u017en\u00e9 n\u011bco opravit nebo vylep\u0161it \u2014 je to v\u00edce podobn\u00e9 biologick\u00e9mu syst\u00e9mu \u2014 podle na\u0161eho z\u00e1m\u011bru, ne\u017e tomu, co v\u011bt\u0161ina lid\u00ed pova\u017euje za v\u00fdpo\u010detn\u00ed syst\u00e9m. A je mnohem \u0161k\u00e1lovateln\u011bj\u0161\u00ed a spolehliv\u011bj\u0161\u00ed ne\u017e t\u00e9m\u011b\u0159 v\u0161echny softwarov\u00e9 syst\u00e9my, kter\u00e9 dnes existuj\u00ed. O tom je opravdu t\u0159eba p\u0159em\u00fd\u0161let p\u0159ed t\u00edm, ne\u017e za\u010dnete u\u010dit nov\u00e1\u010dky v programov\u00e1n\u00ed m\u00e9n\u011b mocn\u00fdm koncept\u016fm!<\/p>\n

Tak\u017ee to, co mus\u00edme ud\u011blat na prvn\u00edm kurzu informatiky, je vz\u00edt v \u00favahu, co konkr\u00e9tn\u011b mohou studenti d\u011blat na za\u010d\u00e1tku, a pot\u00e9 se sna\u017eit z\u016fstat v r\u00e1mci jejich \"kognitivn\u00ed z\u00e1t\u011b\u017ee\", abychom jim pomohli dostat se k tomu, co je opravdu d\u016fle\u017eit\u00e9. Je velmi d\u016fle\u017eit\u00e9 \"z\u016fstat skute\u010dn\u00fd\" a naj\u00edt cesty, kter\u00e9 jsou intelektu\u00e1ln\u011b poctiv\u00e9 a vyhovuj\u00ed t\u011bm, kte\u0159\u00ed pr\u00e1v\u011b za\u010d\u00ednaj\u00ed se vzd\u011bl\u00e1v\u00e1n\u00edm. (Pros\u00edm, neu\u010dte \u0161patn\u00e9 my\u0161lenky jen proto, \u017ee se zdaj\u00ed o n\u011bco jednodu\u0161\u0161\u00ed \u2014 mnoho \u0161patn\u00fdch my\u0161lenek je ve skute\u010dnosti mnohem jednodu\u0161\u0161\u00edch!).<\/p>\n

Studenti by m\u011bli za\u010d\u00edt t\u00edm, \u017ee vytvo\u0159\u00ed n\u011bco, co m\u00e1 mno\u017estv\u00ed d\u016fle\u017eit\u00fdch vlastnost\u00ed, o kter\u00fdch zde hovo\u0159\u00edm. M\u011bla by to b\u00fdt soustava n\u011bkolika dynamicky vz\u00e1jemn\u011b interaguj\u00edc\u00edch \u010d\u00e1st\u00ed a tak d\u00e1le. Dobr\u00e9 \u0159e\u0161en\u00ed pro ur\u010den\u00ed, jak\u00fd programovac\u00ed jazyk pou\u017e\u00edt, je prost\u011b ud\u011blat n\u011bco, co m\u00e1 tis\u00edce vz\u00e1jemn\u011b interaguj\u00edc\u00edch \u010d\u00e1st\u00ed! Pokud to nen\u00ed mo\u017en\u00e9, m\u011bli byste takov\u00e9 naj\u00edt. Nejhor\u0161\u00ed, co m\u016f\u017eete ud\u011blat, je postavit studenty na cestu p\u0159\u00edli\u0161 slab\u00e9 zdatnosti, kter\u00e1 by v\u00fdznamn\u011b omezovala rozs\u00e1hl\u00e9 my\u0161lenky. To je prost\u011b zab\u00edj\u00ed \u2013 a my je chceme rozv\u00edjet, ne ni\u010dit.<\/p>\n

O \u0161kole GoTo<\/h3>\n

\"Alan<\/p>\n