11/15(月) 晴れ 10時に起きて午前中は授業を受けた。その直前まで昨日の続きを考えていていいとこまでいった。少し仮定を修正して示した。この場合でも欲しい完全制覇示せるしその仮定もちゃんと満たされるからいい。 授業が終わってからもまた考えて全部う…

11/14(日) 晴れ 11時過ぎに起きた。午前中には真・女神転生Vを買うために初めてpaypayとかを導入してみた。ちょうどいいタイミングでできたっぽい。 午後はまた数日前からの続きをやった。表現可能関手が層になることを示したい。まず問題が構造層から定まる…