]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
]]>
Ceci est une introduction à la programmation, pour les étudiants de première année de Deug scientifique, voies MIAS et MASS. On y aborde à un niveau élémentaire les notions de base telles que expressions, variables, fonctions, structures de contrôle, structures de données, récursion, itérateurs, classes et objets, machines virtuelles, etc. Le langage du cours est le langage Scheme, un dialecte de Lisp spécialement conçu à des fins pédagogiques. Sa syntaxe est simple et légère, et son modèle d'évaluation limpide. Le cours s'inspire très largement du livre d'Abelson et Sussmann, Structure et interprétation des programmes informatiques (InterÉditions, 1989), qui est un sommet dans l'art d'enseigner l'informatique. Le cours utilise DrScheme, une version gratuite de Scheme, qui tourne sous Unix, Windows, et Macintosh. Pour le développement de grosses applications, Scheme est moins utilisé que son célèbre cousin Commun Lisp. Mais par sa légèreté et sa puissance, Scheme est très utile comme langage de commande pilotant d'autres applications écrites dans un langage de plus bas niveau (par exemple le système de synthèse sonore Modalys de l'Ircam).
]]>
PLT Scheme is an umbrella name for a family of implementations of the Scheme programming language. PLT is the group of people who produce PLT Scheme. We welcome applications from students interested in graduate study.
]]>
Mes recherches s'articulent autour de trois poles : Le développement d'un modèle général de séquencement et de synchronisation d'événements musicaux, issu de l'informatique théorique (automates, grammaires, combinatoire sur les mots). L'application de modèles formels en ethnomusicologie et ethnomathématiques, pour l'analyse de répertoires et de données ethnographiques collectés en Centrafrique ou à Madagascar, et pour l'étude des mécanismes cognitifs qui leur ont donné naissance. Cet aspect inclut un programme de recherche sur la divination sikidy à Madagascar (Cognitique ACT 76b, 2001-2004). La modélisation des techniques de mixage des musiques électroniques actuelles, et leur prolongement logiciel associant traitements audio (sampling, "effets") et traitements "symboliques" (grammaires de substitutions harmoniques de jazz)