00:24 ただいま。帰ってきたー。 00:25 結局1時間半近く外にいたのか。 00:27 まぁ結論は出なかったけど、現状の確認と今までの考えの強化、あとは結論へたどり着くまでのいくつかの事柄の結論は見つかったと思う。ちょうど、大きな定理ための補題の証明みた…