Archives de catégorie : Billets

Stéphanie Mader (CNAM) : « Comment et pourquoi lire le code source de jeux vidéo des années 1980 pour analyser leur gameplay ? Cas d’étude sur des jeux vidéo pour SMAKY, une série d’ordinateurs suisses romands »

Jeudi 12 juin 2025

SMAKY est une série d’ordinateurs suisses romands développés par le laboratoire LAMI de l’EPFL (Ecole Polytechnique Fédérale de Lausanne) à partir de 1974 jusqu’en 1998. Les SMAKY étaient commercialisés par la société EPSITEC SA qui développaient aussi des logiciels et des jeux vidéos pour ces ordinateurs, et à présent continue le développement de certains logiciels experts pour Windows. Un émulateur du système d’exploitation (PSos) et la préservation de code source facilitent aujourd’hui l’étude du fonctionnement de cet ordinateur, ainsi que des jeux vidéo qui ont été développés.

Le gameplay est le terme décrivant l’interactivité des jeux vidéo. Pour les jeux vidéo dits temps-réel, le bon fonctionnement et « feeling » du gameplay requiert de réagir rapidement aux actions des joueuses et de maintenir une haute fréquence d’affichage pour créer l’illusion de mouvement. L’étude du code source de jeux vidéo pourrait révéler des décisions de design et développement. En effet, à cette époque, les créatrices et créateurs de jeux vidéo se chargeaient de l’ensemble des tâches de création, du game design au développement informatique. Nous supposons que ce contexte a orienté la « manière de faire du game design de jeux vidéo » de cette époque.

L’exposé contextualisera le SMAKY et son écosystème, pour ensuite résumer la première étude effectuée avec Romain Goudjil, historien byzantiniste et Yannick Rochat, chercheur en humanité numérique, lors de laquelle nous avions appliqué une méthode d’analyses historiques de documents nous permettant notamment de questionner ce qu’est la matérialité du code source et de (re)découvrir certains aspects du fonctionnement de la plateforme SMAKY. Dans un second temps, nous présenterons comment analyser la boucle de gameplay au travers d’exemples pour questionner si et comment la construction du game design a été marquée par ce lien plus immédiat avec le fonctionnement des machines.

Lieu

En chair et en os dans la salle de séminaire du plateau SCAI – métro Jussieu (lignes 7 et 10) ;

  • rentrer sur le campus par le 4 place Jussieu, 75005 Paris ;
  • longer la clôture à droite jusqu’au bout ;
  • rentrer dans le bâtiment Esclangon ;
  • à gauche, monter l’escalier extérieur jusqu’au 1er étage ;
  • sur le plateau SCAI, longer le tableau noir puis les baies vitrées ;
  • la salle Séminaire se trouve au fond à gauche ;

ou par vidéoconférence (contacter les organisateurs).

Pierre Depaz (NYU Berlin) : « Styles de programmations et éthiques de programmeurs »

Jeudi 22 mai 2025 (reporté à l’année 2025-2026)

Cet exposé s’intéresse aux implications des différentes manières d’écrire les codes sources. Bien qu’il s’agisse en premier lieu de décrire des artefacts techniques, et donc pour lesquels la fin importerait plus que le moyen, l’écriture de code source se manifeste néanmoins en une variété de façons de faire, motivées par des préférences personnelles ou des injonctions collectives. Nous commencerons notre analyse par le prisme du style comme tension entre l’individuel et le groupe, en s’appuyant notamment sur la manière dont l’ingénierie logicielle s’est structurée à travers une dynamique de transformation de l’idiosyncratique vers le commun, à travers l’établissement de normes différenciant les manières de faire acceptables de celles qui sont inacceptables.

À partir de cette conception d’un style collectif de programmation, il s’agira alors de préciser ces manières de faire en termes de formulations, d’intentions et de références, afin de révéler les différentes cultures qui traversent celles et ceux qui écrivent du code. En examinant leurs styles respectifs de programmation, il devient alors possible d’esquisser les diverses valeurs qui traversent leur(s) pratique(s), en passant du « comment programmer ? » au « pourquoi programmer ? ». Ce faisant, nous verrons comment se distribuent des attentions au concept, à la machine, ou à l’humain, et font apparaître des problématiques éthiques.

