andante

昨晩は帰ってくるのが遅かったのでたいしてなにもしていません。$\bm{a}^p$が主イデアルならばそのイデアル類群における類は単位元であり、類数が$p$で割れないならば$\bm{a}$の類も単位元になる（もしそうでないならば位数$p$の巡回部分群ができるので類数が$p$で割れないと困る）。よって$\bm{a}$も主イデアルである、みたいなことを示しました。

お昼から仕事。不具合対応とコンテンツメタデータの精緻化。今頃やる考察じゃないよねという気はするが、今日まで誰も考えなかったので仕方がない。人数が少ないチームは厳しいなあと思う。あるいは思慮の深さが。

あとWKWebViewのエラー画面をHTMLで実現する手法を探っていました。いや、別のViewを置いておしまい、とかでもよかったのだけど、WebViewのエラーはWebViewでやりたい思いがあったので。JavaScriptをゴニョゴニョすると（結構手こずったけど）いい感じにできました。よかったよかった。
でもWKWebViewはまだバリバリ使うには未熟っぽいですね。

さて、あまり具合が良くないですがお酒を飲んでアニメを観ましょう。そういえば来週は水曜日に休日出勤することと、ゴールデンウィークが10連休になることが決まりました。まあ、10連休ったってどこへも行かないしなにもしないのですけれども。

昨晩はクンマーによるフェルマーの定理の部分的証明を読んでいたのだけど、途中で引っかかってそのまま寝てしまいました。今日会社行く途中で考えたらわかった。

お昼から仕事。あいかわらず不具合対応だけど結構重たかったので他のことする余裕はありませんでした。NavBarとToolbarを正しく隠す方法を編み出したので社内のQiita:Teamに記事を書きました。
あと前に作ったグラフビューが、アニメイションに注力したあまり即時更新する方法がないことに今更気づいたので泣きながら仮実装。まあこれでうまく動くようだしとりあえずこれでよいか。

僕が語りたいことは、ノベル・ゲームの体裁をとるのが適切なのではという気がしてきた。ノベル・ゲームにおける独我論と超越論。たぶんお話はこうなる。主人公はある日世界の背後にあって世界を構成している特別な言語に触れ、プレイヤーの存在に気づき、次第に特別な言葉で心を通わせるようになるのだが。しかしやがてはプレイヤーのことを忘れ、「特別な言葉」など実はなかったのだと気づく。
世界を構成している特別な言語とはゲームのスクリプトのことであり、プレイヤーと話す特別な言葉は縦読みによって構成されている。そこでは選択肢はプレイヤー自身の選択である。しかしそんなものがあると知っているのはプレイヤーだけであり、主人公は「知っている」だけである。だから主人公はやがてそのことを忘れてしまう。世界を構成している特別な言語など全くのナンセンスであり、世界の外側と会話するための言葉など（他の無数の「特別な」言葉たちと同じく）でたらめである。それは確かに世界を構成する言語であり、またプレイヤーに語りかける言葉であるにもかかわらず。

探せばもうありそう。

昨晩は虚二次体の類数公式でいろんな二次体の類数を計算練習しました。類数が１の虚二次体は９個しかなくて、しかもmの小さいほうから順ではなく飛び飛びに並んでいるようです。いいですか皆さん、これが萌えですよ。萌え。今夜はいよいよクンマーによるフェルマーの定理の部分的証明かな。

お昼から仕事。不具合対応を坦々と。それもわりと落ちついてきたし、今週は結構暇なのかもしれない。Swift移行ガイド作るタスクでも着手するか。

具合がまだ低空飛行のままです。うー。

追記。ユーフォ三話観ました。いやはや期待通り、やはり人間由来の不快感は（遠くから見る分には）良いなあみたいな気分になります。でも思ったよりあっさり話が進むような気配もあり、いやいや人間があれだけいるんだからまだまだ揉めるに決まっているさと期待もある。

昨晩は虚二次体の類数公式が紹介されました。なんでこんなところに平方剰余記号が出てくるの。ＹＥＳ！宇宙！
でもそれがディリクレ指標をなすってんなら、まあディリクレのL関数が出てきてζと繋がること自体はそんな不思議なことでもないような気がする。いや、まだ知らないだけでζであることが本質的なのか？

お昼から仕事。あいかわらず具合がよくない。不具合対応は順調に進んでいるのだが、この期に及んでまだ仕様が追加される。まあ、そういう仕事だからね、しょうがないよね。そう思うと僕この仕事向いてないような気もする。僕もフニ〜とか言ってうやむやにしたい。

「俺はポジティヴだぞ〜！」みたいな人の精神構造が不気味。というより、僕の持っている精神の模型に当てはめると、それはなにか嘘を言っていたり後ろめたいことがある時の行動パターンに近いので、そういう人からは距離を置きたいと思う。きっと当人はそんなことはないのだと思う、だけど僕にはこの精神しかないのだから、これを信じるのをやめてしまうことは他者に対する一切の手懸かりを失ってしまうことだ。だから僕はそう信じるしかないし、距離を置くしかないと思う。

