日記

『型システム入門』を 9 章まで読んだ。

妻とふたりでテレビを観た。調子が悪いというので横に居て。