andante

昨晩は本を読んで早めに寝ました。前期量子論はシュレーディンガー方程式なしでも水素原子のスペクトル線くらいは説明できるところまで発達してたこととか、あとその頃量子力学の建設に関わっていたのが軒並み今の僕より年下なのとか。ディラックは二十五歳でディラック方程式を出したそうです。マジかよ。

仕事は長時間労働キャット。（キャット？）やっとend-to-endで動かせるところまでこぎ着けたのだけど、動かしてみると微妙にうまく動いていない様子。このあたりはデバッグしながら地道に見ていくしかないですね。やれやれ。

さて、今週はずっと体力の限界を感じながら動いていたのだけど、土日は二日しかない。明日は天気も良さそうだし、軽めに散歩したいな。元気だったらいいのだけど。

時間というのは放っておいても流れるもので、それってつまり重力に従っているのであり、だから日付や時間が進む順を昇順と呼ぶのがしっくりこないのだと思う。しっくりこないんですよ。
一方で数字が増える順を昇順と呼ぶのは、地面に物を積み上げると上に昇ってゆくからで、要するに延長のある物体は重力に逆らわざるを得ないということに由来しているわけです。重力というものとの二種類のつきあいかたが、一つの単語の中で分裂的な気分を生み出している、そう考えるとちょっとだけおもしろいと思う。ちょっとだけだけど。

$2^9$。

こんなことをするために苦労してMathJaxを入れたんとちゃうんやで。

昨晩はRoI Poolingの謎をいろいろ調べていたのだけど、昨日の日記に書いたみたいな単純なトリックではなくて、インデックスからn-hot vectorを得るのにsparse_to_denseを使っていたのが良くなかったことがわかりました。上手くいく場合もあるのだけど、インデックスに重複があるとだめらしい。まあ、スパース行列に重複なんかあるはずないんだから仕方ないよな。結局one_hotをreduce_sumして０と比較することでn-hot vectorを得ることにしました。やれやれ。

仕事はまあまあ。上記の修正でRoI Poolingの勾配がテスト通るようになったので、いろいろリファクタしつつ結合。VGG16の重みの読み込みもうまくできたのだけど、ソースコードをよくよく読んだら画像サイズがわりと可変だったので（だからim_infoをテンソルで渡す必要があったのかー）明日それにあわせてちょっと修正します。あとMS COCOのダウンロードがなかなかうまくゆかない。

人間はなぜ言語をメタ言語としても読むことができるのだろう。つまり、なぜ言語の使いかたを言語で教わることができるのだろう。

たとえば、人間は国語辞典を読むとその単語の使いかたを理解して正しく使えるようになる。しかしRNNに国語辞典を食わせても、国語辞典っぽい話しかたを覚えるだけでその言葉の使いかたは覚えてくれない。

素朴には、知識という概念があって、言語の組み合わせによって知識を構築し、あるいは知識を読み出すことができることになっている。しかし、我々が一般に知識と呼んでいるのは言語的に構築されたものばかりではないはずだ。言語的な知識と非言語的な知識とはなぜうまく馴染むことができるのだろうか。初めは非言語的な知識しか持っていなかったはずなのに、ある時から言語によって知識を拡大することを覚えるのはなぜか。

脳があるプログラミング言語で書かれたプログラムだったとする。自然言語によって知識を獲得するというのは、このプログラムを自然言語で修正することに近いように思われる。それは一つのインタプリタを作ることになるだろう。しかし我々からはそのプログラミング言語は見えないのだ。そんなことができるようには思えないし、ましてや後天的に学習することなど想像もつかない。（これは冗談だが、もしそのプログラムが日本語で書かれていたら、eval()に相当する機能が存在するかもしれない。これは冗談だが。）

