JeanCASPAR

Présentation

Je m'appelle Jean Caspar, je suis étudiant en informatique et j'apprécie le logiciel libre. Je contribue principalement sur les sujets d'informatique théorique et de logique.

Travaux en cours et futurs

Dans le futur proche, je compte écrire des articles sur PCF, le lambda-mu calcul, le lambda-bar-mu-mu-tilde-calcul, étoffer l'article sur la théorie des domaines et écrire un article sur les espaces cohérents.

À terme, j'aimerais étoffer les articles sur la théorie des types, la théorie de la démonstration et la théorie des catégories, que je trouve assez inégaux et pas forcément uniformes, et peut-être créer une palette ou deux, notamment sur la théorie des types ou la théorie des domaines.

Articles créés et travail passé

Par ordre chronologique inverse (attention, les premières contributions piquent les yeux) :

• Prédicat T et fonction U de Kleene ;
• Système T (réécriture de fond en comble) ;
• Lambda-calcul simplement typé ;
• Arithmétique de Heyting ;
• Système F#Candidats de réductibilité ;
• Logique linéaire (uniformisation des formules) ;
• Graphe cop-win ;
• Espace vectoriel ordonné.

∇ Jeu de rôle J'adore les jeux de rôle. ∇ Je suis inscrit sur Wikipédia depuis 3 ans, 5 mois et 8 jours. ∇ WikiOgre Je suis un abominable Ogre de Wikipédia. ∇ Rust Je programme en Rust. ∇ Informatique Je participe au projet Informatique. ∇ Logique Je participe au projet Logique. ∇ Mathématiques Je participe au projet Mathématiques. ∇ Charte scientifique J’adopte la charte du contributeur en science sur Wikipédia. ∇ Je suis inclusionniste. Toute notion est digne d'une entrée dans Wikipédia si elle est sourcée. ∇ Marre des banderilleros Je préfère améliorer un article plutôt que de poser un bandeau. Et vous ? ∇ Ça va toujours ? Vous devez être perturbé après cette avalanche de boîtes. [+] Boîtes utilisateur

Pense-bête

Émoticones

Galerie des émoticônes

