andante

夏休みなのでAmazonのクラウド量子コンピュータで遊んでいました。量子回路を定義すると実行してくれるらしい。大学の授業で量子コンピュータのことは習った覚えがあったから、まあこのくらいはできるじゃろと思ってShorの素因数分解アルゴリズムを実装しようとしたのだけど、これがなかなか難しかった。まずそもそもこれは全部が量子計算というわけではない（が量子計算はキューに積まれてあとで実行されるので古典計算と混ぜて書きづらい）のと、あと巷の解説サイトがわりと説明を端折っているのと。具体的には位数推定計算に出てくる制御ユニタリゲートなんだけど、これ具体的にどういうユニタリ行列になるのか全然解説なくないですか。それとも僕の知らないギョーカイの常識があれば見ただけでわかるのだろうか……。12年前にレポート課題でこれを計算していた僕も全然わかってなかったし。これ手計算ならとりあえずできるけど、ゲートとして実装するのは全然違う話だよな。うーむ。
一応それらしく動くものは書けたけど、やはりユニタリゲートが不細工で、ここに置くユニタリ行列だけで異常にメモリを消費してしまう。10量子ビットで計算しようとしただけで2^10×2^10の行列が出てきてしまうのよね。ここも量子回路で表現する手法も知られているようだけど、さすがにそこまで深入りはできなかった。
とりあえず899の素因数分解をシミュレイタで動かすところまではできたので満足した。モノホンの量子コンピュータで動かしてみたかったけど、あれはジョブをキューに積んであとで結果を受け取る仕組みのようだから、こういう「当たるまで繰り返す」系計算には向かない（そういうのもうまく扱える仕組みがあるかもしれないけど、ドキュメントが足りなすぎて知らない）。一応全然単純な回路をチュートリアルの一環で投げてあるから、明日様子を見ようかな。

そういうわけで今日はそれ以外の趣味にはほとんど時間を使えなかった。夕方は作り置きとかしてたし。カレーも煮た。おいしい。

明日はオンライン帰省する？らしい。

お昼ぐらいまではのんびりしていた。夕方に少し出かけて眼鏡を買った。視力検査をしてもらったのだけど、左目の乱視が進行しているらしい。ふうむ。
網膜像の位置？を左右で一致させる機能を調べるために、無理やりレンズで像をずらしてどこまで重なって見えるかを試したりした。レンズを次々入れ替えられて「まだ見えます」とか「厳しくなってきました」とか言っていると、なんか人体実験みたいだなと思った。まあ実際やってることは同じなわけだし。露骨に目を酷使した感じがあって疲れた。
検査中にふと思ったのだけど、なぜ両眼視の視力は片目より良くなるのだろう？立体視ができるようになるとかならわかるけど、今回見ているのは平面のパターンだから、視力0.7のぼやけた像を左右で用意してもくっきり見えたりはしないんじゃないだろうか？それとも、それでも２つあれば視覚野がなんとかいい感じに補完してくっきり見えたりするのだろうか？あるいは、本当は片目でも見えているものしか両目でも見えないんじゃないか？

夜は「電脳コイル」最後まで観た。やはり優れたお話だ。ただ結末は子供向け感が少し強かったかもしれない。まあでも、それも含めていいところいっぱいあったな。かっこいい。

明日は夏休み４日目。あれ？もう後半？？？　今日サボった作り置きと、あと角切りの肉を煮てカレーを作ろう。

夏休みなのでノンビリするのかと思っていたが、妻は僕と違って活動したがりなので出かけた。妻がカラオケで二胡の練習をするのにつきあっていた。せっかくカラオケに行ったので慣れない歌でも歌うかと思って米津玄師「Lemon」を歌ってみたけど、これメチャメチャ難しいな（まあ正直わかっていたが）。メロディが難しいのはまあそうなんだけど、リズムも結構凝っているなと思う。でもサビだけかなり素直にならない？その方が売れるからだろうか（邪推）。
関係あるようなないような話なんだけど、日本語ってこんな感じだっけ？と思った。サ行はかなり閉音節っぽい音になるよね。前からそうなのか、最近はわりとこうなのか、米津玄師がそういう癖があるのかはよくわからない。あと二重母音もあるよねこれ。前から？

そういえば「アンナチュラル」最後まで観ました。最後まで魅力的なストーリーだったなと思う。ちょっと駆け足すぎたかもしれないとは思ったけど。

夜はほこらんさんと飲んだ。なんの話したっけ。忘れたな。

寝ましょう。そういえば趣味プロジェクトのタイマー機能を実装してるけど、これ真面目にやるとけっこう奥が深いな。

夏休み一日目。趣味プロジェクトを触った。自然言語処理めいたことをやったんだけど、これは正規表現でやるべきではない問題を正規表現でやってしまっている気がする。まあ後で改善すればいいや。

最近は「アンナチュラル」を観ています。なんかこう、演出過剰というか、ご都合主義的というか、わざとらしさみたいなのがたまに鼻につくと感じるけど、全体的には魅力的なお話だと思う。続きが気になる。

寝ます。明日もコード書きたい。タイマー機能とかかな。

ねむい。仕事はrails書いてた。ActiveRecordのmodelに自動で「更新したユーザー」を設定する仕組みがほしくていろいろやっていたのだけど、どうもいまいち所望のものが手に入らない。メソッド呼び出し元のフレームくらいrubyならすぐ手に入るだろうと思っていたのだけど案外そうでもなかったらしい。深入りするのもアレなので妥協を考えた方がよさそうだ。まあそのうち。
rspecに怒られた場所を直したらrubocopに怒られるの、人間の尊厳について考える瞬間。

夜は趣味プロジェクトを触った。ViewModelのテストとか書いた。明日は自然言語処理の闇に首を突っ込もうと思う。「時刻を表現する文字列」なんてざっくりした集合なんだろう！

