En raison du mouvement du 5 mars « L'Université et la recherche s'arrêtent », la prochaine séance du séminaire Codes Sources est déplacée dans le temps et l'espace : elle aura lieu
- le mercredi 4 mars - dans notre salle historique (salle 24-25/405, campus Jussieu, rotonde 25, 4e étage). Vous trouverez plus bas les informations mises à jour. ------------------------------------------------------------------------ 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 mercredi 4 mars 2020 (14h-16h) : Michèle SORIA (Sorbonne Université, LIP6) : « Combinatoire Analytique : énumération, statistiques et génération aléatoire » Résumé : La Combinatoire Analytique, développée par Philippe Flajolet et son école à partir des années 1980, est une théorie dont l’objectif est de quantifier les propriétés de structures discrètes variées, telles que mots, permutations, arbres, graphes… L’approche est celle d’un calcul sur les structures, fondé sur les propriétés algébriques et analytiques des séries génératrices de dénombrement. On étudie des structures qui peuvent être spécifiées récursivement en fonction d’opérations combinatoires telles que Union, Produit, Séquence, Ensemble, Cycle. La phrase-clé de la Combinatoire Analytique est « If you can specify, you can analyse » : à partir des spécifications, on développe une chaîne de traitement systématique, voire automatique, qui donne les lois asymptotiques générales gouvernant les séquences de dénombrement et le comportement des paramètres. La première étape consiste à transcrire les spécifications en termes d’opérations algébriques sur les séries génératrices de dénombrement des structures. Dans l’étape suivante, les séries génératrices sont interprétées comme des fonctions analytiques, dont les singularités sont déterminantes pour les estimations asymptotiques. Cette vision par l’analyse complexe permet d’étudier les propriétés statistiques des structures de grande taille, et de montrer des phénomène d’universalité : de nombreuses propriétés des structures combinatoires dépendent de traits globaux de leur définition, et non de détails. Cet exposé présente un panorama de résultats de Combinatoire Analytique, ainsi que quelques algorithmes efficaces pour l’énumération et la génération aléatoire. Il est illustré de nombreux exemples et accompagné de traitements automatiques avec les modules COMBSTRUCT et GFUN de MAPLE. Lieu : Salle 24-25/405 du LIP6 (rotonde 25, 4e étage) 4 place Jussieu, 75005 Paris métro Jussieu (lignes 7 et 10) ------------------------------------------------------------------------ Prochaines séances du séminaire Codes sources : - 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) » Sauf mention contraire, toutes les séances ont lieu de 14 heures à 16 heures 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.me...@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/ -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html