ゆとり生活

今日から「ソフトウェア論理」の講義はM先生になった．学類時代の時に聞いた「論理と形式化」という講義では，意味のわからない変な図を延々と書かせられた気がしたけど，今となっては何も障害なく理解できる．論理的な話で眠くなるけど（´。｀)．

今日は計算科学研究センターで講演をするために，奈良の方からはるばるお客さんが来た．そこで，公演後に，プチ研究説明ということでHarmonicaのデモをやったりした．

今日，やったことと言えばそれくらいか．