昨晩は帰ってくるのが遅かったのでたいしてなにもしていません。が主イデアルならばそのイデアル類群における類は単位元であり、類数がで割れないならばの類も単位元になる（もしそうでないならば位数の巡回部分群ができるので類数がで割れないと困る）。よっても主イデアルである、みたいなことを示しました。
お昼から仕事。不具合対応とコンテンツメタデータの精緻化。今頃やる考察じゃないよねという気はするが、今日まで誰も考えなかったので仕方がない。人数が少ないチームは厳しいなあと思う。あるいは思慮の深さが。
あとWKWebViewのエラー画面をHTMLで実現する手法を探っていました。いや、別のViewを置いておしまい、とかでもよかったのだけど、WebViewのエラーはWebViewでやりたい思いがあったので。JavaScriptをゴニョゴニョすると（結構手こずったけど）いい感じにできました。よかったよかった。
でもWKWebViewはまだバリバリ使うには未熟っぽいですね。
さて、あまり具合が良くないですがお酒を飲んでアニメを観ましょう。そういえば来週は水曜日に休日出勤することと、ゴールデンウィークが10連休になることが決まりました。まあ、10連休ったってどこへも行かないしなにもしないのですけれども。