久々に研究漬けということで証明考えて唸ってた一日。基本的に論文書くというフェーズは書く内容さえ決まっていればそこまで頭使わないのでテレビ見ながらでもローラー回しながらでも書けるけど、本気で証明考える時は主に畳の上か布団の上で仰向けになって虚空を見つめてるので全力でダラけているのと傍目には識別不可能。そして証明の方は補題1個示しただけで終わり、研究時間を考えると論文書きあげるのに3か月くらいかかりそう。
 というわけでローラー練もせず消費カロリー極小。ていうか昨日55kmくらいしか走らなかった割に妙に筋肉痛なので普段やらない高ケイデンス練が効いたっぽい。