Enfin, nous pivoterons des façons de faire aux moyens de faire, en nous attardant sur les langages de programmation, afin d’ouvrir une discussion sur la question du déterminisme de ces langages et de leurs paradigmes lors des grandes étapes de la programmation : la considération du problème, la conception d’une solution, et la mise-en-syntaxe de cette solution. Ce faisant, nous esquisserons alors comment les styles des programmeurs peuvent être influencés par des paradigmes de programmation, comment ces paradigmes de programmation peuvent être eux-mêmes considérés comme des styles épistémologiques, et à quel point ces paradigmes peuvent-être influencés par des cultures particulières.

Lieu

En chair et en os dans la salle de séminaire du plateau SCAI – métro Jussieu (lignes 7 et 10) ;

  • rentrer sur le campus par le 4 place Jussieu, 75005 Paris ;
  • longer la clôture à droite jusqu’au bout ;
  • rentrer dans le bâtiment Esclangon ;
  • à gauche, monter l’escalier extérieur jusqu’au 1er étage ;
  • sur le plateau SCAI, longer le tableau noir puis les baies vitrées ;
  • la salle Séminaire se trouve au fond à gauche ;

ou par vidéoconférence (contacter les organisateurs).

Charlotte TRUCHET (STMS UM 9912, Sorbonne Université, Ircam, CNRS) : « Introduction à la programmation par contraintes, et aux problèmes de programmation qu’elle pose »

Jeudi 3 avril 2025 (reporté)

La programmation par contraintes s’attache à résoudre des problèmes fortement combinatoires, exprimés à l’aide de relations logiques (les contraintes), portant sur des variables dans des domaines fixés, souvent finis. Chaque contrainte est dotée d’un algorithme de propagation, qui élague autant que possible les domaines des variables sans perdre de solutions. Les solveurs appliquent ces propagateurs tant que c’est possible, puis effectuent des choix (affectation d’une valeur à une variable, réduction d’un domaine) et itèrent le processus. On sait aujourd’hui résoudre des familles de contraintes assez larges (cardinalité, graphes, mots, géométrie…). Mais les mécanismes internes des solveurs posent des problèmes d’implémentation pas toujours simples. Dans cet exposé, nous présenterons les notions principales du domaine (contraintes, domaines, consistance, propagation, heuristiques) puis nous explorerons la question de l’efficacité pratique d’un de ces algorithmes (filtrage de la contrainte alldifferent). Enfin, nous examinerons les difficultés que l’on rencontre pour implémenter ce résultat théorique, en pratique, dans un solveur.

Lieu

En chair et en os dans la salle de séminaire du plateau SCAI – métro Jussieu (lignes 7 et 10) ;
  • rentrer sur le campus par le 4 place Jussieu, 75005 Paris ;
  • longer la clôture à droite jusqu’au bout ;
  • rentrer dans le bâtiment Esclangon ;
  • à gauche, monter l’escalier extérieur jusqu’au 1er étage ;
  • sur le plateau SCAI, longer le tableau noir puis les baies vitrées ;
  • la salle Séminaire se trouve au fond à gauche ;
ou par vidéoconférence (contacter les organisateurs).

Dix ans du séminaire Codes sources (23 janvier 2025)

Dix ans et un jour après la séance inaugurale du séminaire Codes sources, une journée d’études complète aura lieu le jeudi 23 janvier 2025 de 9h15 à 17h30.

Inscription gratuite mais obligatoire :

https://framaforms.org/inscription-a-la-journee-du-23-janvier-2025-des-10-ans-du-seminaire-codes-sources-1732891327

en chair et en os :
4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)
bâtiment Esclangon
amphithéâtre Durand

ou par vidéoconférence (envoi du lien sur demande).

Programme

Organisation

  • Emmanuel Chailloux (LIP6, IRILL, Sorbonne Université)
  • Raphaël Fournier-S’niehotta (SCAI, LIP6, Sorbonne Université)
  • Baptiste Mélès (CNRS, Archives Henri-Poincaré)
  • Lionel Tabourier (LIP6, Sorbonne Université)

Flavia CARRARO (Université Toulouse Jean-Jaurès, LISST) : « De l’écriture linéaire B au tissage au métier : pour une anthropologie des pratiques d’encodage et de décodage »

Jeudi 13 juin 2024, 14h-16h

