Je viens de regarder le film « 40 jours et 40 nuits. » Il ne m’a pas vraiment touché. Quoique, le protagoniste est assez mignon, et son colocataire ressemble à un de mes ex, mais c’est bien tout ce que je peux y trouver.

La journée n’a pas été terrible.

Il a plu presque tout l’après-midi, et je me suis levé tard ce matin. Journée sans ski : je me suis levé pour mettre au point un algorithme de compression par réduction de la transformée de Fourier, pour ensuite faire le ménage de l’appartement, sortir un peu et réfléchir au meilleur moyen de bijeter ℕ² dans ℕ. Ce n’était pas facile, mais j’y suis arrivé :

N : x,y | x ≥ y ↦ x² + y
N : x,y | x < y ↦ y² + 2y - x

L’inverse n’est pas triviale, mais je m’en fiche : il s’agissait de me conforter intérieurement dans mon opinion qu’il est possible de créer autant de mémoires d’ordinateur de taille infinie qu’on le souhaite, à partir d’une seule.

Demain, c’est la dernière journée de ski possible. Sauf que je pourrais ne pas skier, tant la neige est mauvaise car mouillée et boueuse.