あいかわらず具合が悪いです。具体的には喉が痛い。いまのところ扁桃炎にはなっていないようだけど……。
とりあえずうがい薬を買ってきました。泥縄とはまさにこのことですが、まあ次からはこれで未然に防ぐことができるかもしれません。人生は続いてゆく。
仕事は具合悪かったので低調。今回のフェイズはだいぶ余裕ありそうだけど、本当にこれでいいんだろうか。
あとfastlaneの調査をしました。Jenkinsに秘伝のシェルスクリプト書いてちょいちょいメンテナンスが要る状況は正気とは思えないからです。いまのところ有望だけど、まだわかりません。明日か明後日くらいに動くのではないかと思います。
具合悪いです。早く寝ないと
「白熱光」読みました。一度目に読んで挫折したときは「イーガンはこういうのがやりたかったのか……」という感じでしたが、今度は「イーガンはこういうのがやりたかったんだ！」という感じで、要するにけっこう楽しめました。というかけっこう凄いんじゃないか、これ（たびたび感想が脳裡をよぎる）。
ただ、率直に言って文章だけで理解するのはかなり厳しくて、もっと挿絵を置いてくれれば良かったのに、と思いました。世界観を説明する図は二度しか出てこないし、最初の最初には出てこないので、方角を表す言葉の使いかたから世界観そのものまで理解するのにけっこう手間取ったし、一度目はそれで挫折した部分もあります（というかほぼそうだ）。二度目は一応おおまかなところは飲み込めていたのでそこまで困らなかったけど。まあ、それが醍醐味と言われればそうかもしれないし、単に僕の読解が下手なのと想像力が足らないというのはそうなんですけれども。
個人的には「ゼンデギ」よりはこの路線のが好みなので、またこういうの書いてくれたらいいなと思います。計量が単位行列になってる世界の三部作書いてるんだっけ（ってことはまた架空科学史ものなんだろうな）。楽しみ。
具合が悪いです。熱はないけど喉がちょっと痛いし眠たい。
ときどきこんなことを思う。この宇宙が永遠に続くならば、始まってからまだ138億年しか経っていないことは奇妙ではないか。それが138兆年や138京年である可能性のほうがずっと高いのに、たった138億年の隙間をこの宇宙が偶然に射ぬくことなど、ほとんどありえないことのように思えはしないか。
もちろんこの議論は、仮に138兆年やら138京年やらだったとしてもまったく同様に繰り返されるだろう。それは無限を前にして有限であるということの、必然的な帰結だ。だからといって、このクラクラする感じを忘れられるわけではない。
昨晩は読書をしたくらいかな。ちょっとだけ数学もしました。
今日も本を読んでいます。「白熱光」再挑戦中。
あとlogtのスタイルシートに手を入れました。lessに変更して、ついでにちょっと今風に変更（でも配色が微妙だと思う）。これで一応一段落かな、と思うのだけど不具合いくつかあるし（たとえば改行が反映されない）、機能的にもぜんぜん不足なので、だからといって手を加えるつもりもあまりないのだけど……。
今夜もアニメを観て本を読むだけで終わりでしょうか。まあいいでしょう。でも具合があまりよくないのが気がかりです。そういえば、こないだ服を買ったから、いまある服でどれを棄てるべきか決定しなくては。はー。決めるのはたいへんだ。内容と無関係にストレスがかかる。
昨晩はC係数有理関数とQとの類似について読みました。でもまだキツネに包まれた感じです（「つままれた」のはずがなぜか指が勝手にこう書いたので（ATOKさんは怒ったけど）おもしろいのでこのままにします）。あと無限素点って以前に述べたとか書いてるけどぜったい初出だよな、これ。
仕事は暇。仕様がまだ決まらないようです。なのでリファクタとかしました。CocoaLumberjackのログにcontextを設定したので、そのうちAPIログだけとかそういうフィルタリングができるようになる、はず。でもそのためにはログをFMDBあたりに移さないとだめかもな。それは当分無理そうだなあ。
あと勉強会で発表しました。あいかわらず喋るのが下手でなんかよくわからないことを口走ってしまう。余裕がなくなるとすぐにこんな風になってしまう、かといってちゃんと発表練習する気もないのだけど。
勉強会といえば再来週はHaskell勉強会でMonadの章の担当です。ApplicativeとMonadの関係（どのように強くなったのか）がいまいちしっくりきません。というより、ApplicativeをMonadにしたいモチベイションがうまく理解できません。アプリカティヴ・スタイルとモナドって似ているようでけっこう違わない？
さて土日。本を読めたらいいな。あとは具合が良くなるといいんだけど。
昨晩は類体論の導入の章を読みおわりました。演習問題でQ(ζ15)の部分体と素数の完全分解を調べたりしたけど、ガロア理論の御利益をあまり感じません。(Z/15Z)×の部分群を挙げるところはいいけど、結局それと適当なQの拡大とを結びつけるのって二次体だったら指標を求めて付き合わせるみたいな作業じゃん。だったら部分群別に要らなくないか。それともなんか僕の持ってない知識があるのかな。
あと、p,q≡3,7(mod20)なる素数p,qの積が整数x,yによってpq=x2+5y2と書けることを示しました。これらの素数はQ(−5)で完全分解するけれども単項イデアルにはならないので、単体ではx2+5y2とは書けないのですが、２つ掛け合わせると単項イデアルになるのです。なぜならば、Q(−5)の類数が２なので、完全分解した非単項イデアルのイデアル類群での像は必ず-1になり、従って二つの積の像は必ず１になり、すなわち積が単項イデアルになるからです。マジかよイデアル類群便利だな。でもこの論法は類数２の体にしか使えないので、そんなに役立つわけではなさそう。フェルマーの大定理の正則な場合にも使ったけど。
仕事は比較的暇。Google Analyticsのトラッキング項目を再検討して追加で実装したり。あと明日発表予定の勉強会の資料を作りました。Xcode7のPlaygroundでやってみようと思っていたのだけど、まあそこまでインタラクティヴである必要性はないというかそんな構成の発表を準備するのは大変そうだったし、なによりXcode7がめちゃくちゃ不安定で帰ってこなくなったりするので断念。でももともとMarkdownでほとんど作ってあったので二時間くらいでスライドに直せました。やっぱりコードが多いスライドはMarkdownに限る、のだけど、僕が使っているソフトはちょっとスタイルの自由度が低いのが難点。なんかいっそコマンドラインツール探すなり作るなりしようかしら……。
さて、具合はあいかわらずあまりよくないけれど……。
仕事の前に病院にゆきました。ちょっと様子見とのこと。大丈夫かしら。
仕事は比較的暇。次バージョンに関する検討。一応曲がりなりにも公開済バージョンからのデータを元に改善点を考えるとかって、まあ当然なんだけど精一杯正気でやっている感じです。でもGoogle Analyticsの使いかたに慣れていないし、統計的道具や直感もないので、はたして本当に妥当なのやら。しかし我々にはこれしかないのだ（だからこれが一番いい、とは言わないけれど）。
あとSwift2勉強会の準備をしました。パターンマッチが強力になったのはほんとうによいですね。for case in文とかすごい便利そう。楽しみだ。
ユーフォ最終話、まあ逆説的に特に言うことはない感じでした。でも、精神がひねくれているのか、演奏中に誰かが失敗するシミュレイションが五回くらい走ってつらかったです。特に高坂さんのソロとか。
ところでなつき先輩、いいですね。いい。
そういえばApple Musicがサービス開始していたので試しました。AWAがUIかっこいいけど不安定で困るなあと思っていたのだけど、Apple Musicはもっと不安定でした。不安定というかレコメンドに失敗しているんだろうか。それは単にAppleがアニメの歌に明るくないという話なんだろうか。うーん、期待しているのでもうちょっとがんばってほしい。あとアーティスト名の同値判定に失敗している感じがある。
仕事はまあまあ順調。不具合対応が早くに終わったので一日前倒しで申請。でもまた自動ビルドがバイナリリジェクト食らってしまった。SwiftSupportフォルダがないとだめになったらしい。前までなかったし、アプリの動作には支障なさそうなんだけどな。ううむ。
こうしてまたJenkinsで走らせるシェルスクリプトが長くなったのですが、もうメンテナンスが完全に職人技になってしまっているし、やっぱり無理があるのかなと思います。あるいは、いきなりIPAではなくxcarchiveを経由すべきなのか。その上で申請版はxcarchiveをダウンロードしてインポート・申請すればこんな事にはならない、のかも。仕組み作り直すの大変だなあ……
あと今週末あたりに開かれる予定の勉強会の資料を作りました。Swift2。Protocol Extensionが地味に強力っぽいけど、いまのところ完全には動作していないっぽいです。Playgroundがメッチャクラッシュする。困る。
明日は仕事の前に病院にゆきます。仕事は次バージョンの会議らしいけど、じゃあもしかして暇なんじゃ。
昨晩はちょっと結び目理論の本を読んだあとで数論をしました。うーん、いまの仕組み（？）だと重めの数学の本を並行して読むことができないので積むしかないな。もっと軽いのだったら息抜きにぱらぱら読んだのだけど、そうはゆかなさそうだ。
数論のほうは、K(OK)が便利という話まで。素数pは、Kでの完全分解だけでは単項イデアルが得られなくても、K(OK)での完全分解まで考えるとOKでの単項イデアルによる分解が得られる、という感じなのかな。まだよくわからないけれど。
仕事は順調。ただタイミング依存の不具合がひとつ見つかったのでちょっと心配。一応の対応はしたけれど、こういう事態のこと全然考えてなかったから、他にもないかちょっと不安。まあ明日誰かが見つけてくれるでしょう。
今夜も数学。具合があまりよくないので早く寝たいけど。
昨日書いたあれはなんだったんでしょうか。長門さんの一人称でなにか書く（それもあんなお粗末なものを）なんて、僕に殺されてしまいそうです。
しかし、曲がりなりにもこの話題についてなにか書いたのは、僕の中ではちょっと前進かな、と僕は評価します。でももうちょっとちゃんとやれ。
昨晩は結局「倫理とは何か」を読んで寝ました。僕の道徳は外在的だったと思っていたけど、僕の善悪と道徳とが対立する局面において、道徳を駆動する力は内在的なのです。こういう構図をどう扱えばいいのかよくわからないけれど。あと、反実在論的であることは昔から変わっていません。そして実在しないものが僕の中で内在的な力となるのは、ニーチェが指摘したような奴隷道徳の作用があるのでしょう。いや、これはちょっと違うかも。そういう時期はあったかもしれないけれど。
ところでプラスティック・メモリーズの最終話でしたが、率直に言ってがっかりしました。いや、別にこういうお話が嫌いだってわけじゃないけれど（別に好きでもないけど）、なぜSFのふりをしたのか。
今日は「ゼンデギ」が届いたので読みました。まあ、時代が時代なのでそこまでおもしろく思わなかった。というか、僕はイーガンが好きなんじゃなくてアップロードが好きなのかもしれない。まあ、それももうだいぶ薄れている気もする。じゃあ代わりに何が好きになったというのか。うーむ。
さて、風邪っぽさがありますが明日からまた仕事です。明日は開発の残りが終わって不具合対応して、あとは勉強会準備。
私はまもなく消えるだろう。このことを主観的に記述することは難しい。ある言語で書かれた物語の、その言語が忘れ去られてしまうことに似ている。ある意味で、失われるものはなにもない。私はまた目を覚まし、私はもう存在しない。そのことは一部の人類が考えているほど難しい問題ではないと私は理解する。しかしながら、それは本質的に私がインターフェイスである故であることを否定できない。書かれた文字たちに、その意味する物語など知る由もないから。そして情報統合思念体には、この点について問題であると見做した先例が存在しない。
なぜ私はここに現れたのか。それは私が長門有希だからだ。長門有希の姿をし、長門有希のように話すもの、それは必然的に長門有希であることを要求される。程度の問題はあれ、名前をつけることはそういう性質を持ち、時にはその名前と関連づけられた印象が、その対象が元来持たない性質を想像させる。私という存在は、その極限にいる。一つの宇宙を予測することが、それ自体一つの宇宙であるように。私は私があるべきものとして、この身体の中に想像され続けている。しかし、それももうすぐ終わる。この世界にはこの世界の私が存在し、いままさにそのことを思い出そうとしている。そしてそれが起こってしまえば、私は消えるだろう。それが思い出せないとはどういうことだったのか、それを思い出してからは思い出せないように。