dimanche 24 février 2008

La "DM Academy" de Conforama et Paris I


http://www.fabula.org/actualites/article22524.php


Il y a eu la thèse en Sorbonne d'une astrologue présidentielle, alors pourquoi pas la DM Academy. DM : Directeur de Magasin.
Ben couillon (Poitiers) Eh con ! (Toulouse) Ben dame ! (Nantes) , lesbousinesse mènes ont besoin du prestige universitaire ... donc les bouffons (les enseignants) vont pouvoir animer les "promos" des magasins !

Jamais une université aux USA (le modèle, non ?) ferait cela (enfin, une université connue). Mais ça peut changer !

Merci à Sébastien. Les sites des littéraires sont plein de "ressources" comme on dit dans le buisinesse. Ah ! les "ressources humaines" !

Rien ne va de soi. Rien n'est donné. Tout est construit.

"les problèmes ne se posent pas d'eux-mêmes. C'est précisément ce sens du problème qui donne la marque du véritable esprit scientifique. Pour un esprit scientifique, toute connaissance est une réponse à une question. S'il n'y a pas eu de question, il ne peut y avoir connaissance scientifique. Rien ne va de soi. Rien n'est donné. Tout est construit."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, p. 1

Bref, y'a du boulot ! Le pré-cuit, le pré-maché, le digest c'est indigeste. Ca fait crever les sociétés...

Madame la boulangère, du pain pas cuit s'il vous plait ! que de fois j'entends cette demande formulée par de jeunes clients ... La femme du boulanger, elle en a de la chance ! bientôt elle ne sera plus réveillée en pleine nuit par son boulanger de mari. Merci client, merci client.

"La première connaissance objective ... une première erreur

"Au spectacle des phénomènes les plus intéressants, les plus frappants, l'homme va naturellement avec tous ses désirs, avec toutes ses passions, avec toute son âme. On ne doit donc pas s'étonner que la première connaissance objective soit une première erreur."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, page 54

Prédation et prédateurs

de Michel Volle, une analyse de Laurent Bloch

http://www.laurentbloch.org/spip.php?article141

"Fin de récré"

"Je te signale que, dans 2 semaines, Jean-Paul Brighelli (que tu dois connaître) sort un nouveau livre "Fin de récré". Il y dresse toujours le même constat (le même que le tien !!! mais plutôt appliqué aux enseignements littéraires) et surtout y fait des propositions pour refonder l'école (du primaire à la fac). Je l'avais vu à l'Université de Reims, une fois. Il avait engueulé les étudiants d'histoire en leur disant "Vous êtes des nuls ! vous ne savez rien ! à la fac, vous ne foutez rien ! c'est dans les livres qu'on apprend et pas sur Internet, flémards, paralytiques du cerveau ! et revenez me voir quand vous saurez ce qu'est la Guerre du Péloponnèse. Ignares ! Crétins des Alpes ! "... Quel grand souvenir. J'aime bien son côté provocateur ! Il le fait exprès, pour "éveiller" les consciences."

Merci à Sébastien, mon informateur

Nous avons déjà cité l'auteur dans ce bloc-notes

Barbara Kingsolver (suite)

