samedi 28 novembre 2009

Qu'est-ce donc que le temps ?

" Qu'est-ce donc que le temps ? Si personne ne me le demande, je le sais : mais que je veuille l'expliquer à la demande, je ne le sais pas ! Et pourtant — je le dis en toute confiance — je sais que si rien ne se passait il n'y aurait pas de temps passé, et si rien n'advenait, il n'y aurait pas d'avenir, et si rien n'existait, il n'y aurait pas de temps présent. Mais ces deux temps, passé et avenir, quel est leur mode d'être alors que le passé n'est plus et que l'avenir n'est pas encore ? Quant au présent, s'il était toujours présent sans passer au passé, il ne serait plus le temps mais l'éternité.
Si donc le présent, pour être du temps, ne devient tel qu'en passant au passé, quel mode d'être lui reconnaître, puisque sa raison d'être est de cesser d'être, si bien que nous pouvons dire que le temps a l'être seulement parce qu'il tend au néant. (...) Enfin, si l'avenir et le passé sont, je veux savoir où ils sont. Si je ne le puis, je sais du moins que, où qu'ils soient, ils n'y sont pas en tant que choses futures ou passées, mais sont choses présentes. Car s'ils y sont, futur il n'y est pas encore, passé il n'y est plus. Où donc qu'ils soient, quels qu'ils soient, ils n'y sont que présents. Quand nous racontons véridiquement le passé, ce qui sort de la mémoire, ce n'est pas la réalité même, la réalité passée, mais des mots, conçus d'après ces images qu'elle a fixées comme des traces dans notre esprit en passant par les sens.
Mon enfance par exemple, qui n'est plus, est dans un passé qui n'est plus, mais quand je me la rappelle et la raconte, c'est son image que je vois dans le présent, image présente en ma mémoire. En va-t-il de même quand on prédit l'avenir ? Les choses qui ne sont pas encore sont-elles pressenties grâce à des images présentes ? Je confesse, mon Dieu, que je ne le sais pas. Mais je sais bien en tout cas que d'ordinaire nous préméditons nos actions futures et que cette préméditation est présente, alors que l'action préméditée n'est pas encore puisqu'elle est à venir. Quand nous l'aurons entreprise, quand nous commencerons d'exécuter notre projet, alors l'action existera mais ne sera plus à venir, mais présente. (...)
Il est dès lors évident et clair que ni l'avenir ni le passé ne sont et qu'il est impropre de dire : il y a trois temps, le passé, le présent, l'avenir, mais qu'il serait exact de dire : il y a trois temps, un présent au sujet du passé, un présent au sujet du présent, un présent au sujet de l'avenir. Il y a en effet dans l'âme ces trois instances, et je ne les vois pas ailleurs : un présent relatif au passé, la mémoire, un présent relatif au présent, la perception, un présent relatif à l'avenir, l'attente. Si l'on me permet ces expressions, ce sont bien trois temps que je vois et je conviens qu'il y en a trois."

Confessions, livre XI. Paragraphe: XIV, XVIII, XX

dimanche 1 février 2009

Le code génétique

Un exercice (plutôt à faire en utilisant B) :

Spécifiez ceci

lundi 8 septembre 2008

Dur, dur

Anecdote.

Il restait une caisse en haut d'une armoire de mon bureau. Comme une échelle était disponible dans le couloir, j'ai finalement pu descendre cette caisse.
Il y avait des classeurs. Je prends le premier en présence d'un collègue qui lui aussi part à la retraite. Je constate qu'il s'agit d'un dossier de td de spec. Le collègue me dit de ne pas l'ouvrir, sinon ça va me mettre le moral à zéro. J'ouvre cependant.

Très bien écrit, bien structuré, enfin un dossier qui respecte les consignes (à une époque où je ne les écrivais pas et où je ne les énonçais qu'une fois dans l'année), un dossier réutilisable, etc. J'avais noté "TB".
De quand date ce dossier ? De 1998.
J'en prends un deuxième. Encore un dossier comme depuis quelques années je n'en vois plus. Et c'est ainsi pour toute la caisse. Pas de faute d'orthographe, des commentaires pertinents.

