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