微分方程式のある定理の証明をやりつつ年越しになりそうだ。。。朝までに寝落ちしないで終われるといいんだが。