andante

あいかわらず具合がひどく悪いですが、iMac Retinaが届いたので環境設定をしています。わくわくするけど面倒だ。まだターミナルも入れてない（こういう優先順位の変化は僕の変化を反映しているのかな、と思ったりします。以前の僕は絶対最初にターミナル入れたと思うのよね。XCodeは入れたけど。）。

Retinaディスプレイはやはり綺麗です。一緒に買ったメモリモジュール（AppleStoreのカスタマイズで32GB積むと妙に高いので、16GBにして残りの16GBは自分で追加するのがお得、とのことでした）もうまく動いてくれたので申し分なし。ただ画面の大きさに慣れるのにはちょっとかかるかもしれません。あとこのサイト表示したら左右がスカスカでちょっと笑った。これサイドメニュー入れて800pxとかだもんな。いや、それにしても小さすぎないか？調べたほうがいいかもしれない。

それより箱が思いのほか巨大だったので部屋が狭いです。旧マシンもデータとか移し終わったら処分しなくちゃいけないし。旧々マシンは旧マシンを買ったとき（３年くらい前ですね）にfに安く譲ったりしたけれど、今度はそうもゆかないでしょう。自作だから処分が厄介な気がする。まあいまは考えなくていいや……

それよりATOKのショートカットキーとか変えないとな。偶然会社のmacを借りてきているし（作業する予定が入るかも、と言いつつあまりやる気なかったのだけど）、そこからエクスポートできないだろうか。ATOK Syncだかなんだかは辞書は同期してくれるみたいだけどそういった設定はどうもダメっぽいし。

それより具合が悪いのが普通に気がかりなので、明日はおとなしく寝ていようかしら。

艦これアニメの関係で、ネット弓道部員が創作物の弓の表現にうるさいという話題が流行っています。まあ実際鬱陶しい人間も多いのでしょう。だけど、その態度自体が間違っているかというとそうでもないような気がする。
たとえば僕はプログラマなので、創作物にプログラミングの描写が出てきたときはほとんど反射的にその正確さ妥当さを検討してしまうし、それを許容するか否かという判断はその後（一旦顔をしかめた後）に起こる。そこでそれを許容するかどうか、というのはそれが創作物の主題とどういう関係にあるか、という話になるだろう。別に学園ラヴコメに一瞬だけ出てくるｽｰﾊﾟｰﾊｶｰがどんな感じでも構わないけれど、主人公がプログラマで、となるとちょっとどうかと思ったりはする。
で、艦これにとって弓はどういう存在だったかというと、明らかに彼女たちは日本の弓使いをモチーフに設定されたキャラクタであって（もっと言うとそういうトラディショナル日本的「良さ」をはっきりと意識しているだろう）、ただ弓を使うだけの普通の人です、とは言い難い。そして、だったらちゃんとやれよ、と言いたくなることは、それほどおかしなことではないだろうと思う。というか僕もぜんぜん知らないけどちょっと思う。だったらちゃんとやれよ（「空母道」の線もそういう議論で棄却されるだろう）。
で、そういう立場をとったとき、それを徹底されてもエンタメ的にどうなのか、みたいな話が出てくるのだが、弓道に詳しい人はそういうのをちゃんとしていてくれることが嬉しいしそうでないのが不快だし、知らない人はそんなの知らない、となると、じゃあ多数決で決まります、という話になる。そう。少数派の期待が受け入れられなかったという話なのだ、これは。
たとえば箸の使いかたが変なアニメキャラがいたとする。気にならない人は気にならないかもしれない（気づきもしない人がけっこういると推測する）。でも気になる人は気になってしまう。気にせずにはいられなくなってしまう。そんなキャラクタがヒロインだったら、それはちょっとつらいと思う。そういうつらさを、彼らが感じずにはいられないのなら、彼らはどうすればよかったのだろう、と思う。「可愛ければなんだっていい」ではない。それは可愛くないのだから。でも、気づかないふりなんてできないのだ。それなら、自分たちが正しくて相手が誤っていると主張するしかないのではないか。（礼儀作法の類はみなこの困難を抱えていると思う。僕も会社に入ってずいぶん他人に不寛容になったと思う。）

