andante

$\Q(\zeta_N)$は$\Q$のガロア拡大であり、そのガロア群は${(\Z/N\Z)}^\times$に同型すなわちアーベル群であるからアーベル拡大である。ガロア群がアーベル群であるとき、その部分群はすべて正規部分群であるから、対応する部分体もガロア拡大でありアーベル拡大でもある。これは行儀の良い振る舞いといえるだろう。だから代数体のアーベル拡大の理論が先に発達したのだろうか。
逆に$\Q$のアーベル拡大はある$\Q(\zeta_N)$に必ず含まれるらしい。つまり円分体とその部分体のことを考えていればアーベル拡大のことはだいたいわかるということだろうか。便利だ。

体調は微妙。ひどくはないけれど全然よくはない。ゆっくり回復するとよい。

仕事も微妙。アニメイションをごにょごにょ実装したけれど、一様乱数をいい感じに偏らせるのがなかなか難しくて難儀しました。というかまだうまくできてない。ちゃんと計算をしないとだめな感じがあるので今日気が向いたら計算します。

最近は早起きしているので「お昼から仕事」と書けなくて落ちつかない気分になります。

さて、今夜はアニメを観て数学をして寝ましょう。そういえば仕事は明日で一段落なのだろうか。その先の予定がまだ決まってない気がするけれど。不具合とかそんなにないと思うしな。

そういえば、自宅の洗濯乾燥機がちょいちょい乾燥に失敗することがあって、僕は買ってから七年の間これはフィルタの整備不良に起因するものだろうと認識していたのだけれど、どうやらこの洗濯機は洗濯のキャパシティと乾燥のキャパシティが大きく離れているらしいことに今日気づきました。いや、前からそれは知っていたと思うのだけど、そのことと関連づけて考えたことがなかったのです。なにそれ、マジかよ。
でもこういうのは水量検知の時点で重さがわかるのだから実行前に拒絶するのが正しいあり方だと思う。夜遅くに帰ってきて乾燥に失敗して濡れたままの衣類と対面するのは最も避けねばならない事態ではないのか。

昨晩は乱数の変換のための計算をしていました。関数形がシグモイドで綺麗だったからか、逆変換法というやつで素直に出せてよかった。式は$a^{-1}\log\frac{\beta-1}{\beta^{1-x}-1}$です（$\beta=e^{ab}+1$、$a$は坂道の広がり具合の逆数、$b$は坂道の遠さ）。

あと数学もちょっとやりました。あまり進まなかったけど。フロベニウス置換が出てきたけど、まだ何なのかわかりません。
$\Q$の拡大$\Q(\zeta_N)$はいろいろとすてきな性質があったけれど、一般の代数体$K$にもそういうすてきな拡大があるよっていうのが類体論らしいです。なるほどねえ。

仕事は一段落。だけど昔書いたカスタムダイアログのレイアウト機構がなぜか特定条件下で改行を無視する不具合が見つかってつらい。あと二回くらい直したはずのメモリリークもまだ稀に再発している（これは条件がまったくわからない、レアケースだと信じているのだが）。ともあれ一段落。

さて、週末です。具合はちょっとだけ良くなったような気もするけどまだ油断はできません（悪いし）。ゆっくり休みましょう。

そういえば「放課後のプレアデス」いいですね。実質エイラーニャだし。いや、それだけの話ではないのですけれど。こう、道具立てがよく生かされている感じがある。よい。

昨晩はゲームしてたら夜遅くなったので寝ました。

今日はなんとなくfour-foursのリメイクを試みています。いま思うと昔のコードはまったく何もわかってなかった感じがあって厳しい。そしてC++のメモリ管理は面倒だ。unique_ptrというやつをうまく使えればよいのだろうか。オーヴァヘッドはほとんどないようだし。

具合は相変わらずよくないです。精神の調子もあまりよくない。そういえば「放課後のプレアデス」いままでのところもう一度観ました。やはりよくできている。後半が楽しみだ。

あいかわらずfour-foursのリメイクを試みています。オリジナルより微妙に速くなった？ようだけど、実は計算が壊れていることがさっきわかったので直さなくてはいけません。悲しい。

