Fin d'article

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]

[3] selon ma définition personnelle de [facile]

Commentaires

1. Le mardi 20 juillet 2010, 10:12 par N

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 ?

2. Le mardi 20 juillet 2010, 10:44 par Arthur Rainbow

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.

Ajouter un commentaire

Le code HTML est affiché comme du texte et les adresses web sont automatiquement transformées.

La discussion continue ailleurs

URL de rétrolien : http://www.milchior.fr/blog/index.php?trackback/316

Fil des commentaires de ce billet