結構たいへんだなぁと思いつつ起きたら12時だった。もろもろ作業をしたり寝なおしたりしてた。だいぶ疲れてたっぽい。