Tango Project
{{ange}}	{{malin}} {{diable}}	{{clin d'œil}} {{;)}}	{{oups}} {{gêné}}	{{^^}} {{rofl}}
{{drôle}} {{mdr}} {{lol}} {{=D}}	{{boulet}} {{r-é}}	{{chauvin}}	{{voleur}}	{{zorro}}
{{halte}}	{{bisou}}	{{pleure}} {{bouh}} {{='(}}	{{sourire}} {{=)}}	{{tête en bas}}
{{triste}} {{=(}}	{{=/}}	{{=s}}	{{bof}}	{{songeur}}
{{espiègle}} {{;p}}	{{surprise}} {{=o}}	{{cool}}	{{CQFD}}	{{expert}}
{{pouce haut}}	{{pouce bas}}	{{chut}}	{{muet}}	{{masque2}}
{{psycho}}	{{peur}}	{{je rêve}}	{{boudeur}}	{{sourire éclatant}}
Autre
{{bravo}}	{{plr}}	{{yeux}}	{{confus}}	{{euh ?}}
{{épuisé}} {{pendlg}}	{{tire langue}} {{=P}}	{{blll}}	{{conf}}	{{singe}}
{{bâille}}	{{désespoir}}	{{hum}}	{{malade}}	{{beurk}}
{{énervé}}	{{grr}} {{fâché}}	{{???}}	{{masque}}	{{sifflote}}
{{ennui}} {{attend}}	{{injure}}	{{hé hé}}	{{ha ha}}	{{applau}}
{{gnii}}	{{gnii2}}	{{n'importe quoi}}	{{dans le mur}}	{{troll3}}
{{rougir}}	{{fleur}}	{{Chapeau !}}	{{ampoule}}	{{peace}}
Bonjour {{bonjour}}	Bonsoir {{bonsoir}}	Merci {{merci}}	{{2 cents}}	{{fiesta}}
{{chat orange sans clin d'œil}}	{{clin d'œil chat orange}}	{{canard jaune}}	{{canard vert}}	{{renard}}
{{pop !}}	{{youpi}}	{{amour}}	{{wikilove}}	{{smiley marronnier}}

 

Émoticones SMirC

Galerie des émoticônes de la série SMirC

+ {{Smirc|scept}}	+ {{Smirc|mdr}}	+ {{Smirc|stop}}	+ {{Smirc|café}}	+ {{Smirc|féli}}	+ {{Smirc|cool}}	+ {{Smirc|plr}}	+ {{Smirc|mort}}
+ {{Smirc|dsl}}	+ {{Smirc|doh}}	+ {{Smirc|jnsp}}	+ {{Smirc|facepalm}}	+ {{Smirc|froid}}	+ {{Smirc|triste}}	+ {{Smirc|eton}}	+ {{Smirc|:)}}
+ {{Smirc|coucou}}	+ {{Smirc|chaud}}	+ {{Smirc|rire}}	+ {{Smirc|amour}}	+ {{Smirc|martial}}	+ {{Smirc|vomir}}	+ {{Smirc|OUF}}	+ {{Smirc|heureux}}
+ {{Smirc|zip}}	+ {{Smirc|sourire}}	+ {{Smirc|KO}}	+ {{Smirc|défoncé}}	+ {{Smirc|mauvais}}	+ {{Smirc|bravo}}	+ {{Smirc|noël}}	+ {{Smirc|dodo}}
+ {{Smirc|grimace}}	+ {{Smirc|alien}}	+ {{Smirc|ange}}	+ {{Smirc|malin}}	+ {{Smirc|vampire}}	+ {{Smirc|euh}}	+ {{Smirc|clin}}	+ {{Smirc|bof}}
Il est également possible de spécifier la taille du smiley : Exemple : {{Smirc|cool}} → + {{Smirc|cool|40}} → +

 

Conventions, recommandations et usages de Wikipédia

• 10P : Dix points pour contribuer
• AAP : Acteurs ou actrices pornographiques
• ACC : Accessibilité
• AEGE : Arguments à éviter dans une guerre d'édition
• AL : Admissibilité des listes
• AM : Admissibilité dans les arts martiaux
• ANT : Guide contre l'anthropocentrisme
• ARGUM : Arguments à éviter lors d'un débat d'admissibilité
• ATC : Attentes de la communauté
• AUDIOVISUEL : Critères d'admissibilité pour l'audiovisuel
• AUTO : Autobiographie
• BAN : Bannissement
• BDP : Liens vers les portails
• BE : Blocage en écriture
• BLP : Biographie de personne vivante
• C : Consensus
• CAA : Critères d'admissibilité des articles
• CAOU : Compte à objet unique
• CB : Conventions bibliographiques
• CBC : Code de bonne conduite
• CC : Conventions sur les catégories
• CCL : Consensus clair
• CCN : Conventions sur les nombres
• CDS : Conventions de style
• CE : Contenu évasif
• CF : Conventions filmographiques
• CFF : Conventions sur la faune et la flore
• CGN : Critères généraux de notoriété
• CHOC : Contenu choquant
• CI : Conflit d'intérêts
• CIT : Citation
• CMC : Conventions sur les titres d'œuvres de musique classique
• CMR : Notoriété dans le monde de la radio
• COI : Conflit d'intérêts
• COL : Travailler collectivement
• COMMENT : Toujours commenter vos modifications dans la boîte de résumé
• COOL : Gardez votre calme en tout temps
• COU : Limitez l'usage de la couleur dans les articles
• CP : Conventions de plan
• CR : Contenu libre
• CRCW : Citation et réutilisation du contenu de Wikipédia
• CRD : Contribution - révocation - discussion
• CSI : Critères de suppression immédiate
• CSN : Critères spécifiques de notoriété
• CsTMG : Conventions sur les titres de la mythologie grecque
• CT : Conventions typographiques
• DIS : Discuter au lieu de voter
• DEFENSE : Arguments recevables lors d'un débat d'admissibilité
• DEM : Démarchage
• DIFF : Diffamation
• DIVA : Ne nourrissez pas les divas
• DT : Dates
• DTC : Développement de théories controversées
• escrime : Notoriété des escrimeurs
• ESF : Conventions sur les œuvres de fiction
• ET : Étiquette
• EXV : Exactitude et vérité
• F : AbuseFilter
• FN : Faux-nez
• FOI : Supposer la bonne foi
• foot : Notoriété liée au football
• FREE : Wikipédia est libre
• GAME : Jouer avec les mots
• GE : Guerre d'édition
• GI : Guide d'internationalisation
• GOO : Utilisation des moteurs de recherche
• GP : Guide pratique
• hockey : Notoriété liée au hockey sur glace
• HTML : Code HTML
• ICR : Interprétation créative des règles
• IMG : Mise en forme des images
• INC : Incivilité
• INDENT : Indentation
• LAP : L'article parfait
• LE : Liens externes
• LI : Liens internes
• LOI : Procédurite
• MORT : Mort vs décédé
• MPJ : Pas de menace de poursuites judiciaires
• NA : Notoriété des associations
• NAJ : Notoriété des auteurs de jeux de société
• NAOM : Notoriété des autres œuvres musicales
• NAP : Notoriété des acteurs pornographiques
• NAV : Notoriété des arts visuels
• NAVI : Notoriété de l'audiovisuel
• NB : Notoriété des nombres
• NC : Notoriété des constructions
• NCON : Ne jouez pas au con !
• ND : Nouveau départ
• NDC : Notoriété des chansons
• NECR : Notoriété des écrivains et autres artistes de l'écrit
• NEE : Notoriété des établissements d'enseignement
• NEJ : Notoriété des éditeurs de jeux de société
• NEO : Évitez les néologismes
• NESP : Notoriété des entreprises, sociétés et produits
• NEVEN : Notoriété des événements
• NF : Notoriété des œuvres de fiction
• NFANZ : Notoriété des fanzines
• NG : Critère général de notoriété
• NHP : N'hésitez pas !
• NI : Notoriété en informatique
• NJ : Notoriété des jeux de société
• NJV : Notoriété des jeux vidéo
• NM : Notoriété de la musique
• NMA : Notoriété de la musique (hors classique)
• NMPN : Ne mordez pas les nouveaux
• NMV : Notoriété du monde viti-vinicole
• NNI : Nul n'est indispensable
• NOF : Notoriété des œuvres de fiction
• NON : Harcèlement
• NOT : Ce que Wikipédia n'est pas
• NPER : Notoriété des personnes
• NPERTV : Notoriété des personnalités de la télévision
• NPF : Notoriété des personnages de fiction
• NPOV : Neutralité de point de vue
• NPP : Notoriété des personnalités politiques
• NPS : Notoriété des produits et services
• NPU : Il n'y a pas d'urgence
• NS : Notoriété des sportifs
• NSA : Notoriété du sport automobile
• NST : Notoriété liée au triathlon
• NTHE : Notoriété des artistes du théâtre
• NV : Esprit de non-violence
• NU : Nom d'utilisateur
• NW : Notoriété des sites web
• OPP : Présenter le point de vue opposé
• ORT : Orthographe
• OS : Masqueur de modifications
• OWN : Appropriation d'un article
• P : Pertinence encyclopédique
• PAC : Aucune chance
• PAP : Pas d'attaque personnelle
• PDE : Exceptions au droit d'auteur
• PGE : Distinctions entre règles, recommandations et essais
• PMS : Principe de moindre surprise
• POINT : Ne pas désorganiser Wikipédia pour une argumentation personnelle
• POVP : POV pushing
• PPP : POV pushing poli
• PR : Protection
• PROP : Importance disproportionnée
• PROPCIT : Proportion de citations dans un article
• PUB : Wikipédia n'est pas un support publicitaire
• R3R : Règle des trois révocations
• RDC : Résolution de conflit
• REF : Citez vos sources
• RI : Résumé introductif
• RSV : Règles de savoir-vivre
• rugby : Notoriété liée au rugby à XV
• RUI : Règles d'utilisation des images
• S-P : Semi-protection
• SC : Scission de contenu
• SELF : Mention de Wikipédia dans les articles
• SIGN : Quand signer ?
• SP : Usage raisonné des sources de presse
• SPS : Sources primaires et secondaires
• SSP : Sous-page
• STYLE : Style encyclopédique
• SUP : Suppression de page
• SYNTH : Synthèse inédite
• TA : Traduction automatique
• TBAN : Restriction thématique
• TC : Transcription du chinois
• tennis : Notoriété liée au tennis
• TI : Travaux inédits
• TITRE : Conventions sur les titres
• TLDR : Être concis, éviter les discours-fleuves
• TLI : Transcription des langues indiennes
• TJ : Transcription du japonais
• TRIVIA : Contenu anecdotique
• TUP : Termes à utiliser avec précaution
• UWD : Utilisation de données Wikidata dans les articles
• V : Vérifiabilité
• VAND : Vandalisme
• VRF : Variantes régionales du français
• WIKT : Wikipédia n'est pas un dictionnaire

Légendes

• Principe fondateur
• Règle
• Recommandation
• Essai