Qu’est ce qui permet de rapprocher les écritures et leur emploi dans les artefacts sémiotiques, l’entrelacement des fils dans le tissage pour la création de textures et motifs, et enfin la programmation, entre textes et patterns digitaux, de machines pour l’exécution de tâches ? Il s’agira d’interroger le contraste, la complémentarité et la continuité entre ces techniques dans une perspective anthropologique et à travers deux cas d’étude : l’écriture mycénienne linéaire B et le tissage au métier. Les pratiques d’encodage et de décodage de signes et fils nous permettront de mettre en perspective les clivages matériel et symbolique, technique et logique, textuel et opératoire à travers lesquels le « code » est le plus souvent appréhendé.

En chair et en os : Salle séminaire 218 de l’IRILL, 2e étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : Contactez les organisateurs du séminaire pour obtenir le lien.

Marine MINIER : « Comment les outils automatiques peuvent nous aider, nous cryptographes » (02/02/2023)

Oratrice

Marine MINIER (Université de Lorraine, Loria, Caramba)

Titre

« Comment les outils automatiques peuvent nous aider, nous cryptographes »

Résumé

Après avoir introduit toutes l’histoire et les notions classiques de la cryptographie, nous nous intéresserons à un exemple d’attaque : la cryptanalyse différentielle sur un chiffrement simple et nous verrons comment appliquer les outils automatiques à cette attaque.

Informations

Jeudi 2 février 2023, 14h-16h

En chair et en os : salle séminaire du plateau SCAI, 1er étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

Lionel BROYE et Emmanuel GUEZ (PAMAL_Group) : « Le Minitel et nous. Une archéologie artistique des média » (21/03/2024 – séance REPORTÉE à plus tard)

Orateurs

Lionel Broye et Emmanuel Guez (PAMAL_Group)

Titre

« Le Minitel et nous. Une archéologie artistique des média »

Résumé

Profound Telematic Time, 2020, Exposition Réseaux-Monde, Centre Pompidou, crédits : PAMAL_Group.

Profound Telematic Time, 2020, Exposition
Réseaux-Monde, Centre Pompidou, crédits : PAMAL_Group.

Depuis 2013, le PAMAL (Preservation & Art – Media Archaeology Lab), qui devient en 2019 le PAMAL_Group, associe création et recherche dans le champ de l’archéologie des média. PAMAL_Group crée ses propres œuvres à partir d’œuvres d’art numérique disparues ou fortement endommagées en raison de l’obsolescence des logiciels et matériels informatiques. Ses travaux cherchent à rendre sensible la vulnérabilité d’un art fortement dépendant des logiques industrielles. Toutes les œuvres que le collectif reconstruit sont au plus près des
matérialités d’origine. Les deux membres fondateurs du PAMAL_Group viendront présenter les derniers projets télématiques du collectif, récemment exposés au Centre Pompidou et au ZKM (Zentrum für Kunst und Medien de Karlsruhe).

Informations

Jeudi 21 mars 2024, 14h-16h

En chair et en os : salle séminaire 218 de l’IRILL, 2e étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

Carlos AGON : « Langages de programmation pour la composition musicale » (16/03/2023)

Orateur

Carlos AGON (Sorbonne Université, Représentations Musicales, STMS, IRCAM)

Titre

« Langages de programmation pour la composition musicale »

Résumé

 

Informations

Jeudi 16 mars 2023, 14h-16h

En chair et en os : salle séminaire du plateau SCAI, 1er étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

 

Benoît VALIRON : « Calcul quantique, langages graphiques » (22/06/2023)

Orateur

Benoît VALIRON (CentraleSupélec, LMF)

Titre

Calcul quantique, langages graphiques

Résumé

Dans cet exposé, nous discuterons d’une spécificité de la représentation du calcul quantique : la représentation graphique sous forme de circuit. Nous étudierons en particulier deux représentations, celle des circuits quantiques « usuels », et celle des circuits d’optique linéaire. Nous présenterons des exemples non triviaux de circuits, avec une réflexion sur la nature des données et des opérations que l’on peut vouloir réaliser avec du quantique.

Informations

Jeudi 22 juin 2023, 14h-16h

En chair et en os : salle séminaire du plateau SCAI, 1er étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

Anne-Gwen BOSSER et Pierre COURTIEU : « Machines pour raconter » (01/06/2023)

Orateurs

Anne-Gwen BOSSER (ENIB, Lab-STICC CNRS UMR 6285, équipe COMMEDIA) et Pierre COURTIEU (Cédric, Cnam)

