andante

昼前に起きて、おおむねボンヤリしていた。妻にまた少しPythonを教えた。VSCodeからJupyterを動かすとかなり体験が良い。あとグラフ描画はmatplotlibで四苦八苦する時代ではなくseabornでラップするのが今様らしいのでそうした。楽しいですね。

夜はほこらんさんとビールを飲んだりした。BTTFには全部あるんだよという話をした。

帰ってきたら開票速報をやっていたので観た。奈良県で自民党の候補に当確が出ていたのだけど、それはすなわち一昨日の銃撃の時すぐ隣にいた人ということで、その人に当時の状況なんか聞くのやめなよと思った。まず普通にトラウマだと思うし、そういうのは、テレビで話すにはあまりにプライヴェトなことではないだろうかと思う。すくなくとも今は。

規則には誤解の余地がある場合がある。というよりすべての規則はどこかで完全に厳密とは言えない境地を持つ。しかしヴィトゲンシュタインは、それで問題ないのだと言う。それはあくまで道標であって、その道標をたどる実践において誤解が生じそうになったとき初めてそれが不完全だったと言えばよい。規則が「完全に厳密」ではないからといって、直ちにその規則が不完全だという必要はない。（そして現にあらゆる規則はそのように機能している）
自由意志もそういうものではないか。自由意志があるとかないとか、それは実践を離れてどうこう言うようなことではなく、現に自由意志が妨害されているという場面でのみ自由意志のなさを問題にすればよい。そのような場面が究極的に想像できるからという理由で、現に自由だと感じられていることを無視して自由意志を否定する必要はない。
このアナロジーをもう少し精密に考えてみる必要があるかもしれない。

寝ます。また夜更かししてしまった。明日はまた仕事だ。

昼前に起きてカルボナーラを作って食べた。僕にはカルボナーラの才能があると思う。無論実際には単にレシピに忠実に従うのが得意というだけなのだろうが。いや、そもそも得意なのかもわからない（しかしまあ、レシピに従わない才能がある人はいる、というのはなんとなく知ってはいる）。

何かしら有意義な活動をしようと思っていたのだけど、昼寝をしていたら終わった。夜はBTTFのPart2を観た。1と3に比べて印象が薄い（2015年シーン以外は）のだけど、終盤の展開とかはすごくいいなと思う。別の時間からのタイムトラベラーが複数動いてるのとか、過去に飛んだ相手から実時間経由でメッセージが届くのとか。来週のPart3も楽しみ。

あと妻が仕事で使うかもということらしいのでPythonを教えた。Python自体はそれなりに使ったことはあるけど、pandasを触るのは実は（たぶん）初めてだったので、僕もいろいろググりながら教えた。pandasね、前職で使っていた同僚は細かい挙動でけっこう苛立っていた印象があるけど、とりあえずCSV読み込むだけならサッとできてパッと計算できたのでよかった。

寝ます

会議の多い日だった。進捗はあまりない。会議というものは何度やっても慣れない。終わるたびに「なんとか乗り切ったな」という疲労感がある。

仕事をしていたら安倍元首相が銃撃されたという報せが入った。結局亡くなってしまったらしい。僕は氏の首相在任期間の大半では参政権を行使することを自分に課していなかったから、氏の政治について何か判断できるとは考えていないけれども、ネットミームとしてはかなり頻繁に目にしたし、在任期間の長さゆえに親しまれた人物だったのだと思う。僕としてもやはり見慣れた顔の人がこんな形で亡くなってしまうのはそれだけで十分にショッキングなことだ。悲しいのだと思う。

さあて土日だ。発注した基板はまだ届いてないし、読書に時間を使おうかな。ほんとか？

sa sa no ha sa-la sala.

なんだっけ。API仕様を書いてた。今日もいろいろ検討をして、すこし前進できたかなと思うけど、道はまだまだ遠い。大規模案件は、いつだって必要な考慮は不足していて、対応は後手後手で、お終いには後悔ばかりなのだ。でも、最善を尽くさねば。

夜はゲームをした。「西暦2236年」TRUE ENDクリアした。すっごい好きというわけでもないけど結構よかった。ノベルゲームらしい語り。
僕にとっての面白い物語の原体験としてノベルゲームの形式は大きなウェイトを占めている。こういう作品をプレイすると、やはり作ってみたいなと感じてしまう。僕も、こういう語りが好きだった。だから自分でもそうしてみたい。

寝よ寝よ。明日はなんか会議ばかりだ。ばたばた。

仕事の前にオンライン診療を受けた。少し待ち時間があったのでオンライン待ち時間だった。まあでも家で待てるなら暇にならなくていい。仕事に行くのはすこし遅くなったが。