昨晩はMathematicaの評価版で遊んだりしていました。昔計算した、$\Q_2$では0に、$\Q_3$では1に収束する数列の計算とかさせていました。$x_5$は2407桁の整数になって、$\ord_2(x_5)$が682、$\ord_3(x_5-1)$が16になるようです。だからなにという話ではあるのですが。

あとATOKのキーバインドを設定しました。けっこう調べたのだけど、どうしてもキーバインドの同期はできないらしいので、泣きながら（泣いていません）手入力で設定しました。会社のmacで設定してあったもの（これはどうやって設定したんだろう？これも手入力でやったのだっけ？）をテキストファイルに書き出して（インポートできるわけでもないのにそんな機能がある理由はよくわかりませんが助かった）、デフォルト設定の書き出しとのdiffを取って、直すべき項目を発見して直す。たった27項目しかなくてよかった。

今日は夕方まで寝ていました。具合の悪いのはあいかわらずです。喉がちりちりする。今夜も早めに寝たほうがよい。

macのほうはエディタ環境を整えています。試みにSublime Text 3を入れてみた。Emacsはさすがに時代遅れ感があるし、Atomは微妙に好きになれない（これは本当に自分でも説明できないのだが、とにかくどうも相性がよくない気がしている。あと単純にemacs-likeに動かそうとして失敗している（これは僕の設定が悪いのだとは思うが））。でもこいつはこいつで日本語入力との相性がひどく悪い気がする。キーバインドの設定でどうにかなるのだろうか。
キーバインドといえば、一緒に買ったワイヤレスキーボードが微妙に手に馴染まない（微妙なキー配置もそうだし打鍵感の浅さ？とかペチャペチャ感とか）。ワイヤレス性の恩恵もそんなに感じていない（ちょっとどかすのとかはケーブルがないと楽だけど）し、もしかしたらHHKBに戻すかも。というかHHKBがワイヤレスになってくれれば万事解決なのよね。

あとターミナルはiTerm2を入れてみました（前はTotal Terminalだった）。いまのところ特段の違いは感じないけれど。画面上部に出してVisorみたくするつもりだったのだけど、この画面サイズだと遠いので下部に出すことにした。いまのところ快適。

今日もRetinaディスプレイは綺麗だ。隣に置いた旧メインディスプレイ（いまも繋いで２画面にしている）を見ると急に目が悪くなったような気がする。たった３年でここまで進歩したのだなあ。やるじゃん、人類。

しかしmacもいいけどそろそろコード書くのに戻らなくちゃいけない気がする（まあそのためにSublimeText入れてるんだけど）。なのでXAMPP入れたりチェックアウトしたりしました。チェックアウトはHOMEのどこか「いつもの」場所にして、XAMPPのhtdocsへはシンボリックリンクを張るのが正解っぽい（前はhttpd.conf書き替えてDocumentRootを作業ディレクトリに移動させたりしてた）。

明日からまた会社です。そんなの毎週そうなんだけど、休暇のあとの土日はすぐ終わってしまって悲しい。喉の痛いのがよくなってくれるといいのだけど。

昨晩は結局SublimeTextを断念してAtomの環境を整えていました。SublimeTextのIME対応状況は絶望的で、IMEの変換中のキー入力も全部食ってしまうので、日本語変換中にカーソルがどこかへ行ってしまったりして使い物になりません。SublimeTextは日本語変換の状態を知ることもできないようなので、対策のしようがないです。えー。
Atomは思っていたよりは快適に使えています。ただハード／ソフトタブ周辺の設定が壊れている？気がする。ソフトタブを切ってもハードタブにならないことがある。微妙。
あとatomic-emacsのmarkの見た目があまり好きじゃないので、kill-ring周辺のパッケージを自作してみてもいいかもしれない、みたいな。前向きな気持ちだ。

お昼から仕事。あいかわらず喉はどんどん痛いし具合も悪い。補助で入っていたプロジェクトを抜けて元のプロジェクトに復帰するので現状の説明を受けたのと、3DのアニメイションをiPhoneで表示する技術調査。iOS8ならSceneKitでわりと簡単にできそうだけど、ファイルサイズ的なボトルネックがどこにくるのかとか、どういった技術が使えるのかとか、そのあたりがぜんぜんわかりません（そもそも3Dの物体を表現して描画するということがどういう図式で行われるのかよくわかっていないのでなにを調べていいか困っているレベルです）。まあどうせ暇だしゆっくり調べればよい（もう飽きてきたけど）。

