2012-08-23 蒸し暑い 結局今日はε-NFAとNFAの等価性証明(ようするに勉強会の担当部分)に取り組んでたら終わってしまった。きー! まぁオートマトンに詳しくなるのは博士論文的にもそれなりに喜ばしいことではあるのだが。 頂いたLAMYの万年筆でレジメを書いていたのだけど(論理記号が多いので私の場合は手書きしたほうが早い)、この万年筆かきやすい! すらすらかけるー。プレゼントしてくださったお兄様がたに感謝♪ 夜は、こないだ祖父母にもらった高級牛肉で肉じゃがを作った。うまい。ブドウもマクワウリもうまい。