2017-01-11

午前10時過ぎに起きた。

しかし、さすがに前日に働き過ぎたのか、気力がなく、長いことこれと言ったことをやらなかった。

途中で眠くなって夕寝を試みたのだが、眠りそうになったところで親に声をかけられて起こされた。

午後５時過ぎにやっと出かけた。

モスバーガーで３時間ぐらい仕事をした。

---

家に着いたのは午後11時ぐらい……。

また『型システム入門』をやった。

チャーチブール値，チャーチ数などを理解した。（うれしい。）