Séminaire « Codes sources »
L'objectif du séminaire Codes sources est de présenter la pensée informatique là où elle s'exprime le plus concrètement : dans les textes que sont les codes sources. ATTENTION, cette année le séminaire a lieu dans une nouvelle salle ! Nous nous retrouverons dans la salle 15-16/101 de l'IRILL (rotonde 15, 1er étage) à Jussieu. Séance du jeudi 30 janvier 2020 (14h-16h) : Laurent BLOCH (CNAM) : « Enseigner la programmation : Scheme ou Python ? » Résumé : Si pour enseigner la programmation il convient d'être agnostique en matière de langage, ce n'est pas pour cela qu'il faut renoncer à en choisir un qui soit bien adapté : niveau d'abstraction ni trop élevé ni trop bas, encouragement des bonnes pratiques reconnues, facilité d'apprentissage. Et sur ces points le style de la programmation fonctionnelle semble présenter des avantages décisifs. Des exemples seront exhibés. Lieu : Salle 15-16/101 de l'IRILL (rotonde 15, 1er étage) 4 place Jussieu, 75005 Paris métro Jussieu (lignes 7 et 10) ------------------------------------------------------------------------ Prochaines séances du séminaire Codes sources : - 5 mars 2020 : Michèle SORIA (Sorbonne Université, LIP6) : Combinatoire analytique - 12 mars 2020 : Roberto DI COSMO (Inria, PPS, Université Paris-Diderot) : « Towards software as a first class citizen in the scholarly world » - 30 avril 2020 : Viviane PONS (Université Paris-Sud, GALaC) : « Le notebook Jupyter : un outil pour l'enseignement » - 14 mai 2020 : Valeria GIARDINO (CNRS, Institut Jean-Nicod, ENS Paris) : « Diagrammes et autres outils cognitifs : quelle place dans la pratique mathématique ? » - 4 juin 2020 : Agathe KELLER (CNRS, SPHERE, Université Paris-Diderot) : « Des textes d’algorithmes concis, quelques exemples tirés de sūtras d’Āryabhaṭa (né en 476) et de son commentaire par Bhāskara (629) » ------------------------------------------------------------------------ /* *************************************** * À propos du séminaire Codes sources * *************************************** */ À celui seul qui prend la peine de les lire effectivement, les codes sources révèlent leur richesse. On y découvre que l'élégance d'un algorithme réside parfois hors de sa complexité, dans l'usage virtuose des idiomes du langage de programmation ou dans la connaissance fine de la machine à laquelle il est destiné. Bien souvent des codes sources comportent davantage de lignes de commentaires que de code. Tous ces trésors de pensée informatique fondent à la compilation comme neige au soleil — preuve qu'un programme n'est pas seulement écrit pour être compilé. Le but du séminaire est de décrire ces œuvres de l'esprit comme des textes à part entière. Nous espérons ainsi contribuer à la constitution d'une culture générale en programmation. En informatique comme en littérature, cela suppose la familiarisation progressive avec un corpus de grands textes. À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé en informatique, en histoire ou en philosophie — présente, en moins d'une heure, un code source de son choix : un fragment de système d'exploitation, de pilote, de compilateur, de bibliothèque... Le code peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès ([email protected]) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources ------------------------------------------------------------------------ -- Baptiste Mélès Chargé de recherche au CNRS (CNRS Researcher) Archives Henri-Poincaré—Philosophie et Recherches sur les Sciences et les Technologies (CNRS UMR 7117, http://poincare.univ-lorraine.fr) Université de Lorraine — Université de Strasbourg 91 avenue de la Libération, 54000 Nancy, France http://baptiste.meles.free.fr/ -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