J'ai tout mis à la poubelle. On ne pourra plus comparer. C'est ainsi qu'on est le meilleurs. Et tout le monde il est beau et tout le monde il est gentil et tout le monde il est le meilleur. Mais faut pas que les Polonais viennent chez nous piquer nos femmes et nos emplois ! nous allons récrire la Marseillaise.

1998-2008 ! comment en est-on arrivé là ?

Et on nous rebat les oreilles avec ISO 9000.

Pour ma dernière soutenance de stage en sept, un étudiant nous a dit "ce qui a été un peu difficile pour moi, ça a été de me conformer aux normes de spécification de la société qui est de niveau 3 dans le CMI"
Ah ! j'ai vu de quoi il s'agissait. Un tableau où on note :
événements, actions qui s'en suit, éditions éventuelles.
Bientôt un automate de Moore ou de Mealy, ce sera le top du top du top.

Il y a 35 ans nous étions au top niveau sans le savoir.

vendredi 5 septembre 2008

Les dossiers de l'an dernier...

sont dans le couloir face au secrétariat.
Pour quelques jours, ensuite poubelle.

Je ne sais si je vais continuer à écrire dans ce bloc-notes. J'envisageai un livre sur le contenu du module spec2. Peut-être ... si les cèpes refusent de sortir par ce mauvais temps.

vendredi 23 mai 2008

La réunion du 22 mai

Elle a duré 1h 45. Il y avait 4 étudiants. Deux excusés. Sur toute une promo. On a pu faire un enseignement de qualité ! et qui plus est en dehors de tout service officiel pour moi. La gratuité ne vaut plus rien a écrit un de mes collègues de Bordeaux. Cette fois elle a eu de la valeur pour quelques étudiants et pour moi.

Je vous avais demandé d'utiliser LTSA pour vérifier...
Dans le corrigé, j'ai fait une erreur de dessin et la réponse à la question 5.3. n'est pas ce qui est imprimé. Certains m'ont écrit comme explication de ce qui n'était pas une erreur (c'est moi qui est fait une erreur !) ..."J'ai répondu ça au lieu de répondre ..." !

En construisant la réponse lors de la réunion, mon erreur a été repérée. Et confirmée
par LTSA. Les outils boîte noire ne sont utiles que pour ceux qui savent ce qu'ils font ! et ce qu'ils en attendent.

Et je ne sais pourquoi j'ai aussi copié des réponses systématiquement fausses pour la question 5.10. Heureusement que des présents à la réunion ont tiqué. Et comme j'ai construit le début d'automate au tableau je me suis aperçu de mon erreur sur le corrigé. J'ai alors demandé aux présents d'utiliser LTSA... et là, on n'a pas obtenu ce que j'attendais !
J'étais bon pour la retraite anticipée ? alors j'ai recommencé sous le contrôle des présents... et ai relu la spec saisie par un étudiant... il n'avait pas saisi la spec de la question (il avait saisi ::, là où dans la spec il y avait :) ! Ouf !

Pour la question 6.3. les présents ne voyaient pas pourquoi il n'y avait pas de solution (impossible de trouver une précondition respectant l'invariant sans modifier ce qui était écrit après le THEN). Et oui ...dans la vie on peut vous poser un pb sans solution. Et il faut savoir repérer. Je vous avais demandé pourquoi.

Comme toujours, impossible de faire faire un diagramme sagittal et un essai illustrant l'impossibilité (il suffit d'exhiber un exemple comme disent les logiciens et c'est démontré !). C'est que nous avons des étudiants qui ne veulent pas s'abaisser à faire des dessins de mat sup (maternelle supérieure). Le prof de maths a vécu cela..; et ça a continué en spec1 et spec2.
Et dès qu'un des 4 présents a eu tenté de faire l'opération sur le diagramme sagittal, il s'est vu comme Archimède ...Eureka.
Alors à vos crayons.

Je vais repasser toutes les copies en revue pour quelques décimales...!

Il est clair que je ne trafiquerai pas les notes. Trafiquer les compteurs sur une automobile est interdit ...

