Récit - octobre 2004

J'aime les arbres. Ils me rendent plus sereine, ils m'aident à respirer. Sauf les conifères quand ils me balancent du pollen à la figure, mais c'est une autre histoire.

Tous les arbres sont remarquables, mais quelques-uns sont encore plus remarquables que d'autres. Je ne savais pas qu'il y avait dans l'Orne un chêne de 8,50 m. de circonférence et un if de plus de mille ans ! Heureusement, l'animateur du weblog d'Adverbe s'est installé là-bas et donne parfois des nouvelles de la nature entre deux réflexions techniques et la promotion du village des télétravailleurs d'Essay.

# Par Eve, le lundi 18/10/2004 à 20h06 ~ Réactions (5) ~ Catégorie : Récit


	$A,B \vdash A$	$A,B \vdash B$
	$\land_i$
$((A \land B) \Rightarrow C) \vdash ((A \land B) \Rightarrow C)$	$A, B \vdash (A \land B)$
$\Rightarrow_e$
$A, B, ((A \land B) \Rightarrow C) \vdash C$
$\Rightarrow_i \times 3$
$\vdash((A \land B) \Rightarrow C) \Rightarrow (A \Rightarrow (B \Rightarrow C))$

Je vous présente mon premier calcul de séquents. Déjà ça, c'est pas mal : je fais les exos donnés en cours. Mais ce sont aussi les premières formules mathématiques de mon prochain outil.

Le dotclear sur ma Cavale commence à muter gentillement vers un Blog-Wiki, la réciproque du Wiki-Blog.

Je voudrais, entre autres, pouvoir m'en servir pour mes cours. Les recopier au propre c'est bien, mais c'est long. Et surtout c'est frustrant, vu que les cours sont pas franchement linéaires, de ne pas avoir d'hypertexte. Alors je rêve d'autre chose : prise de note à la volée sur les cahiers + structuration sur un wiki lors des révisions. En plus, ça permet de copier et de linker joyeusement les ressources existantes sur le web.

C'est pas évident d'afficher des formules mathématiques sur le net. Il y a plein de solutions différentes, plus ou moins complémentaires, dont aucune n'est vraiment satisfaisante. Finalement, j'ai adopté la solution de WikiPedia : les écrire en LaTeX et générer les images correspondantes. J'ai adopté aussi le code de WikiPedia dans la foulée. Trois cuilléres de PHP, une pincée d'OCaml, et le tour est joué.

Maintenant je peux bloguer, en local, mes cours de math. Il reste quelques bouts de code à écrire pour pouvoir les wikiser indépendamment du flux chronologique. Mon prochain blog est presque prêt. Il est bien habillé et parle le wikini courament. Il fera sont entrée dans le monde dès qu'il n'affichera plus l'id des billets dans l'URL, parce que je trouve ça très très vulgaire.

# Par Eve, le dimanche 03/10/2004 à 14h36 ~ Réactions (7) ~ Catégorie : Récit

Eve La Fée