200107

Visorが壊れた．液晶画面のどこをポイントしても，一番左のところを選択したことになってしまう．リセットしたら，キャリブレーションで調整できる範囲を超えてるらしくて，キャリブレーションが永遠に続く．仕方がないので修理に出したけど，最近Visorにしか予定を入れてなかったのでとても不便…

せっかく名古屋駅まで行ったので，ついでにJR名古屋高島屋の三省堂書店で，最近気になっているキーワード"dynamic"に惹かれて，"Dynamic Logic"(Harel, D., Kozen, D., and Tiuryn J. MIT Press, 2000)を購入．奥付に，This book was set in Times Roman by the author using the LaTeX ducument preparation system. なんて書いてあるんだけど，なんでわざわざこんなことを…

3月に話を聞きに行った某専門学校から，秋からの講座の講師の話があったので詳細を聞きに行く．すでに引き受けてしまったTAや授業なんかを考えると，月曜日の午前と金曜日くらいしかできないけど，それでよければという話をしてきた．まだ未決定…