[ATHENA] Séminaire Codes Sources : Pédagogie multilinguistique de la programmation (Jean-François Perrot, 20 avril 2017)

[Baptiste Mélès (baptiste.meles AT gmail.com) <athena AT services.cnrs.fr>]

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.


Séance du jeudi 20 avril 2017 (14h-15h30) :

Jean-François Perrot (LIP6) :

  « Un objet pédagogique : la verticale multilingue »


Résumé :

  Il s'agit de traiter un même programme en plusieurs langages de
  niveaux différents (du genre Python, C, assembleur MIPS), en prêtant
  attention aux changements de perspective induits par ces transitions.

  On présentera une réalisation de cette idée pour le programme du
  calcul itératif de la suite de Fibonacci sans limitation de la taille
  du résultat, en Python, C et MIPS. (Évidemment, le point essentiel est
  l'exigence de valeurs illimitées, rendue « naturelle » par Python.)

  Outre l'augmentation spectaculaire de la taille du code, on voit
  apparaître des problèmes imprévus de divers ordres, comme une
  particularité de l'addition fib(n-1)+fib(n), ou du nombre de zéros qui
  apparaissent au début d'un quotient. Loin d'être un simple exercice de
  réécriture, l'expérience devient un projet logiciel complet, avec
  plusieurs tours de spirale, où Python joue un rôle précieux de boîte à
  outils pour la modélisation, où l'écriture en C a sa propre
  problématique, et où la réalisation en assembleur MIPS exige une
  démarche d'une rigueur de fer.

  On discutera des vertus pédagogiques attendues de ce dispositif.


Lieu :

  Salle 24-25/405 du LIP6 (rotonde 25, 4e étage)


Adresse :

  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)


------------------------------------------------------------------------

Prochaines séances du séminaire Codes sources :

- jeudi 11 mai 2017 : Samuel GOYET (GRIPIC, Paris-Sorbonne, COSTECH, UTC
  Compiègne), « Les interfaces de programmation (API) web : écriture
  informatique, industrie du texte et économie des passages »

- jeudi 8 juin 2017 : Julien GRENET (CNRS, École d'Économie de Paris,
  Institut des Politiques Publiques), « La transparence et l'obstacle :
  les algorithmes d'affectation des élèves aux établissements
  d'enseignement »

Sauf mention contraire, toutes les séances ont lieu de 14 heures à 15h30
au LIP6.



------------------------------------------------------------------------

/* ***************************************
   * À 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

------------------------------------------------------------------------