jeudi 2 octobre 2008
samedi 21 juin 2008
Retraite ...mais ça continue !
L'auteur de ce bloc-notes part en retraite...mais continuera à alimenter ce bloc-notes.
jeudi 3 avril 2008
Aléa jacta est (dé, datum, donnée, information)
Alea, en latin, signifie "dé" ou "jeu de dés", par extension désignait le sort, le hasard, etc.
Le latin tardif lui a préféré datum, "ce qui est donné". (Orlando de Rudder, Aperto libro, Larousse, ISBN : 2-03-330023-4)
Une donnée est une information. En probabilité, on parle d'événements (aléatoires). Si avant de tirer une boule de l'urne, on sait qu'elle sera noire, ce n'est pas un événement, ce n'est pas une donnée, ce n'est pas une information. L'information, c'est ce qui réduit l'incertitude (voir aussi le concept de "bien économique"). Voir les "scoops". Si je conserve la donnée, c'est que, pour moi, à la mémoire faiblarde, ce que j'ai inscrit dans le fichier, est une information (voila d'ailleurs pourquoi je vais la chercher). Le jour où mon nom sera pour moi une info ce ne sera pas bon signe pour mon entourage !
Le latin tardif lui a préféré datum, "ce qui est donné". (Orlando de Rudder, Aperto libro, Larousse, ISBN : 2-03-330023-4)
Une donnée est une information. En probabilité, on parle d'événements (aléatoires). Si avant de tirer une boule de l'urne, on sait qu'elle sera noire, ce n'est pas un événement, ce n'est pas une donnée, ce n'est pas une information. L'information, c'est ce qui réduit l'incertitude (voir aussi le concept de "bien économique"). Voir les "scoops". Si je conserve la donnée, c'est que, pour moi, à la mémoire faiblarde, ce que j'ai inscrit dans le fichier, est une information (voila d'ailleurs pourquoi je vais la chercher). Le jour où mon nom sera pour moi une info ce ne sera pas bon signe pour mon entourage !
mercredi 13 février 2008
L'axiome du choix
Dans le polycopié vous avez la présentation des axiomes de la théorie des ensembles et ceux retenus par B.
Parmi les axiomes, il y a l'axiome du choix.
Il dit que si on dispose d'un ensemble d'ensembles non vides et disjoints deux à deux, par exemple l'ensemble des groupes de première année (je rappelle qu'un étudiant ne peut être membre de plus d'un groupe), alors on peut constituer un ensemble en prenant un élément dans chacun des ensembles.
Ca paraît étonnant de devoir avoir un tel axiome.
On trouvait étonnant aussi de devoir avoir l'axiome des parallèles ...
On en a eu besoin quand on s'est rendu compte qu'avec les autres axiomes, on ne pouvait prouver qu'on pouvait bien constituer ...
Alors on a proposé l'axiome du choix. C'est Ernst Zermelo qui l'a introduit en 1904.
Paul Cohen a prouvé en 1963 qu'il est impossible de déduire l'axiome du choix des autres axiomes.
Parmi les axiomes, il y a l'axiome du choix.
Il dit que si on dispose d'un ensemble d'ensembles non vides et disjoints deux à deux, par exemple l'ensemble des groupes de première année (je rappelle qu'un étudiant ne peut être membre de plus d'un groupe), alors on peut constituer un ensemble en prenant un élément dans chacun des ensembles.
Ca paraît étonnant de devoir avoir un tel axiome.
On trouvait étonnant aussi de devoir avoir l'axiome des parallèles ...
On en a eu besoin quand on s'est rendu compte qu'avec les autres axiomes, on ne pouvait prouver qu'on pouvait bien constituer ...
Alors on a proposé l'axiome du choix. C'est Ernst Zermelo qui l'a introduit en 1904.
Paul Cohen a prouvé en 1963 qu'il est impossible de déduire l'axiome du choix des autres axiomes.
mercredi 6 février 2008
Teaching the B method, the blog
The B method : from research to teaching,
Conference,
Nantes,
France
Cité Internationale des Congrès
June 16, 2008
Blog here :
http://teachingbconference.blogspot.com/
Conference,
Nantes,
France
Cité Internationale des Congrès
June 16, 2008
Blog here :
http://teachingbconference.blogspot.com/
mardi 5 février 2008
Une application de B
Des pages d'information sur le système KVS de la SNCF, pour ceux qui aiment les trains.
Une des premières application de la méthode B.
Une des premières application de la méthode B.
dimanche 3 février 2008
20 ans déjà
En rangeant mes papiers (il faut bien partir en retraite), et en remplissant ma poubelle, je retrouve une lettre de la direction des systèmes de signalisation de GEC Alsthom datée d'octobre 91.
Extraits :
Extraits :
- "GEC Alsthom a commencé à utiliser la méthode B en 1987, pour respécifier, en vue de certification, le système SACEM installé sur la ligne A du RER à Paris, et en service depuis septembre 1988. Ce système a permis d'accroître le débit de la ligne, l'intervalle entre trains étant réduit de 2 min 30 à 2 min, en améliorant la sécurité.
- Nous l'utilisons actuellement pour la réalisation du logiciel de contrôle de vitesse appelé KVS, destiné à la SNCF. (...)"
jeudi 31 janvier 2008
Filocours, riboulware et croquargent
c'est le titre d'un article de 01 Informatique, reproduit dans un papier de Gilbert Cristini qui fut rédacteur en chef de O1 Informatique.
Le sous-titre est :"Afin d'écarter les Pieds Nickelés de la formation, l'Education Nationale ne pourrait-elle promouvoir un label pour les cours d'informatique ?"
C'était en sept 1969, l'année chantée par Serge Gainsbourg.
Qui aujourd'hui poserait une telle question ? C'était l'ancien temps. Aujourd'hui, tout le monde sait ce qu'est l'informatique. Il suffit de naître avec un ordinateur dans la salle d'accouchement !
Le sous-titre est :"Afin d'écarter les Pieds Nickelés de la formation, l'Education Nationale ne pourrait-elle promouvoir un label pour les cours d'informatique ?"
C'était en sept 1969, l'année chantée par Serge Gainsbourg.
Qui aujourd'hui poserait une telle question ? C'était l'ancien temps. Aujourd'hui, tout le monde sait ce qu'est l'informatique. Il suffit de naître avec un ordinateur dans la salle d'accouchement !
Les fonctions partielles et les 'valeurs nulles"
Message reçu ce jour :
" Re bonjour,
Concernant les commandes de billets transports chez CARLSON, quelques petites informations complémentaires utiles.Lorsque vous allez rechercher le contrat cadre, il faut être vigilant car plusieurs lignes vous sont proposées.
Pour l'achat des billets ferroviaires, vous avez 2 lignes :1ère ligne :2006FCS9996036/1 - Fourniture de titres de transports - LOT 1 - 4600000035 - 0010 - 60.01 (grpe marchandises) correspond à l'achat de billets de transport avec la dérivation budgétaire 62561. Sans TVA.
2ème ligne :2006FCS9996036/1 - Fourniture de titres de transports - LOT 1 - 4600000035 - 0020 - 60.07 (grpe marchandises) correspond à la prestation de service (frais d'agence) avec la dérivation budgétaire 6228. Avec TVA non déductible de 19,6%
Il faut donc créer 2 lignes au moment de l'établissement de votre commande, l'une pour les billets, l'autre pour les frais d'agence.
Ceci est incontournable.
Même procédure pour les billets d'avion (national ou international).
Nous sommes à votre disposition pour vous guider."
Eh oui, vous devez savoir cela. J'ai traité plusieurs fois de la normalisation des schémas relationnels. La bonne théorie évite bien des commentaires.
Attendons le prochain message sur :
-les livres
-les ...
et le
"ceci est incontournable".
C'est comme la semi-décidabilité bien connue de vous tous (voir vos copies)
Débloquer l'économie français qu'il dit Attali !
" Re bonjour,
Concernant les commandes de billets transports chez CARLSON, quelques petites informations complémentaires utiles.Lorsque vous allez rechercher le contrat cadre, il faut être vigilant car plusieurs lignes vous sont proposées.
Pour l'achat des billets ferroviaires, vous avez 2 lignes :1ère ligne :2006FCS9996036/1 - Fourniture de titres de transports - LOT 1 - 4600000035 - 0010 - 60.01 (grpe marchandises) correspond à l'achat de billets de transport avec la dérivation budgétaire 62561. Sans TVA.
2ème ligne :2006FCS9996036/1 - Fourniture de titres de transports - LOT 1 - 4600000035 - 0020 - 60.07 (grpe marchandises) correspond à la prestation de service (frais d'agence) avec la dérivation budgétaire 6228. Avec TVA non déductible de 19,6%
Il faut donc créer 2 lignes au moment de l'établissement de votre commande, l'une pour les billets, l'autre pour les frais d'agence.
Ceci est incontournable.
Même procédure pour les billets d'avion (national ou international).
Nous sommes à votre disposition pour vous guider."
Eh oui, vous devez savoir cela. J'ai traité plusieurs fois de la normalisation des schémas relationnels. La bonne théorie évite bien des commentaires.
Attendons le prochain message sur :
-les livres
-les ...
et le
"ceci est incontournable".
C'est comme la semi-décidabilité bien connue de vous tous (voir vos copies)
Débloquer l'économie français qu'il dit Attali !
mercredi 30 janvier 2008
La vraie vie, SIFAC, le Ministre, et le génie logiciel
" SIFAC évolue tous les jours.En effet, jusqu'à hier lundi nous pouvions "autoriser" et "calculer" l'OM. Cela ne bloquait aucunement la possibilité de pouvoir modifier à souhait l'OM en fonction de la réalité du déplacement.OR, et toute mise à jour n'est PAS BONNE, car depuis aujourd'hui mardi, losque nous calculons l'OM, cela a pour effet de transmettre en comptabilité générale (donc à l'agence comptable). Autre effet, c'est que cela nous INTERDIT toute modification ultérieure ; cela veut dire que lors du retour de l'agent, nous ne pouvons modifier son déplacement en fonction de la réalité de celui-ci.Vous imaginez bien les problèmes que cela va entraîner pour le remboursement.Le problème est soulevé auprès du concepteur afin de débloquer la situation.DONC, EN ATTENDANT, NE PAS CLIQUER SUR "CALCULER". Cela n'empêchera pas la visualisation et l'impression de l'OM (enfin normalement...)."
OM : Ordre de Mission
Rappel : l'Administration paye des services effectués.
Mais là il faudrait que les informaticiens aient suivi notre enseignement à l'IUT en I.O.S. (droit, etc.)
Ce matin , à notre cours de 8 heures : 8 absents sur 25 inscrits.
Un message reçu ce jour
Bof , bof , bof !
A quoi bon spécifier les logiciels ! A quoi bon enseigner les spécifications. Comme l'a demandé notre ministre de l'Enseignement Postérieur, il faut que les étudiants notent les enseignants du supérieur. Cette mesure doit faire partie des propositions du rapport Attali pour l'amélioration de la productivité de l'économie française. Oui, oui ... *
Donc les étudiants qui sont informaticiens depuis leur plus tendre enfance se foutent bien de la spécification et des demandes de ces imbéciles d'utilisateurs qui ne savent pas utiliser leurs logiciels.
Bof, bof ...
tant que ce ne sont pas les mêmes qui font les logiciels embarqués sur l'Airbus, le TGV, le métro !
Je rappelle que ce que nous enseignons à l'IUT est utilisé, a été utilisé pour Meteor, le métro de Calcutta, de New-York, pour la navette de Roissy, etc.
* sur France Culture nous avons appris ce matin que maintenant les élèves traduits en Conseil de discipline pouvaient se faire assister d'avocats. Que les parents attaquaient le lycée si les notes de leurs enfants n'étaient pas bonnes.
Je vois le proviseur chapitrant ses enseignants : faites moi de bonnes notes sinon je vous fais payer les frais de tribunal ...
Qu'en disent les clercs ?
"La démission des clercs ?"
OM : Ordre de Mission
Rappel : l'Administration paye des services effectués.
Mais là il faudrait que les informaticiens aient suivi notre enseignement à l'IUT en I.O.S. (droit, etc.)
Ce matin , à notre cours de 8 heures : 8 absents sur 25 inscrits.
Un message reçu ce jour
Bof , bof , bof !
A quoi bon spécifier les logiciels ! A quoi bon enseigner les spécifications. Comme l'a demandé notre ministre de l'Enseignement Postérieur, il faut que les étudiants notent les enseignants du supérieur. Cette mesure doit faire partie des propositions du rapport Attali pour l'amélioration de la productivité de l'économie française. Oui, oui ... *
Donc les étudiants qui sont informaticiens depuis leur plus tendre enfance se foutent bien de la spécification et des demandes de ces imbéciles d'utilisateurs qui ne savent pas utiliser leurs logiciels.
Bof, bof ...
tant que ce ne sont pas les mêmes qui font les logiciels embarqués sur l'Airbus, le TGV, le métro !
Je rappelle que ce que nous enseignons à l'IUT est utilisé, a été utilisé pour Meteor, le métro de Calcutta, de New-York, pour la navette de Roissy, etc.
* sur France Culture nous avons appris ce matin que maintenant les élèves traduits en Conseil de discipline pouvaient se faire assister d'avocats. Que les parents attaquaient le lycée si les notes de leurs enfants n'étaient pas bonnes.
Je vois le proviseur chapitrant ses enseignants : faites moi de bonnes notes sinon je vous fais payer les frais de tribunal ...
Qu'en disent les clercs ?
"La démission des clercs ?"
lundi 28 janvier 2008
Notes du test sur l'Atelier B
du groupe 3 sont affichées sur la porte de mon bureau depuis ce matin 9h 30.
Inscription à :
Articles (Atom)