Titre

Machines pour raconter

Résumé

 

Informations

Jeudi 1er juin 2023, 14h-16h

En chair et en os : salle séminaire du plateau SCAI, 1er étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

Serge ROSMORDUC : « JSesh : 20 ans de la vie d’un traitement de textes hiéroglyphique » (25/05/2023)

Orateur

Serge ROSMORDUC (Cnam)

Titre

JSesh : 20 ans de la vie d’un traitement de textes hiéroglyphique

Résumé

Jusqu’à la fin du XXe siècle, la publication scientifique des textes écrits en hiéroglyphes égyptiens s’est partagée entre deux traditions : l’autographie, d’une part, qui consistait pour le savant à écrire manuellement les textes, et l’imprimerie. Celle-ci constituait au XIXe siècle une technologie prestigieuse, et l’Institut Français d’Archéologie Orientale, notamment, a développé tout au long de son histoire un fond typographique considérable pour l’édition des textes tardifs. Mais un texte hiéroglyphique reste composé de dessins, dont les variations peuvent être significatives ; dans la dernière partie du XXe siècle, l’idée d’utiliser l’informatique pour enregistrer et publier la documentation hiéroglyphique s’est imposée, avec le développement du logiciel GLYPH par Jan Buurman, puis du Manuel de Codage en 1988.

Depuis 2004, nous développons le traitement de textes hiéroglyphiques JSesh, actuellement utilisé par la grande majorité des égyptologues. Après une rapide présentation du système de codage utilisé, et des enjeux scientifiques derrière ce codage, nous présenterons l’histoire du développement de ce logiciel libre, de son architecture et du mode de représentation des signes.

Informations

Jeudi 25 mai 2023, 14h-16h

En chair et en os : salle séminaire du plateau SCAI, 1er étage du bâtiment Esclangon, 4 place Jussieu, 75005 Paris, métro Jussieu, lignes 7 et 10 (rentrer dans le bâtiment Esclangon ; à gauche, emprunter l’escalier extérieur jusqu’au 1er étage ; sur le plateau SCAI, longer le tableau noir puis les baies vitrées ; la salle Séminaire se trouve au fond à gauche).

Par vidéoconférence : contactez les organisateurs du séminaire pour obtenir le lien.

Laurent CERVONI, « Programmation logique et intelligence artificielle : cinquantième anniversaire de Prolog » (09/06/2022)

Orateur

Laurent Cervoni (groupe TALAN)

Titre

« Programmation Logique et Intelligence Artificielle : cinquantième anniversaire de Prolog »

Résumé

Durant l’été 1972, Alain Colmerauer et son équipe à Marseille ont développé et implémenté la première version du langage de programmation logique Prolog. Associé à des collaborations antérieures et ultérieures avec Robert Kowalski et ses collègues d’Édimbourg, ce travail a jeté les bases pratiques et théoriques du Prolog et de la programmation logique d’aujourd’hui. Prolog et ses technologies connexes sont rapidement devenus des outils clés de la programmation symbolique et de l’intelligence artificielle.

Nous parcourrons une partie de l’histoire de l’intelligence artificielle, notamment, par le prisme de la programmation logique. Puis au travers de quelques échantillons de  codes, nous évoquerons les principes de base utilisés par Prolog, l’originalité de l’écriture d’un code Prolog, son apport dans la représentation des connaissances et ses usages les plus courants. Quelques perspectives d’articulations avec les autres approches de l’IA pourront être évoquées au cours des échanges.

Un article tiré de cette intervention a été publié dans le numéro 20 de 1024, le bulletin de la Société Informatique de France : Laurent Cervoni et Julien Brasseur, « Prolog, 50 ans d’histoire de l’intelligence artificielle », 1024 — Bulletin de la Société Informatique de France, n°20, novembre 2022, p. 55-63.

Informations

Jeudi 9 juin 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).

 

Lucie CONJARD, « Ethnographier les processus de production de dispositifs à “intelligence artificielle” : matérialités et représentations dans l’IA » (12/05/2022)

Oratrice

Lucie Conjard (IIAC – Centre Georg Simmel, EHESS)

Titre

« Ethnographier les processus de production de dispositifs à “intelligence artificielle” : matérialités et représentations dans l’IA »

Résumé

