andante

昨晩はアニメを観たあとでちょっとコードを書きました。ほんのちょっとだけ。

ところで「長門有希ちゃんの消失」の長門回がわりと頭を抱える感じでした。でも、仕方ないのかも。長門有希に無口なメガネっ娘以上のものを見出したのは僕の勝手な想像なのだし、だからこういう風に別の想像を出されたところで、僕のほうがより正しい長門有希を知っているんだ、なんて反論はできない。だけど、だけど。

今日はユニクロのネットショップで服を買いました。なんか、モデルの人々が僕の自己イメージとあまりにかけ離れていて、これはなにか僕には関係の無い専門的な道具なのではないかという思いが強い。そして僕に関係のありそうな衣類は見つからない。文字情報に頼って探せば見つかるのだけど。でもそれもなんだか謎の専門用語で書かれていて、僕にはどうもただただ怖いという印象しかなかった。はー。
でも一応何着か買えたので、これでしばらく服を買えと言われなくてすみます。

あと「倫理とは何か」を再読しています。僕は道徳がどんな風に構築されたとか正当化されるとかそういうのにはあんまり興味がなくて、それよりも、僕以外に存在しないという意味での僕と、人間集団の一要素に過ぎない僕との間をつなぐ行動原理の作りかたに関心がある。道徳の重み。これはメタ倫理学に近いんだろうか。

昨晩は何をしたのだっけ。ああそうだ、昨日踏んだiOSのバグっぽい挙動のworkaroundを探したのだった。いろいろ試したら原因がわかったので、適当なタイミングでフレームを再計算することで対応できました。やったね。

今日はそこが解決したのでぷちぷちとタスクが進みました。API叩いたり暗号化をほどいたり。UIのタスクはまだ残っているけど、とりあえずほぼ完成したのでよかった。開発期間は月曜日までなので、なんとかなりそう。

ところでプレアデス最終話でしたけど、まあほぼパーフェクトでした。この「ほぼ」は文法上の理由でついているのであって、パーフェクトです。あ、でもブラックホール云々はちょっと大味だったかも。
並行世界という設定がおもしろく生かされていたのは、各人は各人の帰る世界でこそ特別な存在である、ということによって各人の特別さを新しい形で理解できることかなと思います。すばるの世界のいつきやななこらしき人々は髪が短かったり普通の服を着ていたり（ねこ入れてたけど）していて、これは過去の回で触れられたような出来事がこの世界の彼女たちには起こらなかったからだと思うのですが、それゆえに、あそこに集った彼女たちが互いに羨んでいたことは、実は全並行宇宙の中で彼女たちだけに特異なものだった、ということ。そしてそれは彼女たちには明かされない秘密だということ。そういった構造が、とてもすてきだなと思いました。うーん、これでうまく言えてるだろうか。また最初から観るなどしたいな。

めも：Twitterの僕のpostとねこせぼのpostを分類するニューラルネットとか作れるだろうか。最近ちょっとニューラルネットのこと勉強してるのだけど、画像じゃなく文字列に適用しようとするとどうなるんだろう。どうもならないのかな。ビット数分の入力を作るとかでいいんだろうか。それはさすがにダメではという気がするけれども。

相変わらず具合が悪いです。また喉痛くなってきたような気配がちょっとだけあります。いまはそれほどでもないけれど。はー。

仕事は最悪。考察をサボってたせいもあるけど、せっかく上手く行きかけてたところでiOSのバグっぽい挙動を踏んで三時間くらい持って行かれました。しかも解決していないしまともなworkaroundも見つかっていない。ちょっと一回簡単な実験モデルを作って調査する必要がありそう。ダメだったらどうしようかな……。わりとどうしようもないけど……。

さて、プレアデス最終話。

全世界的に。

昨夜はHaskell勉強会の資料を作っていました。モナドの章を僕が担当するってのは、僕としては光栄なことだなあと思うけど、プレッシャでもある。うまく説明できるかしら。

仕事はまあまあ順調。でも具合が良くないのであまり火力は出ません。まあ重たそうなところは意外とあっさり片付いたので、今回もオンタイムで終わらせられそうです。しかし具合が良くない。ううむ。