Je vais faire l'ajout des au plus 3 points comme annoncé. Les notes seront donc modifiées conformément aux règles annoncées. Nous vivons dans un état de droit.

vendredi 16 mai 2008

Détails

"Mais ce n'est pas assez que d'avoir bien établi l'ensemble, il s'agit d'y introduire les détails sans détruire la masse."

Diderot, Essais sur la peinture, Hermann, page 17 *


En informatique, nous disposons des techniques d'abstraction, de raffinage. C'est ce que nous avons tenté d'enseigner en spec1 et spec2.


* merci à Sébastien qui m'alimente en ouvrages

Vive l' i-tichingue !

bonjour,
je commence à m'interresser à la preuve de logiciel.
depuis casablanca (au Maroc) , je suis entrée à votre page sur le site
irin.univ-nantes.fr
et trouvé un exercice de spécifications.
j'ai essayé de résoudre cet exercice.
si vous pouvez me le corriger voici ci dessous mes réponses:
je vous en remercie d'avance.

Considérez l’extrait suivant d’une machine abstraite B

POW P ensemble des sous-ensembles
SETS
PERSONNE ; SUJET

VARIABLES
professeurs, sujets, enseigne

INVARIANT
professeurs : POW (PERSONNE) &
sujets : POW (SUJET) &
enseigne : PERSONNE +-> POW (SUJET)

Nous allons énoncer des contraintes supplémentaires.
Et fournir plusieurs spécifications, certaines étant mal typées.
Si une phrase à spécifier vous apparaît comme ambiguë, explicitez l’ambiguïté,
fournissez une nouvelle rédaction et la spécification associée.
Question 1
« Les personnes qui enseignent sont des professeurs »
Sera exprimé au mieux par :
Bonne spécification 1.1. dom (enseigne) < : professeurs
1.2. professeurs < : dom (enseigne)
1.3. ran (enseigne) < : professeurs
1.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français


Spécification


