Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision 		Révision précédente
fr:research:projects [2018/03/29 17:21]
apeiron 		fr:research:projects [2024/02/17 14:45]
apeiron supprimée
Ligne 2: Ligne 2:
  
 ====== Recherche en cours ====== ====== Recherche en cours ======
 +
 +TODO
 +
 +====== Projets potentiels ======
 +
 +//(Cette partie date d'il y a longtemps, à mettre à jour)//
  
 ===== Caractérisation fonctionnelle des algorithmes en temps polynomial ===== ===== Caractérisation fonctionnelle des algorithmes en temps polynomial =====
  
-Avec mon ancien directeur de thèse Pierre Valarcher, professeur à l'​Université Paris-Est Créteil, nous avons travaillé sur la [[fr:​research:​ploopc|caractérisation impérative des algorithmes en temps polynomial]] c'est à dire sur la preuve que d'une part notre langage de programmation impératif PLoopC est bien en temps polynomial, et d'​autre part que tout algorithme séquentiel peut être simulé par PLoopC.+Avec mon ancien directeur de thèse Pierre Valarcher, professeur à l'​Université Paris-Est Créteil, nous avons travaillé sur la [[fr:​research:​models-computation#​algorithmes_sequentiels|caractérisation impérative des algorithmes en temps polynomial]] c'est à dire sur la preuve que d'une part notre langage de programmation impératif PLoopC est bien en temps polynomial, et d'​autre part que tout algorithme séquentiel peut être simulé par PLoopC.
  
 Pour faire cette preuve nous avons utilisé les ASMs, c'est à dire une présentation impérative des algorithmes,​ mais d'​autres modèles ont été présentés dans un cadre fonctionnel,​ comme les récurseurs de Moschovakis. De plus, de nombreux langages (comme le langage LPL de Patrick Baillot, Marco Gaboardi et Virgile Mogbil) essayant de caractériser les algorithmes polynomiaux sont des langages fonctionnels. Pour faire cette preuve nous avons utilisé les ASMs, c'est à dire une présentation impérative des algorithmes,​ mais d'​autres modèles ont été présentés dans un cadre fonctionnel,​ comme les récurseurs de Moschovakis. De plus, de nombreux langages (comme le langage LPL de Patrick Baillot, Marco Gaboardi et Virgile Mogbil) essayant de caractériser les algorithmes polynomiaux sont des langages fonctionnels.
  
 Notre but est donc de créer une version fonctionnelle de notre langage, et de prouver l'​équivalence algorithmique entre la version impérative et la version fonctionnelle,​ ce qui permettra ensuite de comparer la version fonctionnelle aux modèles et langages existants. Notre but est donc de créer une version fonctionnelle de notre langage, et de prouver l'​équivalence algorithmique entre la version impérative et la version fonctionnelle,​ ce qui permettra ensuite de comparer la version fonctionnelle aux modèles et langages existants.
- 
-====== Projets de recherche ====== 
  
 ===== Equivalence algorithmique en PLoopC et LPL ===== ===== Equivalence algorithmique en PLoopC et LPL =====
Ligne 21: Ligne 25:
 Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux. Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux.
  
 +===== Séries divergentes =====
 +
 +Comme indiqué dans [[fr:​vulgarisation:​series-divergentes|mon article sur les séries divergentes]],​ le travail fait par Lê (de la chaîne Science4All) et moi pourrait mener à une caractérisation des séries divergentes sommables de façon unique par linéarité,​ stabilité et régularité. Mais pour cela il faudrait que je me mette à jour sur l'​état de l'art (toute aide serait la bienvenue) puis faire la preuve rigoureusement avant de la soumettre quelque part (je ne connais pas cette communauté,​ encore une fois toute aide serait la bienvenue ^^).