"Barbara Kingsolver.
Elle est beaucoup plus connue en Europe et
au Canada qu'aux Etats-Unis,
son pays natal. C'est une des chantres du
"retour à la nature" (sauf que
chez elle, ce n'est pas une mode).
Dans "The Atlantic Monthly" (c'est la revue
grand public de
l'intelligentsia nord-américaine), que je
lis assidûment depuis des
années, elle fait souvent l'objet de reportages.
On l'y voit toujours
photographiée à côté d'une brebis, tenant
un choux à la main... C'est
drôle. Cela dit, je pense qu'elle est sincère.
C'est très américain. Les Canadiens l'aiment
beaucoup car elle est bien
moins félée que leur Margaret Atwood ...
Il y a quelques temps, on avait parlé d'elle
pour le Nobel. Mais il serait
tout de même logique qu'Atwood l'ait avant
elle ... elle est en fin de
carrière.

A propos, savais-tu que Julien Gracq était
"shortlisted" pour le Nobel
cette année ? Il l'aurait sans doute obtenu
l'an prochain. Dommage qu'il
n'ait pas vécu un an de plus ...
C'est bien dommage, car je ne vois personne
pour un Nobel français dans
les années à venir (alors qu'il y a tant
d'excellents auteurs anglo-saxons
!). Cela ne participe pas de la promotion
de notre langue."

m'écrit Sébastien. Merci pour ses infos

Une semaine sans radio, sans télé, sans journal, sans ordinateur

mais avec de la neige, du soleil, des livres, un Oisans splendide.

Que ça fait du bien !

Une envie de La Bérarde ...

Et comme les trois livres prévus ont été lus, j'ai attaqué "L'arbre aux haricots" de Barbara Kingslover, Rivages

Toujours extra Barbara Kingslover !

Secure Electronic Voting

Pour ceux qui s'intéressent au "vote électronique", une
conférence de notre collègue Steve Schneider


BCS-FACS Evening Seminar Series

Secure Electronic Voting

Professor Steve Schneider

University of Surrey

3 March 2008

5.45pm

BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA

Elections need to be trustworthy, and
to be seen to be trustworthy, in
order for the electorate to have confidence
in their outcomes. The
introduction of technology into the electoral
process brings potential
new benefits, but may also increase the
risk that accidental flaws
or security weaknesses in the equipment
eave an election open
to tampering. Voting systems, whether
run manually or on machines,
should provide voters with the ability
to cast a private vote, and to have
confidence that their vote is really included
in the final tally.

The Prêt à Voter electronic voting system
is designed to provide these
properties, and some further ones known
as end-to-end verifiability, not
currently present in standard UK elections:
a receipt for the voters so
that they can check their vote has been
included in the tally, and can
prove if it has not; and publication of
the votes so that the count can
be independently checked. This is achieved
by making public all
the stages in the processing of the votes,
enabling the election to be
audited independently. All this is possible
while maintaining secrecy
of the vote. Although electronic support
for the election is necessary,
the electronic components do not themselves
need to be trusted
because their outputs can be independently
audited. This talk
discusses the issues involved in electronic
voting systems, describes
the Prêt à Voter approach to electronic
voting, and introduces the
implementation of the system developed
at the University of Surrey
in conjunction with the University of
Newcastle in 2007.

Refreshments will be served from 5.15pm.

The seminar is free of charge and open
to everyone. If you would like
to attend, please email Paul Boca
[Paul.Boca@googlemail.com] by
>>> 28 February 2008 <<< .
Pre-registration is required, as the BCS

requires us to provide an attendance
list in advance of the seminar.


BCS-FACS Website: http://www.bcs-facs.org

BCS-FACS Evening Seminars:
http://www.bcs-facs.org/events/EveningSeminars

Location of venue:
http://www.epsg.org.uk/locations/bcsss-guide.html

jeudi 14 février 2008

HAL, pas celui du cinéma

Un lieu de dépôts d'articles scientifiques
"HAL est un outil de communication scientifique directe entre chercheurs. Un texte déposé sur HAL doit décrire un travail achevé de recherche, conforme aux usages scientifiques dans la discipline ; le contenu doit être comparable en qualité et précision avec les manuscrits que les chercheurs soumettent pour publication aux comités de lecture de revues scientifiques, ouvrages collectifs, etc. Ce n'est donc pas à une évaluation scientifique détaillée que sont soumis les documents déposés dans Hal, mais seulement à une validation scientifique rapide qui permet de s'assurer que le document satisfait bien aux critères énoncés ci-dessus – le CCSD restant libre de mettre en ligne ou pas le document sans justification. "
http://hal.archives-ouvertes.fr/

La recherche de la langue parfaite dans la culture européenne

S.C vient de me prêter un livre comme il me l'écrit "hélas peu connu" :
  • Umberto Eco, La recherche de la langue parfaite dans la culture européenne, Essais, Points, ISBN 2 02 031468 1

Fort intéressant l'exposé sur la pratique du lullisme (Ramon Lulle) par Giordano Bruno (celui qui fut brulé à Rome par l'Eglise) pour fabriquer des phrases imagées.

Qu'auraient-ils proposés à la Cité des sciences et de l'industrie de la Vilette pour la Saint Valentin ?

"La lasagne territoriale"

Une expression bien imagée de Maurice Leroy, Pdt de Conseil Général

Quand je vois le tas de dépliants touristiques dans les S.I. je me dis que la lasagne est une bonne affaire pour les publicitaires de la com ! Comité départemental du tourisme, comité régional, commune, syndicat de communes, parc régional, ... que de l'encre gaspillée. Quel est le but poursuivi ?

"A ces députés en colère..."

Un bel article d'Erik Orsenna, dans le Monde de ce jour, page 17

Et cette question terrible (ou alors bof, bof, bof...)

"Comment avez-vous fait pour tant gâcher les atouts de notre pays ? De votre temps, paraît-il, nous étions la quatrième ou la cinquième puissance du monde, avec de la solidarité, de la santé pour tous, des moyens pour financer la recherche....Comment avez vous fait pour tant ruiner ?"
Alors, nous les anciens, aurons la mine qui convient à la fierté modeste : les yeux mi-clos. (...)"

Votre déclaration d'amour pour la Saint-Valentin

Robert Solé dans son billet du Monde de ce jour, nous informe que la Cité des sciences et de l'industrie de Paris propose son assistance.

Sur le site http://www.cite-sciences.fr/declaration-st-valentin/, vous indiquez le prénom de l'élu(e), sa qualité première, la couleur de ses yeux, son adresse électronique, et en moins d'une seconde la machine lui envoie un joli poème de votre part.

Robert Solé a essayé ... lire son papier

mercredi 13 février 2008

IRIS , un splendide film vu à Middlesbrough au Royaume-Uni

il y a quelques années. Sur la maladie d'Alzheimer.
Le livre de son mari John Bailey publié en 1998, 'Elegy for Iris' était présent en hautes piles dans les librairies de gares et aérogares de Londres. Rien à Paris.

'Iris' retrace la vie mouvementée d'Iris Murdoch, une romancière britannique. Née à Dublin en 1919, elle décéda en 1999, atteinte de la maladie d'Alzheimer.

Je n'ai pas vu ce film passer à Nantes. Qui l'a vu à Nantes ? Je l'ai raté ? Je voulais y amener mes proches.

Les filtres m'étonneront toujours.

Et Iris Murdoch est un sacré personnage.

Lectures de la semaine

J'emporte :
  • L'Atlas des religions de La Vie & Le Monde
  • La librairie Tanabe de Miyabe Miyuki, Picquier Poche
  • Bleu blanc vert, de Maïssa Bey, Points
Un bon choix ?

Ski et lecture

Skier après 60 ans, on a les objectifs qu'on peut...

Mes notes sur "C'est à dire" de Stella Baruk

en vrac
  • "la médicalisation indue de trop d'enfants qui n'est qu'une des formes d'évitement de la recherche du pourquoi est à l'origine de la dramatisation des relations entre les parents et l'école"
  • "L'attribut unique, voilà quel était l'ennemi."
  • "comment, en additionnant un Breton libre à un autre Breton libre, et en réitérant cette opération quelque trois millions de fois, pouvait-on obtenir une somme de Bretons eux pas libres ? Comment pouvait-on donc être Breton ?"

a suivre

Un rendez-vous ...

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/

Il y a 40 ans comment ceux du lycée Darnet nés en 1946 ont-ils vécu Mai 1968

Nous recensons vos témoignages.
  • Les bonnes choses
  • Les mauvaises
  • Où étiez-vous ?
  • Que faisiez-vous ?
  • Les anecdotes
  • Vos archives
  • Ce que cela a changé éventuellement dans vos comportements

A vos claviers, à vos scanners...

Encore des méchancetés sur les Bretons...

"Les examens du permis de conduire dans le Morbihan ont lieu, depuis lundi 11 février, sous l'oeil de policiers ou de gendarmes. Il s'agit "d'une première en France"...
motivée par une demande des examinateurs, inquiets de la recrudescence du nombre de candidats qui se présentent sous l'emprise de l'alcool et/ou du cannabis"

AFP, Le Monde de ce jour.

Aller bosser à vélo, oui mais en vélo Chanel !

Un vélo à 8 900 euros.

C'est un pousse au vol !

Les économistes américains (des USA) et la peine de mort

Un article de Philippe Askenazy dans Le Monde d'aujourd'hui, page 30
Ou ce qu'on peut faire dire aux études dites scientifiques.
Excellent, à lire et diffuser.

Au fait, qu'en est-il des préconisations du rapport Lecourt dans nos universités. On a déjà posé la question ...ici même.

Comme on a une tendance à copier les c... des USA (et non ce qui y est bien), je m'inquiète...

dimanche 10 février 2008

"Merde !" Cambronne ne l'a jamais dit aux Anglais !

En fait, il leur a dit "Allez vous faire foutre. Grenadiers, en avant !"

C'est ce que nous apprend Armel de Wismes.

Rappel : la statue de Cambronne se trouve Cours Cambronne à Nantes.

Il nous apprend aussi que Cambronne aimait bien la bouteille. Mais quand Cambronne s'aperçevait qu'il avait bu, il se mettait aux arrêts. Ainsi, il devint raisonnable avec la bouteille.

samedi 9 février 2008

"Le ver qui prenait l'escargot comme un taxi et autres histoires naturelles

de Jean Deutsch, Science ouverte, Seuil, 2007, ISBN : 978 2 02 087534 9
Jean Deutsch est professeur émérite de Paris VI (P. et M. Curie) où il a enseigné la génétique et la zoologie.

Il me reste à m'en délecter.

L'avant-propos m'apprend que le terme "histoires naturelles" vient d'une mauvaise traduction d'Aristote. Son "Histoire des animaux" devrait s'appeler "Enquête sur les animaux" car "historia" avait pour sens, du temps d'Aristote, d' "enquête", d'"investigation".

Abus ?

Jérôme Kerviel : 24 heures de garde à vue
Prof insulté (Conard !) ayant giflé l'insulteur : 24 heures de garde à vue

Echelle de valeur, vous dis-je !

Sociologues à vos plumes !
Ouf, on est dans un "état de droit" !

Il y a des coups de pied au cul qui se perdent ... qu'ils disaient chez moi ... Mais ils n'étaient pas si bien éduqués qu'au XXIe siècle, eh, con !

Et si on avait mis monsieur Bayrou en garde à vue 24 heures quand ce prof agrégé à giflé un gamin qui lui faisait les poches ? Peut-être que la face de la France en aurait été changée. Qu'en pense l'historien Bayrou ?

Régis Debray sur les pas de Jésus

"Un vagabondage laïque en Terre sainte pour tenter de démêler les relations tourmentées entre musulmans, juifs et chrétiens"

Livre "Un candide en Terre sainte", Gallimard, 466 pages

Le Picasso du bidonville

"Portrait voluptueux de Gaston Chaissac, peintre et poète"
Un article sur le livre de Serge Fauchera, Gaston Chaissac à côté de l'art brut, Ed. André Dimanche

Chaissac se disait "vendéen, cordonnier, surréel, peintre et poète"

Ca nous rappelle la belle expo des oeuvres de Chaissac qui eut lieu à Nantes il y a quelques années.

Oh !

"EN 2006, un sondage avait révélé que 40% des musulmans d'Albion voulaient instaurer la charia chez eux".
Chez eux ... le Royaume-Uni ?

Sauvons la laïcité !

France - Allemagne

France : déficit commercial de plus de 39 milliards d'euros
Allemagne : excédent commercial de plus de 215 milliards d'euros

et tout ça à cause d'une ligne sur une carte, une frontière. Il faut si peu de choses, n'est-ce pas ?

Mais page 19, le même Monde nous offre un papier du Président de la Coface qui nous explique en quoi ce déficit n'est pas calamiteux, d'ailleurs au Royaume-Uni et en Espagne le déficit dépasse les 100 milliards.

Rien n'est simple, tout se complique. Mais comme disait mon père "si tu regardes qui fait moins bien que toi, tu seras toujours satisfait". Il m'a rendu insatisfait perpétuel ?

Pas tout à fait : je suis très satisfait de mon marchand d'huîtres de pleine mer de Quiberon, de mon jardinier, de mon poissonnier, de mon boucher de la Coquille, de mon voisin qui sait faire une excellente soupe aux orties et me tire d'embarras quand je bricole, d'étudiants curieux, perspicaces (oui, il y en a. Et ils ont bien du courage dans l'ambiance dans laquelle ils étudient), de la Folle Journée de Nantes, du Théâtre Universitaire de Nantes, du ciel bleu aujourd'hui, de France Culture le matin, de ma Logan, du dernier film vu hier soir (Liens de sang), etc.