空腹を告げる鳴き声と論理哲学論考との間には明らかに階梯の断絶があるように見えて、実は広大なスペクトラムの両端でしかないのか。だとすれば、その中間にはどのような構造があるのか。この断絶（に見えるもの）は、「自分の意志が実際にこの身体を動かしている」という考えかたに感じる断絶にも似ているのかもしれない。だからこれも、うまく言えない。

（※原義は「蛍光灯を替える者」。蛍光灯を替える時、両手を天に突き上げると激しい光の明滅が生じる姿が神々しさを感じさせたことから、神を比喩的に表す言葉となった）

仕事の前に歯医者。ちょっと奥歯が欠けてますねって言われたんだけど心当たりがない。歯軋りでもしてるんだろうか。いやだな。

仕事は順調、かと思いきやRoI Poolingの勾配が合わない地獄にいる。でも帰り道で気づいたんだけど、Max Poolingに類するレイヤの微分は、数値的に求めると無限小変位にならないからプーリングされる場所が変わってしまう可能性がある気がする。初期値をちゃんと調整すれば問題ないと思うんだけど。あとで試そう。それで直ってくれたらいいんだけど。

今日も帰りが遅くなってしまって、さっきお風呂入ったところだから髪が乾くのは何時になるやら。やっぱりドライヤーを買うべきなのかも。でも本当にあれ熱いしうるさいし嫌いなのよね。（ここであらゆる手懸かりが「頭髪を剃ろう！」という回答を指し示していることに気づく）

風邪がよくならないままちょっと頑張りすぎている気がする。だいぶしんどくなってきた。うーむ。

昨晩は早めに寝たのにぜんぜん寝付けなくて難儀しました。なんか体温高かったし（でも熱はほとんどなかったのよね、そういうこと時々ある）。

早起きして早めに会社に行きました。早起きすると一日が長い！のだけど、帰ってきた時間はいつもと変わらないので、これでは意味がないよなと。仕事が波に乗ってたのはいいんですけど、早く寝ないと早くは起きられないのよ。

仕事はまあ順調。明日には何か動かせるんじゃないだろうか。無理かな。がんばりたい。

明日は歯医者。体調は悪くないんだけど油断はできない。

たぶんそれなりに聡い子だった鷺沢さんはどんな風に大人になったんだろう。そして大人になってゆく橘さんをどんな風に見ているのだろう。（「そしてそれを見ている僕はどう思っているのだろう？」）

結局のところ、赤の他人に要求できることなんてそう多くはない。そのように要求することは不当だと見做されている（そもそも他者に何かを要求することなどできるのだろうか？）。だったらもう他者一般に失望しておくのが正しいのではないだろうか。正しい？何が？そんなこと叫んだってだれも褒めてはくれませんよ。

これは明らかに誤っている。しかし僕にはどうすることもできない。踊れる人は気楽に踊れ。そうでないなら各自がんばれ。

お昼前に病院に行きました。最近ちょっと具合悪くてみたいな話をしたらあちこちエコーとってくれたけど全然異常なしとのこと。はー、そんなのばっかりだ。

しかし帰ってくると微熱でしんどい。今日は結局しんどいなーと思ってうとうとしたりぼんやりしただけで終わってしまいました。なにそれ。超サイヤクじゃん。しんどいならおとなしく寝てれば良かったんだ。そういうことすると明日起きれなくてつらかったりするけど、体調悪かったら起きれないもなにもないじゃん。

さてゴールデンウィークが終わります。読書はけっこうできたので良かったんじゃないでしょうか。明日からは早寝早起きを心がけたいと思います。本気か？

昨晩はtfちょっと触ったけど帰省前に書いてたところを思い出すので精一杯でした。ふーむ。

今日は特になにもしていません。AWSの本が届いたのですこし読みました。こんな風にいろいろなサービスが並んでいると組み合わせ次第でなんでもできそうな気がするので、ああこれは魅力的なプラットフォームなんだなあと思います。なんでもできそう（そんなことはない）。

