{"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\/da\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay: hvordan jeg ville undervise Computer Science 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\u00abEn af grundene til faktisk at starte p\u00e5 universitetet er at bev\u00e6ge sig ud over blot professionel tr\u00e6ning og i stedet gribe fat i dybere id\u00e9er.\u00bb<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

Lad os t\u00e6nke lidt over dette sp\u00f8rgsm\u00e5l. For nogle \u00e5r siden inviterede afdelingen for datalogi mig til at holde forel\u00e6sninger p\u00e5 flere universiteter. N\u00e6sten tilf\u00e6ldigt spurgte jeg min f\u00f8rste klasse, best\u00e5ende af kandidater, ph.d.-studerende og professorer, om deres definition af 'datalogi'. Alle kunne kun give en ingeni\u00f8rm\u00e6ssig definition. Jeg har gjort dette p\u00e5 hvert nyt sted, og resultaterne var ensartede overalt.<\/p>\n

Et andet sp\u00f8rgsm\u00e5l var: 'Hvem er Douglas Engelbart?'. Flere mennesker sagde: 'Var han ikke p\u00e5 en m\u00e5de relateret til computermusen?' (Og det skuffede mig meget, da mit videnskabelige samfund har bestr\u00e6bt sig meget p\u00e5, at det skulle v\u00e6re muligt at besvare dette sp\u00f8rgsm\u00e5l efter to-tre museklik og sikre, at Engelbart faktisk var relateret til computermusen).<\/p>\n

Delvist var problemet manglen p\u00e5 nysgerrighed, delvist sn\u00e6vre personlige m\u00e5l, som ikke var relateret til l\u00e6ring, og delvist manglen p\u00e5 forestilling om, hvad denne videnskab indeb\u00e6rer, og s\u00e5 videre.<\/p>\n

Jeg har arbejdet halvdags p\u00e5 datalogiafdelingen ved Californien Universitet i flere \u00e5r (faktisk er jeg professor, men jeg beh\u00f8ver ikke at deltage i afdelingsm\u00f8der). Af og til underviser jeg, nogle gange for f\u00f8rste\u00e5rs studerende. I l\u00f8bet af disse \u00e5r er det allerede lave niveau af nysgerrighed over for datalogi blevet betydeligt lavere (men derimod er niveauet for popularitet steget, da datalogi betragtes som en vej til et velbetalt job, hvis du kan programmere og har f\u00e5et et certifikat fra en af de bedste 10 skoler). Derfor har ingen studerende endnu klaget over, at det prim\u00e6re programmeringssprog p\u00e5 Californien Universitet er C++!
\n<\/a><\/noindex>
\nJeg mener, vi st\u00e5r over for en situation, hvor b\u00e5de v\u00e6rdierne \"Computer\" og \"Videnskab\" er blevet nedbrudt af svage massede begreber for at skabe et nyt udtryk \u2014 en slags label p\u00e5 jeans \u2014 som lyder godt, men er temmelig tomt. Det tilknyttede udtryk, som ogs\u00e5 er blevet nedbrudt, \"software engineering\", som igen ikke anvendte de mest geniale ideer fra \"programmering\" og \"ingeni\u00f8rvidenskab\", men blot kombinerede dem (det blev bevidst gjort i tresserne, da termen blev opfundet).<\/p>\n

En af grundene til rent faktisk at tage p\u00e5 universitetet er at g\u00e5 ud over simpel faglig uddannelse og i stedet gribe fat i dybere id\u00e9er. Det virker ret fornuftigt for en indf\u00f8ring i fagomr\u00e5det at fors\u00f8ge \u2014 hvis det er muligt, ved hj\u00e6lp af eksempler \u2014 at f\u00e5 de studerende til at engagere sig i virkelige problemer og begynde at forst\u00e5, hvad der faktisk er interessant, vigtigt og centralt inden for dette omr\u00e5de.<\/p>\n

F\u00f8rsteklasseseleverne gl\u00e6der sig, n\u00e5r de f\u00e5r at vide, hvordan en lineal over en anden lineal bliver til en regnemaskine, som de kan bruge til at overg\u00e5 femteklasseseleverne, n\u00e5r de tilf\u00f8jer br\u00f8kdele. Og derefter vil de blive glade for at deltage i udviklingen af forbedrede regnemaskiner. De har haft kontakt til en rigtig computer \u2014 et fysisk og mentalt redskab, der hj\u00e6lper os med at t\u00e6nke. De har l\u00e6rt en virkelig effektiv m\u00e5de at repr\u00e6sentere tal p\u00e5 \u2014 mere effektivt end det, der undervises i skolerne!<\/p>\n

De kunne forbinde deres sunde id\u00e9 om \"tilf\u00f8jelse\" som \"akkumulation\" med noget lignende med nye kraftfulde egenskaber. De programmerede det s\u00e5ledes, at det kunne l\u00f8se forskellige problemer.<\/p>\n

De udvidede det ogs\u00e5. Og s\u00e5 videre. Dette er ikke en digital computer. Og det er ikke en computer med en mindev\u00e6rdig software. Men det er essensen af en computer. Ligesom Antikythera-mekanismen<\/a><\/noindex> \u2014 er det i sin helhed essensen af computere og beregninger.<\/p>\n

\"Alan<\/p>\n

Antikythera-mekanismen<\/i><\/p>\n

Hvor langt kan vi g\u00e5 og hvor meget kan vi g\u00f8re, f\u00f8r alt g\u00e5r ud af kontrol, og vi mister os i abstraktioner? Jeg har altid v\u00e6ret opsat p\u00e5 karakteristikken af Alan Perlis<\/a><\/noindex> \u2014 den f\u00f8rste vinder af Turing-prisen, som muligvis opfandt termen \u00abComputer Science\u00bb \u2014 som i 60'erne sagde: \u00abComputer Science er videnskaben om processer\u00bb. Alle processer.<\/p>\n

For Quoras skyld, lad os ikke pr\u00f8ve at presse dette videre eller g\u00f8re det til en religi\u00f8s doktrin. Lad os bare bruge ideen lykkeligt. Alain Perlis<\/a><\/noindex>, for bedre at t\u00e6nke over vores omr\u00e5de. Og is\u00e6r over, hvordan vi skal undervise i det. Nu skal vi se p\u00e5 den moderne betydning af \u00abvidenskab\u00bb, og Perlis var ret sikker p\u00e5, at det ikke skulle fortyndes med gamle betydninger (for eksempel noget som \u00abindsamling af viden\u00bb) og anvendelser (som \u00abbiblioteksv\u00e6sen\u00bb eller endda \u00absamfundsvidenskab\u00bb). Under \u00abvidenskab\u00bb fors\u00f8gte han at forst\u00e5 f\u00e6nomenet ved at skabe modeller\/kort, der fors\u00f8ger at vise, \u00abspore\u00bb og forudsige f\u00e6nomener.<\/p>\n

\"Alan<\/p>\n

Jeg har givet flere interviews om, hvordan de bedste kort og modeller ofte kan passe til en t-shirt, ligesom Maxwells ligninger og andre g\u00f8r. Analogien er, at der er en \u00abvidenskab om broer\u00bb, selvom de fleste broer er lavet af mennesker. Men s\u00e5 snart en bro er bygget, afspejler den f\u00e6nomener, som forskere kan studere, og fra broer kan der laves modeller af mange slags og danne omfattende og nyttige \u00abbroteorier\u00bb. Det sjove er, at man derefter kan designe og bygge nye broer (jeg har allerede n\u00e6vnt, at der n\u00e6ppe er noget mere sjovt end samarbejde mellem forskere og ingeni\u00f8rer for at l\u00f8se store og vigtige problemer!)<\/p>\n

\"Alan<\/p>\n

Herbert Simon \u2014 Turing-prisvinder og Nobelpristager \u2014 kaldte det hele \u00abkunstig videnskab\u00bb (og skrev en fantastisk bog med den titel).<\/p>\n

\"Alan<\/p>\n

Lad mig give et eksempel. I 50'erne byggede virksomheder og universiteter computere med hukommelsesprogrammer og begyndte at kode dem \u2014 og der var et s\u00e6rligt \u00f8jeblik, da Fortran dukkede op i 1956 \u2014 som ikke var det f\u00f8rste h\u00f8jniveau-sprog, men muligvis det f\u00f8rste, der blev lavet s\u00e5 godt, at det blev brugt i mange forskellige omr\u00e5der, herunder mange, der tidligere kun var gjort p\u00e5 maskinsprog.<\/p>\n

Alt dette skabte \u00abf\u00e6nomener\u00bb.<\/p>\n

\"Alan<\/p>\n

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

Historien om Lisp er mere kompleks, men John McCarthy var interesseret i at finde en \"matematisk teori om beregninger\" og var fast besluttet p\u00e5 at f\u00e5 det til at fungere perfekt. Funktionen eval, der fortolker Lisp, kan nemt komme p\u00e5 en T-shirt! Sammenlignet med \"programmeringssystemet\" er det ubetydeligt. Mere vigtigt er det, at denne \"beregningsteori\" havde en st\u00e6rkere koncept end Fortran! Det var den bedste broid\u00e9!<\/p>\n

Den kompakte natur af Lisp tillader, at hele id\u00e9en om programmering kan gribes med et par tryk p\u00e5 et dybere niveau og overvejes p\u00e5 et niveau, som virker fuldst\u00e6ndig umuligt, n\u00e5r du ser p\u00e5 de enorme artefakter (det er en af grundene til, at forskere elsker, at matematik er kompakt og kraftfuld). Den matematik, der anvendes her, er ny matematik, da den tillader begreber som \"f\u00f8r\" og \"efter\", hvilket f\u00f8rer til \"logik med variable st\u00f8rrelser\", der muligg\u00f8r bevarelsen af b\u00e5de funktionel afh\u00e6ngighed og logisk r\u00e6sonnering, mens den samtidig tillader tidens placering og forl\u00f8b. (Dette er stadig ikke forst\u00e5et i vores tid i den barske verden af situationsprogrammering).<\/p>\n

Lisp, der fungerer som et kraftfuldt programmeringssprog og metalanguage, der kan pr\u00e6sentere sin egen teori, er et eksempel p\u00e5 \u00e6gte datalogi. Hvis du l\u00e6rer det og andre lignende ting, vil du v\u00e6re i stand til at t\u00e6nke dybere og have mere ansvar for dit eget sk\u00e6bne, end hvis du blot l\u00e6rer at programmere i Fortran eller dets moderne \u00e6kvivalenter (... s\u00e5dan kan du n\u00e6rme dig programm\u00f8rer!).<\/p>\n

Du vil l\u00e6re langt mere om de s\u00e6rlige designformer, der er n\u00f8dvendige i beregninger (for eksempel v\u00e6rds\u00e6ttes det generelt ikke, n\u00e5r beregninger ofte kr\u00e6ver at g\u00e5 ud over den beregningsm\u00e6ssige kontekst: en af de s\u00e6rlige egenskaber ved gemte programberegninger er, at de ikke blot er materiale til et program, men materiale til en helt ny computer).<\/p>\n

En anden grund til at v\u00e6lge Perl's definition er, at beregning generelt er meget mere relateret til skabelsen af systemer af mange slags end til algoritmer, \"datastrukturer\" eller endda programmering som s\u00e5dan. For eksempel er en computer et system, beregninger er systemer, et lokalt netv\u00e6rk og internettet er systemer, og de fleste programmer b\u00f8r repr\u00e6sentere bedre systemer end dem, de egentlig er (den gamle programmeringsstil fra 50'erne har overlevet s\u00e5 l\u00e6nge, at det virker som om programmering b\u00f8r v\u00e6re s\u00e5dan \u2013 der er intet mere fjernt fra sandheden).<\/p>\n