Question 2
« Tous les sujets sont enseignés par les professeurs » (N.B. : nous ne désirons pas
dire que chaque professeur enseigne tous les sujets. Nous désirons dire qu’il n’y a
pas de sujet qu’aucun professeur n’enseigne. »
Sera exprimé au mieux par :
Bonne spécification 2.1. ran (enseigne) < : sujet
2.2. enseigne : PERSONNE +-> POW (SUJET)
2.3. enseigne : professeurs +-> sujets
2.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français

Spécification


Question 3
« Tous les professeurs ne doivent pas enseigner, sachant que seuls les professeurs
peuvent enseigner. »
Sera exprimé au mieux par :
3.1 dom (enseigne) = professeurs
3.2 dom (enseigne – professeurs) /= {}
Bonne spécification 3.3 professeurs – dom (enseigne) /= {}
3.4 aucun des prédicats ci-dessus
Ambiguïté
le prédicat 3.3 est proche de la bonne spécification.
la première partie veut dire qu’aucun professeur ne doit enseigner.
La seconde veut dire que les enseignants ne peuvent être que des professeurs.
D’où la contradiction


Nouvelle expression en français
Les professeurs ne doivent pas tous enseigner


Spécification


Question 4
« Un groupe est un ensemble de personnes »
Sera exprimé au mieux par :
4.1 PERSONNE : groupe
4.2 groupe : PERSONNE
4.3 groupe : NAT <-> PERSONNE
Bonne spécification 4.4 aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français


Spécification
Groupe< :PERSONNE


Question 5
« Une année est un ensemble de groupes »
Sera exprimé au mieux par :
5.1 groupe : année & année < : PERSONNE
5.2 année : POW (groupe) & groupe : POW (PERSONNE)
5.3 groupe < : année & année < : PERSONNE
Bonne spécification 5.4 aucun des prédicats ci-dessus.

Ambiguïté


Nouvelle expression en français


Spécification

groupe : année & année < :POW( PERSONNE)

==============
et ma réponse :

C'est bon.

Pour la dernière
groupes :<: POW (PERS) &
années <: POW (groupes)

Les dossiers de TD

Afin d'avoir une notation cohérente et unifiée, je traite tous les dossiers de tous les groupes.

Je note relativement aux consignes rappelées plusieurs fois. Ce sont les mêmes que pour spec1. Elles vous ont été fournies par écrit. Il est clair que la seule recopie de ce qu'a écrit l'enseignant au tableau n'est pas ce qui est demandé.

Je n'ai pas rappelé sur chaque dossier le non respect de ces consignes.


Les étudiants qui veulent consulter un dossier respectant en grande partie les consignes (il s'agit d'un dossier de 2007) peuvent m'adresser un courriel.

En plus du contenu du dossier, je dispose des informations écrites fournies par les enseignants de td sur l'activité de chacun lors des TD (et pas seulement des présences).

Pour les étudiants qui veulent avoir des réponses à leurs interrogations

... après discussion avec certains d'entre vous, la tranche de temps que nous avons trouvée de libre pour tous est jeudi prochain. Il ne semble pas qu'il y ait d'activité sportive ce jeudi 22. Si un étudiant ne peut venir et désire discuter de ses explications, il sait que le courriel est disponible pour demander un rdv, je le lis chaque jour.

Le rendez-vous est donc salle F01 jeudi 22 mai à 14 heures.

Rappelons la séquence ayant conduit à ce rdv :

- Avant chaque cours, j'annonce ce que je vais traiter, ce qu'il faut faire pour se préparer au cours. j'en informe aussi les intervenants en TD
- Après chaque cours, je fais un compte-rendu sur le blog. Je donne des compléments. Je corrige éventuellement mes propos. J'insiste sur les points essentiels qui seront demandés en DS. J'insiste particulièrement sur les erreurs.
- En cours, j'annonce les exemples traités qui seront des exos du DS
- Lors du DS, je demande aux étudiants de noter leurs réponses sur le sujet et sur la feuille de réponse. Ceci afin qu'ils puissent faire une auto-notation. Il me semble en effet essentiel que la note n'apparaisse pas comme non significative. Et de plus, se noter oblige à se relire, à se poser la question de l'essentiel. Et enfin, cela amène les étudiants à lire le corrigé fourni. En effet, les enseignants qui fournissent un corrigé savent depuis quelques années, que seulement quelques étudiants prennent ce corrigé (ce qui ne donne pas le nombre de ceux qui l'étudient).
- Et je demande que me soit fournie une explication des erreurs, des non réponses. Et comme ce qui compte c'est ce qui finalement est compris, j'ajoute jusqu'à 3 points à la note selon le contenu de ces explications.
- J'étudie les explications. Ayant noté encore des incompréhensions, des raisonnements erronés, des questions posées, j'ai proposé une réunion. C'est l'objet des premières lignes de ce courriel.

jeudi 15 mai 2008

Incroyable ... mais vrai !

> > XXXXXX a écrit :
>> >> Bonjour,
>> >> Nous sommes plusieurs étudiants à nous demander pourquoi nous devons
>> >> venir
>> >> à une séance de correction, alors que nous avons rendu un corrigé.
>> >> Ce que nous avons rendu ne sert donc à rien?
>> >>
> >
> >
> > Oh ! comment puis-je savoir ce que vous avez compris si je ne lis pas ce
> > que je vous ai demandé. E,n vous lisant, j'ai constaté que certains
> > n'ont toujours pas compris. Et je pense que l'oral est bien commode pour
> > discuter avec vous de vos incompréhensions, etc.
> >
> > Mais si vous concevez l'enseignant comme un "dis- penseur" de bonnes
> > notes, je perds effectivement mon temps et serais incompris de vous.
> >
> >
> >
>> >> Nous souhaiterions donc plus d'informations. svp
>> >>
>> >> Cordialement
>> >>
>> >> Merci d'avance.
>> >>
>> >>
>> >>
>> >>
> >

Un collègue prenant connaissance de cet échange, m'écrit :

Incroyable !!!!!!!!!!!!!!!!!


Pour information, j'ai proposé aux étudiants une séance. Aucune obligation ! Quoi, horrreur ! obliger !