0415 昨晩は代数体の整数環のことを読んでいました。でもこれが環をなすのってぜんぜん謎だし、ちょっと検索して出てきた証明は妙に複雑でした。フムン。 お昼から仕事だったのだけど、今日はなんだかものすごく疲れていて(というか昨夜からそうだ)ぜんぜん能率が上がりませんでした。どうしちゃったんだろう。 作業は追加仕様の対応がほぼ終わったので、ほぼ不具合対応です。状態更新関係のロジック、明日腰を据えて考えよう。 今夜はつかれているので早く寝たい。髪が乾くまでは数学する。