An interview with Robin Milner

the transcript of an interview with Robin Milner, held in Cambridge on the 3. September 2003. The interview was conducted by Martin Berger

http://www.dcs.qmul.ac.uk/~martinb/interviews/milner/

Robin Milner

La chaire Blaise Pascal
Milner à Cambridge !
http://www.cl.cam.ac.uk/~rm135/
Milner sur Wikipedia :
http://en.wikipedia.org/wiki/Robin_Milner

Robin Milner

Citation

For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

ACM/A.M. Turing Award.

Le cours sur LTSA/FSP de Magee et Kramer

http://www.doc.ic.ac.uk/~jnm/book/

Un logiciel gratuit
Un cours disponible
De nombreux exos corrigés...


Le site du professeur Jeff Kramer :
http://www.doc.ic.ac.uk/~jk/

Celui du professeur Jeff Magee :
http://www3.imperial.ac.uk/people/j.magee

Prochain cours

Pour le cours qui a eu lieu cette semaine, j'avais demandé de traiter le cas de l'American film star. Ceux qui l'ont fait peuvent m'adresser leur travail ou me le montrer à l'occasion...

Le prochain cours devrait porter sur :

- l'équivalence entre processus
- les propriétés de vivacité, de fatalité que nous traiterons avec FSP et LTSA

ou

- sur B événementiel. J'utiliserai le cours de son auteur, J.R. Abrial.

Cours du 26 février /4

- Je n'ai pas dit un mot pendant tout mon cours ... car j'attendais le silence. J'ai écrit tout au tableau. J'ai donné des exemples illustratifs dont on pouvait déduire la sémantique. J'ai tout photographié.
Ce que j'ai traité :

- rdp avec arcs valués
- rdp à jeton
- test à zéro

CCS
j'ai donné toutes les configurations possibles, et ai systématiquement construit l'automate (une dizaine au moins)
j'ai traité de la communication dont le sémaphore, idem automates;
j'ai donné correspondance avec FSP (un peu)


J'ai annoncé oralement et par courriel et par un écrit au tableau noir la conf de Milner.

Les réponses aux questions du "DS" se trouvent sur les photos des messages précédents.

Cours du 26 février /3

Cours du 26 février /2

Cours du 26 février /1

Préconditions

Un collègue de l'Ecole Supérieure d'Electricité de Gif, m'adresse deux préconditions, exemples qu'il donne à ses étudiants :

"Ce jouet est destiné aux enfants de plus de trois ans"

"Dans la même veine, pour un fusil:
Ne tirez que quand vous voyez le blanc des yeux..."

suite Boivia Inti

Je viens d'appeler BoliviaInti. J'apprends que si je n'ai pas reçu de réponse à mes courriels, c'est que les permanents sont en Amérique ...
J'ai cependant obtenu des informations (que je n'avais pas ce matin pour le td), à savoir :

- il peut y avoir plusieurs adhérents sous un même nom (en fait il en est prévu 1 ou 2)
- deux types d'adhérents : bienfaiteur / actif (mais la personne qui fait la saisie ne sait pas trop la définition. Elle met bienfaiteur celui qui fait plus que payer sa cotisation, par exemple celui qui finance un cuiseur solaire. Remarquons ...qu'il peut être "acttif" !)

- il peut y avoir des reçus fiscaux envoyés en dehors de l'envoi par lot. A cette occasion, j'ai appris que des adhérents qui ont fait du bénévolat et ont utilisé leur véhicule personnel, ont fait des dons en km au taux (voir le fisc) de ..., et ont un reçu fiscal pour cela. Or des bénévoles peuvent donner les "données" après l'envoi par lot des reçus fiscaux.
- actuellement il n'y a pas de variable indiquant l'état par exemple des envois de reçus fiscaux. La personne (ou les) personnes qui font se travail utilisent des post-its collés sur l'écran. D'où l'intérêt du travail de td de spec2 !

- ceux qui suivent une formation doivent adhérer à l'association (je pense d'ailleurs que c'est la loi qui demande cela. Je vous dirai pourquoi...)

Je joue le rôle d'assistant à la maîtrise d'ouvrage. Les étudiants du projet sont la maîtrise d'oeuvre.

suite Boivia Inti

Je viens d'appeler BoliviaInti. J'apprends que si je n'ai pas reçu de réponse à mes courriels, c'est que les permanents sont en Amérique ...
J'ai cependant obtenu des informations (que je n'avais pas ce matin pour le td), à savoir :

- il peut y avoir plusieurs adhérents sous un même nom (en fait il en est prévu 1 ou 2)
- deux types d'adhérents : bienfaiteur / actif (mais la personne qui fait la saisie ne sait pas trop la définition. Elle met bienfaiteur celui qui fait plus que payer sa cotisation, par exemple celui qui finance un cuiseur solaire. Remarquons ...qu'il peut être "acttif" !)

- il peut y avoir des reçus fiscaux envoyés en dehors de l'envoi par lot. A cette occasion, j'ai appris que des adhérents qui ont fait du bénévolat et ont utilisé leur véhicule personnel, ont fait des dons en km au taux (voir le fisc) de ..., et ont un reçu fiscal pour cela. Or des bénévoles peuvent donner les "données" après l'envoi par lot des reçus fiscaux.

