groupe langages fonctionnels
Transcription
groupe langages fonctionnels
Utilisation des langages fonctionnels dans l’enseignement - rapport d’activité 2012-2013 IREM des Pays de la Loire juin 2013 1 Composition du groupe BORER Matthias - département de mathématiques Université de Nantes CHAUVIN Pascal - Collège Pierre Garcie Ferrande - 85800 St Gilles Croix de Vie CONNAN Guillaume - IUT de Nantes GRAGNIC Christophe - lycée Carcouët - 44000 Nantes GROGNET Stéphane - département de mathématiques Université de Nantes THORAVAL René - département d’informatique Université de Nantes 2 Objectifs Les membres de ce groupe échangent des informations techniques concernant les langages fonctionnels. Ils échangent des points de vues sur leurs expériences dans le domaine de l’enseignement autour de l’utilisation de ces langages. 3 Actions Les échanges transitent avant tout par courrier électronique. Christophe Gragnic a réalisé un exposé sur les entrées-sorties en Haskell le jeudi 13 décembre 2013 de 16h à 18h dans la salle des animateurs IREM [7] suite à une suggestion de René Thoraval. Guillaume Connan a présenté des nouveautés xcas au séminaire IREM/APMEP de bordeaux [4, 5] Le langage OCaml a été rajouté par nos soins dans la base de donnée PLUME en mars 2013[11]. Trois ateliers ont été présentés aux Journées académiques de l’IREM des Pays de la Loire les 17 et 18 avril 2013 [10, 1] : Pascal Chauvin : Mathématiques et programmation fonctionnelle. Guillaume Connan : La boı̂te de Pandore des mathématiques expérimentales : comment un TP qui semblait fonctionner tourne au cauchemar..., Guillaume Connan : Langage (et ou de) programmation pour mieux parler de mathématique(s)..., Une réunion-bilan a eu lieu le mardi 18 juin après-midi. La bibliothèque ocamlmath évolue régulièrement [9]. Matthias Borer a installé divers logiciels autour d’OCaml au laboratoire de mathématiques. Divers aspects de programmation fonctionnelle ont été publiés sur internet par des membres du groupe : voir la bibliographie. 1 IREM des Pays de la Loire — Utilisation des lang. fonct. dans l’ens. — juin 2013 2 Guillaume Connan a publié un article sur Mathèmatice : L’informatique au secours de l’algèbre...et réciproquement [6] Des membres du groupe ont participé à la rédaction de deux ouvrages [12, 13]. Références bibliographiques [1] Description de l’atelier de Pascal Chauvin : http://www.irem.sciences.univ-nantes.fr/ archives/JA2013/PC-IREM-JA-2013.pdf [2] Documents pour l’atelier de Pascal Chauvin : http;//http://chauvinp.olympe.in/math/ [3] Différents programmes et différents langages par Guillaume Connan : http://informathix. tuxfamily.org/?q=node/11 [4] La page de la conférence xcas par Guillaume Connan : http://informathix.tuxfamily.org/ ?q=node/57 [5] Le diaporama de la conférence xcas : http://download.tuxfamily.org/tehessinmath/les% 20pdf/Bordeaux_XCAS_beamer.pdf [6] G. Connan. L’informatique au secours de l’algèbre... et réciproquement ! http://revue. sesamath.net/spip.php?article497 [7] Diaporama de Christophe Gragnic : http://profgra.org/lycee/presentation_Haskell_IO. html. [8] Différents programmes par Christophe Gragnic : http://profgra.org/lycee/ [9] La page de la bibliothèque ocamlmath : http://www.irem.sciences.univ-nantes.fr/Calcul/ Ocaml/index.html [10] La page des Journées académiques de l’IREM : http://www.irem.sciences.univ-nantes.fr/ archives/JA2013/ [11] La page OCaml du projet Plume : https://www.projet-plume.org/fr/fiche/ocaml [12] A. Casamayou-Boucau, P. Chauvin, G. Connan. Programmation en Python pour les mathématiques. Dunod : Paris, 2012. http://www. dunod.com/sciences-techniques/sciences-fondamentales/mathematiques/ programmation-en-python-pour-les-mathematiques [13] A. Casamayou et al. Calcul mathématique avec Sage. Amazon, 2013. http://sagebook.gforge. inria.fr/