[ATHENA] [Codes Sources] Enseigner la programmation (Laurent Bloch, 30 janvier 2020, NOUVELLE SALLE !)

[Baptiste Mélès <baptiste.meles AT gmail.com>]

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 (baptiste.meles AT univ-lorraine.fr)

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/