そういえばSwift2β2が出てました。やっぱりメジャバージョンアップだけあってどんどん投入されてくる感じなのでしょうか。もう一つくらいなんかでっかいの来ないかな。わくわく。

ユーフォ12話。映像的ヤバさみたいなのはそんなになかったけど、ああすごいなあ、正面から青春だなあという感じ。

僕にもこういう青春があったのでした。夏休みの暑い部室で、独りずっと練習するの。もっと上手くできるはず、そういうイメージは頭の中にあるの。どこがダメなのかなんてとっくにわかってて、だからそこだけ何回も練習するの。それで次こそはと思って、だけどやっぱり同じところで失敗するの。自分の身体なのに自分の思う通りに動いてくれない、それがとても悔しくて、この指先を切り落としてやろうと思うくらい憎いの。だけどそんな悔しさを何度も通り過ぎて、いつのまにかそれは思い出になっているの。

まあ、この話の残念なところは、これがタイピングの練習だってことなのですけれど。でも本当のことで、ああ、あれは紛れもなく僕の青春だったのだなと、だけどどうせならもっと違うことをしておけばよかったと思う、それも含めて青春なのかもしれないけれど。

さて、今夜も勉強会準備かなあ。それにしても具合が良くならない。薬効いてないのかなあ。それは困るなあ。

昨晩はlogtのCSS修正とデプロイをしました。でもiPhoneとかで拡縮すると盛大に崩れるのであらためてちゃんと書かなくては。あとless使おう。

あとひさびさに数学を再開。素数$p$が$x^2+y^2$や$x^2+2y^2$と書ける条件はそれらの二次体での素数の完全分解だけで記述できるけど、$x^2+5y^2$とかは$\Q(\sqrt{-5})$で完全分解したとしても単項イデアルではないからそう書けるとは限らない、みたい。なるほどねえ。

仕事は微妙。挿げ替えるだけっしょと思っていたところが意外と重たい。でも今日でだいたい片は付いたので大丈夫でしょう。明日微調整する。

今夜はHaskell勉強会の準備をしようかな、less書くのはその後にしよう。

居心地がどんどん悪くなってゆくのをぼんやり見ています。あまり自分をごまかしていると壊れてしまうよ？

昨晩はtwlgに無限スクロールをつけました。とりあえず動いたけど見た目が不細工なのでまだデプロイしてません。今夜ちょっとスタイルとコードを整えたらそれでいいかな。この際だからCSSに手を入れるか。二時間くらいは時間あるし。

仕事はリファクタリング。初めて書いたときからこれここじゃねえよなーでも切り出すほどでもないよなーと思っていたところが、機能拡張に伴ってぶくぶく肥大したので、さらなる改修の前にと思ってサックリ割りました。とりあえず機能の分離としては良さそうな感じ。でも一日仕事になってしまった。まあ元よりそのつもりだったし、いいか。
明日はAESの復号をやります。といっても標準ライブラリ叩くだけですけど。しかし、かつて暗号理論少年だった僕に教えてやりたいね、君仕事でAESのデコードやるよ、って。（別に自分で実装するわけでもなんでもないし、それだったらHTTPS叩くだけでRSAやるよって言うのと似たようなものじゃないのかね）

そういえば、昔書いた技術blogを会社の人が不具合対応のときに検索して見つけて役に立ったと聞きました（結局直接訊かれたけれど）。やあ、ちょっとうれしいな。最近あれぜんぜんサボっているけど。モチベイションもないし、適した小話もあまりないし。

さて、コード書こう。

昨晩はゲームとかしてたくらいで特に意味あることはしていません。

今日もたいしたことはしていません。WWDCを２本観ましたがなんかそんなにおもしろい話ではなかった。そろそろUIデバッグのやつ観たほうがいいだろうか。

あと深層学習のことをちょっと調べていました。最近出たchainerというフレームワーク。Pythonもこういう感じで言語内DSLが作れるのですね。そのおかげで素直に書き下すだけでいろいろ良きに計らってくれるみたい。これは便利そうだ。ぜんぜん具体的な処理のイメージがまだないけれど。