明日はゴールデンウィーク明け、ではなく有給です（いきなり五連勤もしたら身体がビックリしちゃう！）。でも病院の予約あるからお昼前には行かなきゃ。晴れてたらそのあと散歩でもしようと思ってたんだけど、午後は雨みたいだから、どうなることやら。あとやっぱりまだなんだか具合が悪い。単なる風邪ならいいんだけど。

ところで会社の勉強会でXamarinの話する気がするのでそろそろ触ってみるなどしないといけませんね。C#というと2009年くらいにゲーム作って大学の祭で展示したっけな。残念ながら今はもうどこにも残っていないのですが。

「灯台へ」読みました。めっちゃ良かった。どんなところが？時が流れ、人々がやっていっているところが。月並だけども。あと心情描写が非常に繊細で良かった。月並だけども。こういうのを繊細な心情描写というんだなと思い知った。

今日は特になにもしていません。あいかわらず風邪っぽい。「マスタリングTCP/IP 入門編」を読みました。TCPってけっこう忙しいのね。

あと全文検索についてちょっと調べたり。本当にほとんど単純に全文検索したいだけなので、groongaを生で使いつつJSONでメタデータを格納、とかでいいんじゃないかと思ったり。ElixirからgroongaはないみたいだけどErlangからならあるようなのでそれが使えるんじゃないかな。

それとAWSの本を買いました。いまは諸々のWebサービスとかを全部さくらのVPSに置いてるんだけど、AWSだったらどうなるかな、とか、でもやっぱりちょっと高いか、とか、いやこれ以上一台のVPSになんでもかんでも置くべきではないのだから分散すべきでは、とか。本当にそうなのかは謎。なんとなく格好いいってだけでは？まあでもAWSのこといろいろ慣れておいたほうが仕事で使えそうな気もするし。知らないけど。

今夜こそはtensorflow触りたい。アニメも観たい。

実家にいま……せん！

朝はまだ具合よくなかったのだけど、お昼に病院で吐き気止めを出してもらったりしているうちにこれは電車乗るくらい余裕なのではと思ったので夕方に帰ってきました。いやはや。まだ回復してはいないですが、あとは寝るだけでいいので気は楽。

$N$次元の将棋を考える。$0 < m \le N$に対して、$m$-飛車とは、許容される移動が
1. $N$個の次元のうちちょうど$m$個が非零となる
2. $m$個の移動量の絶対値がすべて等しい
という条件をみたす駒をいう。たとえば$N=2$の通常の将棋の場合、1-飛車は通常の飛車、2-飛車は通常の角行である。

２次元将棋の場合、1-飛車と2-飛車（角行）の移動可能な方向はいずれも４方向である（正負を別個に数える）。より一般に、$N$次元将棋の$m$-飛車の場合には、$N$個の次元から$m$個を選び、各々に正負が存在することから、${}_N\mathrm{C}_m\times2^m$方向となる。

実家にいます。おれはもうだめだ。

朝起きて新幹線に乗ろうとしたのだけど結局具合が悪いので断念。なんだこれ。具合が悪いのか気のせいなのか、しかし気のせいで具合が悪いのは具合が悪いのとどう違うのか。ここにいたって迷惑掛けるばかりでいいことないのだから這ってでも帰るべきでは。そんなこと無理では。しかし。

あとは断続的に寝ています。とにかく疲労している。熱はないようだ。そういえば去年の秋にもこんな感じになっていたような気がする。あのときは会社を三日休んだっけ。あと点滴してもらってたけど、あれは別に特に効果はなかったようにも思う。

明日こそ帰りたい。帰ってどうなるものでもないけれど。

実家にいます。祖母と会食ののち新幹線で帰還する予定だったのですが、突然具合が悪くなってしまったのでもう一泊滞在することになりました。はあ……。でも明日になれば元気になるのかというとよくわかりません。

こんな風に突然具合が悪くなってしまう可能性があると、どこかへ出掛けたり人と会ったりするのがどんどん怖くなってしまいます。これが僕の絶望なんだ……。