{"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\/pl\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay: jak uczy\u0142bym Informacj\u0119 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Jednym z powod\u00f3w, dla kt\u00f3rych naprawd\u0119 warto p\u00f3j\u015b\u0107 na uniwersytet, jest mo\u017cliwo\u015b\u0107 wyj\u015bcia poza prost\u0105 edukacj\u0119 zawodow\u0105 i zamiast tego uchwycenie g\u0142\u0119bszych idei.<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

Porozmawiajmy przez chwil\u0119 na ten temat. Kilka lat temu wydzia\u0142y Informatyki zaprosi\u0142y mnie do wyg\u0142oszenia wyk\u0142ad\u00f3w w kilku uniwersytetach. Prawie przypadkowo zapyta\u0142em swoj\u0105 pierwsz\u0105 publiczno\u015b\u0107, sk\u0142adaj\u0105c\u0105 si\u0119 z student\u00f3w ostatnich lat, doktorant\u00f3w i profesor\u00f3w, o ich definicj\u0119 \u201eInformatyki\u201d. Wszyscy potrafili poda\u0107 tylko definicj\u0119 in\u017cynieryjn\u0105. Powtarza\u0142em to w ka\u017cdym nowym miejscu i wsz\u0119dzie otrzymywa\u0142em podobne wyniki.<\/p>\n

Kolejnym pytaniem by\u0142o: \u201eKim jest Douglas Engelbart?\u201d. Kilka os\u00f3b powiedzia\u0142o: \u201eczy\u017c nie by\u0142 jako\u015b zwi\u0105zany z myszk\u0105 komputerow\u0105?\u201d (i to mnie bardzo rozczarowa\u0142o, poniewa\u017c moje \u015brodowisko naukowe w\u0142o\u017cy\u0142o wiele wysi\u0142ku, aby odpowied\u017a na to pytanie by\u0142a mo\u017cliwa po dw\u00f3ch-trzech klikni\u0119ciach myszk\u0105 i upewni\u0107 si\u0119, \u017ce Engelbart rzeczywi\u015bcie by\u0142 jako\u015b zwi\u0105zany z myszk\u0105 komputerow\u0105).<\/p>\n

Cz\u0119\u015bciowo problem polega\u0142 na braku ciekawo\u015bci, cz\u0119\u015bciowo na w\u0105skich osobistych celach, kt\u00f3re nie by\u0142y zwi\u0105zane z nauk\u0105, a cz\u0119\u015bciowo na braku wyobra\u017cenia o tym, czym jest ta dziedzina, i tak dalej.<\/p>\n

Od kilku lat pracuj\u0119 na p\u00f3\u0142 etatu na Wydziale Informatyki Uniwersytetu Kalifornijskiego (w zasadzie jestem profesorem, ale nie musz\u0119 chodzi\u0107 na zebrania wydzia\u0142u). Od czasu do czasu prowadz\u0119 zaj\u0119cia, czasami dla student\u00f3w pierwszego roku. W ci\u0105gu tych lat ju\u017c niski poziom ciekawo\u015bci do Informatyki znacznie si\u0119 obni\u017cy\u0142 (ale te\u017c wzros\u0142a popularno\u015b\u0107, poniewa\u017c informatyka jest postrzegana jako droga do dobrze p\u0142atnej pracy, je\u015bli potrafisz programowa\u0107 i zdoby\u0142e\u015b certyfikat w najlepszych 10 szko\u0142ach). W zwi\u0105zku z tym \u017caden student jeszcze nie skar\u017cy\u0142 si\u0119, \u017ce pierwszym j\u0119zykiem na Uniwersytecie Kalifornijskim jest C++!
\n<\/a><\/noindex>
\nWydaje mi si\u0119, \u017ce stali\u015bmy przed sytuacj\u0105, w kt\u00f3rej obie warto\u015bci \u201eKomputer\u201d i \u201eNauka\u201d zosta\u0142y rozbite przez s\u0142abe, masowe koncepcje, aby stworzy\u0107 nowy termin \u2014 co\u015b w rodzaju etykiety na d\u017cinsach \u2014 kt\u00f3ry brzmi dobrze, ale jest wystarczaj\u0105co pusty. Podobnie z tym terminem, kt\u00f3ry zosta\u0142 w podobny spos\u00f3b zrujnowany, \u201ein\u017cynieria oprogramowania\u201d, kt\u00f3ry znowu nie wykorzysta\u0142 najbardziej genialnych idei \u201eprogramowania\u201d i \u201ein\u017cynierii\u201d, a jedynie je po\u0142\u0105czy\u0142 (to by\u0142o celowe w latach sze\u015b\u0107dziesi\u0105tych, kiedy to termin zosta\u0142 wymy\u015blony).<\/p>\n

Jednym z powod\u00f3w, dla kt\u00f3rych tak naprawd\u0119 warto p\u00f3j\u015b\u0107 na uniwersytet, jest wyj\u015bcie poza prost\u0105 edukacj\u0119 zawodow\u0105 i zamiast tego uchwycenie g\u0142\u0119bszych idei. Wydaje mi si\u0119 ca\u0142kiem rozs\u0105dne, aby na wst\u0119pie do specjalizacji spr\u00f3bowa\u0107 \u2014 je\u015bli to mo\u017cliwe, z przyk\u0142adami \u2014 sprawi\u0107, by uczniowie anga\u017cowali si\u0119 w rzeczywiste problemy i zacz\u0119li rozumie\u0107, co tak naprawd\u0119 jest interesuj\u0105ce, wa\u017cne i centralne w tej dziedzinie.<\/p>\n

Uczniowie pierwszych klas ciesz\u0105 si\u0119, gdy pokazuje si\u0119 im, jak linijka na\u0142o\u017cona na inn\u0105 linijk\u0119 staje si\u0119 arytmometrem, za pomoc\u0105 kt\u00f3rego mog\u0105 przegoni\u0107 pi\u0105t\u0105 klas\u0119 w dodawaniu u\u0142amk\u00f3w. A potem b\u0119d\u0105 szcz\u0119\u015bliwi, bior\u0105c udzia\u0142 w opracowywaniu ulepszonych arytmometr\u00f3w. Mieli kontakt z prawdziwym komputerem \u2014 fizycznym i mentalnym narz\u0119dziem, kt\u00f3re pomaga nam my\u015ble\u0107. Nauczyli si\u0119 naprawd\u0119 efektywnego sposobu reprezentacji liczb \u2014 bardziej skutecznego ni\u017c uczy si\u0119 w szko\u0142ach!<\/p>\n

Uda\u0142o im si\u0119 po\u0142\u0105czy\u0107 ich zdrow\u0105 ide\u0119 \u201edodawania\u201d jako \u201egromadzenia\u201d z czym\u015b podobnym i nowymi, pot\u0119\u017cnymi w\u0142a\u015bciwo\u015bciami. Zaprogramowali to tak, aby mog\u0142o rozwi\u0105zywa\u0107 r\u00f3\u017cnorodne problemy.<\/p>\n

Rozszerzyli go tak\u017ce. I tak dalej. To nie jest komputer cyfrowy. I nie jest to komputer z pami\u0119ci\u0105 programu. Ale to istota komputera. Tak samo jak mechanizm antikitheryjski<\/a><\/noindex> to w og\u00f3le istota komputera i oblicze\u0144.<\/p>\n

\"Alan<\/p>\n

Mechanizm antikitheryjski<\/i><\/p>\n

Jak daleko mo\u017cemy zaj\u015b\u0107 i ile mo\u017cemy zrobi\u0107, zanim wszystko wymknie si\u0119 spod kontroli i zgubimy si\u0119 w abstrakcjach? Zawsze by\u0142em wra\u017cliwy na cech\u0119 Alana Perlis<\/a><\/noindex> \u2014 pierwszego laureata nagrody Turinga, kt\u00f3ry by\u0107 mo\u017ce wymy\u015bli\u0142 termin \u201einformatyka\u201d \u2014 kt\u00f3ry w latach 60. powiedzia\u0142: \u201eInformatyka to nauka o procesach\u201d. O wszystkich procesach.<\/p>\n

Dla dobra firmy Quora nie b\u0119dziemy pr\u00f3bowa\u0107 tego dalej rozwija\u0107 ani przekszta\u0142ca\u0107 w religijn\u0105 dogm\u0119. Po prostu cieszmy si\u0119 ide\u0105. Alan Perlis<\/a><\/noindex>, aby lepiej zastanowi\u0107 si\u0119 nad nasz\u0105 dziedzin\u0105. I szczeg\u00f3lnie nad tym, jak tego uczy\u0107. Teraz musimy spojrze\u0107 na wsp\u00f3\u0142czesne znaczenie \u201enauki\u201d, a Perlis by\u0142 do\u015b\u0107 przekonany, \u017ce nie powinno by\u0107 rozcie\u0144czane starymi znaczeniami (np. takim jak \u201ezbieranie wiedzy\u201d) i zastosowaniami (na przyk\u0142ad \u201ebibliotekoznawstwo\u201d czy nawet \u201enauki spo\u0142eczne\u201d). Pod \u201enauk\u0105\u201d pr\u00f3bowa\u0142 zrozumie\u0107 fenomen, tworz\u0105c modele\/mapy, kt\u00f3re pr\u00f3buj\u0105 pokaza\u0107, \u201e\u015bledzi\u0107\u201d i przewidywa\u0107 zjawiska.<\/p>\n

\"Alan<\/p>\n

Da\u0142em kilka wywiad\u00f3w na temat tego, jak najlepsze mapy i modele mog\u0105 cz\u0119sto pasowa\u0107 do koszulki, tak jak r\u00f3wnania Maxwella i inne. Analogi\u0105 jest to, \u017ce istnieje \u201enauka o mostach\u201d, chocia\u017c wi\u0119kszo\u015b\u0107 most\u00f3w to dzie\u0142a ludzi. Ale gdy tylko most jest zbudowany, odzwierciedla zjawiska, kt\u00f3re naukowcy mog\u0105 bada\u0107; z most\u00f3w mo\u017cna stworzy\u0107 modele wielu rodzaj\u00f3w i formu\u0142owa\u0107 wszechstronne oraz u\u017cyteczne \u201eteorie most\u00f3w\u201d. Zabawne jest to, \u017ce mo\u017cna nast\u0119pnie zaprojektowa\u0107 i zbudowa\u0107 nowe mosty (ju\u017c wspomina\u0142em, \u017ce niewiele jest rzeczy bardziej zabawnych ni\u017c wsp\u00f3\u0142praca naukowc\u00f3w i in\u017cynier\u00f3w w rozwi\u0105zywaniu du\u017cych i wa\u017cnych problem\u00f3w!).<\/p>\n

\"Alan<\/p>\n

Herbert Simon \u2014 laureat nagrody Turinga i Nagrody Nobla \u2014 nazwa\u0142 to wszystko \u201enauk\u0105 o sztucznym\u201d (i napisa\u0142 wspania\u0142\u0105 ksi\u0105\u017ck\u0119 o tym samym tytule).<\/p>\n

\"Alan<\/p>\n

Pozw\u00f3lcie, \u017ce podam przyk\u0142ad. W latach 50. firmy i uniwersytety budowa\u0142y komputery z programem zapisywalnym i zaczyna\u0142y je programowa\u0107 \u2014 by\u0142 szczeg\u00f3lny moment, kiedy w 1956 roku pojawi\u0142 si\u0119 Fortran \u2014 kt\u00f3ry nie by\u0142 pierwszym j\u0119zykiem wysokiego poziomu, ale by\u0107 mo\u017ce pierwszym, stworzonym na tyle dobrze, aby jego u\u017cywa\u0107 w wielu r\u00f3\u017cnych dziedzinach, w tym w wielu, kt\u00f3re wcze\u015bniej by\u0142y realizowane tylko w j\u0119zyku maszynowym.<\/p>\n

To wszystko wywo\u0142a\u0142o \u201efenomeny\u201d.<\/p>\n

\"Alan<\/p>\n

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

Historia Lispa jest bardziej skomplikowana, ale John McCarthy by\u0142 zafascynowany pr\u00f3b\u0105 znalezienia \"matematycznej teorii oblicze\u0144\" i by\u0142 zdeterminowany, aby wszystko dzia\u0142a\u0142o doskonale. Funkcja eval, kt\u00f3ra interpretuje Lisp, z \u0142atwo\u015bci\u0105 zmie\u015bci si\u0119 na koszulce! W por\u00f3wnaniu do \"systemu programowania\" \u2014 to drobnostka. Co wa\u017cniejsze, ta \"teoria oblicze\u0144\" mia\u0142a pot\u0119\u017cniejsz\u0105 koncepcj\u0119 ni\u017c Fortran! To by\u0142 najlepszy pomys\u0142 na most!<\/p>\n

Minimalizm Lispa pozwala uchwyci\u0107 ca\u0142\u0105 ide\u0119 programowania za pomoc\u0105 kilku klikni\u0119\u0107 na g\u0142\u0119bszym poziomie i rozwa\u017cy\u0107 j\u0105 na poziomie, kt\u00f3ry wydaje si\u0119 zupe\u0142nie niemo\u017cliwy, gdy patrzy si\u0119 na ogromne artefakty (to jedna z przyczyn, dla kt\u00f3rych naukowcy uwielbiaj\u0105, gdy matematyka jest zwi\u0119z\u0142a i pot\u0119\u017cna). Matematyka u\u017cyta tutaj jest now\u0105 matematyk\u0105, poniewa\u017c dopuszcza takie poj\u0119cia jak \"przed\" i \"po\", co prowadzi do \"logiki zmiennej wielko\u015bci\", kt\u00f3ra pozwala zachowa\u0107 zar\u00f3wno funkcjonaln\u0105 zale\u017cno\u015b\u0107, jak i logiczny tok my\u015blenia, jednocze\u015bnie dopuszczaj\u0105c stan i up\u0142yw czasu. (To wci\u0105\u017c nie jest zrozumiane w naszych czasach w brutalnym \u015bwiecie programowania sytuacyjnego).<\/p>\n

Lisp, b\u0119d\u0105cy pot\u0119\u017cnym j\u0119zykiem programowania i metaj\u0119zykiem zdolnym do przedstawienia w\u0142asnej teorii, jest przyk\u0142adem prawdziwej nauki komputerowej. Je\u015bli go opanujesz oraz inne podobne rzeczy, b\u0119dziesz m\u00f3g\u0142 my\u015ble\u0107 g\u0142\u0119biej i ponosi\u0107 wi\u0119ksz\u0105 odpowiedzialno\u015b\u0107 za swoj\u0105 w\u0142asn\u0105 przysz\u0142o\u015b\u0107, ni\u017c gdyby\u015b po prostu nauczy\u0142 si\u0119 programowa\u0107 w Fortranie lub jego nowoczesnych odpowiednikach (\u2026 tak zbli\u017cysz si\u0119 do programist\u00f3w!).<\/p>\n

Dowiesz si\u0119 znacznie wi\u0119cej o specjalnych rodzajach projektowania, kt\u00f3re s\u0105 potrzebne w obliczeniach (na przyk\u0142ad zwykle nie docenia si\u0119, gdy obliczenia cz\u0119sto wymagaj\u0105 wyj\u015bcia poza \u015brodowisko obliczeniowe: jedna z charakterystycznych cech przechowywanych program\u00f3w obliczeniowych polega na tym, \u017ce to nie tylko materia\u0142 na program, ale materia\u0142 na zupe\u0142nie nowy komputer).<\/p>\n

Inna przyczyna wyboru definicji Perlisa polega na tym, \u017ce og\u00f3lnie rzecz bior\u0105c, obliczenia s\u0105 bardziej zwi\u0105zane z tworzeniem system\u00f3w r\u00f3\u017cnego rodzaju ni\u017c z algorytmem, 'strukturami danych' czy nawet programowaniem jako takim. Na przyk\u0142ad komputer to system, obliczenia to systemy, sie\u0107 lokalna i internet to systemy, a wi\u0119kszo\u015b\u0107 program\u00f3w powinna stanowi\u0107 lepsze systemy ni\u017c te, kt\u00f3rymi s\u0105 (stary styl programowania z lat 50. przetrwa\u0142 do momentu, w kt\u00f3rym wydaje si\u0119, \u017ce programowanie powinno by\u0107 takie \u2014 nie ma nic bardziej odleg\u0142ego od prawdy).<\/p>\n

Internet jest dobrym przyk\u0142adem \u2014 w przeciwie\u0144stwie do wi\u0119kszo\u015bci program\u00f3w wsp\u00f3\u0142czesnych czas\u00f3w, nie trzeba go zatrzymywa\u0107, aby co\u015b naprawi\u0107 lub ulepszy\u0107 \u2014 bardziej przypomina system biologiczny \u2014 wed\u0142ug naszego zamys\u0142u, ni\u017c to, co wi\u0119kszo\u015b\u0107 ludzi uwa\u017ca za system obliczeniowy. Jest znacznie bardziej skalowalny i niezawodny ni\u017c prawie wszystkie systemy programowe istniej\u0105ce dzisiaj. To naprawd\u0119 warto przemy\u015ble\u0107, zanim zaczniemy uczy\u0107 pocz\u0105tkuj\u0105cych w programowaniu mniej pot\u0119\u017cnych koncepcji!<\/p>\n

Zatem, co musimy zrobi\u0107 na pierwszym kursie informatyki, to wzi\u0105\u0107 pod uwag\u0119, co studenci mog\u0105 faktycznie zrobi\u0107 na pocz\u0105tku, a nast\u0119pnie stara\u0107 si\u0119 pozosta\u0107 w granicach ich 'obci\u0105\u017cenia poznawczego', aby pom\u00f3c im dotrze\u0107 do tego, co naprawd\u0119 wa\u017cne. Bardzo wa\u017cne jest, aby 'pozosta\u0107 autentycznym' i znale\u017a\u0107 drogi, kt\u00f3re b\u0119d\u0105 intelektualnie uczciwe i odpowiednie dla tych, kt\u00f3rzy dopiero zaczynaj\u0105 nauk\u0119. (Prosz\u0119, nie nauczajcie z\u0142ych pomys\u0142\u00f3w tylko dlatego, \u017ce wydaj\u0105 si\u0119 nieco prostsze \u2014 wiele z\u0142ych pomys\u0142\u00f3w w rzeczywisto\u015bci jest prostszych!).<\/p>\n

Studenci powinni rozpocz\u0105\u0107 od stworzenia czego\u015b, co mia\u0142oby wiele wa\u017cnych cech, kt\u00f3re om\u00f3wi\u0142em tutaj. Powinna to by\u0107 system sk\u0142adaj\u0105cy si\u0119 z kilku dynamicznie wsp\u00f3\u0142dzia\u0142aj\u0105cych cz\u0119\u015bci itd. Dobrym sposobem na podj\u0119cie decyzji, jaki j\u0119zyk programowania zastosowa\u0107, jest po prostu stworzenie czego\u015b, co ma tysi\u0105ce wsp\u00f3\u0142dzia\u0142aj\u0105cych cz\u0119\u015bci! Je\u015bli nie, powinni\u015bcie znale\u017a\u0107 co\u015b takiego. Najgorsze, co mo\u017cna zrobi\u0107, to postawi\u0107 student\u00f3w na \u015bcie\u017ck\u0119 zbyt s\u0142abej bieg\u0142o\u015bci, kt\u00f3ra mocno ogranicza\u0142aby ich wielkie pomys\u0142y. To po prostu ich zabija \u2014 a my chcemy ich rozwija\u0107, a nie zabija\u0107.<\/p>\n

O szkole GoTo<\/h3>\n

\"Alan<\/p>\n