L’anthropologie des techniques a établi très tôt dans son histoire le lien entre les techniques que mobilise une société et les représentations que celle-ci se donne du monde, de l’homme et d’elle-même. Les techniques apparaissent alors comme des postes d’observation permettant de mettre au jour les catégories centrales d’une culture, celles qui structurent les rapports sociaux en son sein. Elles ne peuvent, au demeurant, être saisies hors de ces rapports sociaux, qui président au développement, à la fabrication et à l’usage des artefacts et dispositifs. C’est pourquoi il importe de s’intéresser aux dispositifs techniques à la fois dans leurs processus de production et dans leurs usages. Comment cet héritage des hypothèses et méthodologies de l’anthropologie des techniques peut-il nous aider à éclairer l’actualité des techniques numériques dans le monde industriel contemporain ?

Nous proposons d’interroger les techniques dites d’« intelligence artificielle » pour mettre au jour les représentations qu’elles mobilisent et font agir dans le monde social. Car, en tant que techniques graphiques et de catégorisation automatique, elles questionnent deux couples catégoriels centraux pour les sociétés occidentales : la conjonction entre signe et sens d’une part, et le rapport entre vérité et action de l’autre.

Je présenterai mon projet de thèse intitulé Catégories, techniques et  représentations dans l’intelligence artificielle : de l’invention à l’usage, les travaux de terrains effectués et la façon dont ils sont impacté mes hypothèses.

Informations

Jeudi 7 avril 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).

Thierry DUMONT, « Algol, 60 ans après » (07/04/2022)

Orateur

Thierry Dumont (Institut Camille Jordan, Villeurbanne)

Titre

« Algol, 60 ans après »

Résumé

Le langage Algol (60) a été avec Fortran un des premiers langages de programmation sérieux et réellement utilisables. La rigueur de sa conception impressionne toujours.

On trouve assez facilement, dans les bibliothèques universitaires, deux tomes de « Procédures Algol en Analyse Numérique »  écrits sous l’égide du CNRS, le dernier ayant été publié en 1970.

Peut-on exécuter ces programmes en 2022 ? Oui, car il existe un compilateur libre, fiable et maintenu.

Je présenterai d’abord le langage Algol 60 et je parlerai un peu de sa descendance. Ensuite, je montrerai quelques exemples de programmes qui fonctionnent à nouveau.

Le résultat est assez éclairant quant à la pratique du calcul et de la programmation en ces temps déjà lointains.

Un article tiré de cette intervention a été publié dans le numéro 20 de 1024, le bulletin de la Société Informatique de France : Thierry Dumont, « Algol 60, 60 ans après », 1024 — Bulletin de la Société Informatique de France, n°20, novembre 2022, p. 65-76.

Informations

Jeudi 7 avril 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).

Denis MERIGOUX, « Transformer la loi en code grâce au langage de programmation Catala » (10/03/2022)

Orateur

Denis MERIGOUX (Prosecco, Inria)

Titre

« Transformer la loi en code grâce au langage de programmation Catala »

Résumé

Un certain nombre d’administrations et d’entreprises maintiennent des programmes informatiques afin de calculer des montants d’impôt, allocations, cotisations, pensions, etc. à partir de données de leurs usagers. Transformer les textes de loi qui régissent ces calculs en code est une tâche très difficile, car elle requiert une double expertise juridique et informatique. De plus, la complexité inhérente des textes de loi et leur style de rédaction empêche activement la constitution d’une base de code saine et maintenable. En s’inspirant des travaux de Sarah Lawsky, professeure de droit fiscal et titulaire d’un doctorat en logique, le langage dédié Catala propose un nouveau  processus de transformation de la loi en code, basé sur la programmation littéraire et en binôme. Le compilateur de Catala, basé sur une sémantique formelle du langage, permet également l’intégration du code dans virtuellement n’importe quelle architecture legacy grâce à la compilation. Le projet est soutenu par une équipe  interdisciplinaire comprenant notamment Denis Merigoux, doctorant en informatique à l’Inria, et Liane Huttner, doctorante en droit à Paris I.

Un article tiré de cette intervention a été publié dans le numéro 20 de 1024, le bulletin de la Société Informatique de France : Denis Merigoux et Liane Huttner, « Catala : formaliser la loi grâce à un langage de programmation dédié », 1024 — Bulletin de la Société Informatique de France, n°20, novembre 2022, p. 77-84.

Informations

Jeudi 10 mars 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).