- ceux qui suivent une formation doivent adhérer à l'association (je pense d'ailleurs que c'est la loi qui demande cela. Je vous dirai pourquoi...)

Je joue le rôle d'assistant à la maîtrise d'ouvrage. Les étudiants du projet sont la maîtrise d'oeuvre.

Travail sur le projet Bolivia Inti

Au groupe 2

Ce jour 8h - 10 h (TD, salle F13)


J'attends via votre représentant de groupe, l'ensemble de vos fiches de TD sur le cas Bolivia Inti.
J'en ferai une photocopie que je transmettrai aux étudiants info2 du projet.

merci pour eux

De plus, vous devez me fournir chacun, au début de la séance prochaine, une feuille avec les automates des processus S1 et S2 de l'exo fin en fin de séance. Vos états seront étiquetés par le comportement du processus à cet état.

Vous comparerez ce que vous avez obtenu à ce que LTSA vous affiche.

Question pour le prochain cours

L'american film star se marie, divorce, signe un contrat, annule ce contrat.
Elle est monogame et fidèle en affaires. Elle n'a au plus qu'un seul contrat en cours.

Spécifiez son comportement avec une expression régulière.

Reprenez votre cours de maths pour l'info (ou aller emprunter le livre de T. Brugère à la bibliothèque ... le lieu n'est pas dangereux !) et relire le théorème de Kleene.

Rappel : * est l'étoile de Kleene

Le cours du 5 février 07

Musée virtuel de l'informatique

http://vmoc.museophile.org/
créé par notre collègue Jonathan Bowen

avec les dernières nouvelles ... On y a appris que Ted Codd est décédé...

Edgar (Ted) Codd (1923-2003), inventor of the relational database model, died on 18 April 2003.

Pour le cours de lundi, vous devez ...

avoir déplié l'automate de Harel fait au tableau lors du dernier cours.

(en anglais, folding/unfolding)

et me proposer un automate pour la douchiotte : la douche, Wc qui doit permettre d'aller aux wc sans recevoir une douche ! (une propriété que votre machine devra satisfaire !)

Pourquoi venir en cours et en TD ?

Les citations de l'entrée Education de l'encyclopédie Wikipedia.

• « Be very careful about what you put in his head, for you will never, ever, put it out. » (George Berkeley)
• « Prenez bien garde à ce que vous lui mettez en tête car vous ne pourrez jamais, jamais, l'en faire sortir. »
• « L'éducation coûte cher ? Hé bien, Messieurs, essayez donc l’ignorance ! ». (Abraham Lincoln)
• « Eduquer, ce n'est pas remplir des vases mais c'est allumer des feux. » (Montaigne, Essais)
• « Et enfin il n'y a de progrès, pour nul écolier au monde, ni en ce qu'il entend ni en ce qu'il voit, mais seulement en ce qu'il fait. » (Alain, Propos sur l'éducation, II)
• « Si le maître se tait, et si les enfants lisent, tout va bien. » (Alain, Propos sur l'éducation, XXV)
• « L'éducation ne consiste pas à gaver mais à donner faim. » (M.Tardy)
• « Le seul individu formé, c'est celui qui a appris comment apprendre, comment s'adapter, comment changer, c'est celui qui a saisi qu'aucune connaissance n'est certaine et que seule la capacité d'acquérir des connaissances peut conduire à une sécurité fondée. » (Carls Roger 1976)
• « Une leçon doit être une réponse. Si elle remplit cet office, elle sera de l'école active, quand bien même les élèves ne feraient rien d'autre que d'écouter.» (Edouard Claparède, l'éducation fonctionnelle)
• « Donner à un enfant le désir d'apprendre et toute méthode sera bonne. » (J.J.Rousseau, L'Emile, 1762)
• « Le but de l'instruction n'est pas de faire admirer aux hommes une législation toute faite, mais de les rendre capables de l'apprécier et de la corriger. Il ne s'agit pas de soumettre chaque génération aux opinions comme à la volonté de celle qui la précède, mais de les éclairer de plus en plus, afin que chacun devienne de plus en plus digne de se gouverner par sa propre raison. » (Condorcet, 1743-1794)

Lundi 5 à 8 heures, nous traiterons

- automates avec sortie (Moore et Mealy)
- on pensait détailler les automates de Harel (mais on a vraiment bien peu d'heures de cours, 10 heures en tout, alors nous passerons directement à :
- réseaux de Petri (le b a ba) et Grafcet (b a ba, le Grafcet étant un type de RDP)
- expressions régulière et arbres de Jackson. Et nous traiterons de l'American Film Star. D'ici là revoyez le théorème de Kleene (j'y fais référence dans le chapitre 2 du poly des TD)

A lundi et bonne fin de semaine.

TD de ce vendredi

Notre photographe a coupé un morceau de l'expression régulière Ecluse. Il manque la parenthèse droite et l'étoile de Kleene

Un td de spec2

Un des exos consistait à faire un schéma relationnel n-aire en 5e FN qui permette d'enregistrer des diagrammes d'états-transitions comme celui présenté en rouge.
On a pu voir un couple dont chaque composante était soulignée (clé). Or la notion de fonction concerne des relations et non un couple. Confusion...Oh !

La solution de G.Q ne permet pas d'enregistrer état initial, états finaux. G.Q. a changé le cahier des charges. Ne pas faire cela ! Il suffisait de... (voir ci-contre)