今夜はAtomのパッケージの作り方を調べるのと、いいかげんPHPを書くことにしましょう。あと早く寝る。

ずっと昔、「頑張れ」という言葉が好きじゃなかった時期があって、それはその言葉が命令文だからだった。でもそんな形式に拘泥するのは正しくなくて、どういう言いかたであれそれは応援する想いの表出の符号なんだな、と思い直して、それならいいかと思うようになった。
でも、やっぱりこの言葉は、種をまく人のものではなく収穫する人のものなんじゃないだろうか、という思いが最近すこしある。特に会社で言われた場合それは絶対にそうだ（しかもそれを巧妙に隠蔽して）。だからやっぱり好きじゃないかもしれない。そういう強制を有耶無耶にするな。
社会的上下関係と命令と依頼について以前ふと思った。なんらかの理由で断ることが実効的に不可能な依頼を、依頼の体裁で行うのは不正義ではないだろうか。実効的に命令であることが有耶無耶にされ、あたかも個人の善意や自発性によってそれが叶えられている、かのような構図を認めてはいけないのではないだろうか、みたいな。
とはいえ、命令に思い遣りを添える文法規則が存在しないのだから、そうせざるを得ないのも事実なのだ。となると、それを脆弱性であると知りながら黙認することしかできない、のだろうか……。

どうもあまり明晰でない思考をしている気がする。

昨夜はどうにもしんどくて早めに寝たのだけど、朝起きてもぜんぜん回復してなかったので会社を休みました。休んでさっきまでずっと寝てたけどやっぱりぜんぜんよくなってないです。喉が痛いしなんかしんどい。これ風邪じゃない気がする（じゃあなんだと言われると謎）。今日はたまたまよく行く病院が午後休診だったので行けなかったのだけど、明日行こう。

そういえば昨日はAtomパッケージ書くためにCoffeeScriptを見よう見まねで書いていたのだけど、この言語あんまり好きになれないですね。元がJavaScriptなのがいけないのだと思うのだけど、「普通の」クラスとか作ろうとしたらぜんぜん上手くいかなくて（具体的にはプライベート変数とかが）、なんだこれってなりました。まあ慣れるしかないのかな。
kill-ring自体はただのリングバッファなのでサクッと作れるのですが（文法的なアレさを除けばもう実装できています）、マークとリージョンの機構はちょっと面倒かもしれない。というかそもそもemacsにおけるそれがどんな風なものなのかよく知らないし（xyzzyでちょっと触ったことがある程度だから）。

具合悪いけどとにかくコンビニでなんか買ってこなくちゃ。あとは寝るよ、寝る寝るよ……（あっでも艦これのアニメあるんだっけ）

仕事の前に病院にゆきました。喉風邪だと思います、とのこと。まあそうでしょうね。この歳になってもまだ知らないタイプの風邪をひく。

仕事は調べごとなど。結局3D業界の用語がイマイチわからないけれど、とりあえずSceneKitを使えば目的は比較的容易に達せられるのではないか、という感じ。これ以上はデータ作成してくれる業者さんとの相談で摺り合わせてゆく段階でしょう。とりあえず調査打ち切り。

あとUI要素の検討に入りました。明日はその試作をちょっとやります。

やりたいことが並行していくつもあってちょっとパンク気味。数学と哲学とPHPとCoffeeScript。CoffeeScriptとかは本当にどうでもいいのでさっさと潰してしまいたい（とはいえここでAtomカスタマイズ道に入門しておくとなにかと便利かもしれない、とは思う）（SublimeTextがIME対応するまでの話さ）。
kill-ringはとりあえずバッファ部分はできたしkill-lineとyankはそれっぽく動くようになったのだけど、テストの書きかたがわからない（ちゃんと書いてるつもりなんだけどなぜかタイムアウトする）のでなんとも。あと、yank-popは直前のコマンドを判定したり直前のyank領域を記憶したりとなにかと面倒っぽい。

昨晩はどうにも調子が悪かったのですぐ寝てしまいました。でも今日もそんなに具合よくないです。頭も痛くなってきてしまった。うー。

仕事は調べごと。点列をベジェ曲線で補間するアルゴリズムを探して実装。これはまあまあなんだけど、あとは点を間引く方法とか考えないといけない。まあそれはあとで。

