デザインワークショップ( http://www.process.jp/index.php?DW2005) の課題に挑戦し、PROMELAでモデルを記述してみた。経過は以下に置いてある。 http://www.process.jp/index.php?DW2005%2Fpeople%2Fnonaka いまさらながらですが、formal methodを勉強した…

どうも３，４日前より風邪をひいたようで喉が痛い。ここまでは、普通の体験なのだが、今回は味覚が麻痺している。特に甘みを全く感じず、なにを食べても美味しくない。これは、初めての体験でちょっと恐怖である。もう少し様子を見て、症状が改善しないよう…