前回の定義域関係論理のお話の続き．おそらく実務で使うことは１００％ないが，少し個人的には興味を持った．理論的なお話なので，いかにも大学院らしい内容といえるかもしれない．

朝までかかって，ようやく，完了．けっこうさぼっていたので，辛かった．この週は試験もあるので大変なのだが，単位は十分揃っているので，いまひとつモチベーションが上がらない．

雨が激しく降ったり，止んだりと不安定な天気が続く．