週末も終わりなのに体調と精神状態がよくないままです。まあ、いつもそうだったような気もしますけれども。ごめんなさい、ごめんなさい、僕にはもう無理です、僕にはもう人生は無理です、きっともうよくなることはないし、救われることなどないことはもうわかっています、だからごめんなさい、お願いだからもう赦してください、僕はただ終わりにしたいのです、憂鬱に支配され続ける人生を、もう終わりにしたい、不幸だ、不幸だ、でも僕が悪い、僕が悪いのはもうわかったから、僕は誰も呪いたくはないのです、僕ははじめから欠陥があって、だから僕はもうだめです、どうか希望を持たせないでください、僕が僕じゃなかったら持てたかもしれない希望を僕に教えないでください、それは僕には手に入らないものなんです、僕はもうだめです、僕はもうだめだから、僕はもう死ぬまで憂鬱だから、僕は早く死んでしまいたい、苦しいのは嫌だ、起きていても寝ていてももう元気が出ない、気分がどんどん滅入ってくる、僕はもうだめです、もう元気がありません。

明日は仕事の前に病院にゆきます。

昨晩はfour-foursの計算を直しました。並行処理絡みの闇とかでなくてよかった。あとは実行時に引数を取れるようにすることと、可視化。今回はTeX出力に絞ってMathJaxに投げるつもりなのできっと簡単でしょう。

仕事の前に病院にゆきました。検査の結果はわりと良好で、あとは慢性化を回避するのが目標、とのこと。薬が変わったのだけどこれがめっぽうまずい。ここから良薬であることは導かれない。

今日は前回と違ってだいぶ空いていたので結局いつもと大差ない時間に会社につきました。開発が一段落して暇だったので日頃できないタスクをぷちぷち潰しました。Slackに投げ込んだまま放置してたhubotにちゃんとしたデプロイ機構をつけてJenkinsからデプロイできるようにしたりとか。あとJenkinsでのビルドを開発用とリリース用に分ける設定を考えていたけど、これは結構難しい。シェルスクリプトにまた詳しくなってゆきます。

今夜はfour-foursの可視化まわりを触る、と思いきやJenins Slack Notifierにぬるぽで落ちる不具合を見つけたので先にそれを直そうかな。幸い一行で直る。

明日は健康診断。僕の不健康が暴かれる日です。それまでは暇なので数学か物理でもしよう。

昨晩はfour-foursの可視化まわりをやりました。といっても四年前に書いたものを移植しただけですが。その過程でコスト判定の不具合を見つけたけど、すぐ直せました。やったね。

仕事の前に健康診断にゆきました。身長は170.4cmで変わらず、でも体重が48.6kgまで落ちていました。まあ全然食べてないからなあ。ふうむ。
あと視力が左眼だけ矯正で0.6で、右が1.0だったのでなんだこの非対称性はと思いました。まあ右もぜったい1.0も見えてないと思うけど。

それから仕事。今日は案件のほうは暇だったのでコードは書いていません。かわりにリリース手順の準備をしていました。Jenkinsでフラグ一つで開発版と申請版を切り替えて、さらに申請版はad hocビルドを生成する作業。申請版からad hoc版への再署名はProvisioningを差し替えるだけですむと思っていたのだけど（実際昔は済んでいたっぽい）、App Storeのβテスト機能がついた影響か申請版のentitlementsにはbeta-reports-active？というキーが加わっていて、これがあるとad hoc版はインストールに失敗するので、いろいろ前処理をして回避しました。でも原因を見出すのに時間が掛かったので、今日はほとんどそれしかしていません。ふーむ。

あと、会社で今後の案件をSwiftでやってゆくかどうか検討しているので意見を聞きたい、みたいな話があって、ちょっと答えたりしました。Swift、ビルドが遅い問題は着実によくなっているし、コンパイラが謎のクラッシュをする事態もだいぶ減ったし、言語仕様もだいぶこなれてきていい感じになってきたと思うけど、まあそれは僕の手に馴染んだという話でしかないし、どうするのがよいのかはよくわからない。誰もがそう思うのかは知らないし、なにぶん仕事の問題だから、安全側を選ぶことも十分妥当だとは思う。いや、でも、僕の感覚としては、「Swiftリスク」みたいなものはもうほとんどないと思うんだけど。むしろあれよ、ブロック構文とか、もう思い出したくもない。

今夜はfour-foursの最後の作業をしましょう。つまりオプションを整えてちゃんとファイルを出力するようにしてgithubに公開。そんなことするほどのものだろうか……。まあ、せっかくだし。