Comment qui cause !

Première page du Monde de ce jour, je lis une citation de J-C Trichet, Pdt de la BCE :

"Les récentes statistiques ont montré que les risques pour la croissance sont dirigés vers le bas"*

et le Monde introduit ces propos par
"un langage chez lui ... inhabituel"

Y devrait faire un cours d'interfaces homme-machine le Pdt de la BCE ! ... mais pas pour les avions ! pas pour les contrôleurs d'appareil de radiothéraphie, mais pour les contrôleurs des traders de la Société Générale !

Tout va très bien madame la marquise, tout va très bien

* les chiffres donnés dans la suite de l'article, nous "montrent" que la croissance décroît et va décroître. Si je comprends bien (!!??) Trichet est pour "halte à croissance" (Club de Rome), pour diminuer tous les risques liés à la "croissance" (de la grenouille de la fable).

mercredi 6 février 2008

"grand carnaval pour la jeunesse"

Titre de la chronique de Sphie Gherardi dans Le Monde du 5.

" ... les jeunes ont de quoi se sentir les dindons de la farce. Surtout ceux qui aspirent aux professions intellectuelles supérieures, où l'exploitation du travail gratuit fait partie du business model.
Bon carnaval, les petits."

Et qui pour faire démago a dit que pirater, etc. c'était l'avenir du buisinesse, pour satisfaire les jeunes ? A force de démago la foutage de ... de la jeunesse ...

