Sur ce coup là, je suis fière de moi !


	$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 ~ rss ~ Catégorie : Récit

Réactions

# Par galaxy, le dimanche 03/10/2004 à 18h27

AAaaaaaaaaaaaaaaahhhhhhhhhhh des séqueeeeeeeeeeeeeeeeeennnnnnnnnnnts ! Au secouuuuuuuuuuuuuurs !

# Par Miod, le lundi 04/10/2004 à 16h50

C'est ce genre de réaction qui me rend drôlement content de ne pas savoir ce que sont les séquents ; je n'ai donc aucune appréhension ou réaction viscérale à leur évocation !

# Par lavren, le mercredi 06/10/2004 à 06h49

La lumière revient déjà

Et le cours est terminé

Je réveille mon voisin

Il dort comme un nouveau-né

Je relève mon strapontin

J'ai une envie de bâiller

C'était le dernier séquent

C'était le dernier séant

Et le rideau sur l'écran est tombé

--et à part ça, vous étudiez aussi l'histoire de la logique ? ou les limites des paradoxes ?

# Par ned, le jeudi 07/10/2004 à 16h22

chouette des maths,
chouette lien :)
tu peux aussi utiliser un brin d'haskell,
des cours en lien structure,
et là ... ;)

# Par yves, le dimanche 10/10/2004 à 15h13

Wiki avec des math dedans, en local? lien:
http://recitmst.qc.ca/wikinimst/wakka.php?wiki=WikiniMST

C'est wikinimst qui passe les formules du latex au png. Automatiquement...

Exemple:
http://recitmst.qc.ca/wikinimst/wakka.php?wiki=ForumulesMathExemple

# Par erwan, le dimanche 10/10/2004 à 17h37

Salut,
une petite question en calcul des sequents : comment fais-tu pour prouver la symétrie de l'égalité?

rigolo, ton site.

A mardi.

# Par pok, le lundi 11/10/2004 à 16h55

heureuse que tu sois fiere de toi... même si j'ai à peu près rien compris... désolée !
bon sinon continue comme ça, il est vraiment bon de s'enthousiasmer pour ce que l'on crée et de faire de l'autosatisfaction dan la vie, c'est bon pour le moral !
un jour peut-être que tu m'expliqueras ce que c'est que tout ce charabia si tu brise le silence radio...
... à samedi ? peut-être?

Ajoutez un commentaire !

Les commentaires pour ce billet sont fermés.

Eve La Fée

Réactions

Ajoutez un commentaire !