11:30起床。早起きって何でしたっけ？ ご飯を食べて、12:30からアティマクの一昨日みたアティマク４章の軽い見直しと、５章の下降定理の所までを読んだ。下降定理の証明、こんなに難しかったっけ?ってなってた。(まあ講義でも上昇定理の証明はしたけど下降定…