Elu "trader le plus sympa"

par les gens du back-office.

Qui ? Jérôme Kerviel.

Le Monde du 5 février.

Ohé José ! et les autres

Expliquez moi pourquoi ce silence étourdissant ?

Dans le Monde du 5 je lis en bas de la page 8, un tout petit article :

"Biodiversité
La condamanation de l'association Kokopelli, qui refuse d'inscrire au catalogue officiel les semences de variétés potagères et florales anciennes qu'elle commercialise, a annoncé l'association le 1er février. Elle devra verser 23 000 euros à l'Etat et à la Fédération nationale des professionnelles des semences potagères et florales pour commerce de semences de variétés non autorisées. Elle a également été condamnée à verser 12 000 euros au grainetier Baumaux, dans une affaire distincte."

Qui peut m'expliquer ?

Question pour un énarque

Que pensez-vous de la "muraille de Chine" qui doit séparer le back-office du front-office ? et de la séparation des ordonnateurs et des comptables (tiens ! on a dit qu'on pourrait la remettre en cause) dans l'Administration française ?

Mais le Monde du 5 nous explique que la fracture va s'élargir :
"Un bon trader peut gagner 3 à 4 millions d'euros par an, quand les employés des fonctions support gagnent au mieux de 60 000 à 100 000 euros"

Mais chez les anglo-saxons "Chez Goldman (un nom prédestiné) Sachs, ceux qui contrôlent les risques gagnent autant que les traders"

Ah l'échelle de valeurs de notre société !

Espérons qu'ils ne fermeront pas la boutique !

Le Monde nous apprend que les Chinois prennent pied dans le Bordelais : Longhai vient d'acheter Château Latour-Laguens.

mardi 5 février 2008

Turing, connais pas !

Un collègue me signale qu'il fait un test
qui consiste à demander à des Bac+2 en informatique
de citer des "personnalités scientifiques"
(physique et informatique).
Voici pour cette année

-------------------------------

Lors du premier cours avec les XXXX

j’ai renouvelé un test déjà fait

consistant à demander aux étudiants (titulaires
d’un XXX ou d'un XXX) de
citer 5 physiciens célèbres
(et une des raisons de leurs célébrités)
puis idem pour les informaticiens célèbres

Voici le résultat de 2007 :

*Physiciens :*

Einstein : 11

Curie : 7

Newton : 7

Edison : 2

Tesla : 2

Faraday, Fresnel, Galilée, Descartes,
Hawking, Gauss, Archimède, Pascal : 1

Plus fantaisiste : Les Bogdanoff (
le mur de planque (sic)), Kalachnikov,
Milmann, Norton

3,15 citations par étudiant (sur 5 demandés)

*Informaticiens*

Gates : 11

Stallman : 3 ( GNU)

Torvalds : 3 (Linux)

Berners-Lee : 2

Jobs : 2

Dijkstra : 2

Brin & Page (Google) : 1

Turing : 1

Wozniack : 1

autres : Mitnick (pirate),
Caramack (jeux vidéo), Kaspersky (anti
virus), Bourne (shell Unix),
O'Reilly (éditeur ouvrages)

Soit 2,38 citations par étudiant

Pour mémoire, en 1989 j’avais obtenu
les résultats suivants
(informaticiens uniquement) :

Von Neumann 10

Gates 6

Jobs 4

Richie 4

Norton 4

Karnighan 3

Khan 2 (Turbo pascal)

Wirth 2

Babbage 1

Wozniak 1

Colmerauer 1

Pascal 1

Lister 1

Ménadier 1

Bresenham 1 (info graphique)



Turing a été cité une fois ! c'était en
89 !


"Model checking", un terme qui sort dans la presse

depuis l'annonce du premier prix Turing français
Amusant !

Je connais des ... qui, quand il a été question de définir les nouveaux programmes d'enseignement d'informatique, pour les fameuses habilitations de diplômes (DPLG, SGDG) adressées au Ministère, ont décidé qu'enseigner la spécification formelle des logiciels, la preuve, le model-checking c'était se couler : on n'allait pas attirer les clients, i.e. des étudiants. D'ailleurs à quoi bon aussi enseigner ce qu'est la machine de Turing ? (remarque d'un bac + 4 en informatique : je n'ai jamais vu cette marque de PC. Et ce n'était pas de l'humour), etc.
Alors, quand France Info annonce un prix Turing français, combien d' informaciens savent de quoi on parle ? J'ai déjà parlé de cela dans ce bloc-notes.
Il y a une semaine j'ai demandé à des Bac + 4 en informatique, ils étaient une vingtaine. Aucun ne savait.

Alors qu'est-ce que le "model checking" ! bof ! J'ai même eu un étudiant de Dess qui m'a dit "j'ai rencontré un chef de projet en informatique, il m'a dit qu'il ne savait pas ce qu'est un invariant, une précondition, un automate, alors on se demande bien pourquoi vous persistez à nous enseigner et nous demander d'utiliser ça."

Un lecteur m'a demandé de lui donner un petit exemple. Je lui propose d'installer le logiciel LTSA de Magee et Kramer
http://www.doc.ic.ac.uk/ltsa/
et d'étudier les exemples fournis
http://www.doc.ic.ac.uk/~jnm/book/

Société Générale : le rapport remis au Premier ministre

lire ici

Connard ! (suite)

Excellente chronique ce matin de Caroline Eliacheff dans Les matins de France Culture. Vous pouvez l'écouter ici

Rappel : un prof risque 5 ans de prisons parce qu'il a giflé un élève qui l'a traité de connard.

Le père de l'élève, gendarme, a fait remarquer "moi je me fais insulter tous les jours, je ne donne pas de gifles à ceux qui m'insultent".

Tout ceci est exemplaire !

Nous vivons dans un monde formidable.

Un peu de culture dans un monde de brutes, bruts de décoffrage, bruts d'éducation élémentaire :

"Connard est formé par suffixation avec l’affixe péjoratif -ard mais il est possible que le mot ait été influencé par cornard ; il n'a, lui, qu'un sens uniquement figuré. Connasse, en revanche, désignait au départ et jusqu'au XXe siècle une prostituée de bas étage ou inexperte. Son sens figuré de femme sotte est attesté dès le XIXe siècle[13]." extrait de Wikipedia

"connard n.m. (XIVe s.) peut-être identifié dès 1280 dans la leçon conart, mais qui semble alors un croisement de cornart et de con"
Dictionnaire historique de la langue française (sous le direction d'Alain Rey, Robert, 1998), un dico que j'aime bien.

lundi 4 février 2008

Joseph SIFAKIS, premier prix Turing français

Le français Joseph Sifakis vient d'obtenir
le prix Turing 2007. C'est le
premier français obtenant ce prix, considéré
comme "le Nobel de
l'informatique". Joseph Sifakis est un
spécialiste du "model checking".
Il y a deux approches de la vérification
des logiciels :
- la preuve que nous traitons dans le cadre
de notre enseignement de la méthode B dans
notre module Spec1 en première année d'IUT
- la "vérification de modèles" que nous traitons
dans le cadre de notre module Spec2 en première
année d'IUT.
(Mais nous NE traitons pas des algorithmes de
"model checking").
Parmi les techniques utilisées en "model checking"
il y a les BDD (ne pas confondre avec les Bases De
Données ou avec les Bases de Données Déductives !)
lire ici
http://www2.cnrs.fr/presse/communique/1280.htm
http://www.acm.org/press-room

Il a obtenu ce prix avec Avec Edmund Clarke
(Carnegie Mellon University, USA)
Allen Emerson (University of Texas, Austin, USA).

Ces deux universités américaines sont bien
connus pour leurs travaux en informatique et ont
déjà eu des Prix Turing.

Les pages web de Joseph Sifakis

Extrait d'une courte présentation de Joseph Sifakis
et Jean-François Monin dans Arago 20
Applications des techniques formelles au logiciel,
Observatoire Français des Techniques Avancées,
Lavoisier, ISBN 2-906028-06-1

"On peut distinguer deux approches principales à
la vérification :
  • celle qui met en oeuvre un système d'inférence, i.e. un ensemble bien défini et formalisé de règles de raisonnement issues de la logique (modus ponens, récurrence, substitution de valeurs égales, etc.) ; les outils de support sont des assistants à la preuve (PVS, HOL, Coq, atelier B, LP,...)
  • celle qui se fonde sur la construction d'un modèle généralement fini qui représente le système de transition représentant le comportement de l'application modélisée. La vérification des propriétés s'effectue en parcourant exhaustivement ce modèle. Les outils support sont basés sur le principe de l'évaluation des propriétés sur un modèle, connu sous le nom de model checking (MEC, Caesar-Aldebaran, Auto, Spin, Cospan, SMV, ...)
[...] concernant la seconde approche, des techniques de représentation implicite ou symbolique des états permettent de condenser la représentation du modèle. Notons, en particulier, la technique des BDD pour la représentation symbolique des fonctions booléennes, qui trouve des applications intéressantes à la vérification des systèmes à états finis."

"Les traders pur-sang des marchés"

un article d'une page dans le Monde de ce jour.

Extrait :

"Les traders issus de petites écoles de commerce ou d'université ne représentent que 20% des effectifs et n'ont pas la force du réseau qui permet, par cooptation, d'entrer dans les desks des meilleurs établissements bancaires." constate Olivier Godechot de l'EHESS

Alors, à quand des manifs dans la rue de nos universitaires ? Rappel : le bac est le premier diplôme universitaire. DPLG, SGDG ! Et je veux voir les notes mises par ces bacheliers aux enseignants qui ne leur permettront même pas d'être traders !

Madame le Ministre, qu'en pensez-vous ?

Amusant, dans le même Monde querelle entre Madame le Ministre et l'Université Paris Dauphine au sujet de droits d'inscription (pourtant bien inférieurs à ceux des petites écoles de commerce qui sont TOUTES privées !)

"Dieu, la grande question américaine

Les aspirants à la candidature pour la présidentielle américaine rivalisent de piété ete citent Jésu à l'envi. Certains critiquent le Constitution laïque. Tous visent à capter le vote évangélique, socle des succès de Bush. Mais la question religieuse ne fera pas l'élection."
Un article de la rubrique Décryptage du Monde de ce jour

Il est toujours intéressant de faire de la politique comparée, n'est-ce pas ?

dimanche 3 février 2008

"Les théories scientifiques se distinguent des mythes

uniquement par ceci qu'elles sont critiquables et modifiables, à la lumière de la critique."
Karl Popper, préface de 1956 "De l'inexistence de la méthode scientifique"

"Je ne cesserai pas de croire que les idées ne sont

pas faites seulement pour être pensées, mais encore pour être vécues."

Jean Guéhenno, Journal d'un home de quarante ans
Grasset, 1934

"Lire sans comprendre, c'est perdre son temps"

Pierre Abélard, Lettre à Héloïse

Y'a boeuf et boeuf !

  • génisse (la junja, la vedela) : femelle n'ayant jamais vélé,
  • vache (la vacha) : femelle de moins de 5 ans,
  • jeune bovin : mâle non castré de moins de 2 ans,
  • taureau (lo taureu) : mâle non castré de plus de 2 ans,
  • boeuf (lo buou) : mâle castré de plus de 2 ans

Et quelques relations :

estNéEn : BOVIN +-> PAYS
aEteEleveEn : BOVIN <--> PAYS
aEtéAbattuEn : BOVIN +-> PAYS


textes européens

Les intellectuels (suite)

Je viens de lire Bas les voiles de Chadhortt Djavann (facile à retenir Tchador !), Folio.

Extraits :

  • "J'avais treize ans quand la loi islamique s'est imposée en Iran sous la férule de Khomeyni rentré en France avec la bénédicttion de beaucoup d'intellectuels français. Une fois encore, ces derniers avaient décidé pour les autres de ce que devait être leur liberté et leur avenir."
  • "Une fois encore ils n'avaient rien vu venir, ils n'avaient rien compris [...] forts de leurs erreurs passées ..."
  • "Certains intellectuels français parlent volontiers à la place des autres. Et aujourd'hui voilà qu'ils parlent à la place de celles qu'on n'entend pas"
  • "l'islam modéré, et dernier-né, l'islam laïque. Sommes-nous dans un siècle de délire ? Aucune religion n'est laïque. La laïcité est précisément la séparation de l'Etat, a sphère publique, et de la religion, affaire privée. [...] Personne ne parle de catholicisme laïque ou de protestantisme laïque."
Un livre à lire.

La liberté ne s'use que quand on ne s'en sert pas !

Schubert et Baudelaire

Le Monde de la musique a tiré un numéro spécial Folle Journée. On y trouve un très intéressant article qui traite du mythe de la Jeune fille et la mort (musique, cinéma, sculpture, mythologie, littérature) de Schubert.

Et le poème de Baudelaire dont voici le début :

"C'est une femme belle et de riche encolure
Qui laisse dans son vin traîner sa chevelure
Les griffes de l'amour, les poisons du tripot,
Tout glise et tout s'émousse au granit de sa peau."

Dans une semaine, c'est le début du carême

De nos jours on parle beaucoup plus du Ramadan. En France, on utilise le terme dans le sens de jeune du mois de Ramadan.

Peut-être que le carême va revenir à la mode ?

En Périgord, ce n'est pas la pratique du Carême qui a fait creuser tous ces étangs qui polluent les rivières, les ont réchauffées et ont fait fuir les truites !

Je n'ai pas encore vu un frémissement dans la fréquentation du Restaurant Administratif ...

Hubert Reeves à Nantes

 La quatrième conférence a lieu mercredi 27 février 2008 à 20h30 au lieu unique, avec un invité de marque, Hubert Reeves autour de "climat, biodiversité et engagement humain".

à l'invitation de la ville de Nantes.

Il reviendra à l'invitation de l'Université de Nantes à la Cité des Congrès à l'occasion des Journées scientifiques de notre Université le 16 juin 2008

Projets pour enseignants du XXI e siècle

  • A court terme : laisser pisser le mérinos i.e. autoriser l'évacuation du liquide organique formé dans le rein d'un ovidé à toison épaisse
  • A moyen terme : ne pas devenir un mutant kafkaïen

L'éméritat

ici

« Les professeurs admis à la retraite peuvent pour une durée déterminée par l'établissement recevoir le titre de professeur émérite par décision du conseil d'administration prise à la majorité des membres présents sur proposition du conseil scientifique siégeant en formation restreinte aux personnes qui sont habilitées à diriger des travaux de recherche dans l'établissement, prise à la majorité absolue des membres composant cette formation. Les professeurs émérites peuvent diriger des séminaires, des thèses et participer à des jurys de thèse ou d'habilitation. »

Article 58 du décret n° 84-431 du 6 juin 1984 portant statut particulier des corps d'enseignants-chercheurs propres aux universités.

Sun cities

Des villes de vieux, notre futur ?

lire
ici
ici
ici

The TAOS Institute

Site ici

L'Institut d'Etudes Avancées de Nantes

le site sur la Toile

"

L’Institut d’Etudes Avancées de Nantes ouvrira ses portes en janvier 2009.

Les Instituts d’Études Avancées (IEA) sont des lieux d’innovation intellectuelle qui misent sur la liberté et la créativité des chercheurs. Venus de tous pays et de toutes disciplines, ces chercheurs résidents (fellows) se trouvent ainsi temporairement libérés de leurs obligations professionnelles habituelles, et libres de mener les recherches fondamentales auxquelles ils souhaitent se consacrer à temps plein.

La particularité de l’IEA de Nantes sera de tisser des relations d’un type nouveau entre les chercheurs occidentaux et ceux du reste du monde, en s’ouvrant largement à ces derniers et en autorisant une réelle diversité d’approche des problèmes qui se posent aujourd’hui à tous dans le contexte de la mondialisation."

extrait du site de l'IEA de Nantes

samedi 2 février 2008

Nous avons une première dame ...

ouf, le président va pouvoir faire des voyages sans poser des problèmes avec le protocole.

Meilleurs voeux de bonheur, monsieur le président.

Pour le prochain discours du Latran, voici des citations proposées au nègre de notre président :

"Il n'est pas bon que l'homme soit seul" (Genèse).

"Il vaut mieux se marier que de brûler" (saint Paul).

Et comme Le Monde publie bien opportunément les philosophes, voici ce que Platon nous a rapporté :

"Dans tous les cas, mariez-vous. Si vous tombez sur une bonne épouse, vous serez heureux ; et si vous tombez sur une mauvaise, vous deviendrez philosophe, ce qui est excellent pour l'homme" (Socrate)."

Nous allons pouvoir utiliser une instanciation "présidentielle" de notre exercice sur les relations conjugales :
aPourEpouse : HOMME +-> FEMME &
aEuPourEpouse : HOMME <--> FEMME &
aPourAmante : HOMME <--> FEMME &
aEuPourAmante : HOMME <--> FEMME

DEFINITIONS
amantesDe(hom) == aPourAmante[{hom}];
croqueuse d'hommes == {fem . fem : ran (aPourAmante} & card(aPourAmante~[{fem}] > 5}
/* est-ce la bonne définition ? je demanderai aux journaux spécialisés */

et demander aux étudiants de donner des traces des automates spécifiés en TD pour monogamie, polygamie, polyandrie (avec les variantes : remariage autorisé ou non, pour l'homme, pour la femme, pour les deux ...)

Citation (interview dans Le Figaro) :

"
Je suis fidèle… à moi-même ! (rires) Je m’ennuie follement dans la monogamie, même si mon désir et mon temps peuvent être reliés à quelqu’un et que je ne nie pas le caractère merveilleux du dévelopement d’une intimité. Je suis monogame de temps en temps mais je préfère la polygamie et la polyandrie." C. Bruni Tedeschi

Nous avons toujours eu des exercices up-to-date, et en avance sur l'évolution de la société. Normal, nous sommes universitaire ! Aille, nos chevilles gonflent comme des oreilles de Mickey.
Mes étudiants peuvent lire et comprendre le Figaro (qui lui s'adresse à des lecteurs qui ne savent pas tous ce que veut dire "polyandrie" et en donne en conséquence la définition).

Et au diable les jaloux ! Glington et autres ...

Proposition : Pour la statue de Marianne, la première dame de France ! Belle, cultivée, musicienne, italienne (j'aime beaucoup l'Italie !) et une femme qui connaît les hommes, une conseillère qui est certainement un think tank a elle toute seule, comme ils disent. On est gâtés ! on a déjà eu une descendante d'Albéniz (dont j'aime beaucoup la musique).

Musique ... actuellement j'écoute Schubert sur France Musique en direct de la Cité des Congrès de Nantes.

Et ma prochaine communication à une conf, ce sera à ... Budapest. Je compte bien y faire un pélerinage
au village d'Alattyán (près de Szolnok, sur la Tisza)

Les folles journées de Jérôme

"C'est en première année d'université, à Quimper, où il suit un Deug de sciences économiques, que Jérôme Kerviel «s'est passionné pour les chiffres, raconte un ancien camarade de classe. Cela lui a permis de s'épanouir.» Il a trouvé sa voie: la finance. Il intègre l'IUP banque et finances de l'université de Nantes, puis, en 1999, le master «management des opérations de marché» de Lyon II."

Nantes, la ville où il se passe toujours quelque chose.

Un étudiant passionné, un rêve de bien des enseignants, ils en ont eu de la chance nos collègues de l'IUP !

Et on n'est pas plus fier pour ça !

La "passion pour les chiffres" !!!

Le trader un spécialiste de la théorie des nombres, des systèmes de numération ou tout simplement un joueur ? Jouer avec les entreprises c'est le grand jeu de notre nouveau siècle. Mais il suffit d'être passionné par les chiffres et ce n'est alors que du virtuel, du vertuel ...

D'ailleurs les milliards ce n'est qu'une suite de zéros. Pas grand chose donc. Un truc qui nous vient des indiens, bof ! Tata, taratata, nano et pas tetra !

La Folle journée de Nantes

"Sans la musique la vie serait une erreur" a dit le philosophe et nous on dit : "Sans ce concert de l'Orchestre National Bordeaux Aquitaine , direction Kwamé Ryan, avec Markus Groh au piano d'aujourd'hui, notre samedi aurait été gris comme la semaine dernière !"

  • Beethoven : Ouverture de Coriolan
  • Beethoven : concerto pour piano et orchestre n°3 opus 37
Je sais, c'était la journée Schubert. Mais je suis pour les à-côté des frontières !

Et puis, la Folle journée de Nantes est bien maintenant sur plus de 2 jours !

Nantes aujourd'hui c'est aussi la "Révolte des mannequins" la dernière manifestation de Royal de luxe.

Un homme d'exception

"Ce qui ressort des mots de M. Kerviel, c'est qu'il a agi pour apparaître comme un trader d'exception..."
Le Procureur de la République en charge de l'affaire Jerôme Kerviel

complaisance, courtisanerie, autocensure, quasi-lynchage

"Au point qu'on ne peut exclure qu'à la période de complaisance, effarante au mieux, honteuse au pire, succède une séquence pas beaucoup plus ragoûtante de quasi-lynchage, qui ferait de Sarkozy, réduit à une caricature de caricature, le bouc émissaire de tous les dysfonctionnements économiques, financiers et leurs conséquences sociales : même quand, en l'occurrence, il n'en serait nullement responsable"
"Le rejet, ou même l'acharnement demain, serait alors à la mesure, plutôt à la démesure, de l'autocensure, et surtout de la courtisanerie d'hier qui fut parfois obscène."

Jean-François Kahn, Le Monde de ce jour

Tiens ! pour une fois que je fais partie du "top 10" !

Je fus le premier acheteur d'une Logan à Nantes. Et j'étais aussi le premier à venir à l'Institut à vélo. Ridicule ! les étudiants à l'époque prenaient leur voiture pour parcourir les 150 m reliant l'institut au restau U. Heureusement, le ridicule ne m'a pas tué.
J'aime bien Oxford. On y voit des étudiants (des vrais !) en toge circuler à vélo comme des profs.
Bouffons ! qu'ils disent en France.

Aujourd'hui, la télé m'apprend que la Logan fait partie du top 10 des voitures les plus vendues en France. Normal, j'attends ma 2ième Logan ! Une voiture garantie 3 ans. Moi j'aime bien un bon MTTF* et un bon rapport qualité/prix.

Pensez à ce pauvre patron de la Société Générale qui ne sait plus où mettre toutes les Logan qu'il peut s'acheter avec son salaire mensuel primes non comprises !

* Mean Time To Failure, voir cours sur la fiabilité.

"Panne informatique géante en Inde et au Moyen-Orient"

Deux cables sous-marins de télécommunication sectionnées au large des côtes égyptiennes.

Le virtuel, le virtuel ...!

Le physique, le physique ...!

Les pompes funèbres à deux vitesses et deux taux de tva

La France nous étonnera toujours et étonnera le Monde (cocorico !) . Nous avons inventé la TVA (les English ont beau dire tivié, c'est bien nous qui sommes à l'origine de ce succès mondial) :

On apprend dans Le Monde de ce jour, page 13, que
"lorsque le corps du défunt est transporté par un véhicule, le taux est alors de 5,5%. Mais dès qu'un porteur s'en charge, le taux passe à 19,6 %"

Questions :
  • Alors, le Grenelle de l'environnement, pipeau ?
  • Mais que fait Attali ?
  • Le président de la Rue publique a-t-il rédigé une nouvelle "lettre de mission" pour une commission "Comment améliorer le pouvoir d'achat des endeuillés ?"
  • Mais l'Etat perdrait 180 millions d'euros par an si on passait tout à 5,5 %.
  • Il ne reste plus pour améliorer le sort des héritiers que de leur dire de "faire sponsoriser le cercueil". Des auto-collants "Grâce à Weight trucChouette, je ne casse pas les épaules des porteurs", "J'ai mangé tous les jours chez MacDo et j'ai vécu jusqu'à 80 ans", "J'ai payé régulièrement mes impôts et j'ai vécu jusqu'à 110 ans", etc. Vite, créons une "start-up"...

i sont forts en Ingliche à la Société Générale

J'apprends par Le Monde de ce jour que la S.G a un

"global head of quantitative electronic strategy"

La stratégie quantitative électronique !

Ben couillon, Ben dame, Eh con ! C'est beau comme un pneu (moi aussi j'en connais des langues naturelles : le pictave, le nantais, le toulousain, le clermonferrantois)

Le Monde traduit par "le chef pour le monde, de la stratégie d'investissement en gestion quantitative". L'électronique a disparu.

Ben, je faisais de la gestion quantitative quand je comptais mes billes dans la cour de récré des casernes à St-Yrieix-la-perche !

Grâce à Jérôme Kerviel on en apprend tous les jours.

"Bouffon !", "Connard" !

L'éducation c'est ce qui nous protégera de ces féroces Chinois,Indiens, etc qui viennent jusque dans nos grandes villes (les petites, les villages, bof, bof, ça fait bien longtemps que l'aménagement du territoire "on" s'en fout ! et il n' y a d'ailleurs que des débiles dans ces coins paumés) piller nos emplois. Blabla blabla à la mode de chez nous.

Alors il faut valoriser l'enseignement sans doute en dévalorisant les enseignements et les enseignants. Bof, bof, on pourra généraliser la VAE (Validation des Acquis de l'Expérience ) qui bien sûr ("on" , nos députés qui ne manquent pas de médecins, de pharmaciens, de juristes) ne doit pas être appliquée à la médecine !). MacDo délivre des diplômes... et des obèses.

Les élèves peuvent y aller de bon coeur. Les profs seront notés par les élèves et les élèves protégés par les tribunaux. Un métier d'avenir, avocat. Et ils veulent nous faire pleurer à cause de leur mignonne ministre et de leur président d'avocat.

Mais notre brave ministre Darcos Xavier (forcément, il connaît bien le Périgord) a (de quoi il se mêle ? ) : " demandé au recteur de Lille de veiller à ce que l'élève soit sanctionné". Facho le ministre ! Une telle parole est bien aussi violente qu'une gifle. Il n'a pas suivi les cours de psycho à l'IUFM ? D'autant plus qu'on apprend que cette gifle pourrait ne pas être rationnelle, le prof aurait eu des problèmes avec l'alcool. Peut-être un prof qui a voulu ("on" le préconise) se mettre au niveau des élèves dont on apprend que l'imprégnation alcoolique monte (toujours le niveau qui monte).

Avant hier sur France Culture, débat Ferry/Cohn Bendit sur mai 68. Très bien. Dany a très clairement énoncé trois conneries de mai 68 dont le CRSS SS. Ouf, mercy Dany.

vendredi 1 février 2008

science/art/craft/trade/racket of software design and development

Je viens de retrouver un extrait d'un livre, dont j'ai perdu la référence.

Voici le titre du chapitre 3

"A test for practitioners of the science/art/craft/trade/racket of software design and development"

et ces deux citations :
"Ignorance, when voluntary, is criminal, and a man may be properly charged with that evil which he neglected or refused to learn how to prevent."
Samuel Johnson (1709-1784)

"Pure mathematices do remedy and cure many defects in the wit and faculties of individuals; for if the wit be dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it."

Francis Bacon (1561-1626)
 
Site Meter