https://github.com/necocen/four-fours
four-fours公開しました。とりあえずこれで一旦おしまい。

\[
29=\sqrt{6!+\frac{6!+6}{6}}
\]
\[
67=\sqrt{9+\frac{9!}{9\times 9}}
\]
このあたりが趣深いと思います。あと
\[
896=\sqrt{\sqrt{\sqrt{7}}}\times {\left(\sqrt{\sqrt{\sqrt{7}}}+\sqrt{\sqrt{\sqrt{7}}}\right)}^7
\]
なんかも。

お昼から仕事。新バージョンに関するディスカッション。三時間くらい議論したら疲れた。まあでも、これある程度成功しなかったら正式発表とかしないらしいし、そうなると僕はこの八ヶ月くらいなにやってたんだという話になるし、ハーァという感じではあります。

今夜は会社のhubotのスクリプトをちょっと拡張してみようと思う。それはサクッと終わらせて数学に復帰したい。

ユーフォ八話がヤバかったです。当初想像していたような正論とアンフェアな多数決の話はなんか前回であっさり一段落した感じだったのだけど、今回は映像的にヤバかった。直球の美少女が「私、特別になりたいの。」って言うの、ツァーリボンバもかくやという感じだ。ほんとうに、なにかが始まってしまう気がしたし、どうにかなってしまうかと思った。

昨晩はhubotのスクリプトをちょっと書いて、それから数学をしました。フロベニウス置換の気分がまだぜんぜんわかりません。どういう硬さがあるのかとか、何に便利なのかとか。まあ、この話は次の章でちゃんとやるらしいので、一旦はこれで流してもよいのでしょう。先へ進もう。

仕事は申請作業。仕組みは完全に整えたからあとは送るだけ〜と思っていたら、WatchKit対応アプリは普通にコマンドラインからIPAを作るだけではだめで、ちょちょいと後処理をしてやる必要があるのでした。検索したらすぐ見つかったけど、またJenkinsのビルド設定を書かねばなりません。もうシェルスクリプトを書くのは飽きたし、かといってJavaは書きたくないし、Jenkinsって実はダメな子なんじゃという気がしてきました。どうせならrakeとかで書けたい。プラグイン作るにしてももっと書きやすい言語がいい。うーむ。

あとせっかくなので特に理由もなく月曜日に休暇を申請しました。特に理由もなくのんびりしましょう。

今夜はアニメを観たら早めに眠ろうかしら。睡眠時間が七時間を切る日が続くとちょっと堪える。

平方剰余記号が${(\Z/N\Z)}^\times$から円分体のガロア群と２次体のガロア群を経由して出てくるらしい。円分体のガロア群との対応はフロベニウス置換で与えられるのだろうけど、円分体のガロア群と２次体のガロア群との対応はどうとられるんだろう。というかここが一番重要なのか。そもそも２次体のガロア群ってどんなやつなんだっけ？

仕事は比較的暇。ちょっと不具合対応もしました。あと社内向けに資料書いたり。でもそろそろ仕様が決まってくるらしいので来週は暇ではなさそう。そういえばHaskell勉強会の発表担当もあるしねー。
あと社内のJenkinsにユーザー認証がついたので、hubotのほうに手を入れなくてはいけません。ちゃんと権限管理するならhubotにトークンひとつ載せて終わりってわけにはゆかないので、ちゃんと管理する必要がありそう。また自作か……

「放課後のプレアデス」八話もいい話でした。相対論的効果と、あと星虹な（実際はあんなにきれいには見えないらしいですけど）。そして双子のパラドクスをガン無視する英断。そのへんの匙加減が実に上手いなあと思いました。お話は比較的ベタだけど、道具立てとよく調和していてとてもよかった。いやあ、よかった。

昨晩はhubotをJenkinsの認証に対応させるコードを書いていました。brainにトークンを保存してリクエストに追加するところまではできたので、あとはビルドのパラメータを対話的に指定できるようにしたら目標達成かなあ。対話自体は実例を見つけたのでそれを参考にするとして、対話環境を使う場合と使わない場合のいい書き分けを考えないといけません。まあ、明日くらいにはなんかいいのを思いつくでしょう。

今夜はf宅で鍋をしながらテレビを観ています。こういうの久々だな、楽しい。