{"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\/fr\/blog\/news\/alan-kej-kak-by-ya-prepodaval-computer-science-101","title":{"rendered":"Alan Kay : comment j'enseignerais l'informatique 101","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\u00abUne des raisons de vraiment entrer \u00e0 l'universit\u00e9 est de franchir le cap d'une simple formation professionnelle pour s'accrocher \u00e0 des id\u00e9es plus profondes.\u00bb<\/i><\/p><\/blockquote>\n

\"Alan<\/p>\n

R\u00e9fl\u00e9chissons un peu \u00e0 cette question. Il y a quelques ann\u00e9es, les d\u00e9partements d'informatique m'ont invit\u00e9 \u00e0 donner des conf\u00e9rences dans plusieurs universit\u00e9s. Presque par hasard, j'ai demand\u00e9 \u00e0 mon premier auditoire, compos\u00e9 d'\u00e9tudiants en derni\u00e8re ann\u00e9e, de doctorants et de professeurs, leur d\u00e9finition de l'\u00ab informatique \u00bb. Tous n'ont pu donner qu'une d\u00e9finition technique. J'ai fait cela dans chaque nouvel endroit, et les r\u00e9sultats \u00e9taient similaires partout.<\/p>\n

Une autre question \u00e9tait : \u00ab Qui est Douglas Engelbart ? \u00bb. Plusieurs personnes ont dit : \u00ab n'\u00e9tait-il pas li\u00e9 \u00e0 la souris d'ordinateur ? \u00bb (et cela m'a beaucoup d\u00e9\u00e7u, car ma communaut\u00e9 scientifique a beaucoup travaill\u00e9 pour que la r\u00e9ponse \u00e0 cette question soit accessible apr\u00e8s deux ou trois clics de souris, et pour confirmer qu'Engelbart \u00e9tait effectivement li\u00e9 \u00e0 la souris d'ordinateur).<\/p>\n

En partie, le probl\u00e8me r\u00e9sidait dans le manque de curiosit\u00e9, en partie dans l'\u00e9troitesse des objectifs personnels qui n'\u00e9taient pas li\u00e9s \u00e0 l'apprentissage, en partie dans l'absence de compr\u00e9hension de ce qu'est cette science, et ainsi de suite.<\/p>\n

Je travaille \u00e0 temps partiel au d\u00e9partement d'informatique de l'Universit\u00e9 de Californie depuis plusieurs ann\u00e9es (en fait, je suis professeur, mais je n'ai pas \u00e0 assister aux r\u00e9unions du d\u00e9partement). Je donne p\u00e9riodiquement des cours, parfois aux \u00e9tudiants de premi\u00e8re ann\u00e9e. Au fil des ans, le faible niveau de curiosit\u00e9 pour l'informatique a consid\u00e9rablement diminu\u00e9 (mais le niveau de popularit\u00e9 a augment\u00e9, car l'informatique est consid\u00e9r\u00e9e comme un moyen d'acc\u00e9der \u00e0 un emploi bien r\u00e9mun\u00e9r\u00e9 si vous savez programmer et avez obtenu un dipl\u00f4me dans l'un des 10 meilleurs \u00e9tablissements). Par cons\u00e9quent, aucun \u00e9tudiant ne s'est encore plaint que le premier langage \u00e0 l'Universit\u00e9 de Californie soit le C++ !
\n<\/a><\/noindex>
\nIl me semble que nous avons rencontr\u00e9 une situation o\u00f9 les termes \u00ab Ordinateur \u00bb et \u00ab Science \u00bb ont \u00e9t\u00e9 d\u00e9valoris\u00e9s par des concepts massifs et faibles, pour cr\u00e9er un nouveau terme \u2014 une sorte d'\u00e9tiquette sur un jean \u2014 qui sonne bien, mais qui est assez vide. Un terme associ\u00e9, qui a \u00e9galement \u00e9t\u00e9 d\u00e9valoris\u00e9, est \u00ab ing\u00e9nierie logicielle \u00bb, qui, encore une fois, n\u2019a pas utilis\u00e9 les id\u00e9es les plus brillantes de \u00ab programmation \u00bb et \u00ab ing\u00e9nierie \u00bb, mais les a simplement combin\u00e9es (cela a \u00e9t\u00e9 intentionnellement fait dans les ann\u00e9es soixante, lors de l'invention du terme).<\/p>\n

Une des raisons de r\u00e9ellement entrer \u00e0 l'universit\u00e9 est de sortir du simple apprentissage professionnel et de s'attaquer \u00e0 des id\u00e9es plus profondes. Je trouve assez raisonnable, pour une introduction \u00e0 la sp\u00e9cialit\u00e9, d'essayer \u2014 si possible, avec des exemples \u2014 de faire en sorte que les apprenants s'attaquent \u00e0 de v\u00e9ritables probl\u00e8mes et commencent \u00e0 comprendre ce qui est vraiment int\u00e9ressant, important et central dans ce domaine.<\/p>\n

Les \u00e9l\u00e8ves de premi\u00e8re classe se r\u00e9jouissent lorsqu'on leur montre comment une r\u00e8gle sur une autre r\u00e8gle devient un instrument \u00e0 calculer, avec lequel ils peuvent surpasser les \u00e9l\u00e8ves de cinqui\u00e8me ann\u00e9e dans l'addition de fractions. Ensuite, ils seront ravis de participer \u00e0 l'\u00e9laboration d'instruments \u00e0 calculer am\u00e9lior\u00e9s. Ils ont touch\u00e9 \u00e0 un v\u00e9ritable ordinateur \u2014 un outil physique et mental qui nous aide \u00e0 penser. Ils ont appris une fa\u00e7on r\u00e9ellement efficace de repr\u00e9senter des nombres \u2014 plus efficace que la fa\u00e7on dont on enseigne \u00e0 l'\u00e9cole !<\/p>\n

Ils ont pu relier leur id\u00e9e saine \u00ab d'addition \u00bb en tant que \u00ab cumul \u00bb \u00e0 quelque chose d'analogue avec de nouvelles propri\u00e9t\u00e9s puissantes. Ils l'ont programm\u00e9 pour qu'il puisse r\u00e9soudre divers probl\u00e8mes.<\/p>\n

Ils l'ont \u00e9galement \u00e9largi. Et ainsi de suite. Ce n\u2019est pas un ordinateur num\u00e9rique. Et ce n\u2019est pas un ordinateur \u00e0 programme enregistr\u00e9. Mais c\u2019est l\u2019essence m\u00eame d\u2019un ordinateur. De m\u00eame que le m\u00e9canisme d'Anticyth\u00e8re<\/a><\/noindex> \u2014 c'est en fait l'essence m\u00eame de l'ordinateur et des calculs.<\/p>\n

\"Alan<\/p>\n

Le m\u00e9canisme d'Anticyth\u00e8re<\/i><\/p>\n

Jusqu'o\u00f9 pouvons-nous aller et que pouvons-nous accomplir avant que tout ne devienne ing\u00e9rable et que nous nous perdions dans les abstractions ? J'ai toujours \u00e9t\u00e9 sensible \u00e0 la caract\u00e9ristique d'Alan Perlis<\/a><\/noindex> le premier laur\u00e9at du prix Turing, qui a peut-\u00eatre invent\u00e9 le terme \u00ab informatique \u00bb \u2014 qui dans les ann\u00e9es 60 a d\u00e9clar\u00e9 : \u00ab L'informatique est la science des processus \u00bb. Tous les processus.<\/p>\n

Pour le compte de Quora, ne tentons pas d'en faire plus ou d'en faire une doctrine religieuse. Utilisons simplement l'id\u00e9e avec bonheur. Alan Perlis<\/a><\/noindex>, pour mieux r\u00e9fl\u00e9chir \u00e0 notre domaine. Et particuli\u00e8rement \u00e0 la mani\u00e8re de l'enseigner. Nous devons maintenant examiner la signification contemporaine de \u00ab science \u00bb, et Perlis \u00e9tait assez convaincu qu'elle ne devrait pas \u00eatre dilu\u00e9e par de anciennes significations (par exemple, comme \u00ab l'accumulation de connaissances \u00bb) et utilisations (comme \u00ab biblioth\u00e9conomie \u00bb ou m\u00eame \u00ab sciences sociales \u00bb). Par \u00ab science \u00bb, il essayait de comprendre le ph\u00e9nom\u00e8ne, en cr\u00e9ant des mod\u00e8les\/cartes qui essaient de montrer, de \u00ab suivre \u00bb et de pr\u00e9dire des ph\u00e9nom\u00e8nes.<\/p>\n

\"Alan<\/p>\n

J'ai donn\u00e9 quelques interviews sur la fa\u00e7on dont les meilleures cartes et mod\u00e8les peuvent souvent convenir \u00e0 un T-shirt, tout comme les \u00e9quations de Maxwell et d'autres. L'analogie est qu'il existe une \u00ab science des ponts \u00bb, m\u00eame si la plupart des ponts sont fabriqu\u00e9s par l'homme. Mais une fois le pont construit, il refl\u00e8te des ph\u00e9nom\u00e8nes, les scientifiques peuvent les \u00e9tudier, et \u00e0 partir des ponts, il est possible de cr\u00e9er des mod\u00e8les de diff\u00e9rents types et de former des \u00ab th\u00e9ories des ponts \u00bb compl\u00e8tes et utiles. L'amusement r\u00e9side dans le fait qu'ensuite, on peut concevoir et construire de nouveaux ponts (j'ai d\u00e9j\u00e0 mentionn\u00e9 qu'il est peu probable qu'il y ait quelque chose de plus amusant que la collaboration entre scientifiques et ing\u00e9nieurs pour r\u00e9soudre de grands et importants probl\u00e8mes !)<\/p>\n

\"Alan<\/p>\n

Herbert Simon, laur\u00e9at du prix Turing et prix Nobel, a tout cela appel\u00e9 \u00ab sciences de l'artificiel \u00bb (et a \u00e9crit un superbe livre portant ce m\u00eame titre).<\/p>\n

\"Alan<\/p>\n

Permettez-moi de donner un exemple. Dans les ann\u00e9es 50, les entreprises et les universit\u00e9s construisaient des ordinateurs \u00e0 programme enregistr\u00e9 et commen\u00e7aient \u00e0 les programmer \u2014 et il y a eu un moment particulier, en 1956, avec l'arriv\u00e9e de Fortran \u2014 qui n'\u00e9tait pas le premier langage de haut niveau, mais peut-\u00eatre le premier con\u00e7u de mani\u00e8re suffisamment ad\u00e9quate pour \u00eatre utilis\u00e9 dans de nombreux domaines diff\u00e9rents, y compris de nombreux domaines qui n'avaient jusque-l\u00e0 \u00e9t\u00e9 effectu\u00e9s qu'en langage machine.<\/p>\n

Tout cela a engendr\u00e9 des \u00ab ph\u00e9nom\u00e8nes \u00bb.<\/p>\n

\"Alan<\/p>\n

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

L'histoire de Lisp est plus complexe, mais John McCarthy \u00e9tait int\u00e9ress\u00e9 par la recherche d'une \u00ab th\u00e9orie math\u00e9matique du calcul \u00bb et \u00e9tait d\u00e9termin\u00e9 \u00e0 faire en sorte que tout fonctionne \u00e0 merveille. La fonction eval, qui interpr\u00e8te Lisp, se retrouve facilement sur un t-shirt ! Compar\u00e9 \u00e0 un \u00ab syst\u00e8me de programmation \u00bb, c'est d\u00e9risoire. Plus important encore, cette \u00ab th\u00e9orie du calcul \u00bb poss\u00e9dait une conception plus puissante que Fortran ! C'\u00e9tait la meilleure id\u00e9e de passerelle !<\/p>\n

La miniaturisation de Lisp permet \u00e0 toute l'id\u00e9e de la programmation d'\u00eatre saisie avec quelques frappes \u00e0 un niveau plus profond et d'\u00eatre r\u00e9fl\u00e9chie \u00e0 un niveau qui semble tout simplement impossible lorsque l'on regarde les \u00e9normes artefacts (c'est l'une des raisons pour lesquelles les scientifiques aiment que les math\u00e9matiques soient compactes et puissantes). Les math\u00e9matiques utilis\u00e9es ici sont de nouvelles math\u00e9matiques, car elles admettent des concepts comme \u00ab avant \u00bb et \u00ab apr\u00e8s \u00bb, et cela conduit \u00e0 la \u00ab logique de la variable \u00bb, qui permet de conserver \u00e0 la fois la d\u00e9pendance fonctionnelle et le raisonnement logique, tout en tenant compte de la position et du cours du temps. (C'est encore incompris de nos jours dans le cruel monde de la programmation contextuelle).<\/p>\n

Lisp, en tant que puissant langage de programmation et m\u00e9ta-langage capable de repr\u00e9senter sa propre th\u00e9orie, est un exemple de v\u00e9ritable science informatique. Si vous en apprenez ainsi que d'autres choses similaires, vous serez en mesure de penser plus profond\u00e9ment et d'assumer une plus grande responsabilit\u00e9 pour votre propre destin, que si vous appreniez simplement \u00e0 programmer en Fortran ou dans ses \u00e9quivalents modernes (\u2026 ainsi vous pourrez vous rapprocher des programmeurs !).<\/p>\n

Vous en apprendrez beaucoup plus sur les types de conception sp\u00e9cialis\u00e9s n\u00e9cessaires en informatique (par exemple, il n'est g\u00e9n\u00e9ralement pas appr\u00e9ci\u00e9 lorsque les calculs n\u00e9cessitent souvent de sortir du cadre informatique : l'une des caract\u00e9ristiques sp\u00e9ciales des calculs programm\u00e9s stock\u00e9s est que ce n'est pas juste du mat\u00e9riel pour un programme, mais du mat\u00e9riel pour un ordinateur compl\u00e8tement nouveau).<\/p>\n

Une autre raison de choisir la d\u00e9finition de Perlis est que, dans l'ensemble, le calcul est beaucoup plus li\u00e9 \u00e0 la cr\u00e9ation de syst\u00e8mes de plusieurs types qu'aux algorithmes, aux \u00ab structures de donn\u00e9es \u00bb ou m\u00eame \u00e0 la programmation en tant que telle. Par exemple, un ordinateur est un syst\u00e8me, le calcul est un syst\u00e8me, un r\u00e9seau local et Internet sont des syst\u00e8mes, et la plupart des programmes devraient constituer de bien meilleurs syst\u00e8mes que ceux qu'ils sont (le vieux style de programmation des ann\u00e9es 50 a surv\u00e9cu jusqu'\u00e0 un moment o\u00f9 il semble que la programmation doive \u00eatre ainsi - rien n'est plus \u00e9loign\u00e9 de la v\u00e9rit\u00e9).<\/p>\n

Internet est un bon exemple - contrairement \u00e0 la plupart des programmes de notre \u00e9poque, Internet n'a pas besoin d'\u00eatre arr\u00eat\u00e9 pour r\u00e9parer ou am\u00e9liorer quelque chose - il ressemble davantage \u00e0 un syst\u00e8me biologique - par notre intention, plut\u00f4t qu'\u00e0 ce que la plupart des gens consid\u00e8rent comme un syst\u00e8me informatique. Et il est beaucoup plus \u00e9volutif et fiable que presque tous les syst\u00e8mes logiciels existants aujourd'hui. Cela vaut vraiment la peine d'y r\u00e9fl\u00e9chir avant d'enseigner aux d\u00e9butants en programmation des concepts moins puissants !<\/p>\n

Donc, ce que nous devons faire dans le premier cours de Computer Science, c'est prendre en compte ce que les \u00e9tudiants peuvent r\u00e9ellement faire au tout d\u00e9but, puis essayer de rester dans leur \u00ab charge cognitive \u00bb pour les aider \u00e0 atteindre ce qui est vraiment important. Il est tr\u00e8s important de \u00ab rester authentique \u00bb et de trouver des voies qui soient intellectuellement honn\u00eates et qui conviennent \u00e0 ceux qui commencent \u00e0 apprendre. (S'il vous pla\u00eet, ne transmettez pas de mauvaises id\u00e9es simplement parce qu'elles semblent un peu plus simples - de nombreuses mauvaises id\u00e9es sont en r\u00e9alit\u00e9 plus simples !)<\/p>\n

Les \u00e9tudiants doivent commencer par cr\u00e9er quelque chose qui aurait de nombreuses caract\u00e9ristiques importantes que j'ai discut\u00e9es ici. Ce doit \u00eatre un syst\u00e8me compos\u00e9 de plusieurs parties interagissant dynamiquement, et ainsi de suite. Un bon moyen de d\u00e9cider quel langage de programmation utiliser est simplement de faire quelque chose qui a des milliers de parties interactives ! Sinon, vous devriez en trouver un. Le pire que l'on puisse faire, c'est de mettre les \u00e9tudiants sur un chemin de fluidit\u00e9 trop faible, qui limiterait consid\u00e9rablement leurs id\u00e9es \u00e0 grande \u00e9chelle. Cela les tue tout simplement \u2014 et nous voulons les faire grandir, pas les an\u00e9antir.<\/p>\n

\u00c0 l'\u00e9cole GoTo<\/h3>\n

\"Alan<\/p>\n