Internettet er et godt eksempel \u2013 i mods\u00e6tning til de fleste programmer i vores tid beh\u00f8ver internettet ikke at blive stoppet for at reparere eller forbedre noget \u2013 det ligner mere et biologisk system \u2013 i henhold til vores intentioner, end hvad de fleste mennesker betragter som et beregningssystem. Og det er meget mere skalerbart og p\u00e5lideligt end n\u00e6sten alle eksisterende softwaresystemer i dag. Det er virkelig v\u00e6rd at overveje, f\u00f8r man underviser nybegyndere i programmering i ikke s\u00e5 kraftfulde koncepter!<\/p>\n

S\u00e5 hvad vi skal g\u00f8re i det f\u00f8rste kursus i Computer Science, er at tage h\u00f8jde for, hvad studenterne konkret kan g\u00f8re fra starten, og derefter fors\u00f8ge at holde os inden for deres \"kognitive belastning\" for at hj\u00e6lpe dem med at n\u00e5 frem til det, der virkelig betyder noget. Det er meget vigtigt at \"forblive \u00e6gte\" og finde veje, der er intellektuelt \u00e6rlige og passer til dem, der kun er begyndt at l\u00e6re. (V\u00e6r venlig ikke at undervise i d\u00e5rlige id\u00e9er, bare fordi de virker lidt lettere \u2013 mange d\u00e5rlige id\u00e9er er faktisk simplere!).<\/p>\n

Studerende b\u00f8r starte med at skabe noget, der har mange vigtige egenskaber, som jeg har diskuteret her. Det skal v\u00e6re et system af flere dynamisk interagerende dele og s\u00e5 videre. En god m\u00e5de at beslutte, hvilket programmeringssprog der skal anvendes, er simpelthen at g\u00f8re noget, der har tusindvis af interagerende dele! Hvis ikke, b\u00f8r du finde et s\u00e5dant. Det v\u00e6rste man kan g\u00f8re, er at s\u00e6tte studerende p\u00e5 en alt for svag bane, som st\u00e6rkt begr\u00e6nser store id\u00e9er. Det dr\u00e6ber dem simpelthen \u2014 og vi \u00f8nsker at udvikle dem, ikke dr\u00e6be dem.<\/p>\n

Om GoTo-skolen<\/h3>\n

\"Alan<\/p>\n