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
Prochaine révision Les deux révisions suivantes
fr:research:projects [2018/03/29 17:21]
apeiron
fr:research:projects [2018/03/29 17:25]
apeiron
Ligne 10: Ligne 10:
  
 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 19: Ligne 21:
 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.
  
-====== Projets de recherche ======+===== 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 ^^).