{"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\/sl\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay: kako bi u\u010dio Ra\u010dunarske nauke 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Ena od razlogov, zakaj se dejansko vpisati na univerzo, je prekora\u010diti zgolj poklicno usposabljanje in se namesto tega oprijeti globljih idej.<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

Premislimo o tem vpra\u0161anju. Pred ve\u010d leti so me oddelki za ra\u010dunalni\u0161tvo povabili na predavanja na ve\u010d univerzah. Skoraj naklju\u010dno sem vpra\u0161al svoje prvo ob\u010dinstvo, ki je bilo sestavljeno iz \u0161tudentov zadnjega letnika, postdiplomcev in profesorjev, kako definirajo \u00bbra\u010dunalni\u0161tvo\u00ab. Vsi so lahko podali le in\u017eenirsko definicijo. To sem ponavljal na vsakem novem mestu in povsod so bili rezultati podobni.<\/p>\n

Drugo vpra\u0161anje je bilo: \u00bbKdo je Douglas Engelbart?\u00ab. Nekaj ljudi je reklo: \u00bbAli ni bil nekako povezan z mi\u0161ko?\u00ab (in to me je zelo razo\u010daralo, saj se je moja znanstvena skupnost mo\u010dno trudila, da bi lahko na to vpra\u0161anje odgovorili po dveh do treh klikih mi\u0161ke in se prepri\u010dali, da je Engelbart res povezan z ra\u010dunalni\u0161ko mi\u0161ko).<\/p>\n

Deloma je bila te\u017eava v pomanjkanju radovednosti, deloma v ozkosti osebnih ciljev, ki niso bili povezani z u\u010denjem, in deloma v pomanjkanju predstave o tem, kaj ta znanost sploh je, in tako naprej.<\/p>\n

Nekaj let delam s polovi\u010dnim delovnim \u010dasom na oddelku za ra\u010dunalni\u0161tvo Univerze v Kaliforniji (v bistvu sem profesor, a mi ni treba hoditi na sestanke oddelka). Ob\u010dasno vodim te\u010daje, v\u010dasih pri prvih letnikih. V teh letih se je \u017ee tako nizka raven radovednosti do ra\u010dunalni\u0161tva znatno zmanj\u0161ala (a tudi priljubljenost se je pove\u010dala, saj se ra\u010dunalni\u0161tvo obravnava kot pot do dobro pla\u010dane slu\u017ebe, \u010de zna\u0161 programirati in si pridobil certifikat na najbolj\u0161i deseterici \u0161ol). Tako noben \u0161tudent \u0161e ni poto\u017eil, da je prvi jezik na Univerzi v Kaliforniji C++!
\n<\/a><\/noindex>
\nZdi se mi, da smo se zna\u0161li v situaciji, kjer sta bili oba izraza \"Ra\u010dunalnik\" in \"Znanost\" podvr\u017eena \u0161ibkim masivnim konceptom, da bi ustvarila nov termin \u2013 nekak\u0161no etiketo na kavbojkah \u2013 ki zveni lepo, a je dovolj prazna. Povezan termin, ki je bil prav tako razdrobljen, \"programska in\u017eeniring\", ki ponovno ni izkoristil najbolj genijalnih idej \"programiranja\" in \"in\u017eeniringa\", temve\u010d ju je preprosto zdru\u017eil (to je bilo namenoma storjeno v \u0161estdesetih letih, ko je bil termin izumljen).<\/p>\n

Eden od razlogov, da se dejansko vpi\u0161ete na univerzo, je, da prese\u017eete preprosto poklicno usposabljanje in se namesto tega osredoto\u010dite na globlje ideje. Zdi se mi precej smiselno, da bi pri uvodu v strokovno podro\u010dje posku\u0161ali \u2013 \u010de je mogo\u010de, s pomo\u010djo primerov \u2013 zagotoviti, da se u\u010denci ukvarjajo z resni\u010dnimi problemi in za\u010dnejo razumeti, kar je v dejstvu zanimivo, pomembno in osrednje na tem podro\u010dju.<\/p>\n

Prvo\u0161olci se veselijo, ko jim poka\u017eejo, kako ravnila ena nad drugo postanejo aritmeti\u010dni pripomo\u010dek, s katerim lahko prehitijo u\u010dence petega razreda pri se\u0161tevanju decimalnih delov. Nato bodo sre\u010dni, ker bodo lahko sodelovali pri razvoju izbolj\u0161anih aritmeti\u010dnih pripomo\u010dkov. Dotaknili so se pravega ra\u010dunalnika \u2013 fizi\u010dnega in mentalnega orodja, ki nam pomaga razmi\u0161ljati. Nau\u010dili so se resni\u010dno u\u010dinkovitega na\u010dina za prikazovanje \u0161tevil \u2013 bolj u\u010dinkovitega, kot ga u\u010dijo v \u0161olah!<\/p>\n

Uspe\u0161no so povezali njihovo zdravo idejo \"se\u0161tevanja\" kot \"kopi\u010denja\" s \u010dim podobnim z novimi mo\u010dnimi lastnostmi. Programirali so ga tako, da je bilo sposobno re\u0161evati razli\u010dne probleme.<\/p>\n

Prav tako so ga raz\u0161irili. In tako naprej. To ni digitalni ra\u010dunalnik. In to ni ra\u010dunalnik z pomnilni\u0161kim programom. A to je bistvo ra\u010dunalnika. Prav tako kot antikite\u0161ki mehanizem<\/a><\/noindex> \u2013 to je sploh bistvo ra\u010dunalnika in ra\u010dunalni\u0161tva.<\/p>\n

\"Alan<\/p>\n

Antikite\u0161ki mehanizem<\/i><\/p>\n

Kako dale\u010d lahko gremo in koliko lahko naredimo, preden vse uide izpod nadzora in se izgubimo v abstrakcijah? Vedno me je zanimalo zna\u010dilnost Alana Perli\u0161a<\/a><\/noindex> \u2014 prvega dobitnika Turingove nagrade, ki je morda izumil izraz 'ra\u010dunalni\u0161tvo' \u2014 ki je v 60-ih letih dejal: 'Ra\u010dunalni\u0161tvo je znanost o procesih.' Vseh procesih.<\/p>\n

Zaradi podjetja Quora ne posku\u0161ajmo tega potiskati naprej ali spreminjati v religiozno dogmo. Preprosto u\u017eivajmo v ideji. Ala Perlis<\/a><\/noindex>, da bolje razmi\u0161ljamo o na\u0161em podro\u010dju. In \u0161e posebej o tem, kako ga pou\u010devati. Zdaj se moramo osredoto\u010diti na sodoben pomen 'znanosti', Perlis pa je bil precej prepri\u010dan, da ga ne bi smeli razred\u010diti s starimi pomeni (na primer tistimi, kot je 'pridobivanje znanja') in uporabi (kot je 'knjigovodska dejavnost' ali celo 'dru\u017ebene vede'). Pod 'znanostjo' je sku\u0161al razumeti fenomen, tako da je ustvarjal modele\/o zemljevide, ki posku\u0161ajo prikazati, 'slediti' in napovedovati pojave.<\/p>\n

\"Alan<\/p>\n

Dal sem nekaj intervjujev o tem, kako najbolj\u0161i zemljevidi in modeli velikokrat lahko ustrezajo majici, tako kot ustrezajo Maxwellove ena\u010dbe in druge. Analogija je, da obstaja 'znanost o mostovih', \u010deprav so ve\u010dino mostov naredili ljudje. Toda takoj ko je most zgrajen, prikazuje pojave, znanstveniki jih lahko preu\u010dujejo, iz mostov je mogo\u010de ustvariti modele razli\u010dnih vrst in oblikovati celovite in koristne 'teorije mostov'. Zabavno je, da potem lahko na\u010drtujemo in zgradimo nove mostove (\u017ee sem omenjal, da verjetno ni ni\u010d bolj zabavnega kot skupno delo znanstvenikov in in\u017eenirjev za re\u0161evanje velikih in pomembnih problemov!).<\/p>\n

\"Alan<\/p>\n

Herbert Simon, dobitnik Turingove nagrade in Nobelove nagrade, je to vse poimenoval 'znanosti o umetnem' (in napisal \u010dudovito knjigo s tem imenom).<\/p>\n

\"Alan<\/p>\n

Dovolite, da navedem primer. V 50-ih letih so podjetja in univerze za\u010dela graditi ra\u010dunalnike z shranjenim programom in jih za\u010dela programirati \u2014 in bil je poseben trenutek, ko je leta 1956 pri\u0161el Fortran \u2014 ki ni bil prvi jezik visoke ravni, vendar je bil morda prvi, izdelan tako dobro, da so ga uporabljali na mnogih razli\u010dnih podro\u010djih, vklju\u010dno z mnogimi, ki so bila prej narejena samo v strojni koda.<\/p>\n

To je povzro\u010dilo 'fenomene'.<\/p>\n

\"Alan<\/p>\n

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

Zgodovina Lisp-a je bolj zapletena, toda John McCarthy je bil zainteresiran za poskus iskanja \"matemati\u010dne teorije izra\u010dunavanja\" in bil je odlo\u010dn, da bo vse delovalo odli\u010dno. Funkcija eval, ki interpretira Lisp, se lahko enostavno natisne na majici! V primerjavi s \"programskim sistemom\" je to zanemarljivo. Kar je bolj pomembno, ta \"teorija izra\u010dunavanja\" je imela mo\u010dnej\u0161o konceptualizacijo kot Fortran! To je bila najbolj\u0161a mostna ideja!<\/p>\n

Majhnost Lisp-a omogo\u010da, da celotna ideja programiranja zajame le s parom pritiskov na vi\u0161ji ravni in se obravnava na nivoju, ki se zdi preprosto nemogo\u010d, ko gleda\u0161 na ogromne artefakte (to je eden izmed razlogov, zakaj znanstveniki radi vidijo matematiko compact in mo\u010dno). Matematika, ki je tukaj uporabljena, je nova matematika, saj dopu\u0161\u010da tak\u0161ne koncepte kot \"pred\" in \"po\", kar vodi do \"logike spremenljivih vrednosti\", ki omogo\u010da ohranjanje tako funkcionalne odvisnosti kot logi\u010dnega razmi\u0161ljanja, pri \u010demer dopusti tudi polo\u017eaj in potek \u010dasa. (To \u0161e vedno ni razumljeno v na\u0161em divjem svetu situacijskega programiranja).<\/p>\n

Lisp, ki deluje kot mo\u010dan programski jezik in meta-jezik, ki lahko predstavi svojo lastno teorijo, je primer prave ra\u010dunalni\u0161ke znanosti. \u010ce se ga nau\u010dite in \u0161e drugih podobnih stvari, boste lahko globlje razmi\u0161ljali in imeli ve\u010djo odgovornost za svojo lastno usodo, kot \u010de bi se samo nau\u010dili programirati v Fortranu ali njegovih sodobnih ekvivalentih (\u2026 tako se boste lahko pribli\u017eali programerjem!).<\/p>\n

Izvedeli boste veliko ve\u010d o posebnih vrstah oblikovanja, ki so potrebne v izra\u010dunih (na primer, obi\u010dajno se ne ceni, ko izra\u010duni pogosto zahtevajo izhod iz izra\u010dunskega okolja: ena izmed posebnih zna\u010dilnosti shranjenih programskih izra\u010dunov je, da to ni le material za program, temve\u010d material za povsem nov ra\u010dunalnik).<\/p>\n

Drug\u00e1 p\u0159\u00ed\u010dina v\u00fdb\u011bru definice Perlisa spo\u010d\u00edv\u00e1 v tom, \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, \u201edatov\u00fdmi strukturami\u201c nebo dokonce programov\u00e1n\u00edm jako takov\u00fdm. Nap\u0159\u00edklad po\u010d\u00edta\u010d je syst\u00e9m, v\u00fdpo\u010dty jsou syst\u00e9my, m\u00edstn\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 jak\u00fdmi ve skute\u010dnosti jsou (star\u00fd styl programov\u00e1n\u00ed z 50. let p\u0159e\u017eil a\u017e do okam\u017eiku, kdy se zd\u00e1, \u017ee programov\u00e1n\u00ed by m\u011blo b\u00fdt takov\u00e9 \u2014 nen\u00ed nic d\u00e1l od pravdy).<\/p>\n

Internet je dobr\u00fdm p\u0159\u00edkladem \u2014 na rozd\u00edl od v\u011bt\u0161iny dne\u0161n\u00edch program\u016f, internet nen\u00ed nutn\u00e9 zastavovat, abychom n\u011bco opravili nebo zlep\u0161ili \u2014 je to sp\u00ed\u0161e jako biologick\u00fd syst\u00e9m \u2014 podle na\u0161eho z\u00e1m\u011bru, ne\u017e to, 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 v sou\u010dasnosti existuj\u00ed. Opravu se skute\u010dn\u011b vyplat\u00ed promyslet, ne\u017e za\u010dneme u\u010dit nov\u00e1\u010dky v programov\u00e1n\u00ed takto slab\u00fdm koncept\u016fm!<\/p>\n

Tak\u017ee, co pot\u0159ebujeme ud\u011blat na prvn\u00ed hodin\u011b p\u0159edm\u011btu Po\u010d\u00edta\u010dov\u00e9 v\u011bdy, je vz\u00edt v \u00favahu, co konkr\u00e9tn\u011b mohou studenti na za\u010d\u00e1tku ud\u011blat, a pak se pokusit z\u016fstat v r\u00e1mci jejich \u201ekognitivn\u00ed z\u00e1t\u011b\u017ee\u201c, aby jim pomohlo dostat se k tomu, co je opravdu d\u016fle\u017eit\u00e9. Je naprosto z\u00e1sadn\u00ed \u201ez\u016fstat opravdov\u00fd\u201c a nal\u00e9zt cesty, kter\u00e9 by byly intelektu\u00e1ln\u011b poctiv\u00e9 a vhodn\u00e9 pro ty, kte\u0159\u00ed teprve za\u010d\u00ednaj\u00ed sv\u00e9 vzd\u011bl\u00e1n\u00ed. (Pros\u00edm, neu\u010dte \u0161patn\u00e9 my\u0161lenky jen proto, \u017ee se zdaj\u00ed o n\u011bco jednodu\u0161\u0161\u00ed \u2014 spousta \u0161patn\u00fdch my\u0161lenek je ve skute\u010dnosti jednodu\u0161\u0161\u00edch!).<\/p>\n

\u0160tudenti bi se morali za\u010deti z ustvarjanjem ne\u010desa, kar bi imelo \u0161tevilne pomembne zna\u010dilnosti, o katerih sem tukaj govoril. To mora biti sistem s \u0161tevilnimi dinami\u010dno medsebojno povezanimi deli itd. Dober na\u010din, da ugotovite, kateri programski jezik uporabiti, je preprosto narediti nekaj, kar ima na tiso\u010de sodelujo\u010dih delov! \u010ce ne, bi morali poiskati kaj takega. Najslab\u0161e, kar lahko storite, je, da \u0161tudente postavite na pot preve\u010d \u0161ibke fluentnosti, ki bi mo\u010dno omejila obse\u017ene ideje. To jih preprosto uni\u010di \u2014 mi pa jih \u017eelimo razvijati, ne uni\u010devati.<\/p>\n

O \u0161oli GoTo<\/h3>\n

\"Alan<\/p>\n