Mâcher chaque bouchée 30 fois, clef de la longévité ?

En revoyant les premiers épisodes de l’anime « March comes in like a lion », je réalise qu’on y retrouve l’un des préceptes que j’avais découvert en lisant « La méthode japonaise pour vivre 100 ans » à l’automne dernier : mâcher 30 fois !

On dit toujours qu’il est important de bien mâcher, mais je ne pensais pas que cette idée de mâcher 30 fois était si répandue dans la culture japonaise.

Personnellement, je crois que je suis trop gourmand pour cela. Mais peut-être devrais-je m’inspirer de cette sagesse pour espérer vivre plus vieux ?

Et vous, mâchez-vous 30 fois avant d’avaler votre nourriture ?

Card Captor Sakura : Clear Card Arc

Vingt ans après la première série et avoir collecté les cartes de Clow, Sakura est de retour. Dès le 1er épisode, Shaolan revient de Hong-Kong où il a passé plusieurs mois. Ce sont des retrouvailles émouvantes. Mais pas le temps de se réjouir car, dans le même temps, Sakura commence à faire des rêves étranges, ses cartes deviennent transparentes… le moment est peut-être venu pour elle de reprendre ses missions de « card captor ».

Au Japon, l’anime est diffusée sur la chaîne NHK et bénéficie d’atouts graphiques et musicaux qui captent immédiatement l’attention du spectateur. C’est simple, c’est comme si la précédente série s’était terminée hier. Au contraire d’autres titres qui bénéficient de remake maladroits dans leur ciblage (je pense malheureusement à Sailor Moon dont la série Crystal a surtout visé les fans de la première heure, en témoignent les produits dérivés à destination non pas des adolescentes de maintenant, mais des jeunes femmes de 20-35 ans), il s’agit ici d’une suite qui pourra plaire tant aux enfants de maintenant qu’à ceux qui ont regardé les saisons précédentes. Des personnages énergiques, de la magie, des pétales de cerisiers… un cocktail que je recommande vivement. Cerise sur le gâteau : le générique de début est interprété par Maaya Sakamoto 🙂

Cette nouvelle série est disponible en France en simulcast grâce à Wakanim.

Mon avis sur le film Fireworks du studio Shaft

Le film Fireworks (打ち上げ花火、下から見るか 横から見るか) m’avait fait de l’œil dès cet automne, après avoir découvert sur YouTube le clip de Uchiage Hanabi, sa chanson thème par Kenshi Yonezu & DAOKO. Vu que les sorties de long métrages japonais d’animation ne sont pas monnaie courante en France, je ne pouvais pas passer à côté de la diffusion à Nantes au Katorza.

L’intrigue : deux garçons ont des sentiments pour la même fille, Nazuna. Leur situation évoluera-t-elle en ce jour de feu d’artifices, les hanabi si symboliques de l’été japonais ? Ils ne le savent pas encore, mais celle-ci doit quitter la ville le lendemain pour suivre sa mère. Sauront-ils trouver le futur qu’ils veulent construire ?

J’attendais beaucoup de cette œuvre, que la critique a – je pense – trop rapidement mis sur le même plan que Your Name ou La Traversée du Temps. L’ambiance musicale est au top, mais le reste ne me parait pas du même calibre que les œuvres sus-citées : trop de mélancolie, trop de non-dits… les personnages peinent à se prendre en main. J’en suis sorti essoufflé pour eux même si, sur le papier, l’œuvre avait tout pour me plaire dans les thèmes traités.

Soutenance d’Habilitation à Diriger des Recherches, Bio-informatique, 28/04/2016

J’ai soutenu mon Habilitation à Diriger des Recherches (HDR), intitulée “Contributions à l’élaboration de connaissances qualitatives en bio-informatique“, le jeudi 28 avril 2016 à 10h30 dans l’amphithéâtre S de l’Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN) devant le jury composé de :

Rapporteurs :
Gilles BERNOT, PU, Université de Nice Sophia Antipolis (I3S)
François FAGES, DR Inria, Inria Paris-Saclay
Cédric LHOUSSAINE, PU, Université de Lille 1 (LIFL)

Examinateurs :
Jérémie BOURDON, PU, Université de Nantes (LINA)
Hidde DE JONG, DR Inria, Inria Grenoble-Rhône Alpes
Denis THIEFFRY, PU, École normale supérieure (Institut de biologie)

Présidente :
Mireille RÉGNIER, DR Inria, Inria Paris-Saclay & École Polytechnique (LIX)

Garant HDR :
Olivier F. ROUX, PU, École centrale de Nantes (IRCCyN)

Manuscrit

Lien vers le manuscrit “Contributions à l’élaboration de connaissances qualitatives en bio-informatique“.

Vidéo

Retransmission de la Soutenance d’Habilitation à Diriger des Recherches, Bio-informatique, 28/04/2016, Dr Morgan Magnin

Slides

Lien vers les slides projetées lors de la soutenance.

Résumé

Cette synthèse pour l’HDR est un recueil de plusieurs travaux dans le domaine des méthodes formelles pour la biologie. Devant l’enjeu que représente la modélisation et l’analyse de la dynamique de réseaux de régulation biologiques à grande échelle, nous avons identifié une classe pertinente de modèles formels sur laquelle il est possible de mener des analyses efficaces de la dynamique. Après avoir discuté les différents critères de modélisation à prendre en compte en biologie, nous introduisons ainsi le formalisme des Frappes de Processus. Nous présentons ensuite les méthodes d’analyse conçues pour ce paradigme, leurs mérites et leurs limites. Enfin, nous revenons sur des résultats plus récents, consécutifs à l’établissement de liens fructueux entre l’apprentissage automatique, la programmation logique, le model-checking et la bio-informatique, ce qui nous permet de faire émerger un ensemble de nouvelles questions scientifiques.

Mots clés
réseaux de régulation biologique, modélisation, frappes de processus, analyse de la dynamique, apprentissage automatique, vérification formelles, inférence de paramètres

Summary

I defended my habilitation thesis, entitled “Contributions to the elaboration of qualitative knowledge in bioinformatics“, on Thu. 2016/04/28. This synthesis gathered several works in the field of formal methods for biology. In our works, we tackled the challenge of modeling and analyzing the dynamics of large-scale biological regulatory networks. To address this issue, we identified some relevant class of formal models on which it is possible to perform effective analysis of its dynamics. After discussing the different modeling criteria to be taken into account in biology, we introduce the Process Hitting framework. We then present the methods that we designed to analyze such models, and their respective merits and limitats. Finally, we give an overview of recent research aiming to build a fruitful link between machine learning, logic programming, model-checking and bioinformatics. This allows us to bring out a new set of scientific questions.

Keywords
biological regulatory networks, modeling, process hitting, analysis of the dynamics, machine learning, model-checking, parameters inference