ていへんかけるたかさわるに

1 時半起床.

数学をやる.

おとといから Scott's trick について調べ始めたのだが, ある程度 Zermelo-Fraenkel (ZF) Set Theory を理解していないとどうにもならない.
ネットに ZF に関する資料があったので参考にすることにした.
Fundamentals of Zermelo-Fraenkel Set Theory

コンパクトにまとまっているが, 公理的集合論の議論に初めて触れる自分にとっては易しいものではないだろう.

午前中は定期検査のために内科に行く.
非常に混雑している.
ぴりぴりした感じがする.
圧迫感を感じて辛い.

それでも, 時間が経つに連れて混み具合は緩和されてきたので気持ちは多少落ち着いた.

検査は問題無く終わる.

しかし会計の段階でお金が足りないことがわかる.
予定していたよりも多くの金額がかかってしまったのだ.
キャッシュカードは持っていないので, 一度戻ってお金をおろしてからもう一度支払いに来なければならない.
ただ, 今日は土曜日で, 内科が午前だけで閉まってしまうので, それでは間に合わない.
頼んで週明けの月曜日に支払うことにしてもらう.

帰宅して食事.
レトルトのカレーライス.

次第に気分が落ち込んでくる.
内科の待ち合い室の雰囲気とか, お金が足りなかったことなどが影響している.

結局寝込んだ.
そのまま休む.