過去ログを辿るのはしんどいからね。
だったら有限加法族の勉強でもしていたい。