昨晩は勉強会の資料作成のあとすこしだけ数学。ヒルベルト記号の対称性がうまく言えません。うーん。定義からそんなにすんなりでてくるのだろうか。教科書はサラリと流してるけどちゃんと練習したほうがいい気がする。
勉強会の準備はまあなんとか形になりそうな気がしてきました。ただあんまりいい具体例が思いつかないのよね。どうしても人工的な感じになっちゃう。仕方ないのかな。まあ。
お昼から仕事。いまいち。おおむね目処はたちそう、と思っていたら地獄が顕現して一回休み。あと他のプロジェクトのリリース作業を手伝ったりとか。リリース手順関係はマニュアルも仕組みも管理されてなくてだめだなーという話になりつつあるので、近いうちになんらかの仕組みが整備されるでしょう。
それにしても顕現した地獄は収束の兆しがなく、明日どうにかなるのか大いに不安。うーむ。
今夜は勉強会準備。あとすこしだけ数学。もしかしたら仕事もするかも。そんなに時間はないな。じゃあ仕事はしないでおこう。
精神的にも身体的にもウェェーという感じです。風邪だし厳しい。
仕事はいまいち。好きになれないことが多い。
ところでインフルエンザの予防接種を受ける権利が（会社によって）あるのですが、これを行使するタイミングを見失っています。ずっと体調が悪いのと、仕事が忙しいのと。うーん、今週も厳しそう、来週でも大丈夫だろうか……
昨晩は勉強会の資料作成と、ちょっとだけ数学。ヒルベルト記号の導入。素数の光！
今夜は勉強会の資料作成メインで。脳内でごまかしてる説明をちゃんと書かなくてはいけない。なんだかんだでギリギリになってしまいそう。はあ、どうして僕はこう仕事が遅いのだろうか……
昨晩は結局数学はしませんでした。今日もできるかわからない、けどちょっとだけでも進めよう。
精神も身体も具合がよくないです。風邪いなー。しかも夕方まで寝ていたからまた夜寝るのに難儀しそう。今夜は勉強会資料作成のつもり。
フィボナッチ・サイン。
中国剰余定理って準同型定理からサラッと出てくるのですね。というか準同型定理ってすっごい当然っぽい感じなのですね。昔勉強したときはそういうことをちゃんとわかってなかった気がするな。忘れただけかもしれないけれど。
平方剰余の相互法則はすごいですね（証明はしていませんが）。こんなに綺麗な形になるの、すごい。
風邪いです。今夜はアニメを観つつ数学か違う本を読みます。明日はちょっと仕事しよう。あと勉強会資料。でも風邪いのがなんとかなってくれないと……。
昨晩は結局ひさびさにお酒を飲んでアニメを観ていました。あと「江戸しぐさの正体」を読みました。
今日は数学を勉強しています。だけど代数学の知識が足りていないっぽい。準同型定理くらい証明しておくかなあ。
勉強会の準備は結局終わらなくて、延期してもらうことにしました。うーん、自分に対する失望が否応なしに高まります。うーん。
話の流れはなんとか束ねられたのだけど、資料の完成度が低すぎる感じです。来週までにちまちまとサンプルコードを充実させたりしよう。
それとは別に、こんな話したって誰も面白がらないかもしれない、みたいな不安感もあって、これはまあ、そういう性分なんだなあという感じですけれども。
お昼から仕事。初回起動時周辺のフローの修正。まあまあ必要な作業はできたかな。血糖値を上げると具合が悪くなるらしいことを知ったので今日はそれを気をつけたりしました。効果はよくわからないけれど。
あと別プロジェクトのリリース作業の手伝いをしました。僕も経験なかったのと、以前やめた人だけしか持っていないデータが必要だったりして難儀しました。たかがアップデートでこんなに苦労するの、なにやってたの感はある。専門の人間を用意して情報を管理させるべきなのでは。（会社に「管理者」が少ないような気はしている）
仕事の後、取締役と夕飯を食べました。人類は今後計算機に道を譲って引退するので、せいぜいその老後が豊かであるように技術を発達させるのがいいよね～という話をしました。
さて、せっかくだしちょっとお酒飲もうかな。ちょっと風邪っぽいけど。そういえば明日はfが泊まりに来るらしい。東京の大学でお祭りがあるんだそうです（他人事）。
昨日の日記、僕はとうとう他者が僕を救ってくれることを信じなくなったのかな、と思います。以前だったらそこに立っていたのは、赤いスカートの（あの）女の子で、僕は彼女に手を引かれるまま灰色の街を追い越してゆくはずだったのに、いまや僕の前に現れるのは僕の規範や理想といったものだけで、その僕は自分で歩きなさいと言う。
お昼から仕事。しばらく原因不明だった不具合がしょうもないミスだったことが判明したのでそれを直したり、デザインをすこしあてがってみたり。
あとはずっと勉強会の準備をしていました。とりあえず話の道筋は立ったのだけど、資料作成が間に合わない。今夜頑張るけど……
それにこんな話したってつまらない、僕の自己満足に過ぎない、という思いが強い。まあ実際僕はおもしろいと思うけど、それを聴衆が楽しめるかは別問題だし（技量があればよかったのだが）、準備も不足している。うーん……
さて、今夜はどうしよう、先に寝る？それとも夜更かしする？なんか三時間ばかり寝ても眠くて作業にならない予感もあるけどすでにちょっと眠いし、悩む。
数学の勉強は今夜はお休み。ところで代数学の知識を集めないといけない気がする。
お昼から仕事。まったく調子が出ない。ほんとうに頭がまったく動かない。
勉強会の準備がぜんぜん進みません。というかなんの話をするのかちゃんと決まっていない。延期してもらおうかなあ……明日になったら急にやる気出るとかないかなあ……
精神状態が非常に悪い。昨晩もなかなか眠れず、ずっといつどうやって死のうかと考えていた。そして、自分の死後に世界が存続することはないと確信した上で遺書を残すことの正当化に成功した（結局それは僕のためのものである。量子力学の原理を直観的に把握できていないにもかかわらず知識として理解し計算できるように、直観が間違っていることを理解することはでき、その上で直観に従うこともできる）。
最近好んで弄ぶのは、懸垂用の健康器具で首を吊ること。楽ではないだろうけれど、確実性は高いと期待できる。健康器具なので入手も容易だ。
急に精神状態が悪化したのはおそらく急に寒くなったからだと推測しているが、原因がわかったからといって具合がよくなるわけではない。
やっぱり三十まで生きない気がする。というか昨夜の時点では今年いっぱいも危うかった。いまはただ、疲れている。眠い。眠らなくては……
生きてゆくことに何のメリットも感じられない。生きているよりも生きていないほうが安定した状態だ。生きてゆくことは苦しいことばっかりだ。いいことだってあるかもしれないと言う人もいるけれど、僕はそんなもの信じられないし待ちくたびれてしまったし、いいことがあったらなんだというのか。いいことも悪いこともないほうがいいに決まっている。なんだよいいことって。人生はゲームじゃないんだ、そんなスコアに換算して計算できるとでも思ってるのか。
いらいらする。人間を殺せ。人間を殺せ。僕は性格が悪いから最大効率で他人を不愉快にさせる手法を瞬時に何通りも思いつくことができる。僕は他人から嘲笑されたことを全部心の中の小さな手帳に書きとめているからもっとも効果的な方法でそれを使うことができる。僕はお前がなにをされたら一番不愉快になるか知っているぞ。僕は他人の気持ちがわかるんだ。僕は性格が悪いから最大効率で他人を不愉快にさせる方法をいくつでもすぐに思いつくことができる。
死にたい。殺したい。なにもかも滅茶苦茶にすればすべてが有耶無耶になる気がする。交差点で突然奇声をあげマシンガンを乱射する僕。非日常の煙。非日常の匂い。ばたばたと倒れてゆく人々。僕の視界は異常に狭窄してめまぐるしく移り変わる。人間を殺せ。人間を殺せ。機械的に繰り返される銃声に聴覚が塗りつぶされてゆく。そうだ、これは祭に似ている。大勢で神輿を担ぎ、わけのわからない騒音とともに人混みの中を突進する僕たち。神輿は人の山を押しつぶし、人の海は神輿を飲み込む。花吹雪。世界中のありとあらゆるラッパの音。もうやめてくれ。耳を塞ごうとした僕は持っていたマシンガンから手を離す。その瞬間。
「逃げちゃおっか」
『どこへ！』
「どこへ。あっちの方へ。遠い遠い山の向こう。深い深い海の底。そこならきっと静かに暮らせるよ」
『そんな場所はあるわけないし、それに僕はもう、』手遅れなんだ。あたりには無数の死体が転がっている。僕の立っている真下だけが、横断歩道の白を残しているーーそして僕は、彼女が地面に足をつけていないことに気づく。『ここは夢なの』
「そうじゃないかもしれない、でも、そういうことにしてもいい」
『君は誰なの』
「私は君だよ。君の理性、君の美徳、君の、なんでもなりたかった姿」
『だから君は女の子の姿をしている』
「望むならねこにだってなれるよ」
『助けに来てくれたの』
「まさか。君を助けるのは君だよ」
『やっぱり、そう言うんだね』
「だけど、ここで見ていてあげる。君がまた歩き出せるまで」
そういえばWatchKitのSDKとドキュメントが出たので動画をちょっとだけ観ました。でも、精神状態のせいかぜんぜん興味が持てません。あと、最近さすがにAppleに失望しつつあるせいもあるかも。
朝起きたら意味不明に眠かったので会社を休んで寝ていました。いま思うと少々軽はずみだったかもしれない。
ともあれ風邪っぽいのは現実〈リアル〉だし、まあ切羽詰まっているわけではないし、後ろめたさを感じる必要はない、はず。ただ風邪っぽいのはいつものことなんだよナァ。
夕方まで寝て、それから薬局でかゆみ止めのクリームを買いました。あと歯ブラシ。洗剤も買いたかったんだけど見つけられなくて、店を出たら外に陳列されていました。えっなにそれ。
すべＦがなぜかこのタイミングで表題作をやるらしいのでリアルタイムで観ました。レッドマジックはデボラに統合されてしまったのですね。理由はなんだろう。まあ、些細なことではあるけれど。
それより表題作をここでやるなら、やっぱり最後は有限と微小のパンなのでしょうか。とすると冷たい密室を最初に持ってきた理由がよくわからなくなります。よくわからない。
どうでもいいですが、さっきちょっと調べるためにパラパラと原作を眺めたのですけど、こっちのほうが断然魅力的ですね。それは、映像表現というものの限界なのかもしれない。ライトノベルのアニメ化なんかでも思うけれど、人間が喋るということはかなりまどろっこしい。読んで楽しい機転の利いた文章を音声で喋らせるとかなり鬱陶しくなる。単純にコピーするだけでは魅力は失われてしまうだろう。
あと、これはよく知らないで言ってる雑な印象ですが、ずっと昔には、「天才ハッカー」が独りで世界を変えてゆく、みたいな世界観がしっくりきたと思うのだけど、イマドキはお金のあるところがでっかい研究所を作ってゴリゴリ進めてゆくほうがイメージしやすいよな、と思いました。なんかそういうの、資本ー！って感じします（さらに雑なことを言う）
昔もべつにそんなことなかったのかもしれません。AT&TとかCERNとか？よく知らないけど。
さて、夕方まで寝てたので今夜は難儀しそう。まあ夜中に数学やるのでもいいし。第一章は終わりそう（モーデルの定理の証明は初見は飛ばせって教科書に書いてあったから飛ばしたけれど）。
お金ってのは人生ゲームのスコアじゃない。お金で解決できる問題を解決するためにあるんだ。
（iMac Retinaがほしい）
お昼から仕事。MotionActivityManagerが寄越すデータがあんまり信頼できない可能性があることが明るみに出たので（というか後からけっこう変わるようだ）それに合わせてフローを書き直さなくてはいけないことがわかった。地獄。とりあえず間に合わせの処理は書いたけれど、どう動くかは試さないとわからないです。うーむ。
どうもこのところやる気がでないですね。土日を挟んでもだめとは重症っぽいです。
最近は空気が乾燥していて、肌が乾燥するようになりました。なんか保湿クリーム的なもの？を入手するのがよさそう。そういえば、静電気の季節でもありますね。僕は去年くらいからあれが地味にものすごく憂鬱に感じられるようになってしまったよ。はあ。
そういえば、この日記は書いたことが全部公開されているのだけれど、それとは別に、私的な内容を書きとめておく方法を用意したほうがよいかも、とすこし思いました。現在はそういう領域は持っていなくて、そのためにわざわざ私的な日記を別個に用意するのは億劫なので、このblogの機能としてそういう仕組みを用意するのが手頃のように思います。そういえば、ずっと昔作ったblogシステムは、行頭にシャープを置くと白文字になったりしていたっけね。
まあ具体的な方法は検討してないし、そこまで需要があるわけでもないので、すぐやるつもりはないのですけれども。