andante

精神状態と体調が非常に悪い。体調は実はそうでもなく不安から来る症状なのではという気もするが、とにかく具合が悪い。ゴールデンウィークなので病院にも行けない。こういうときに不安にノックアウトされてしまうのは僕の致命的欠陥だと思う。不安はなにも解決しないよ。

精神状態があまりに悪いので数学をしてみたり普段歩かない道を歩いたりしてみたが結局あまり良くはならない。

具合はあいかわらずよくない。いったいどうしたものか。

Jenkinsプラグインは、Credentialプラグインとの連携の取り方はわかりつつあり、ファイルアップロードはどうなのかなあという次第。まあでも一旦は証明書選択フォームを出すのと取得するところまでやってみようかしら。

そういえば五月になったのでした。あいかわらず具合はあまりよくない。

昨晩はJenkinsのジョブを連結する方法をいろいろ調べていました。Workflowというプラグインが最近出ているらしいけど、まだ実運用には早いかなあ。とりあえずは普通の依存関係でどうにかしました。
ただ本命のビルドと署名のところはまだ手つかずです。今夜できるかなあ。Java開発環境作らないと。

ゴールデンウィーク。

Jenkinsでxcodebuildを走らせるための最適な設定について試行錯誤しています。本当はビルドと署名を分離して扱いたかったのだけど、どうも署名のときに必要なEntitlement（？）がビルド時に署名しないと生成されないらしく、自分で捏ね出せるようなものでもなさそうなので挫折気味です。少なくとも一つのビルドをBundle ID切り替えるのはだめそうだ（mobileprovisionをどうこうすれば不可能じゃないかもしれないけれど。ってか必要な情報そこにだいたい入ってるんだからそれ読めよな、とは思う）。

こうなってしまうと、BundleIDを固定＋特定の証明書・Provisioningで署名、までは固定で（もちろんパラメトリックにできなくはないけれど）、そこからできることはあまり多くないかなあ。Provisioning付け替えてadhoc版、とかはできそう。それにしたって、なあ。

あいかわらずあまり健康ではないです。今夜は上記の手順を整理して（何が可能で何が不可能か、もうちょっと抵抗はしてみたいのだけど）、それからJenkins開発環境を整備するなどでしょうか。いよいよ。

昨晩はJenkinsでプラグインを作る方法をいろいろ調べていたのだけど、具合の悪さがつらくなってきたので早めに寝ました。

お昼から仕事。JenkinsでXCodeのビルドをさせているmacを新しいのに乗り換える設定をいろいろ。ついでに今やってる案件のコードをSwift1.2に対応させました。だいたいは機械的変換で済んだのだけど、ちょっとだけ躓いた。うーん、あれが書けないのって困らないかな？

それとAppleのボリュームライセンスのためのOS X Serverの設定もしました。会社でアプリをまとめて購入して社員のAppleIDに紐づけたり引っ込めたりできるやつです。ストア上で出したり消したりするのはできるようになったのだけど、インストールしちゃったらこれって消せるのかしら。いまのところ消せている気配がないのだけれど（紐付けを解除しても残っている）。

あとはJenkinsのビルド設定をいろいろ試していました。プラグイン作るとかできれば絶対やりたくないので既存のプラグインでうまく対応できないか探しているのだけど、なかなか難しそうです。少なくともcodesign部分については書かざるを得ないでしょう。でもこれは自分で作ったほうがいい物になりそうな予感がある（汎用的に使えるかはともかく）。

さて、一足早くゴールデンウィークです。十連休だと言ったらどこか行くのと訊かれるけれど、なぜみんなそんなにどこかへ行きたいのか、僕にはよくわかりません。せっかくの休みなのに、慣れない土地に疲れに行ってどうするというのか。
しかし具合が悪いので初日の今日はお酒とかは飲まずにおとなしく寝ることになりそう。うー、早くなおれ。

お昼から仕事。アプリの申請。何気に初めての手順なので勝手が分からなくて難儀しました。あと、せっかくJenkinsで自動ビルドする環境を整えておいたのに、申請用には設定をいろいろ切り替えてビルドし直さなくちゃいけなかったので、結局目視で確認することになってしまった。それでは意味が無いので、もっと自動化プロセスを洗練させなくてはならないと思う。暇だし。

明日が終わればゴールデンウィークです。具合が悪いのよくならないですねえ。

昨晩は演習問題に躓いてそれっきりでした。$\Z[\sqrt{-7}]$で因数分解してもなんか半整数出てくるじゃーんと思ってたんだけど解答見たら$\Q(\sqrt{-7})$の整数環が$\Z\left[\frac{1+\sqrt{-7}}{2}\right]$だってだけの話だった。そういやそうだった。気を取り直して今夜進めよう。

お昼から仕事。不具合対応とデザイン適用。これで終わったはずなので、明日申請します。でも申請の準備ってやったことないから何気に不安よね。いや、証明書が適切に揃えられれば大丈夫なのかな。ふうむ。