内蔵ハードディスクを外付けにするケースを買ったので旧マシンのデータディスクを摘出しています。これで本格的にこのマシンもお払い箱かしら。処分の手順調べなゃ。

にゃーにゃー。

昨晩は朝までAtomのkill-ringを調整していました。なにしたんだっけ。とりあえずおおむね動くようにはなったので、実運用に入ったのだっけ。いまのところは普通（普通）。ただリングバッファの周辺に不具合があるのでテストを書いています（ちゃんとテストを動かす方法がわかった）。うん、なんだかいい感じだ。
とりあえずテストが一通り揃ったら簡単に公開しちゃおうかなと思います。まさかこういうコミュニティへの最初のcontributionがこんなテキトーに作るプラグインになるとは。

あと本格的に旧マシンをお払い箱にするためにデータの移行をしています。あとWindows環境を作るためにWindows8.1のダウンロード版を買いました。ISOがゴロンと出てくるものと思っていたらISOをダウンロードするexeファイルが出てきて、ってブートストラップかーい！って思いました（仕方ないので旧マシンをもう一度叩き起こしてISOを取得しました）。
実行環境、bootcampにしようかとも思っていたのだけど、ゲームするためにいちいち再起動するのとかアホらしいよねって思ったのでParallels Desktopを検討しています。とりあえずいまWindows8.1の評価版をParallels Desktopの評価版にインストール中。

表現の自由について最近よく話題になっているのですが、僕はどうも、多くの人はべつに表現の自由に興味があるのではなく、優等生の回答に興味があるのではないか、と思っています。いまは表現の自由が流行りなのでそれを主張している感じ。そういう態度の帰結として、「これは表現の自由だ（良い表現だ）がこれは表現の自由ではない（悪い表現だ）」という種類の主張が出てくるのでしょう。
表現の自由がなにかを解決したり、世界の平和や人々の幸福に貢献するものであるかのような語られかたには僕は違和感というか反発があって、前にも書きましたが、それが素晴らしいゆえに表現の自由が護られるのだとしたら、それは単に「役に立つものは使おう」という話であって、「自由を護る」という主題とはまったく関係が無いからです。それって、自由を護ることによって護ろうとしたものをまったく蔑ろにしてしまう可能性ではないかね。誰にも役に立つと思ってもらえなかった者たちをこそ、護らねばならないのではないかね。
とはいえ、おそらくオリジナルな形での表現の自由は人類には（まだ）無理なのかもしれなくて、そういう場合にそれをどのように変形させて人類に使える概念にしてゆくか、という判断が行われているのでしょう。それはまあ、重要な課題だ。だけど、それはもう自由じゃない。だからそれは、自由の問題などではない。そういう立場です。

なにもしていません。あっそういえばkill-ring公開しました。
https://atom.io/packages/kill-ring
RingBufferのテストを書いてたらたくさん不具合が出てきたので、テストを書くと良いことがあるなあと思いました。いま作ってるblogもPHPUnit書いてるしね。ただ、なまじテストが書けてしまうせいでテストしやすい部分に関心が偏重してしまうのよね。まあ、いいか。

あとkeymap.csonを全体的にいじりました。atomic-emacsはどうも不具合が多いので（カーソル移動が二倍になったり。これはイベントの監視をdisposeできてなかったりなのかしら？）標準機能で代替できるところはそうしました。C-lでカーソル行を中央に持ってくるのだけスクリプト書かないとだめっぽいので、気が向いたらやります。

あ、あと結局Parallels Desktopを買ってWindows8.1を入れました。おおむねいい感じに動いてくれるのだけど、画面解像度がちょっと悩ましくて、フルサイズにすると字が小さくて使えないし（字を大きくするオプションはあるのだけど、サードパーティのソフトウェアはあまり言うことを聞いてくれない）、半分のサイズにするとボヤボヤするし。まあゲームするときくらいしか使うまいからいいのですけど。
あとせっかくなので昔買ったAdobe CS6を入れました（これ本当になんで買ったんだろう、輪講の資料作成のためにInDesign使いたいでござる〜とか言ってたのは覚えてるけど、いやお前CS6買うことないだろアホか（まあ、精神的にかなり参っていたので……（僕は（も）精神が参るとこういう買い物をするんだな）））。旧マシンでライセンス認証を解除するとつつがなくこちらに移すことができました。よかった（どうせならWin版からMac版に無償で替えてくれたらもっとよかったのだが）。どうせ使うまいけれど。

