６月26日の日記。 正午に起きた。 午後２時過ぎに出かけ、図書館で『型システム入門』を少し読んだ。 順序集合の知識がないと満足に読み進められない……。 この日は家族にピザを作ることになっていたので、午後４時に図書館を出た。 途中で材料を買って帰った…