あとReact.jsで検索結果の継ぎ足しローディングをどう書くのか調べたり。でもReact自信にはあんまりそのための機能とかなくて、基本的にはウィンドウのイベントにあわせて通信して継ぎ足す感じのようです（その継ぎ足しが速いみたいだけど）。フムン、今夜実装してみようかしら。

さて、喉の痛みもほぼなくなって、典型的な日曜日夜くらいの不健康さになってきました（喉がちょっと荒れてる）。これ以上を望むのは過ぎたことだ、という意識が存在して、ふざけんじゃねえと思うのだけど、まあでも、でもな。
明日から仕事はちょっと忙しそうです。気乗りしない。

愚痴を吐く場所が絶望的に不足しているのだけど、それが用意されたってなにか解決するわけじゃないし、単に気晴らしがしたいだけならもっと別な手段を探すべきだよな。たぶん、まだ内心ではそれを解消してよりよい状態に持ってゆきたいという思いがあるのだけど、でももうそれをする気力はない、というような感じなのだろう。もうだめだ、僕の心はどんどん年老いてゆくな。なのに消えてなくなってしまうこともできない。憂鬱だな。

今日は特になにもしていません。あ、自由意志の話を書きました。僕の中ではいまこういう立場で落ちついていて、なのでしばらくは哲学を必要としなくなったのかな、という感じがあります。まあ、完全に終止符が打たれたというわけでもないのだけど、とりあえず。
でも、なんというか、実存！という感じであれですよね。わかってます。まあ、僕の内心で僕がどんな括弧つきの概念を使おうが勝手でしょう、という気分はあるけれど。あと明らかに永井均に傾倒しているので、あと何年かかけて脱する必要がありそう。

そういえば、機械学習の使い途をちょっと思いついたので、勉強してみようかしら。具体的には自然言語処理と株式投資なのですけど。自然言語のほうはなんかとにかく投げれば喃語みたいなものを投げ返してくれそう、という期待があって、あわよくば新しいことやってみたい、という感じ。後者は不労所得への期待です。まあこっちはたいした勝算はないですが。本命は前者。

そういえば長門有希ちゃん云々はどうも雲行きが怪しい。実存に悩む長門さん（not 長門有希ちゃん氏）とか、ちょっとどうかと思います。まあ、僕はもう、長門さんが長門さん性を持たないくらいで動じる僕ではないのだけど。

深井さんの記事（ http://raprto.hatenablog.com/entry/2015/06/19/144255 ）に触発されてこれを書くことにしましたが、いま僕は氏の主張をあまり正確に思い出せない状態でこれについて考えたり書いたりしているので、内容的に被っているところがあるかもしれないし、（特に道徳について）まさに氏の記事の影響によってそう考えるようになったことでさえ有り得るかもしれません。
自由意志について書こうというときにこうしたことで悩むのはちょっと愉快なので、はじめにそう書いておきます。

〈僕〉だけが〈自由意志〉を持ちます。それ以外の人は自由意志を持つと主張するかもしれませんが、それは〈自由意志〉ではありません。それでいいならどうぞご自由にお持ちください。社会は自由意志の存在と、その上に構築できる「責任」機構を前提してタスクやリソースの配分を決定しています。

物理学は決定論とは関係がありません。量子力学がどうという問題ではなく、あれはこれまで書かれてきた書物の読みかたを与えてくれるものであって、これから書かれるものをあらかじめ与えるものではないからです。このたとえ話は当然ナイーヴに過ぎており、書かれるとは何ぞやという余計な話を生むのですが、とにかく関係がありません。推論は演繹ですが、信じるのは帰納です。物理学によって物理現象が高い精度で予測できる（し、その精度は十分な未来には無際限に高められるだろう）というのは「いまのところ」の話であり、未来永劫にわたって予測が（原理的に）可能である、とするのは信仰の領域です。

決定論は〈自由意志〉とは関係がありません。特に、人間の行動が外部からの入力とそれに伴う脳の状態変化だけで決定されてしまうことは〈自由意志〉とは関係がありません。自分が意志するよりも時間的に前の時点で脳の活動が開始していることは〈自由意志〉とは関係がありません。