さて、環境構築がだいたい終わったので、やっとコーディングに入れます。ルータの正規化関数をちゃんとするのと、それが終わったらEloquent ORMのマイグレイション機構を使えるようにする。そこまでできたらビューに移ろうかな。結局コントローラがビューをどう作るのか決めてないのよね。

世界のありようが偶然的なものであるならば、世界の個々の事実を肯定するというやり方ではだめで（だってそれが成立しているのは偶然でしかない）、そのような（成立していない事実も含む）事態たちがなす論理空間の全体を肯定しなければならない、というような話なのかしら。

さて、また仕事です。具合悪いのはちょっとよくなった？

昨晩はURLの正規化処理を書きました。細かいツッコミどころはあるのだけど、とりあえず使用に耐える感じになったから、これで一旦打ち切りとしましょう。奇妙なURLでアクセスするほうが悪いのです（それでクラッシュとかしないようにしなくちゃいけないけれど……）（まあちゃんと例外ハンドルすればよほどでなければ大丈夫でしょう）
あとEloquent ORMのマイグレイションを動かそうとしました。これはなかなか進まなくて朝までかかりました。作業が順調に進んでいる場合はどこかでよし寝るかって寝られるのだけど、小さなトラブルの連続でなかなか進まない場合は、なかなか進まないわりに小さな達成感が断続的に注入されるので、ここまで出来たら寝よう、みたいなのを重ねてしまって夜更かしリスクが高まる感じがあります。この現象、うまく転用すると役に立ちそうな気はするけれど。

お昼から仕事。有限だが十分長くスクロールできるグラフの実装。一日掛かったけれどおおむね完成。あとは見栄えを整える。
そういえば、任意のベジエ曲線と縦軸との交点を計算する必要があったのだけど、これがなかなか面倒だったので、Mathematicaの試用版に投げました。三次方程式が絡む巨大な式が転がり出てきたけれど、これって合ってるのかしら。合ってたらうれしい。計算機が役に立っている。

今夜はマイグレイション機構を整えて（とりあえずクエリを投げるところまではなんとかできた）、それができたらビュー機構でしょうか。

昨晩はなにしたんだっけ。計算してたんだっけ。Mathematicaの数式簡約機能はあまり気が利かないらしく、僕が自分でやったほうが僕好みの変形になるのでいい気がしてきました。昨日は解けたと思っていたけれど、よく考えるとわりと自明な式変形をしただけだったし三次方程式に帰着しただけでぜんぜん解けていないことがわかったので、なんとか工夫して簡単化できないか考えていたのでした。でも成果は芳しくなかった。

仕事の前に銀行に行って奨学金返還口座の登録をしてきました。こないだ風邪で寝込んでいたら電話が掛かってきて登録せよと言われたのです。学部時代の奨学金は三年前に登録してすでに返還が始まっていたので、勝手に統合されると思っていたらされないようです。気が利かない。返還が始まるのは三ヶ月も先なのだけど、口座振替の手続きにそのくらい掛かるので急げ、とのこと。2015年にもなって手続きに三ヶ月掛かるの、なにやってんの人類という感じがある。

そのあと仕事。ずっと式変形をしているうちに問題への理解が深まってきて、とにかく領域を描いてみれば三つの解のうちどれを選べば適切なのかわかるような気がしたので描いたり。果たせるかな、わりと単純な条件で解を選ぶことができることがわかった。可視化！

夜はまた三次方程式をいじっています。計算すべき式は記号レベルでは特定できたので、あとは計算させるだけ。ただあんまり式が複雑だと計算誤差でアレしそうなので、ちょっと工夫する。今夜中にとりあえずコードになるといいのだが。

明日は会社で３Ｄデータ製作会社の人と打ち合わせします。とりあえずどんな概念が（少なくとも一つ）存在するかはわかったのだけど、そういう形式でデータを受け渡しすることがどのくらい現実的なのかとか、そういったことを質問する予定。だけどちょっとだけ風邪気味だから、今夜は早く眠らなきゃ。二日続けて夜更かししているからね……