2020-09-11 夏休み35日目 9/10(木) 晴れ 現在、9/11(金)2:20。完全に忘れていた。 数学やってバイト行った。表現可能関手の最初を触れた。突然未定義語が出てきてわからなくなったので一晩置く。 たまには100文字くらいでもよしとする。おやすみなさい。