Black and White Rainbow's blog/

Aujourd'hui petite réflexion qui m'a frappée (je n'ai pas tendu l'autre joue, rassurez vous !)...

"Avant on savait être heureux !", "Avant la vie était mieux !", "La joie se perd !" etc. Cette liste -éructée sans gène et sans retenue par des nostalgiques qui n'ont que le sommeil de profond et qui ferait mentir Georges (Brassens) sans scrupules- est bien souvent mise en défaut -par des jeunes naïf et s'émerveillant d'un rien qui osent dire que Georges (le même) pourrait se tromper.
Ce matin en prenant le Métropolitain, je remarque que nombre d'affiche ont changées (jusqu'ici rien de bien surprenant) et que certaines d'entre elles ont laissé place à ça : Affiche avec une mention "sortie dans les salles le 19 mars. L'ironie dont l'univers sait faire preuve a fait que je l'avais regardé le 19 février très exactement ! Cette affiche m'a permis de me rendre compte que nombre de remerciement que j'aurais dû faire parvenir non jamais quittés mon inconscient...

Merci Rém et Martin pour m'avoir fait adopter le fils de Dick Rivers...
Merci TPB, Mininova et Torrentz pour me fournir de quoi le nourrir...
Merci FMG, FXG, FxM, PROPER, aXXo &co pour me donner de quoi le nourrir (bis)...

En plus des possibilités de boycott (Absurdité commerciale Astérixale, flim de Tom Cruise ("Donnez des tunes à mon église !") etc.) qu'offre le prodigieux µ il y a :
Les joies d'être surpris par une production artistique inattendue (Little Miss Sunshine, The Darjeeling Limited, Ingrid Michaelson, Darwinia, etc.), les prolongements de plaisirs (Max Payne 2, Age of Wonders 1&2, Sin City (comic), GTA Vice City), les overdoses sérielles (Crime Scene Investigation, Desperate Housewives, Heroes)...

La vie avec des vrais morceaux de bonheur dedans !

Après avoir planté les mots-fléchés du "20 minutes" d'hier, j'engageai mon esprit dans un affrontement bien plus simple : le Sudoku du "20 minutes" d'hier. (Je tiens ici à rassurer les lecteurs sur mon utilisation du "20 minutes" : je ne m'attaque qu'au jeux !) D'un niveau (officiellement) moyen, je m'imposai un handicap : inverser l'usage de l'unicité et de l'existence des chiffres.

"Et là vous allez me dire :" (Siegfrid) "mais c'est deux propriétés sont d'une équivalence triviale !"
Certes oui !

Rappelons ici les règles du Sudoku : "Le but est de remplir les cellules vides, un chiffre dans chacune, de façon à ce que chaque rangée, chaque colonne et chaque région soient composées d'un seul chiffre allant de 1 à 9" Cela signifie donc qu'il existe, dans chaque métacase, chaque colonne et chaque ligne, un unique chiffre parmi {1;...;9}

En notant C l'ensemble des cases d'une métacase, d'une colonne ou d'une ligne et N9 l'ensemble des chiffres de 1 à 9,

l'existence revient à dire que

Phi : C -> N9 est surjective
c'est à dire que tout les symboles de chiffres sont représentés dans une métacase/colonne/ligne

l'unicité revient par contre à dire

Psi : C -> N9 est injective
c'est à dire qu'aucun chiffre n'est présent plusieurs fois

En théorie, ces conditions sont équivalentes, mais en pratique on utilise majoritairement l'unicité sur les lignes et colonnes et l'existence sur les métacase. C'est à dire qu'on cherche à placer un certain entier sur un case (existence) et qu'on élimine les lignes et colonnes dans lesquelles il est déjà présent (unicité).

Depuis un bon moment je ne m'amusait plus avec les grilles de Sudoku, mais ce petit jeu est assez rigolo... Pour l'instant !

http://www.e-sudoku.fr/jouer-sudoku-solo.php

Il arrive de ne pas assez agir, mais on ne réfléchi jamais trop !

(begin (display "Hello World !") (newline))

Ainsi commençai-je mon apprentissage du Scheme (lire skime), langage de programmation assez étrange après avoir programmé en CamlLight/OCamL dans un style inspiré à la fois par la fonctions imbriquées full-impératives ou full-récursives de Siegfried et par les procédures UNITales savament mélangés de Gense...
Le code rédigé en Scheme est d'une beauté absolument relative (comme tout les dialectes de Lisp). Il présente des accumulations de parenthèses que même analyseur d'expression régulière aurait du mal à traiter ! Mais la part la plus difficile de ce changement de langage est le typage, qui est passé d'une rigidité de chêne à une souplesse de roseaux. Assez de parlotte à propos de langage, ce n'est pas le point important de cet email...

En parallèle à cet apprentissage (merci Dorai Sitaram et ScrapBook), un regain d'intérêt c'est soudain déclaré pour mon petit algorithme de test de primalité (qui semblerait être très adapté au calcul en grappe)... J'ai donc deux grandes occupations (en plus de plusieurs petites occupations comme "les révisions pour mon partiel", "la vaisselle", "les fonctions holomorphes", "Rise of the Atlantis", etc.) en ce moment apprendre le Scheme et travailler sur mes tapis... Ce qui est heureux c'est que ses deux humeurs sont plus que compatibles, elles sont entrelacées ! Je découvre et démontre autant de tapissage que je programme de fonction.

En bref : ça va bien, je m'amuse avec des trucs de geeks !

Un petit morceaux de code pour avoir un aperçu des structures parenthèsales (qui n'ont d'égal que les structures sagittales de coaching de basket-bale (pour la rime))

(define (clock-wise-step (x y) a b) (cond  ((and (= y 0) (not (= x 0))) ((- x 1) y)) ((and (= x 0) (not (= y b))) (x (+ y 1))) ((and (= y b) (not (= x a))) ((+ x 1) y)) ((and (= x a) (not (= y 0))) (x (- y 1))) (else (error "clock-wise-step" " le point n'est pas sur le rectangle"))))

Voila, en vrai on fait des passages à la ligne et des espacements de présentation, mais c'est plus typique comme ça !

"Faire des maths, c'est la seule façon socialement acceptable de se masturber en public." (Inconnu)