さて、明日から六連休です。別にどこに行くわけでもないけれど。本を読みたいな。

眠い。とても眠い。あと暑いんだよね。最近暑いけど、なんかあったの？

仕事はSSMのログの整備とかしてた。SSM自身もログをCloudWatchに送る機能があるはずなんだけど、Dockerコンテナ内で実行した特定のコマンドが原因となって？それ以降のログが送られない問題があるようだったので使うのをやめた。かわりにDocker側のログドライバでCloudWatchに送る。
あとは別案件のサーバーサイドの調査をしていた。負荷対策として以前行われた設定変更が実は有効になっておらず、しかし誰も気づいていなかったということがわかった。改めて負荷対策を依頼されたから調査してわかったんだけど、これもう一回何もせずにやったことにしたらどうなるかな（しません）。

今日は眠くて散々な１日だった。寝よう

昨晩はひさびさに飲酒したせいかちょっと飲みすぎたらしく、今日はわりと終わっていた。終わっていたというほどではないが具合が良くなかった。やはりお酒は減らしていくのがいい。頭を使うことがたくさんあるのだし。

仕事はAWS CDKをいろいろいじっていた。SSMを使ってEC2インスタンスへの特定の操作だけを許可することができた、と思う。便利だ。素晴らしい。

夜は趣味プロジェクトをやった。アクティビティインジケータのデザインを調整していたんだけど、なかなかうまくいかない。伸縮する円弧を描いているのだがどうも不自然になる。まああまり深入りするべき時期でもないし、一旦このくらいで先に進もう。あとコメントに画像を添付する機能もつけた。このあたりはまだ全体的に荒削りだがとりあえず動く。このあとはもうすこしデザインを詰めたらよいかなと思う。
閲覧機能とコメント機能がついたから、基本機能はかなり充実したと言えるだろう。編集機能の実装まで今着手すべきなのか、基本機能のUIをもうすこしまともにするのが先なのかはよくわからない。テンションの上がる方をやろうと思う。それはそれとしてそろそろ実データがあってもいい気はするし、本番環境もあってもいいかもしれない。ほんとかよ。

今夜は進捗があったのでもう寝ようかな。本も読みたいし。

月曜日だけど祝日なのでお休み。午後に少し出かけて近頃話題のyogiboを見に行く。まあ、悪くないが、そんなに話題にするほどのものかはよくわからない。しかしまあ、買う気がする。あるといいので。

夜は電脳コイルの続きを観た。やはりすごくいい。なんというか、真剣にジュブナイルをやろうという気概をすごく感じるんだよね。本筋とあんまり関係ないギャグ回とかにも。これ小学生くらいで直撃したらどんな感じになるんだろう。

人類はAIに支配されるみたいなことを時々すごく恐れるけど、僕は最近、それよりも「社会」に支配されることを心配した方がいいのではないかと思っている。最近の人は何かと「社会的責任」みたいなことを称揚したがる気がするけど、それは「社会」に言わされてるのでは？とよく思うのだ。少なくとも他人の社会的責任について説教するのは何かおかしい気がする。こういうのはnaïveな感覚として排除されていくのだろうけど、はたして、それは「誰に」排除されるのか。「社会」の力学、「社会」の自己保存本能ではないのか。それは僕の意志ではないし、善でもないのではないか。たとえばAIが人間を価値によって選別するのとどう違うのか。

午前中は趣味プロジェクト触ってた。何したんだっけ。画像アップロードにプログレスインジケータをつけたんだっけ。まあ正直このデザインが優れているのかはよくわからないけど、そういうのはあとで考えればいいさ。とにかく動くものを作らないと何にもならない。
思えばこのプロジェクトも足かけ１年近くになるみたいだ。こんなにやる気が続くとは思わなかった。きっと精神的に健康なんだろう。いいことだ。

午後は妻と妻の友人と会った。もんじゃ焼きの店に行ったら隣のテーブルでマッチングアプリで知り合ったらしき男女が話していた。初めて見かけたので思わず聞き耳を立てていたが、普通に良い雰囲気だったように思われた。だから何という話だけど、インターネットではマッチングアプリについて碌な話を聞かないから、なんとなく少し安心する。
あとは浅草寺でおみくじを引いた（寺に賽銭箱やおみくじがあるのって普通じゃなくない？）。大吉だった。昔から妙におみくじ運がある気がするが、みんなこんなもんなのかもしれない。

夜は「プロメア」を観た。格好いい映像。格好いいのだが、お話には少し物足りなさがあった。いや、物足りないというのも違うのだけど、なんかこう、前半で設定がド直球で差別と正義の難しさの話だと思っちゃったから、結局その難しさにはあまり立ち入らなかったのがもやもやするというか。やらないなら描かなきゃいいのにという気はする。でも格好よかった。しかし僕には僕の好みの悪役像や研究者像があるなと思った（これはわりとよく思う。しかし何かが書かれることはない）。

明日もお休み。またコード書きたいのと、少し出かける予定。部屋の掃除とかもしないと。

今日はわりと一日中趣味プロジェクトに時間を使っていた。コメント入力フォームの実装を始めている。UITableViewの中にUITextFieldを置いたり、キーボードの表示に合わせてスクロール位置を調整したりしているが、なかなか難しい。難しいというかややこしい。それなりに動いてはいるが、まだがたぴししている。しかしこれは一旦これで進めよう。次は画像アップロード。アップロード部分については試作してあるので、アップロードした後のUIのことを考えなくてはいけない。プログレス表示もエラー表示も必要だ。

明日はちょっと出かける、予定。しかしせっかく調子が出ているのでコードを書く時間を長めにとりたい気もする。