そういえば会社にApple Watchが届いていたのでちょっと見たけど、ピクセルがけっこう粗いのでアーと思いました。
まあ、初代なんてそんなものかもしれません。思えばiPhoneだって、電池は持たないしたいしたアプリもないしでガジェットマニアと敬虔な信者しか買ってなかった。それと比べるとずいぶん話題になったようだけど、それだとみんながっかりするのではないかな。いずれはiPhoneがそうであるように広く使われるようになるかもしれないけれど。誰か早くあれの使い途を考えてくれ。
個人的には、腕に時計をする文化にそんなに拘らなくてもいいのではという気はしますけれども。

ユーフォ四話だか五話だか（四話かな？）。かなり素直な回。でも僕としてはこの後全国大会とか知るかって言い出すのをちょっと期待しているし（あのアンフェアな多数決！）、知るかって堂々と挙手したあの子が最後にちょっと映ったのは無意味じゃないと確信している。いやね、みんなで全国目指すのはいいことなんですけどね、その無際限の正しさにこそ立ち向かいたいじゃないですか。あのアンフェアな、だけど似たようなことは日々あちこちで行われている多数決の問いそのものを、糾弾したいじゃないですか。期待しています。

僕はもう僕の人生が「解けない問題」であるようにしか思われなくなってしまったのだな、と思いました。どんなに考えるふりをしたって解けない問題は解けない。でも棄てることもできない。だってそれしかないのだから。時間は秒速一秒で流れてゆく。
僕はこうして助けを求めているように見える。実際にそうだと思う。でもそれは成就すべきではないのだ。誤った願いだから。誤った願いはそれが向けられた他人を傷つけるし、それが壊れてしまえば結局苦しさだけが残る。僕はたとえ幸福でなかったとしても、誰かを傷つけるよりはましだと今は思っている。
こうしてあからさまに書くことはますます僕を孤独にするだろう。あとは下り坂を転がり落ちてゆくだけ。僕はもうおしまいなのだ。いよいよこれは首を吊るしかないと頭の中が呟く。そんな想像はもう何百回もしてきた、形式的な、記号的なものにすぎない。僕は首を吊って死ぬだろう。きっと三十歳になるより前に。そんなことはないだろう。本当だろうか。今はまだ眠れば憂鬱を忘れられる。でもそれはいつまでも可能ではないだろう。そうなってしまったら僕はどうなるのか。あまり考えたくはない。

明日はお昼から会社に行ってアプリの申請を出します。用事はそれだけのはずだけど、まあ休日出勤申請してるし何らかの作業とかしたほうがいいのかな。僕あのオフィスの鍵のかけ方いまだによくわかってないからやりたくないのよね。

昨晩はnが正則素数の場合のフェルマーの定理の証明を読みました（ただしx,y,zがnで割れない場合）。ここから非正則な場合を示すのに150年掛かるらしい。正則素数（すなわち$\Q(\zeta_p)$の類数がpで割れない）ってだいたいそうなんじゃないのと思っていたのだけど、素数全体の61%しかないと予想されているらしい。まじか。まあ無限個あるものに関する直感なんてそんなものかもしれない。

あとは演習問題を解いたら（たぶんこれも結構時間かかるけど）いよいよ類体論です。でもその前に付録のガロア理論のところを読もうかな。それで足りるかわからないけれど。

お昼から仕事。あいかわらず具合が悪い。不具合対応はあらかた完了なのでちょっと張り合いのない日でした。明日もそんな感じでしょう。時間が余ったらJenkinsによる自動化手順の整備とかしようかな。しなさそうな気がするけど。

憂鬱だなあと思います。僕はいつしか信頼できる友人というものを失ってしまったように思います。「信頼できる」ってのは「信頼できる」ってことで、まあ大雑把に言うとわけのわからないことを信じてないとかそういうことです。わけのわからないことを信じている人は苦手。

昨晩は何をしたのだったか。特になにもしていないのだったか。

お酒なんか飲んだせいか具合があまりよくないのがたいして良くなりませんでした。まあ、来週乗り切れば（それも四日だけです）休暇です。

昨晩はお酒飲んでアニメ観てちょっと読書したくらいで特になにもしていません。今日もそんな感じです。代数学の基本定理の回転数を使った証明を読みました（六年くらい前にも似た証明を読んだように思うけれど）。

今夜もアニメ観つつ、ちょっとは数学やろうかな。

長門さんのアニメ四話。先週に続いて涼宮さんが出張っています。それを見ると、長門さんはそれでいいの？と思います。あれは長門さんがすべてを賭して排除したヒロインで、それでもそこにあるだけですべてを始まらせてしまう装置なんだ、それが嫌と言うほど示されたのがあの映画だったのに、またこうして現れてしまう。長門さんはそれでいいの？みたいな。でも、引きのところ観ると長門さんは正面から立ち向かうつもりのようですね。がんばって。