なんだっけ。仕事仕事。仕事はAWS盆栽にようやく終わりが見えてきて、あとちょっとで実際の開発に入っていけそうになってきたと思う。来月いっぱいでできるのか？それはわからん……。
そういえば会社の部門プロミスについて考える会に参加した。なんかこういうの、どうでもいいなあとかつては思っていたのだが、前職でいろいろあった結果、それなりに重要なものだと認識するようになって、結果こうして関わりを持ちに行っているの、ウケるなと思う。
夜は数学を少しやった。ついにミンコフスキー空間が出てきたり、添字がμνになったりで相対論っぽくなってきた。いいね。何が？
寝ます。寝る前に少し本を読むかと思ったが。
最近朝からわりと暑くなってきて、早めに目が覚めることが多くなってきた。早めに目が覚めたからって眠くなくなるわけではない。難儀な身体だ。
仕事は考えごとが多かった。簡単にフロントエンドを試作して、想定していた流れが実現できそうなことを確かめた。なるほどね。サポートの人に問い合わせてこれで本当に大丈夫か確認しているが、おそらくこのまま進めるだろう。いやはや、難産だった。あとはこれを適切なインフラに載せる方法の話で、これは別途議論が必要だろう。
夜はなんか「天気の子」を観た。やはりこれは素晴らしい、いや、とんでもない作品だと思う。僕の知る限り、この作品だけが、世界にとってsignificantな知識を述べている。世界とはこういうものだと歌っている。世界とはこういうものだと信じることの難しさを語っている。
妻は新海誠が最近やたらとRADWIMPSを使うのを気に入らないようだが、個人的にはこの作品には合っていると思う。なんというか、彼らの歌声の切実さみたいなものが、僕自身がこの作品に重ねる自分自身の問題意識の切実さと共鳴するような気がするのだ。だって世界の真のありかたについて語っているんだぜ？そのくらいそれは切実なことであるはずじゃないか。
そういえば数学の本は3章が終わった。4章は特殊相対性理論の数理。このところいささか退屈な定義と正当化ばかりだったが、ここからしばらくは物理学になるだろうか。
寝ます。
今日はけっこう眠かった。仕事は相変わらず半分くらいが調整で、まあ調整って何やってんのという話だけども、仕様を詰めたり確認したりレビューをしたりしている。本当にこれは僕しかやる人おらんのけ？とも思うが、まあ目下人手不足なのはそうだし、前職でもなんだかんだこんな感じだったような気もする。いや、そうだっけ？リリースサイクルが違うから比較はできないか。今はタスク自体の工数に比べて確認の頻度が高いので非効率感はあるな。
夜はキーボード試作三号機のためのトッププレートの図面を描いていた。それらしいものができたので明日は発注できるのではないかと思う。が、それよりアクリルプレートの厚さは案外自由度がないので困ったなと思っている。別の素材を考えるべきか。それこそアルミとか。
試作三号機がもしつつがなく動いたら、そしたら次はどうなるだろう。いよいよ本番の基板を設計するか。でもケースはどうしよう。そのくらいならまだ3Dプリンタで出せなくはないだろうか。その先は加工業者を探さなくてはなるまいが。
寝よ
仕事の前にキーボードのはんだ付け2枚目をした。昨日のより上手くできた、ような気もするが、たぶん大差ないだろう。やれやれ。こういうの、実装までやってもらうほうがいいのだろうか。高いだろうけど。でもゆくゆくはRP Pico全部を載せずにRP2040だけで済ませてコンパクト化を図ることもあるかもしれない。そうなったらさすがに手では無理だろう。いや、そうなったらトースターで焼いたりするのか？
仕事はいろいろ議論。なんかここまで独りで考えてたけど同僚に相談したらけっこう形が変わりそうで、初めからそうしておけばよかった感ある。まあでも最初の時点で相談していたら僕の知識不足であんまり話についていけなかった可能性もある。そういう意味ではちょうどいい塩梅だったのかもしれず。
夜は2枚の基板をシリアル接続して分離キーボードにするのを試していた。凡ミスですこし躓いていたが問題なく動作したのでよかった。通信部分はもっと上手くやりたいと思っているが今はこれでいいだろう。となると試作三号機の基板が届くまでは一旦やることないな。いや、アクリル板の発注があるか。
さて、寝ます。
朝起きてウキウキしながらはんだ付けをし、午後にはなんとか静電容量スイッチが動いた！ チャタリング対策とかはしていないし、いろいろ固定できていないのでこのままでは実用に堪えないが、とりあえず原理的にはこれで問題ないはずだ。ほっとした。試作三号機の基板を発注した。あとはプレートもアクリル加工を依頼するとかしなくてはなるまい。楽しみだ。
夜は本を読みながらゆるキャンを観たりした。いい日曜日だった。
TwitterのようなSNSには、言語的な語りしか存在しない。語られなかったものは存在しない。存在するものはすべて語られている。そういう場所で道徳について言及することは難しいなと感じる。
道徳規範というものは、本質的に一貫していることを要求されているから、少なくとも言語的に語られたことは一貫していなければ道徳的だとは評価され得ない。一方で、道徳に従うというのは、本来とても個人的な、私的なことであるように思う。誰もが常に完全に道徳的に振る舞うというのは、間違いなく不可能だし、そもそもそんなことは期待されていなかったであろう。誰もがまあまあの道徳性で暮らしをやっており、でも時々はこっそりズルをして、嘘をついて、そしてそのことをやましく思って生きていたであろう。言語化され、公的なものである道徳規範と、個人の私的な道徳的振る舞いとの間にはそういう緊張関係があるものだと僕は考える。
SNSはその私的な側面を消してしまう。仮に私的な部分を表現しようとしたとしても、語られた時点でそれは公共的なものであり、一貫性の力学に捕らえられる。そうなればもう、「時々はこっそりズルをする」ことは許されない。ダブルスタンダードだからだ（あるいは、ダブルスタンダードとなるようなスタンダードを立てなくてはならなくなる）。その結果としてSNS上の人格には2つの選択肢が現れる。技巧によってダブルスタンダードを解きほぐし一貫した規範を復活させるか、批判者を全員ブロックするかだ。後者は言うまでもないが、前者もあまり正気の態度だとは思えない部分がある。そのようにアドホックに作られた規範に本当に従うということが可能なのか、あるいはそれはさらなる技巧による増築の無限連鎖ではないのか。そもそもそのような規範を発明するのが本当に目指されるべきことだったのか。個人的にはまったくそうは思わない。
結局、SNS上で正気を保ちながら道徳について言及する方法はないと考えている。黙ってやるしかないのだ。語りだけが存在するSNS上ではなく、実際の道徳的対立、調停が発生する現実の場において、道徳的に振る舞ったり、こっそりズルをしたり、良心の呵責を感じたり、謝ったり赦したりすればいいのだ。なんかこう、現実へ帰れみたいな話になって嫌だな。しかし、今はこういうことを考えている。
昼前に起き、ちょっとキーボードのパーツを追加で注文して、それから数学の勉強をした。まあなんかわりと直感的には明らかな事柄のちゃんとした証明を追うみたいなのが続いており、ちょっと退屈。でも一方で、なんかこう、それを手に馴染ませていくのは、どこか心が洗われるというか、無我の境地に至れるような清々しい感じもあり、無心に証明を書き下していくのはけっこう楽しかったりもする。
夜は「シン・ウルトラマン」を観た。世代的なものなのかウルトラマンはまったく観ずに育ったので、ほぼ初めて見るウルトラマン。なんかでも、うーん、いいところはいっぱいあったのだが、すごくよかったとはあまり思わなかった。シン・ゴジラのほうがずっといい。
いくつか考えるところはあって、まず結局のところ僕はデカい宇宙人が地球を助けにくるというテーマにあまりノれないところがあるというのと、あとデカい宇宙人という存在が、シン・ゴジラで描かれたようなお役所的リアリズムと食い合わせが悪いというのがある気がする。そういうのを今作でも多少やっているのだけど、どうも半端というか、結局圧倒的な力を持つ宇宙人が続々来訪する中で日本政府はただ翻弄されるしかなく、かといってコメディに振るわけでもなく、どうにも据わりが悪かったなと思う。
あと、まあ尺に対してウルトラマン的お約束（なんだと思う）を詰め込みすぎたのとか、そのあたりも消化不良というか、無理してやらんでもという感じになってしまった。これでは「庵野がウルトラマンを撮った」のではなく、「庵野がウルトラマンを撮ったときにありがちなこと」ではないか、そう感じた（まあ庵野氏がどの程度関与しているのかはよく知らないけど）。
一方でよかったこともあって、夜の東京での戦闘はとてもよかったし、まあ細かく観ればいいシーンはいろいろあったなと思う。あと、みんな言っていたが、これはエヴァンゲリオンだな。エヴァンゲリオンがウルトラマンなのかもしれないが。思った以上にそうだった。
なんか妙に感想を書いてしまった。まあ、でも、どんな感想であれ、感想を書きたくさせる作品は、いい作品なんだと個人的には思う。
さて。発注していた基板が届いたので明日ははんだ付けをします。上手くできるかなあ。
今朝は比較的よく目が覚めた気がする。やはり昨夜すこし早く寝たことと関係があるのか。認めたくないが、夜更かしすると眠いのだろうか。本当に？僕が？
仕事はレビューしたり依頼したり調査したり。うーん、ストレージを管理したくないなあという気持ちはあるが、それでも持っておくとずいぶん話が楽になる。ただエラーハンドリングは複雑になるな。うーん。
夜は数学をした。テンソルの添字の上げ下げを定義した。ベクトル空間はその双対空間と計量同型だから、計量を保存する変換で互いに移り合うことができて（？）、だから自由に添字を上げ下げしてもいい、のだろうか。
寝ます。明日はウルトラマンの映画を観ます。
最近朝がつらいわあ。って毎日言ってる気がするわあ。
仕事はなんか調整が多かった。調整というか依頼とかか。レビューも。こういう日は自分で手を動かす時間は全然残らない。まあなんか、それで何が悪いのかという気も最近ちょっとしてきた。それが求められることならそれをやればいい。ただ現状の仕事は全然終わらないという話はある。
夜は数学をやりつつ「映像研には手を出すな！」のアニメを観た。僕が観るのは2度目だけど（リアルタイムでも観た）。熱く、美しきフィクションだ。
今日は比較的早めに床についた。床？ベッドだが。そういえばなぜ髪を切る場所は床屋なのだろう。
また三角関数不要論が盛り上がっている。三角関数なんて高校数学の中ではかなり普通に役立つ部類なのにこうして槍玉に挙がるのは、要するに三角関数がナメられてるからなのだろうと思う。三角関数、みんな嫌いだったでしょ？と思われている。
僕より若い人々が無学になっていくとその分だけ僕の相対的価値が上がり高齢になっても闘える確率が上がる。しかし若い人々が無学になっていく国はおそらく衰退していくだろう。そうなると僕の暮らしも楽ではなくなる。そういう短期的メリットと長期的デメリット、短期的メリットだけを享受してデメリットのほうは逃げ切れないか、そういうことを考えるような年頃になった。もう30代、少なくない人々から見れば僕もまた「既得権益を手に逃げ切る側」なのだ。
h.b. > f.
仕事は調べごと。決済まわりのフローを詰めていたのだけど、話の具体性が高まってくるにつれて全然考慮が足りてなかったことがわかってきたので焦っていた。まあ、今から軌道修正すれば何とかなるだろう。少なくとも理解は前進している。落ち着いてやろう。
「ていねいにやれば大丈夫だよ」そう囁く天才少女の声を僕はまだ思い出せるはずだ。
寝ます。
なんか今週は疲れているな。まだ火曜日か……と思いながら過ごしていた。妻が午後休だったのでお昼に天丼を食べた。実は天丼って初めて食べたかもしれない。
仕事は考えごとをしていた。まあ考えごとは毎日しているけれど、今日はちょっと考慮漏れが見つかったりしたので急いで考えたりした。こういうピリッとしたイベントもたまにあるといいですね。よくはないな。
夜はひさびさに数学の勉強をした。ノートによると三ヶ月ぶりだ。なぜこんなに空いてしまったかというと自キ関連であれこれしていたからだったりするのだが。そしてそれが終わったわけではないのだけれど、たまにはこうやってかまどに火を入れておかないと、そのまま忘れてしまってはあまりにももったいない。
三ヶ月ぶりのわりには案外忘れていなかった。キマジメに写経している御利益なのかもしれない。まあテンソルの定義をそんな簡単に忘れてたまるかという気はする。
寝ます。なんか今日はおなかがいたいや。