仕事はなんかGoでAWSいじるのに終始していた。これ本番ではterraform化されるものを開発用に無理矢理AWS SDKで作ってるんだと思うとなんか無駄な感じがある。野良IaCじゃん。
ともあれLocalStack上にLambda関数をデプロイしてSQSから動かすところはできた。あとは呼び出す先がちゃんとしていてくれれば……　まあそれを考えるのは未来の僕なのだけど。そろそろ仕様を考えはじめるか。

夜はすこしゲームをした。なんかこう、きっと興味深いのだろうと思うが、まだ仕掛けがわかっていない。

寝るます。最近カスタムキャストをひさびさに起動してかわいい女の子を盆栽して遊んでいる。そろそろ僕にも美少女アバターが必要だと思ってたんだよね。

日記の書き出しが曜日の話になってばかりいると、よほど日常に面白味がないのかなという感じで我ながら不安になる。まあ、特筆すべきようなことは何も考えてはいない。

仕事はGo書いたりリリースしたり。リリースしたらCPU使用率が跳ね上がって焦って切り戻したり。まあ焦るやつだが、ちゃんとアラートが飛んで適切に対応できたと思うと悪くなかったな。いつもこうだと助かるのだが。
Go書くやつはSQSにメッセージを投げるところまで。明日はここからLambdaを起こす予定。

寝ます。

月曜日。

仕事終わった後で歯医者に行った。今度はとれた銀歯を持っていくのを忘れなかった。虫歯にはなってないということなので削ったりはせずそのままつけなおした。ここの先生はなかなか削りたがらないらしい。
ちょっと面白いシャツを着ていったら「ラーメンズとか好き？」って訊かれた。そりゃもう。

夜はテレビを観たりゲームをしたりした。最近また数学が滞っているな。やらないと。

寝ます。

にちようび。昼前に起きて、玉ねぎとツナのパスタを作った。これも比較的簡単だからレパートリーに加えようかしら。玉ねぎがいるけど。

キーボードケースの設計を終わらせて3Dプリントを発注した。トッププレートも。なんかでも、あまりちゃんと考えていなかったのだけど、ネジで留めるには厚さが足りない気がするので、マウント方法を考え直すことになるかもしれない。ガスケットマウントに寄せていくのがいいのかな。その場合は何らかのクッション材を探さないといけない。

「宝石の国」既刊を読み終わった。なんかこう、Twitterの人の感想とか見てるともっと地獄みたいな話なのかなと思ったけど、僕には地獄の感受性がないのかそうでもないなと思った。

寝よ寝よ。そういえば再来週は三連休。

ねむねむ。昼頃に起きて、ちょっとCADをして、それから先週修理に出したイヤホンを受け取りに行った。なんか右耳側の電力消費が異常なだけだと思っていたのだけど、結局両耳側をなんかしたらしい。まあ、保証期間内なので特に深追いはしていない。

それから期日前投票に行った。ポスター掲示板をしばらく眺めていたら、ほとんどのポスターには掲示責任者と印刷者の名前が書いてあることに気づいた。同じ印刷者になっているポスターが複数枚あったので、たぶん選挙ポスター専門の業者がいるのだろうと思う。もしかするとプロモーションの一部も請け負っているのかもしれない。

夜はテレビでBTTFがやっていたので観た。やはり完成度が高い。時間移動ものの醍醐味が全部ある。もちろんそれは話が逆で、ここでやられたからそれ以後の定番になったという話でもあるのだろうが。

キツネはわりと世界中にいるが、タヌキは基本的に東アジアにしかいない。だからキャラクターグッズの国際展開を考えるとき、タヌキよりはキツネが選ばれる。というか欧米圏ではそもそもタヌキが選択肢に挙がらない。もちろんタヌキを世界中に放つこともできない。だから、タヌキを愛されるキャラクターにしてほしいという想いはグローバル資本主義と食い合わせが悪い。日本国内の市場が先細りであるのなら、はじめから海外市場を意識して作るのは自然なことだ。

それでいいのか？それが本当に正気のことか？

寝よ寝よ。

七月になった。もう夏だ。六月が暑いのは季節外れだと思えるが、七月が暑いのは順当なことだ。言い訳できない。

仕事はわりと会議がち。でもコードも少し書けた。Goのエラーハンドリングは（Goらしく）シンプルなので、どのように使いやすくするかでけっこう迷ったが、おそらくこれがバランス良いだろうと思える感じになった。本当にそうかは知らない。

夜は「輪るピングドラム」（TV版）を観た。いや、少し前から観ていたのが今日で最終話だったということだけど。10年前に観た時は全然わからなくて、今回も何かわかったような気はしないけど、まあ、まあいいじゃないか。映画があるそうですね。総集編に見せかけて新作っぽい？フムン。

寝ます。