00:40 そんなわけで研究室着。朝までウダウダして、始発ぐらいに乗って帰る予定。 [l] 00:43 「パソコン無し生活」ってのはどんなもんなんかなー。自分がどう反応するか見てみたい、という実験という感じもある。 [l] 01:10 証明法を理解してない（証明を証…