まず、「見る」という言葉の話をします。たとえばなにかを見るというとき、それは解剖学？的には網膜に集められた光を細胞が感知して視神経や視覚野を経由して「見える」ということが起こるのですが、ここでなぜ「我々は網膜像を見ている（にすぎない）」という言いかたができないのかというと、それは「見る」という言葉が「目の前の対象を知覚する」という意味を含むからで、つまりこうした解剖学的事実は「見る」こととはまったく関係がありません。

〈自由意志〉についても同じことが言えます。脳がどうなっているとかそういった事実は〈自由意志〉とはまったく関係がありません。言ってしまえば「自分は自由意志を持っている」という感覚が〈自由意志〉です。その感覚は、自分の身体を動かすということや、自分の計画した通りにものごとが制御できることなどによって獲得されてゆきます（この意味で、「決定論こそが自由意志を可能にしている」という指摘は上手いと思います）。それらについて「我々が自由だと思っているものは実は自由ではない」と思うことは、「我々が見ているのは網膜像である」と思うことと類比的だと思います。

自由意志と〈自由意志〉の違いの話をします。僕が持っているものだけが〈自由意志〉で、それ以外の人が持っていると呼ぶものは自由意志です。

「自分が見る」ということが問題になっているとき、それは自分が見えているかどうかが問題になっています。これはこれ以上疑う余地のないことで、これは〈自由意志〉に対応します。

一方、「他人が見る」ということはそうではありません。他人が「見て」いることは自分にはわからないからです。実際に他人についてこのように言うとき、それはたとえば、その人が目をそちらに向けている（、という、その言語の使用者に確認できる）事実や、その人が目の前にあるものに対して妥当な応答をできる（、という、その言語の使用者に確認できる）事実によって確認されます。

これは自由意志に対応します。人が自由意志を持っているかどうかは、その人が周囲の状況に対して妥当な応答をできるかどうかによって確認されます。裁判などではこの種のことが行われています。

最後に責任の話をします。これは明らかに（〈自由意志〉ではなく）自由意志に立脚して作られています。社会に参加することは、この自由意志を自分に適用することで（も）あり、その上に構築される責任などのシステムによって、社会のリソースとコストの配分に加わることです。そうして与えられる自由意志は、〈自由意志〉と部分的に食い違うかもしれないし、仮にそもそも〈自由意志〉がなかったとしても、そのこととは関係なく与えられるものであり、利用できるものです。

もちろん、そうした配分や、責任に伴う罰などの概念をこれだけで決めてしまうことは、倫理上の問題を含み得ます。たとえ責任概念がこうした「脱色された」自由意志のみによって構築できるのだとしても、そこで落ちてしまったもの、認められないものが存在し、それをどこかで保護しなければならない、ということも、社会の共通認識として存在するからです。しかしここではそれには触れません。

以上です。

昨晩はlogtのリニューアル作業をしました。見た目一切変わっていないけど。ただ、socket.ioが1.0になってwebsocket通信のエントリポイントが変わったらしく、Apache側の設定に変更が必要でした。wtbmに書いてるのもう古いからdeprecatedって書かなきゃな。まあ今更あんなの参考にする人いないだろうけど。というかnodejs使う人ってだいたいnginx使ってるイメージある（だからこそ助けになるという話でもあるのだけれど）。

次はとりあえずCSSをlessだかsassだかで書けるようにしたいですね。あとちょっとだけUIを調整して2015年風にしようかしら。そのあとは、いいかげんちゃんとしたフィルタ機構とかペジネイションとかつけたい。でもこれ最初のときもそう言って結局一年有耶無耶にしたし、やらないかも。

今日はコードを書かずに勉強会の準備をしました。Xcode7のPlaygroundはちょいちょい落ちるので大変です。defer便利ですね。

あと月次報告会と飲み会。会社の飲み会であんなに人々が盛り上がるのは珍しい気がする。僕も飲まないつもりだったのに途中から結局そこそこ飲んでしまった。後悔することがないといいのだけど。

週末はゆっくりしたい。数学が中断してるから再開したいかな。ああでもhubotのredmine連携を書くって言ったのだった。ってかtwlg。あー、身体が足らない。