2023年7月25日: アスパラの肉巻き/対角線論法

夕方の会議は18時までの予定だったが若干延長する。そもそもコアタイムが17時までで、コアタイム外に会議を取っているので、せめて時間通りには終わってほしいものである。

夕食にアスパラの肉巻きを作った。非常においしいのでよく作るメニューだが、巻くのがやや面倒。実際巻くことがどれほど味に影響しているのかよくわからないので、次は巻かずにただ炒めてみようと思ってもいるが、特に理由もなく結局毎回巻いてしまうのが不思議なところだ。

夜は集合論、濃度の章の続き。基本的には自明な内容が多いが、対角線論法など面白い内容も増えてきた。一般の集合についてそのべき集合の濃度が真に大きいという事実の証明があったが、これも対角線論法のアナロジーであろう。