[Athena] [Codes Sources] Textes d'algorithmes sanskrits concis (Agathe Keller, 17 juin 2021)

[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.


Séance du jeudi 17 juin 2021 (14h-16h) :

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) »


Résumé :

  Les traités mathématiques sanskrits, suivant le style des textes de
  cette culture savante, sont rédigés en vers concis et concernent le
  plus souvent des procédures. Cette présentation se propose d’observer
  le lien entre le texte et l’algorithme reconstruit qu’il s’agit
  d’exécuter, afin d’y mettre en lumière comment s’effectue l’expression
  concise des étapes de l’exécution. En s’appuyant sur un texte
  canonique, l’Āryabhaṭīya (499), et le commentaire de Bhāskara pour
  décoder le sens des vers, nous observerons des manières de dire des
  procédures d’extraction de racine carrée, de calculer différents
  éléments d’une suite arithmétique ou de résoudre un certain type
  d’équation indéterminée. L’analyse pourra s’élargir à l’expression
  verbale de table numériques de sinus. Il s’agira donc d’observer les
  modes de compression d’un texte d’algorithme ou d’un ensemble de
  données numériques.

Lieu :

  Par vidéoconférence via Zoom à l'adresse
  https://zoom.us/j/97034212075?pwd=V0t3TVFEcmxHV0NLZWVVUGdqSmxVUT09

  (Identificant Zoom de réunion : 970 3421 2075)


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

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

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