Messages postés par "Aabu"

160 messages sont invisibles car dans un sujet inaccessible.

Sujet Date Extrait
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

dimanche 16 juin 2019 à 00h33 J'ai continué un peu ma lecture. Les exercices sur les *behaviors* (3.3.1) sont assez ennuyeux et je n'ai pas eu le courage de tous les faire. Surtout qu'on reprend ceux d'avant... J'ai trouvé qu'…
Modération du contenu indésirable et choquant

Comment ça fonctionne ?

samedi 15 juin 2019 à 17h14 Salut, Sur Zeste de Savoir, tout est manuel. Collectivement, les modérateurs lisent une grande partie de ce qui est posté, en particulier sur les forums. À côté de ça, les simples membres pe…
Dessiner un parcours sur une carte
jeudi 13 juin 2019 à 13h59 Salut, Si tu as une liste de coordonnées et un fond de carte (peu importe d'où, par exemple des données OSM), alors tu pourras relativement facilement faire le job avec QGIS (un logiciel pour mani…
Copier-coller de code depuis les exports PDF

On ne peut pas copier-coller le code facilement.

mercredi 12 juin 2019 à 23h50 Salut, Merci pour l'indice. En fait, il semblerait que ce soit difficilement possible : * https://tex.stackexchange.com/questions/6668/text-selection-in-generated-pdf-misbehaves-with-two-column…
Copier-coller de code depuis les exports PDF

On ne peut pas copier-coller le code facilement.

mercredi 12 juin 2019 à 22h16 Bonjour, En lisant un tuto au format PDF, je me suis rendu compte que les extraits de code étaient très difficilement copiable-collable. Par exemple dans l'export du tutoriel C++, [page 29](htt…
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

mercredi 12 juin 2019 à 21h56 > **@Aabu** : Pour la partie installation par les dépôts tu te souviens des noms des paquets pour lesquels ça a vraiment posé problème ? Alt-ergo, why3, Frama-C ? Source:[Ksass`Peuk](https://zestede…
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

samedi 08 juin 2019 à 23h15 Salut, J'ai commencé à apprendre Frama-C avec ton tutoriel et j'en profite pour le bêta-tester. Si ça peut t'aider à me situer par rapport à ta cible, j'utilise Linux au quotidien depuis près …
Cette classe est-elle un sous type légitime ?

selon le principe de substitution de Liskov

jeudi 06 juin 2019 à 14h11 @**Ksass`Peuk** : ton énigme est intéressante, j'ai réfléchi un peu. J'ai l'impression que la différence-clé est que dans le premier exemple, on ne peut pas sortir de l'état "val < 0", alors que …
Programmation de la méthode Euler

Méthode Euler

lundi 03 juin 2019 à 20h16 Salut, Comme le dit @Karnaj, sans montrer ce que tu as déjà fait et où tu bloques, on ne peut pas t'aider. Ceci dit, je te conseille de lire [ce tutoriel](https://zestedesavoir.com/tutoriels/52…
Biologie des système: étudier processus complexe
dimanche 26 mai 2019 à 23h39 Bonjour, Pour ceux qui comme moi n'était pas familier du sujet : [Biologie des systèmes](https://fr.wikipedia.org/wiki/Biologie_des_syst%C3%A8mes). La modélisation de systèmes constitue une par…
MPSI sans internat ou PCSI avec internat ?

le dilemme

dimanche 26 mai 2019 à 12h59 > Merci à tous pour vos réponses ! Ça m'aide beaucoup. :) > > > La chimie de prépa ne m’a pas enthousiasmé du tout, contrairement aux sciences de l’ingénieur (dénomination un peu vide de sens d’ai…
MPSI sans internat ou PCSI avec internat ?

le dilemme

samedi 25 mai 2019 à 18h16 Salut, > - Avez-vous regretté votre choix MPSI/PCSI, ou est-ce peu déterminant ? Je n'ai pas regretté mon choix. J'ai choisi PCSI pour la première année, parce que je voulais continuer à faire …
produit scalaire dans les complexes sur un espace préhilbertien
mercredi 15 mai 2019 à 13h28 En complexes, le produit scalaire (hermitien) n'est pas bilinéaire symétrique mais [sesquilinéaire à gauche](https://fr.m.wikipedia.org/wiki/Produit_scalaire#G%C3%A9n%C3%A9ralisation_aux_espaces_vect…
Bug notations Latex ?
mercredi 15 mai 2019 à 13h19 Salut, C'est un bug connu en cours de correction.
produit scalaire dans les complexes sur un espace préhilbertien
mercredi 15 mai 2019 à 12h49 Salut, Montre tes calculs, ça devrait apparaître assez naturellement en utilisant les définitions.
On a redéfini le kilogramme !
mardi 14 mai 2019 à 22h37 Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [On a redéfini le kilogramme ...](https://zestedesavoir.com/contenus/beta/2901/on-a-redef…
Pourquoi la moutarde nous monte-t-elle au nez ?

Physiologie humaine et chimie de la moutarde

dimanche 12 mai 2019 à 21h08 Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [Pourquoi la moutarde nous monte-t-elle au nez ?](https://zestedesavoir.com/contenus/beta…
JZDS Paris
jeudi 09 mai 2019 à 19h15 Nous sommes arrivés. Grande table carrée vers le fond. Chemise bleu ciel pour ma part.
Avoir moins d'empathie ?
jeudi 09 mai 2019 à 13h06 > Je pense qu'on a tous un quota de larmes à verser. Je pense que tu devrais arrêter de penser ça. C'est infondé. Si les émotions s'épuisaient, il n'y aurait pas d'états émotionnels durables ou i…
JZDS Paris
mercredi 08 mai 2019 à 16h56 Il va falloir faire les JZdS en réalité virtuelle.
L'open bar à smoothies

Qui a dit "Hors sujet" ?

mercredi 08 mai 2019 à 16h39 Merci, tu m'as fait penser à remplir ma déclaration. Je pense sincèrement que le système fiscal est inutilement compliqué. Quand on voit la quantité de choses : revenu brut, brut fiscal, brut impo…