昨晩は$x^2-Ny^2=1$が自然数解を無限個持つことの証明を読みました。実２次体$\Q(\sqrt{N})$の単数群が無限群になるので、その分だけ$\Z[\sqrt{N}]$の素元分解がばらけて解が無限個できる。いや、これは素元分解とは限らないのかな？

お昼から仕事。具合悪いけど進捗はまあまあ。検証が始まったので本格的に不具合対応です。あとずっと気がかりだった実装漏れもだいたいいい感じになったし。ラストスパート感。

さて具合悪いです。

本当にまったく不合理な好みの話なんですけど、中野梓に対して「アズにゃん」という表記をとるタイプの人とはまったくわかり合えないのだと思う。もっというと信頼できない。ここでは相対主義をとらない。
ちゃんと定式化できる規則では（おそらく）ないのだけれど。

代数体のイデアル類群が有限群であるという定理と、ディリクレの単数定理が紹介されたけれど、イデアル類群の具体的イメージがないし、素点概念もピンときてない（なにゆえこいつは「素点」なのか？）のでフーンという感じです。でも単数群（代数体の整数環の可逆元全体のなす乗法群）の構造がゴロンと出てくるのはちょっとした出来事のような気はする。イデアル類群のほうは知らん。位数が１でないなら有限だろうと無限だろうと全部一緒と違うのん？

具合が悪いのはあいかわらずです。参りましたね。今日は日曜日なので、明日は月曜日です（形式的真理を書く）。

昨晩はイデアル類群と単数群が定義されました。これらは代数体の数がイデアルとどのくらい違っているかを表す群のようです（より正確には分数と分数イデアル？）。そしてイデアル類群が単位元のみの場合は素元分解ができるようだ。

今日もあいかわらず風邪気味です。なのでアニメを観てゆっくり眠ります。

解けない問題に回答しなければならないと思い込んでしまうと、なんの役にも立たないゴミの塊が顕現し、よりよい対案など存在しないので永久に居座り続けることになる。

慎重であることはもっと賞賛されてもよいのではないだろうかと思う。それは臆病と区別がつかないとしても。「あやまちをおかすなら慎重すぎるがゆえにそうなるように」。

昨晩は素イデアルが定義されて素イデアル分解が一般に代数体の整数環で一意であるという事実が紹介されました。そのあたりは環論の話題になるのだそうです。いずれどこかで出会うでしょう。そういえばこのもうちょっと行った先ではガロア理論の言葉が必要になるようだけど、僕は全然知らないから心配だ。付録に概略は載っているけど、これはこれで十分ということなのだろうか？

お昼から仕事。引き続きコンテンツの微調整とか不具合の検討とか。やるやる言って一週間くらい経つ不具合の検討にようやく入れた。問題を整理してみるとそう困難でもない気がするし、来週の早いうちに解決したい。なんだかんだで本当に完成が近づいてきた。終わったらゴールデンウィークだ。

さて、どうも今朝からまた風邪気味で、喉が痛いです。なのでお酒は飲みません。アニメを観たらゆっくり眠りましょう。

昨晩は$\Z[\sqrt{-26}]$が素元分解の法則に従わないことを示し（たとえば$3\in\Z[\sqrt{-26}]$は素元ではないし素元で割り切れもしない）、イデアルが定義されるところまで進みました。素イデアル分解は一般の代数体の整数環でできる、という話だと思います。こうするとフェルマーの定理を示すときに素元分解のかわりに素イデアル分解を使えば同じ議論ができる、とかなのかな（昔そんな話を聞いた気がする）。

お昼から仕事。不具合対応に入ろうと思ったけれど、コンテンツの調整に手間取ったので結局着手できず。でもコンテンツの調整はほとんど終わったと言えそうなのでよかったとしましょう。明日から検証？

さて、昨夜は早く寝たので今日はそこまでひどい具合じゃなかった、今夜もあまり夜更かししない方向で行きたい。

そういえば、「響け！ユーフォニアム」の二話がけっこうおもしろかったのでした。いいよいいよ、僕こういう薄暗い気持ちになるお話大好きだよ、頭の中のそういう受容体が次回をものすごく楽しみにしているよ……。

昨晩は代数体の整数環のことを読んでいました。でもこれが環をなすのってぜんぜん謎だし、ちょっと検索して出てきた証明は妙に複雑でした。フムン。

お昼から仕事だったのだけど、今日はなんだかものすごく疲れていて（というか昨夜からそうだ）ぜんぜん能率が上がりませんでした。どうしちゃったんだろう。

作業は追加仕様の対応がほぼ終わったので、ほぼ不具合対応です。状態更新関係のロジック、明日腰を据えて考えよう。

今夜はつかれているので早く寝たい。髪が乾くまでは数学する。