andante

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

昨夜はなんだかんだ夜更かししてしまいました。UIViewのアニメイションで気になることがあったのです。

そのせいか今日も具合が微妙。昨日よりちょっと悪いけど一昨日ほどじゃない、くらい。でも今日は早く行って早く帰って来たので寝る前に遊んでも早く寝られるはず。

仕事は微妙。僕はやっぱり会社勤めには向いてないなと思う。

Haskell勉強会でIOアクションの話題が出たときに思ったのだけど、Monadのpureがreturnなのって、「プログラム＝HaskellにおけるIOアクション＝（たとえば）Ｃ言語における関数」という対応関係において、最小限の関数がreturnのみで作られることに対応する最小限のIOアクション、という気分を表現しているのだろうか。というかそういう解釈がしっくりくる。
アクションを束ねるという感覚がようやく浸透してきた気がする。だからどうというわけではないのだけれど。

今夜はゲームしつつ数学もしつつ。早く寝る！

昨晩早く寝たら今日はすこしだけよくなっておりました。今日も早めに寝ることでさらなる改善が期待できます。アニメを観て髪が乾いたらすみやかにおやすみ（すみすみ）。

昼前まで寝ていたので今日も仕事はお昼から。なんか早起き計画が頓挫したみたいな雰囲気になっていてよろしくないですが体調悪いのだし仕方がない。仕事は追加機能をぷちぷち。体調のせいかあまりやる気が出なかったけれど、まあまあ順調でしょう（でもまた五月雨式に機能追加が入るんだろうな）。

あと社内向けにJenkinsの手順書を書きました。というか三ヶ月くらい前から書いてたのをようやく公開しました。でもずいぶん長くなってしまったので誰も読む気にならない気がするし、結局手順が煩雑でどうしようもない。JenkinsのXcodeプラグインはやっぱり融通が利かなさすぎるので、xcprojでプリプロセスする方向に進んだほうがよさそうな気がする。悩ましい。

僕は岩の中に閉じ込められている。僕は岩の中に閉じ込められているから歩くことも話すこともできない。そこへ君がやってくる。つめたい手のひらが僕に触れる。すると魔法のようなことが起こり、僕は岩から救い出される、というようなことは起こらない。相変わらず僕は岩の中に閉じ込められている。でも君は構わず僕に話しかける。今日あったことや今日なかったことについて。ある時は隣に座って、ある時は背中を預けて。そうしてひとしきり話し終えてから、明日もまた来るねと君は帰ってゆく。僕は岩の中に閉じ込められている。西の空に沈む夕陽の光を受けて、東の空に丸い月が昇ってくる。

h.b. > f
もう26歳ですか。恐ろしいですね。僕はやっぱり三十になってもこんな感じだったら死ぬしかないと思うよ。

異常に具合が悪かったので遅く出社して早く帰りました。朝起きた時点では胃がアレしてるのかなと思ったけど夜になって頭痛してきたし普通に風邪っぽい。マジかよどんだけ軟弱なんだ。今夜は早く寝よう（といいながらゲームしてたんだけど）。早く元気にならなくては……

昨晩は何をしたのだったか。Slack Notifierの基本的な制御が完成したのだっけ。

今日もJava書きました。グローバル設定で追加した設定情報をジョブ設定でコンボボックスで選べるようにするのは標準のSCPプラグインが参考になりました。とりあえずこれで実運用に乗せられるかな。あとリンクを追加する機能だけど、これはまだ一筋縄ではゆかなさそうなのでちょっと延期かなあ。そもそも配信システム側にURLを返す機能が存在しないっぽいから、そっちにプルリク出すところから始めないとだめそうだ。

さて週末は終わり。なんかずっと胃の調子が悪いなあ。週明けはバグフィクスから。

昨晩はJenkinsからslackに投げるところまで書きました。

今日もJenkinsプラグインを作っています。必要な情報を揃えるところまではできたので（まだSCMとの連携を試していませんが）、今夜は設定UIを作って実際に繋ぐところをやります。そこまでできたらこれは一応完成でよいでしょう。この次は社内のIPA配信システムにアップロードするプラグインを作るつもりです。これがあるときっと素敵（こないだ下流プロジェクトとしてcurlで送るやつ書いたけど、ちゃんとプラグイン化したほうが通知と連携できていいよねと思ったので）。

そういえば五月祭だそうですね。計算機にfour foursを解かせる展示があったそうで、そういえば昔そんなのやったなー（ http://ofni.necocen.info/315 ）とか思って懐かしくなりました。これ今だったらもっと良く書けると思うのよね。排他制御が下手で並列化に完全に失敗しているし（最近の計算機だと並列化しない方が速い）。あと計算可能性がメモリboundなので、内部データ構造をもっと効率的にすれば限界は拡張できるよね、とか。

なんか夜中あたりから微妙に熱っぽいのだけど、体温はいたって平常。どうしたのかしら。胃の調子も悪い。ううむ。

そういうわけで寝不足気味で仕事。とりあえず機能追加分は実装終わりました。ただまだ微妙に挙動が変なので、月曜日くらいまではかかりそう。そのあとどのくらい暇になるかは謎。どうせ忙しいんだろうな、とは思う。Jenkinsの自動ビルド手順書を作らなきゃいけないのだけど。あとiOS開発初心者向け資料と。

土日はJenkinsからSlackに通知を飛ばすプラグインを作ろうと思っています。既存のものは挙動がふがいないので、僕の考えた最強のプラグインを作っちゃるんや。僕の将来的な目標としてはXcodeのプラグインも作りたいので、その練習として手頃かな、とも思いつつ。とりあえず調べごとはだいたい終わったので、今はIntelliJ IDEAとにらめっこしています。ジャバ。

さて、具合があまり良くはないので今夜はアニメ観たらあんまり夜更かししないで寝ましょうかね。