andante

勉強会の準備は結局終わらなくて、延期してもらうことにしました。うーん、自分に対する失望が否応なしに高まります。うーん。

話の流れはなんとか束ねられたのだけど、資料の完成度が低すぎる感じです。来週までにちまちまとサンプルコードを充実させたりしよう。
それとは別に、こんな話したって誰も面白がらないかもしれない、みたいな不安感もあって、これはまあ、そういう性分なんだなあという感じですけれども。

お昼から仕事。初回起動時周辺のフローの修正。まあまあ必要な作業はできたかな。血糖値を上げると具合が悪くなるらしいことを知ったので今日はそれを気をつけたりしました。効果はよくわからないけれど。

あと別プロジェクトのリリース作業の手伝いをしました。僕も経験なかったのと、以前やめた人だけしか持っていないデータが必要だったりして難儀しました。たかがアップデートでこんなに苦労するの、なにやってたの感はある。専門の人間を用意して情報を管理させるべきなのでは。（会社に「管理者」が少ないような気はしている）

仕事の後、取締役と夕飯を食べました。人類は今後計算機に道を譲って引退するので、せいぜいその老後が豊かであるように技術を発達させるのがいいよね～という話をしました。

さて、せっかくだしちょっとお酒飲もうかな。ちょっと風邪っぽいけど。そういえば明日はfが泊まりに来るらしい。東京の大学でお祭りがあるんだそうです（他人事）。

昨晩は結局ひさびさにお酒を飲んでアニメを観ていました。あと「江戸しぐさの正体」を読みました。

今日は数学を勉強しています。だけど代数学の知識が足りていないっぽい。準同型定理くらい証明しておくかなあ。

フィボナッチ・サイン。

中国剰余定理って準同型定理からサラッと出てくるのですね。というか準同型定理ってすっごい当然っぽい感じなのですね。昔勉強したときはそういうことをちゃんとわかってなかった気がするな。忘れただけかもしれないけれど。
平方剰余の相互法則はすごいですね（証明はしていませんが）。こんなに綺麗な形になるの、すごい。

風邪いです。今夜はアニメを観つつ数学か違う本を読みます。明日はちょっと仕事しよう。あと勉強会資料。でも風邪いのがなんとかなってくれないと……。

昨晩は結局数学はしませんでした。今日もできるかわからない、けどちょっとだけでも進めよう。

精神も身体も具合がよくないです。風邪いなー。しかも夕方まで寝ていたからまた夜寝るのに難儀しそう。今夜は勉強会資料作成のつもり。

精神的にも身体的にもウェェーという感じです。風邪だし厳しい。

仕事はいまいち。好きになれないことが多い。

ところでインフルエンザの予防接種を受ける権利が（会社によって）あるのですが、これを行使するタイミングを見失っています。ずっと体調が悪いのと、仕事が忙しいのと。うーん、今週も厳しそう、来週でも大丈夫だろうか……

昨晩は勉強会の資料作成と、ちょっとだけ数学。ヒルベルト記号の導入。素数の光！

今夜は勉強会の資料作成メインで。脳内でごまかしてる説明をちゃんと書かなくてはいけない。なんだかんだでギリギリになってしまいそう。はあ、どうして僕はこう仕事が遅いのだろうか……

昨晩は勉強会の資料作成のあとすこしだけ数学。ヒルベルト記号の対称性がうまく言えません。うーん。定義からそんなにすんなりでてくるのだろうか。教科書はサラリと流してるけどちゃんと練習したほうがいい気がする。

勉強会の準備はまあなんとか形になりそうな気がしてきました。ただあんまりいい具体例が思いつかないのよね。どうしても人工的な感じになっちゃう。仕方ないのかな。まあ。

お昼から仕事。いまいち。おおむね目処はたちそう、と思っていたら地獄が顕現して一回休み。あと他のプロジェクトのリリース作業を手伝ったりとか。リリース手順関係はマニュアルも仕組みも管理されてなくてだめだなーという話になりつつあるので、近いうちになんらかの仕組みが整備されるでしょう。

それにしても顕現した地獄は収束の兆しがなく、明日どうにかなるのか大いに不安。うーむ。

今夜は勉強会準備。あとすこしだけ数学。もしかしたら仕事もするかも。そんなに時間はないな。じゃあ仕事はしないでおこう。

昨晩は結局数学する時間は取れませんでした。残念。

お昼から仕事。すこぶる体調が悪い。とりあえずv1.1と銘打った社内リリースをして、あと1.2へ向けた会議をしました。
率直に言って、いま作っているアプリには魅力がぜんぜん足りていないし、理念的なこともぜんぜん現実的でないし、むつかしいなと思います。理念のほうはなんとなくこうするといいのかなという形が見えつつあるのですが、魅力についてはぜんぜんだめです。しかしたぶん本当はこちらのほうが重要。アプリには今しかない、魅力がなければ振り向いてもらえませんからね。「使ってみると意外と良いんだよ」ではだめなわけです。

