andante

${(\Z/N\Z)}^\times$の指数$d$の部分群は、$\Q$の$d$次拡大において完全分解する素数（$\bmod N$）を記述するらしい。こういうのが類体論的現象らしいけどまだぜんぜんわからない。

---

早起きしたけど具合が悪かった。気圧のせいかもしれないけれどこれまで気圧のこととかあまり気にしたことなかったから気のせいかもしれない。しかし具合が悪かったのは本当。
WatchKit対応は一応形になりつつあります。でもこんな単純なアプリ出したらappleに怒られないかしら（機能が少なすぎると怒られるケースがあると聞いたことがある）。明日は通知画面を触ります。
ゆくゆくはHandoff？にも対応したいのだけどねえ。あとGlanceって何かまだわかってない。

---

明日は歯医者です。なので早起きしても暇なんだけど、たまには朝に数学するのもいいかもしれません。早起きするのかは未定。