Fin d'article
Par Arthur Milchior le samedi 10 juillet 2010, 21:02 - Travail - Lien permanent
Voilà, j'ai écrit mon premier vrai article avec des vrai résultats nouveaux et de la vraie recherche dedans !
Une caractérisation logique des programmes prenant un temps/un espace mémoire borné par une tour d'exponentiel de hauteur donnée [1]; et par extension, ceux borné par des tours d'exponentiels de hauteur quelconque. Par ailleurs, une simplification d'un formalisme, et la preuve que en gros, ça ne présente aucun intérêt [2].
Comme conclusion, j'ai envie de dire que c'est étonnant le temps que ça prend d'écrire 24 pages; 2 semaines ! Alors que la plupart des preuves sont [facile][3], et que dès que je me suis posé la question, j'ai vu rapidement quel serait la preuve. Moins de 2 pages par jour, c'est pas spécialement rapide.
Si vous êtes curieux, le document (avant relecture par mon maitre de stage) est [ici]. Amusez vous bien !
--
Arthur, qui ne sait plus quoi faire, maintenant que ce qui l'a occupé pendant 2 semaine entière est fini.
Notes
[1] Une extension de [High Order], article que j'ai rédigé sur wikipédia
[2] Variable-Order (pas de lien, je ne veux pas faire d'article wikipédia sur un truc si inutile) est égal à la [Hiérarchie Arithmétique]
Commentaires
On ne dit pas "an universe", mais "a universe", parce que "universe" commence par une consonne (en phonétique).
La grammaire de la notation 1.8 est étrange. (Un either de trop ?)
"we will need to used" -> "to use"
etc.
Quelqu'un a relu ?
Mon maitre de stage est en train de le relire, mais il a tout un tas de truc à faire en ce moment.
En plus, j'ai rajouté des truc depuis que j'ai posté le lien :s
Mais merci des remarques.