0513
早起きして歯医者の時間まで数学をしました。類体論的現象はどんな体拡大にでも現れるわけではなく、代数体のアーベル拡大に現れるようです。すなわち、類体論とはアーベル拡大の理論である、と。ふーむ。
それから歯医者。彼らはなぜか僕の歯磨きの腕を高く評価します。小さい虫歯っぽいものがあるけど一年半前と大して変わってないので様子見でいいですとのこと。次回は半年後。半年て。そんな予約が取れるのか（取れた）。
そういえば、歯医者の入口の自動ドアには（よくある感じで）名前が書いてあるのですが、それが室内からだと裏返しに見えて、さらにそれが受付のガラスに反射して元に戻っていたのがちょっとおもしろかったです。普通に読めるものだからしばらくそれが特殊な事態なんだと気づかなかった。
こういうことを、Twitterに書いておしまいにするのではなく、もっとちゃんと日記に書いてゆきたいですね。
午後は仕事。腕時計対応はおおむね片付きました（結局一日掛かってしまったけれど）。腕時計の通知、発動条件がよくわからないのだけど文字盤が点いてるときしかちゃんと表示されない？っぽくて、それじゃ通知の意味なくない？とか。いずれ変わるのかな。
あとJenkinsによる自動ビルドの対応を泣きながらやりました。xcodebuildはCODE_SIGN_IDENTITYを指定するとPROVISIONING_PROFILEがAutomaticでも無視してしまうっぽい（発動条件はこれなのだが正確な事象がはっきりしない）ので、xcprojなるツールを導入してゴニョゴニョすることで乗り切りました。これ便利だな。妄想中の新ビルドプラグインはこれなしには成り立たないであろう。
さて、帰りが遅くなったので日記を書くのもこんなに遅くなってしまいました。髪が乾くまで数学をしましょう。明日からは本格的にiPhone開発に戻ります。たぶん。