なんか10月になってた。10月なので仕事は本業に戻った。プロジェクトをオンプレミスのGitLabからクラウドのGitLab.comに移転させたかったのだけど、どうもMRがインポートされないトラブルに見舞われている。何だろうこれ。場合によってはサポートに連絡か？しかしなあ。
夜は会社の人と飲み会をした。アプリの設計論を議論したかったから開催されたはずだったが、実際は普通に雑談していただけだった。猫を飼ってる人はすぐに猫を自慢したがる、というのは以前から言われていたことだが、ビデオ会議やリモート飲み会ではその傾向がより顕著になるなと思った。個人的には猫の存在よりは猫の概念に関心があるので、個別具体的な猫の動きにはあまり興味を持てないなと思う。
眠い。明日は金曜日らしい。乗り切りたい。
h.b. > κ.
31歳になりました。31はメルセンヌ素数で、おそらく人生で最後のメルセンヌ素数年齢なんですが、僕はメルセンヌ素数の性質をほとんど知らない。素数判定がしやすいらしく最近見つかっている巨大な素数は全部メルセンヌ素数だ。しかし、そのくらいだ。28で二度目の完全数になった時が僕の人生の頂点だったのかもしれない。
仕事はなんか会議ばっかりだった。採用関連の打ち合わせに出たんだけど結果的に全然意義のない時間だった。大人になって何年も経つけど、時折「社会人」が見せるこういう雑さにまだ慣れない。
あとなんか表彰制度？に関する会議をやった。ぶっちゃけどう考えても事業部の誰も乗り気ではないようなことが上層部から降ってくること自体に問題があると言わざるを得ないと思う。なんで我々がこの制度をどうすれば延命できるか考える係をやらなくてはいけないのか。
夜は妻と誕生日を祝った。慣例に従ってジェノベーゼを作り、あと妻がケーキを買ってきてくれたので食べた。31歳の誕生日に一度使われるきりの「３」「１」の形のろうそくのことを想う。
ジェノベーゼは自宅で育てたバジルで作った。僕にもちゃんと毎日草花に水をやるということができるのだなというのは純粋な驚きがある。昔はアサガオを夏休みまでもたせられなかったのに。
あと場の量子論の教科書を復習している。こうしてみるとゲージ理論？としての電磁気学も興味深いなあと思う。高校生の、相対性理論でテンソル形式に多少慣れた僕に紹介してあげたい。そうしたらもう少し先まで進めただろうか。
それにしても、10年経ってまたアハラノフ・ボーム効果の計算をしているのはおもしろいな。お前、10年後も同じ計算してるぞ。
さて、誕生日が終わると十月がやってきます。だから何だという話でもないけれど、今年もラストスパートですね。
最近またなんだかよく眠れていない気がする。しかしその割には日中元気にしている。でも長く続くとやっぱりしんどくなるんだろうな、なんとかしたい。
仕事はレビューしたりパフォーマンスチューニングしたりしていた。Reactのパフォーマンスチューニングの知見があまりないので難儀している。高階関数をメモ化したいと思っているのだが、どうにもうまく動かない。そしてそもそもこの仕組み自体が必要なかった説もあり、じゃあ今日はなにをやっていたんだという気持ちもある。まあプロファイラの使いかたとかも学べたし、今後のことを考えれば意義はあったと言えよう。
場の量子論の教科書を復習している。親切な本なので今のところいろいろ思い出しながらなんとかついて行けているが、まだクライン・ゴルドン方程式の負エネルギー解の話をしたところまでだ。場が出ていない。しかし相対性理論ってのはやっぱりきれいな理論だなと思う。僕はこれに惚れて物理学に傾倒したのだった、そういえば。
現在逆行形の動詞は、時間に対して逆方向に進行する出来事を表現する。具体的には、現在進行形のように「be動詞+動詞逆行形」の形で、ある動作が時間逆行的に行われている途中であることを示す。
さらに、過去進行形・未来進行形のような形で過去逆行形・未来逆行形を作ることもできるが、これらの扱いには注意が必要である。なぜならば、未来逆行形の文は、話者から見れば未来の出来事だが、主語となる人物からは過去にあたるような出来事を表現する場合があるからである。
次のような例を考えてみよ：「彼は未来からやってくる」この文の話者にとって「彼」の来訪は未来の出来事だが、彼にとっては過去の出来事である。このような状況を未来逆行形は適切に表現できるが、訳すときには十分な注意が必要であることは明らかである。
なんだかよく眠れなかったような気がする。でもそんなに眠くはなかったし気のせいかもしれない。iPhoneの睡眠計測機能は中途覚醒すると睡眠ノーカンにするっぽい。
仕事はなんかいろいろしていた。いろいろね。このところやっていたプロジェクトは、他のプロジェクトがちょっと手が空いたときにやっていたのだけど、そろそろ本業のほうが忙しい雰囲気になってきた気がする。やれやれ、今後はこれまでほど積極的にすべてに関与できないが、大丈夫だろうか。ゆっくりやるしかない。
Amazonで買った砥石が届いたので包丁を研いだ。うまくできてるのかはわからないが。明日の朝にベーコンを切ればわかるかもしれない。
五年以上前に買って読んだ場の量子論の教科書の続刊がようやく出たので買ったのが届いた。物理学の教科書なんて何年ぶりだろう。時間のあるときに読めたらと思う。そんなことを言っていると時間なんか永久にないことはもうわかっているのだが、とにかくやりたいことが多すぎる。しかも急いでやらないと飽きてしまうこともわかっているのだ。できるだけ多くを飽きる前に終わらせたいが、どうすればいいのだろう。
寝ます。お腹が痛いなあ。お腹が痛いときは、世界が終わったような気持ちになる。まあ、僕の痛みは世界の痛みなんだから、当然だろう。寝る。
日曜日。のろのろと起きてゲームをした。キャラクターがますます増える。しかしお話は魅力的だ。しかし時系列も複雑になってきておりもう何もはっきりと把握できていない気がする。
それから少し昼寝をして、あと趣味プロジェクトを触った。ちょっと前にがんばって書いたルーティング機構を調整していた。一般に、そのことだけをずっと考えていた時期に全力で書いたコードに手を入れるには、その時の賢さに追いつかなければならなくてとても大変なのだが、今回はテストも書いてあったので案外すんなり改修できた。やはりテストを書くのはよいことだな。これからもどんどんテストを書いていこう。
夜は作り置きをしたのと、夕飯にポークピカタを作って食べた。昨日無印で中ぐらいのバットを買ったので衣をつけるのが楽でよかった。生活はまだまだ便利にできる。
さて週末は終わり。もうすぐ九月も終わってしまうんですね。いまやってるプロジェクトは九月にリリースの予定だったが、まあどう考えても無理なので焦らずゆっくりやりましょう。ゆっくりはやりませんが。
土曜日なので少し散歩したり趣味プロジェクトを触ったりした。長押し中にタップ位置を動かしたときの挙動について考えていたら、昔作ったルーティング機構が不完全であることがわかったのだけど、これを作ったときの僕はずっとこれのことを考えていてその限界でこれを書いたので、手直しするためにそこまで追いつくのが大変。そういうことってあるよね。幸いテストは書いてあるが……。
夜はfに薦められたゲームとかやってた。僕はゲームが苦手なのだけど今のところは楽しんでいる。しかしキャラクターが増えてきたのでそろそろ覚えきれなくなってきた。みんなこういうのすんなりできるの？髪の色とかだいたい同じなのに？
明日もお休み。ゲームしたりコード書いたりしよう。
最近わかってきたんですが、この日記が最近ずっと仕事の話から始まっているのは、前日の晩のことがだんだんすぐに思い出せなくなっているからではないでしょうか。まあ最近日記を書くのがだいたい就寝時だから書くことないという話はありますが。書いたら寝るだけ。
仕事はまたフロントエンドに舞い戻って、こないだ試作していた計算ロジックを繋ぎ込んだ。たぶん正常系しか確認していないけど、とりあえず動きつつある。ただ今度はUI力が足りなくなってしまったので、それはどうしたものか……。来週になったらなんか調べよう。
夜は趣味プロジェクト。CollectionViewのセル削除アニメイションとかやってた。こういうところを丁寧にするの、普段の仕事だとなかなか回避しがちになってしまうのだけど、こうしてゆっくり丁寧に作ればちゃんとできることが確認できたし、今度からどんどんやっていきたいなと思う。もっと精進しなくては。
さて土曜日。ノンビリ生きるぜ。
朝７時に起きる暮らしになって長いけど、以前とどっちがいい暮らしなのかはよくわからない。でも妻が家を出る時刻を考えるともう元には戻せない。
仕事は会議してたら終わった。エンジニアセクションの評価を相談する会。僕は今期はだいぶ頑張ったので「世が世ならCTOですよ」などと謎のアピールをした。まあ実際よく頑張ったと思う。グレード上がるといいな。
僕は大学で物理学を勉強したけど、大学院を中退して以降は全然物理学とは関係ない仕事についたりして離れてしまったから、正直かなりのことを忘れてしまったし具体的な計算とかもなんにもできなくなってしまったのだけど、Twitterとかには物理学の研究者やその周辺の人々とかがいて、時たまそういう話題が流れてくる。僕はそれを見て、ふーん、あの話ね、なんて、わかったような顔をしているが、実際は正直あまりわかっていないことも自覚している。
それなりに時間を費やしたこともあったけど、結局たいして何も残すことはなく、ただそれについて「昔は知っていた」とだけ思わせるような何か。僕にとってそれは物理学だったけど、誰しも一つくらいはそういうものがあるものだろうか、と思う。誰しも時折「昔は知ってたんだけどなあ」と思いながら生きているのだろうか。
でも僕は諦めていないぞ。それなりに時間を費やしたんだ、それが何も残さなかったなんて、まだ諦めてたまるものか。
休み明けがいきなり水曜日だとなんかテンションが狂う。火曜日だとそうでもないけど、水曜日だと普段完全に中日にあるつもりの会議がいきなりあるので、なんかずれる。まあ年にそう何度もあることではないが。
仕事はわりとちまちましたロジックを書いてた。全然進捗なくてびっくりだな。バックエンドがちょっと仕上がったので明日はフロントエンドにまた戻ることになるだろう。忙しい忙しい。
夜は趣味プロジェクトをやっていた。なんだか億劫でなかなか手を出せていなかったレイアウトがいざ書いてみるとそう悪くない感じだったので、微調整はあるがこのままいくことになるだろう。今はとにかく枠組みを完成させなくてはいけない。やるぞ。
寝る寝る。明日はエンジニアの評価を相談する会だった。昇給を売り込む。
四連休の最終日。寝たり起きたりコード書いたりしてた。この連休は意外と進捗があって嬉しい。しかし目標は遠い。あとバックエンドをRailsで書き直す決意を固めた。せっかく会社でまともなノウハウを学んでいるのだから、それを活かすべきだろう。もしかするとGraphQLもやめるかもしれない（全然今回の用件にマッチしないので）。それはさすがにWebフロントエンドへの影響が大きすぎるか？でもそもそもWebフロントエンドはそのうちなくすつもりだし……。まあ落ち着いてよく考えなおそう。
午後はすこし出かけて、ペティナイフを購入した。三徳包丁で困りはしないけど、もっと手軽に取り回せるのがあるといいなと思ったので。しかし食洗機は使えないらしい。うーむ。うーーむという感じだ。砥石も今度買うかも。
幼稚園だか小学校だかの頃に足繁く通っていた１回50円のプラネタリウムが閉館していたと知った。あのころ僕は見所のある少年だった。しかし見所のある少年はやがて小賢しい青年になり偏屈なおじさんになった。こんな残酷な話があるものだろうか。見所のある少年のままでいたかった、たとえそれが幼さだったとしても。
僕はたぶん自由主義者ではないが、しかし自由主義者にはもっと頑張ってもらいたい。僕はおそらくどんなディストピアでも正当化できるが、それが自由主義の不戦敗であってはならないと信じる。止揚というのは、両者が全力で闘わない限り不可能ではないのか。
明日は仕事。やれやれという気持ちもあるが、今はやりたいこともたくさんあるので、悪い気分じゃない。