朝起きていきなり変な天声人語を読む。なんか引っかかる。どこが引っかかるかだれか説明して。（他人まかせ）
午前中は家にいる攻撃。
弁当を自宅で食べて出撃。
先週の小テストを返却する攻撃。
ずっと文法を説明して退屈する攻撃。
tumblrって引用とかすぐできるのはいいがそれにコメントをつけたりはできないのかな。テキストモードにすればできるけどそれじゃあ意味がない。
おもしろいので衣笠の師匠の話を少し考える。
Ought implies canとすれば、ある一群の本が一冊一冊をとってみれば、どれも読むべきであり、読むことが可能なものだとしても、それらをすべて読むことが不可能だとすれば、それらをすべて読むべきだということにはならないということか。
通常の義務論理（serial frame）だと、(∀x)LP(x)→L(∀x)P(x)は妥当（Lは義務様相）。だから図書館の本の一冊一冊を読む義務があるならば、図書館のすべての本を読む義務がある（！）。面白いのは、これに「図書館の本をすべて読むのは不可能だ」という前提が入っている点で、この「不可能」は義務様相とは違うので、本当に扱おうとするといわゆるmultimodal logicになってしまうので専門家の救助が必要。ただ、義務論理の「矛盾したことには義務は生じない」に類似した原理として「不可能なことに義務は生じない」を認めると、「図書館のすべての本を読まなくてもよい」という結論が出てくるけどこれは見事な論点先取。むむむ。また後で考えよう。
こういうことを考えていて脳みそを休めないまま本社の授業に突入。もともと静かなクラスだが、それだけにちょっとした私語が目立つ。爆撃一件。出て行けと言ったら出て行くそぶりをしたので放っておいたらなぜか最後までいた。しかも授業カードは「難しかった」の一行。終わったな。それとは別に後ろの方でずっとぼそぼそしゃべっていた女子二名は授業カードで名前を確認。今後の状況次第ではこいつらもおしまい。
Gmailのコンタクトが使いやすくなったと言ったが撤回。新規グループを作成するのが猛烈にやりにくい。むきぃぃぃ。
大変すばらしいカンパチを買って帰り久々に（でもない）充実の晩酌。頭痛のタネはあるがひどくならない。