Utilisateur:Mononoke Hime
Un article de Wikipédia, l'encyclopédie libre.
Voici un lien vers ma Page perso.
[modifier] Les utilisateurs en ito et ita
|
Il s'agit en fait de la migration d'un cannal IRC tout entier : #Chanito, où chacun se doit d'avoir un pseudo en -ito ou -ita. La majorité des chanitiens font ou ont fini une thèse d'informatique théorique à Rouen. |
[modifier] Contributions et centres d'interets
Ma contribution a Wikipedia commence très loin de mon domaine professionnel. Elle commence en fait par de très anciens centres d'interets, ceux de ma période 16-20 ans : Giono, Thoreau ( encore a faire ) et quelques errances métaphysiques : Spinoza, les mythologies archaiques ( encore a faire ).
Je m'excuse auprès de toute la communauté Wikipedia pour notre article Lorie.
Je pense contribuer bientôt à quelques articles plus proches de mon domaine : dont Logique temporelle, Model checking, Vérification ( logicielle ), Automate, Automate de Buchi, Structure de Kripke, Systemes de transitions, Bio-informatique, Théorie des graphes, Spin ( logiciel ), Expression secondaire, ...
