Dans le cadre de mon travail j'ai été amené à écrire un petit texte qui explique mon quotidien fait de "recherche (scientifique) en langages de programmation". Je me permets de le diffuser ici au cas où ça intéresse des gens.
Je travaille à l'INRIA, un institut public français de recherche en informatique. Je fais de la programmation et de la recherche sur les langages de programmation.
Mon rôle est d’étudier ces langages, de mieux les comprendre (…)
Le Frido est un livre de mathématique monolithique qui va de la construction des naturels (axiomatique non comprise) jusqu’aux derniers retranchements de l’agrégation : analyse, algèbre, probabilités, statistiques. Licence FDL.
Le Frido est un livre libre de mathématique libre. L’objectif est de partir de la théorie des ensembles (acceptée avec le lemme de Zorn), et d’aller jusqu’au niveau de début du master en faisant toutes les étapes. Pas pour les enfants.
Le Frido est un livre libre de mathématique destiné aux plus motivés de l’agrégation et au-delà. Un seul bloc de 2600 pages allant de la construction des naturels jusqu’au bout : analyse, algèbre, probabilité, statistiques, etc.
La version 2017 du Frido, ce bouquin de mathématiques dont un des intérêts est d’être libre, est publiée.
Fort d’environ 2 000 pages, il couvre la quasi entièreté du programme d’agrégation. Ce cours de mathématiques est libre au sens de la licence FDL et ses sources LaTeX sont sur GitHub depuis le début du projet.
Le Frido 2018 est un livre libre de mathématique destiné à l’agrégation et plus. Il suppose connue la théorie des ensembles, puis fait tout en détail de la constructions des ensembles de nombres jusqu’aux statistiques en passant par les corps, les groupes, l’analyse, les probabilités et un peu de numérique.
MathMod est un logiciel de dessin de formules mathématiques, qu'elles soient sous forme implicite ou paramétrique (de dimension 3 ou 4).
MathMod est une réécriture du logiciel K3DSurf, dont la dernière version date de 2008 et dont je suis aussi l'auteur. Cette réécriture apporte tout de même son lot de nouveautés et d'optimisation de traitement des formules mathématiques. MathMod permet d'animer les objets mathématiques, par rotation ou en utilisant le paramètre temps, de changer les propriétés visuelles de l'objet en temps réel… Développé avec Qt5, il est disponible pour Linux, Windows et MacOSX.
Finalement, je tiens à remercier tous ceux et celles qui m'ont soutenu durant toutes ces années par leurs messages de félicitations et d'encouragement et je leur dis : l'aventure ne fait que commencer !
Une description plus détaillée et des copies d'écran sont disponibles en deuxième partie.
NdM: Le logiciel est sous licence GPL2.
MathMod (anciennement K3DSurf) est un logiciel libre (sous licence GPL v3) de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. MathMod permet de manipuler les objets mathématiques 3D et 4D en les animant d’un mouvement de rotation ou de déformation. Il permet aussi de changer leur propriétés visuelles, calculer leurs intersections en temps réel et exporter le résultat final sous différents formats de fichiers. MathMod est développé avec Qt5/C++, il est disponible pour GNU/Linux, Windows et Mac OS X.
À la lecture de ce titre vous devriez normalement hausser les sourcils. Après tout quoi de plus normal qu'une œuvre vieille de 272 ans soit dans le domaine public ?
La partition des Variations Goldberg, ce chef-d’œuvre absolu de Jean-Sébastien Bach, a été écrite en 1740. L'auteur est mort en 1750 et, si on ajoute les 70 ans réglementaires, on en déduit que l’œuvre a du s'élever dans le domaine public en 1820. C'est donc une drôle d'idée de faire une dépêche pour annoncer cette banalité vieille de 192 ans.
Pourtant vous verrez dans la suite de cette dépêche que la nouvelle est plus inattendue qu'il n'y parait.
Je suis heureux d’annoncer la publication de la nouvelle version (9.1) de MathMod. MathMod est un logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. MathMod permet de manipuler les objets mathématiques 3D et 4D. Il permet aussi de changer leur propriétés visuelles (appliquer des textures 3D, une transparence…), calculer leurs intersections en temps réel et exporter le résultat final sous le format de fichier OBJ. MathMod est développé en C++ avec Qt5, il est disponible pour GNU/Linux, Windows et macOS, sous licence GPL v3.
Aussi, MathMod peut être configuré pour exploiter au mieux les ressources matérielles : répartition du calcul sur plusieurs cœurs, accélération graphique OpenGL, allocation de mémoire…
Au pays des scientifiques (entreprises & labos), en plus de la « taxe Microsoft » (Windows + MS Office), s’ajoute souvent la « taxe MATLAB » (employé comme grosse calculatrice graphique programmable…). Pourtant, dans ce milieu, les geeks ne sont pas rares. Continuons à porter la bonne parole : il existe des alternatives très valables, à choisir selon ses priorités !
Petit tour des candidats et leurs mises à jour dans la seconde partie de la dépêche.
Le 29 mai dernier, GNU a sorti une nouvelle version de son logiciel Octave, près de 8 ans après la précédente v3. GNU Octave est un logiciel libre de calcul numérique, dont le langage accepte de nombreuses constructions de la bibliothèque standard du C, qui peuvent être étendues sur Unix, et propose l'usage de fonctions écrites en C++. Il peut fonctionner avec les nombres réels et les nombres complexes. Des fonctionnalités de tracés graphiques sont directement intégrées au langage.
La version 4.0, version majeure, apporte une liste impressionnante de nouveautés : interface graphique, programmation orientée-objet, meilleure compatibilité avec Matlab, nouvelles fonctionnalités, ré-écriture de fonctions, …
GNU Octave est comparable à MATLAB, et dispose d'une syntaxe très proche. Il présente une sérieuse alternative, largement utilisée. Octave est écrit en C++, et dispose d’un moteur intégré de rendu graphique (basé sur OpenGL).
Je suis heureux d’annoncer la sortie de la version 11.0 de MathMod (anciennement connu sous le nom K3DSurf), le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. Cette version contient le développement le plus excitant depuis le support des processeurs multi-cœurs : compatibilité avec OpenGLES. MathMod peut maintenant tirer pleinement parti des CPU et GPU modernes !