あとは勉強会の準備をしました。とりあえず資料作成はだいたい終わったのでよかった。ただ体調がすこぶる悪いのでそもそも明日発表できるのかよくわからない。あと気を抜くとすぐにこんなの誰もおもしろくないんじゃないかという不安が起こる。僕はおもしろいと思うんだけど（それもなんか確認しすぎたせいでよくわからなくなってきた）。まあ、いいや。はあ。

Happy Hardcoreを聴けばいいのでは、とする主張が提出されたので、ちょっとそのあたりを探してみるとよいのだろうか。フムン。

そういえば「屍者の帝国」とすべＦがアニメ化するそうです。えっ。どうなってしまうんだ2015年は。

お昼から仕事。体調は最悪。
昨日の会議で出た課題をもとに改修案を考えよう、という話になったので独りブレストみたいなことをしました。これはやっぱり難しい課題なんだと思う。考えるに値する問いですよ。

あと勉強会の発表をしました。体調最悪だったけどやってみたらなんとかなった（誤った成功体験）。でもやっぱり練習しなかったから構成が最悪でしたね。うーん。そうなることは前回の経験でわかっていたけどちゃんと準備しなかったの、僕ってやる気ないんだなーという感じでつらい。はー。
発表自体は成功とも失敗とも。どちらかというと失敗かな、あんまり盛り上がった感じではなかった。そういえば、Swift勉強会という名目にしたせいか普段iOSやってない人も何人か聴きに来てくれて、それはまあうれしいんだけどそれならもっとちゃんと入門やったのになーという感じでもあり。話の流れ上の必要性でジェネリクスと列挙体は説明したけどぜんぜん不足だったと思うし。

ともあれこれで肩の荷が下りました。はー、土日でなんとか健康を取り戻さないと……。

http://www.nicovideo.jp/watch/sm24255484
こんな動画を見つけました。こういうジャンルがあるようです。
苗字替え歌にせよ戸塚区にせよ、謎の名前がガンガン押し寄せてくる感じはとても好き。

夕方までずっと寝ていてそれから数学やってたらこんな時間になっていました。具合が非常に悪いです。なんだこれ。熱っぽいのとも違うし、ただただ疲れている。寝た方がいいのかもしれない。

数学は、ヒルベルト記号(a, b)_pの性質をちまちまと証明していたのですが、(a, 1-a)_2=1が示せなくて半日無駄にしました。奇素数pについて(a, 1-a)_p=1はいろいろ場合分けしてやればなんとかなったのだけど、v=2の場合は定義が平方剰余記号ではないので一般的に解こうとするとなんか計算がすごく面倒な感じになります。すごく面倒。なのであきらめようと思います。しょうもない話だしね。
ネットで検索すると、ヒルベルト記号をそもそもp進数体上の二次曲線の解の有無で定義していることが多く、それだと（確かめてないけど）たぶん自明なのでしょう。それから、ヒルベルト記号をもっと一般化した概念があるらしいのですが、そちらだとそもそも定義にこの性質（Steinberg's propertyというそうです）が含められているようです。えー、なにそれ。ずるい（ずるくはない）。

さて、具合が非常に悪いのでぜんぜん動きたくないのですがなにも食べないのも身体に悪いと思うのでコンビニまで行こうと思います。あとはアニメを何本か観たら早めに眠ろうかな。なんかなんにもしてないのに土日が半分消滅してしまったの、すごく理不尽な感じで悲しくなる。

「最後にすこしだけ、センチメンタルなことを言ってもいいかな」
「なんだい」
「……生きてみたかった」

昨晩はヒルベルト記号の積公式を示すところまで進みました。示すったって本質的には平方剰余の相互法則と同値なのでその帰着を見るだけでしたが。平方剰余の相互法則は証明が面倒らしいのでやっていません（いろいろな方法があるらしいけど全部面倒らしい）。
なにかがスッキリと書かれたような感じはあってホヘエとなるのだけど、単にヒルベルト記号の定義に全部投げてるだけっぽいのでアレです。これが二次曲線と結びつくところまで行けば綺麗だなーって感じになるのかな。

先日の勉強会の資料を公開しなよって会社の人にすすめられたので（というかメール来たし普通に頼まれてるなこれ）、せっかくだしと公開しました。 http://wtbm.necocen.info/10
率直に言って発表自体もイマイチだし資料としても完成度が低い（しかもそれはもっと手間を掛ければ改善できたはず）と今は思っているのでアレですが、まあ、まあ。

さて、非常に体調が悪いです。本当に厳しい。明日会社行ける気があんまりしない。