andante

具合がどんどん悪くなってゆきます。暑いし。

昨晩はfour-foursの微妙な高速化を試みて微妙に高速化しました。並行処理もちょっと効率的になったし。それでふとAmazon EC2のことを思い出したので、せっかくだからEC2で走らせたらどうなるのかしらと思って今日ちょっと調べました。想像していたより安かったのでメモリ244GBのインスタンスで4,4,4,4,4,4を走らせたら106分で完了。メモリ使用量は最大110GBくらい。

\[
593=\frac{4+{(4+4)}!}{4!+44}
\]
\[
819=\frac{4-{\sqrt{\sqrt{4}}}^{4+4!}}{4-4!}
\]
などが萌えポイント高い。でも全体的に案外と素直。たぶん1〜1000くらいだともうそんなに無茶しなくてもできてしまうのでしょう。
こうして手軽に計算資源が手に入るのだし、なんかもっといろいろ計算させてみようかしら。あるいは自然言語を処理してみるとか。ふうむ。

仕事はノーコメント。

本格的に具合が悪いので早く寝なくては。明日ちょっと遅めに行こうかな。でもそもそも行けるかよくわからない。ううむ。

他では生きてゆけないというだけの理由でそこに留まるのは、それは最悪の局所最適というやつじゃないかね。
この数ヶ月、本当に苛立ちばかり感じているし、ほんとうによくない状態だと思う。遠からずおかしくなってしまうよ。

微妙に風邪いけど普通に出社。まあ風邪いのはいつものことですが。次フェイズの仕様書が部分的に上がっていたので実装の検討と工数の仮見積もり。明日これを元にどこまでやるかを検討するそうですが、まあ今のところの予想だと全部入るのかな。わからないけど。

あと明日の勉強会の準備をしました。だいたい終わったので今夜はちょっと直すくらいでよさそう。それより仕事中に思ったのだけど、こないだのfour-fours、トークン列を4bitの0デリミタ配列で持っていたけど、そんなことしないで先頭の8bitを長さにあてれば連結とかが速くなるんじゃないだろうか。大差ないかな。でもデリミタ使わなくていいし（バイト境界には合わせないといけないけど）よい気がする。今夜試してみよう。

六月になりましたね。しかしだからといって僕の生活が変わるわけではない。僕は変わらず憂鬱に過ごしている。

会社を休んだからといってなにか楽しいことがあったわけでもなく、遅く起きて勉強会の準備をしました。六割くらいは終わった。あと二割くらい今夜進めたい。

昨晩はhubot-jenkinsの続きを書きました。とりあえず対話的パラメータ指定は動いたのだけど、どうもスマートじゃないし、だいたいこれあんまり便利じゃない気がする。それよりはちゃんとジョブの情報が表示できれば自分でやれるし。そっちの拡張もそのうちしましょう。

精神の具合がよくない（身体もだが）。助けてくれ。どうか助けてくれ。

昨晩は朝までfとだらだら話していました。なんか久々だな、こういうの。また飲みたい。

お昼過ぎに帰ってきて、hubot-jenkins連携の続きを書いていました。とりあえずビルドとパラメータ渡しはできたので一旦デプロイ。あとは対話型パラメータ入力のためにいろいろ調べたりしています。今夜のうちに完成できるといいな。明日こそは勉強会準備に時間を使わなくてはいけませんからね。

なんとなく、このblogの名前を「うまく歌えない」に変えたいような思いが一瞬だけ起こりました。英語だと"Can not sing fluently"でしょうか。知らないけど。というか変えないけど。
うまく歌えない。そう、これは本当に僕がうまく歌えないということに由来するのだけど、それだけではない、これは、音楽というもの、言葉と同じ音でありながら、それ自体が意味を持たず背景に流れているようなもの、そういったものを僕がうまく扱えない、ということを表現する言葉です。

二十歳くらいのころはよく、「養いたい」とか言って（そういうmemeがあった）遊んでいたけれど、五年が過ぎていまはもう、そんなこと僕には逆立ちしたって不可能なのだという失望だけがゴトリと置かれ、ただただつらい気持ちだけが残っている。いや、仕事はするけど、もっと精神的な部分で、それは僕には不可能だと思う。養われたい。というか、独りきりで生きてゆかれるのなら、それが一番望ましいと思うし、それが不可能なら、独りでだまって死んでしまうのが二番目に望ましいんだろうと思う。こういうことを考えているとふと頭に言葉が浮かぶ：「愛されたい」。でもそれはすぐさま別の言葉に取って代わられる。「お前にはそんな可能性はないし、たとえ愛されたとしても、お前にはそれは無理だ」。そうなんだと思う。もちろんこうしている間にも次々と言葉は現れる。「『たとえ愛されたとしても』だなんて、恥知らずが、まだそんなことを信じていられるのか」「お前にはそんな可能性はないし、お前はその理由をいくらでも挙げることができる」「お前は死ね」「首を吊って死ね」「首を吊って死ぬしかない」「とうとう首を吊って死んでしまった」「彼は首を吊って死んでしまった」「死んでしまいました」「首を吊りました」「彼は失意のうちに命を絶ちました」「でもそれでよかった」「壊れてしまった人生が何十年も続くよりはずっとよかった」「前に進む自信と気力を失ってしまった人生が何十年も続くことに彼は耐えられなかった」「耐えられなかった」「彼がここから逃げるためには首を吊るほかなかった」「どうすればよかったのだろう？」「まあ、もうお前には関係の無いことだ」「首を吊って死ぬしかないのだから」

明日は特に理由もなく取った有給休暇です。でも結局忙しいんなら休みなんてあってもなくても一緒よね。うーん、三連休程度じゃなにも変わらないや。

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

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

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

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

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

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

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

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

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

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のスクリプトをちょっと拡張してみようと思う。それはサクッと終わらせて数学に復帰したい。

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

昨晩は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に公開。そんなことするほどのものだろうか……。まあ、せっかくだし。

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

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

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

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

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