andante

昨夜からずっと元気がないが、今日もあまり元気がなかったので寝ていた。夕方まで寝たら幾分か元気が出たが、何だったのやら。特に体調を崩したという感じでもないのだが。ああでもリングフィットを数日ぶりにやったらすぐに疲れてしまった。やはり本調子ではないのかも。

子供の素朴な疑問が大人をたじろがせる、みたいなものについて考えていた。「1+1=2なのはなぜ」とか「人を殺してはいけないのはなぜ」というような。このような「問い」のほとんどは擬問題というか、単に文法上は疑問文になっていても特段意味が定義されていない、問うている本人も何を問うているのかよくわかっていない文で、だから必ずしもそれにたじろぐ大人の無知とかを示すわけではないと思うのだけど、そのように解釈する人がけっこういる印象がある。
思うに、大人のほとんども、「自分は賢い」という場所から降りたいと思っているのだ。「そういえばよく考えてみるとなんにもわかってなかったな」と言うことの気楽さに溺れたいと思っているから、タイミングを見計らってはその冠を譲り渡そうとしているのだろう。そのくせ、所詮は子供の言うことと、別に相手にするわけでもなく。

Rustの勉強を少し進めた。wasmについては特に使うつもりはないので手を動かしはしなかったが、icedによるGUIプログラミングは一応やった。まあ今もしGUIのツールを作ることがあるとして、自分しか使わないならば素直にSwiftでやるだろうけど。
マクロについてもいま読んでいる。きちんと構文解析のつくマクロというのは僕の経験した言語だとelixirにあるくらいだろうか。経験したったって本を一冊読んだくらいだけど。こういうの、面白いなとは思うけども、いまいち使い途を思いつけない。でも例えばicedによるviewの構成とか、マクロを使ってDSLを定義すればもっと使いやすくなるのではないか。公式にあるかもしれないけど。

そろそろ歯車本も終わりなんだけど、そしたらfour-foursに取り組もうかな。そのあとはこのblogのリニューアルをやりたい。

寝る。

日曜日。ゆっくり起きて歯車本を読み終えた。自転車本と被ることがもっと多いと思っていたが、わりと補完するような内容だったように思う。新しいし。

あとはfour-foursの移植というか再実装を始めた。思ったより順調だが思ったより躓く。今のところ、メモ化再帰を書くのが難しくて困っている。でも今考えたら動きそうなアイデアを思いついた。&mut selfを取る一番外側の関数と、&selfを取る再帰関数に分けて、再帰関数はメモを引数に取り回せばいいんじゃないか。だめかもしれないが。ライフタイムが推論できないから指定することになりそう。
ボローチェッカーの気持ちはまだ追いつくのに時間がかかるなと感じる（それでもずいぶんわかるようになってきたと思う）。

あと妻が職場で任されたらしいスプレッドシートの制作を手伝った。スプレッドシートの条件付き書式ってコピペすると増殖するんですね。それは……　あまり運用上好ましくない気もする……（しかし回避する方法があまりなさそうだ）。
スプレッドシートもまた、きちんと設計される必要のあるものであるはずなのだが、あまりスプレッドシート・アーキテクトみたいな役割を目にすることはない。あんなに自由度が高いのに、それでは空飛ぶ自動車みたいに事故ばかり起きてしまうだろうなと思った。

なんだかあまり休んだ気のしない週末だった。明日もまた就業規則関連の確認をしないといけないだろうし、そういえば２月はあと１週間なのでオンボーディングの準備もしないとだめだろう。
最近ちょっと忙しすぎる。というか張り切りすぎているなと感じる。また減速しないと身が持たないような気がするが、そういうのを意図的に行って成功したためしがない。まあ、来月上旬あたりを過ぎればひと息つけるだろうとは思うけれど……。一度メンタルの調子を崩してしまうと、一生こういう不安と一緒に生きなければいけないのだなと思う。それは、誰かへの思い遣りにもなるかもしれないけれど、ちょっと辛い。

誕生日を祝うくらいには、結婚記念日を祝うべきなんだろう、と思う結婚記念日。記念日？まあ、誕生日を祝うくらいには祝うべきなんだろう。１年。

仕事は午前が全部雑務で終わる。雑務というか就業規則の改定チェックなんだけど。雑務ではないよな。雑務だと思われている節があり、チェック依頼がメチャメチャなスケジュールで来るのでさすがに抗議した。内容面のツッコミもかなりリソースを割いて書いたけど。一応信任投票で選ばれている立場としては、あんまり雑にOKは出せない。

それはそれとして今日はなんだか久々に本業に時間を使えた気がする。一時間くらいだけど。最近自分であまり成果を出せていなくて焦ってた部分があるけど、時間をちゃんと取れればまだやれることを確認できたのでよかった。まあ、まだ稀有だろう。

明日はなんか休みです。そう、疲れているのか、今週が４営業日しかないことはずっとわかっていたのに明日が祝日であることには夕方まで気づいていなかった。なんこ得したような、別にそうでもないような。というかこれからしばらくは結婚記念日の翌日は天皇誕生日なんだな。考えたことなかった。去年は日曜日で振替休日になったからだろうか。

公衆電話って、僕の世代はまだわりと使ったことあると思うけど、何年か下になるともう使ったことはなくて、実物もあまり見たこともなく、駅にある公衆電話用のスペースから公衆電話が撤去されたスペースくらいしか見たことないのかもしれない。きっと彼らには公衆電話が当たり前の世界はスチームパンクのように見えるだろう。人と人とが話すために、壁からケーブルで繋がれた機械が必要な世界って、どんなだろう？　そういう想像力の対象になりつつあるのではないか。ふとそんなことを思った。やはり電話線が縦横に張り巡らされた廊下などが格好いいんだろうか。それはまあ、普通に格好いいな。

なんだか現実味のないというか、降って湧いたという感じの休日。rustでfour-foursを書いていた。一応動いたが、メモ化は一旦諦めることにした。値で取り回せるならともかく、参照で渡さなければならないメモ化再帰は所有権の問題を解決するのが厳しすぎる。どこが問題になっているかまではなんとか理解できたので、自分の成長を感じるが、どうやって迂回すればいいのかはまだわからない。'staticにキャッシュを用意するとかすればいいのか？でもそういうことをするとマルチスレッド化したとき問題を生じそうな気がする。まあ今回はたぶんそこまで高速化に寄与しないので諦めてよいとは思う。

で、rayonを使って並列計算するところも書いてみたのだけど、なんか遅い。なんでかな。計算以外の部分ですごく時間を食っているということなのだろうけど。素直にpar_iterしたあとでfoldとreduceするのではだめなんだろうか。じゃあmutexする？スレッドセーフなHashMapってあるのかな。そもそもこれってHashMapである必要あるのか？（メモリ効率のためには必要だと思うけども）

なんだか胃もたれがひどくて食欲が出ない。昨日それほど飲んだというわけでもないのだけどな。なんだろう。しかし一日しかない休日ってのはあまり嬉しくないな。中一日の登板のしんどさのほうが勝る。

朝８時から会議があって、就業規則改訂案について質疑応答をした。全体としては指摘した不備や要望が結構通ったという感じで満足があるが、そもそも僕がこうして細かく指摘するのが最善だったのかは自信が持てない。

労働者代表としての振る舞いのバランスがまだよくわからない。労使関係というものには長い歴史があるのだろうとは思うけれど、僕はあまり知らない。一応知識としては持っていることもあるから、労働者の権利は最大限守られるようにしたいが、そもそもそこに本業以上にリソースを割くのは本末転倒だし、僕が独りで闘ってもそれに護られたい人などいないのかもしれない。単なる不備を過剰に責めたくはないが、慣習だからと押し切られるのも避けたい。そういうことを最大限実現するにはどういうバランスをとればいいのか、もう少し時間を掛ければわかるのかもしれないけれど、やはり時間を掛けたくない。僕は結局いつもバランス感覚の問題ということにしようとするな。バランス感覚にもバランス感覚がいる。

本業は今日もそれほど進まず。とはいえ肩の荷が下りたので先週末よりはましだった。ここから予定通りに時間を取れればなんとかなるのではと思うが、予定通りに時間を取れたことなんかないよなとも思う。最近仕事のこの手のままならなさがどんどん増大しているような気がする。コアタイムは全部会議になっちゃうしな。コアタイム外に会議を極力入れないようにしたらコアタイムが会議で終わる問題、もう少し考えたほうがいいのかもしれない。

加速度センサーが常に下向きに9.8を示しているのを、「常識」と言われると少し反感を抱く。僕もiPhoneの加速度センサーを使ったことはあって、ああこれ重力かあとは思ったけれど、よく考えると重力が加速度センサーに検知されているのは自明なことではないと思う。なにしろ我々から見るとセンサーは加速していない。「重力加速度」というのは、重力に引かれている物体の加速度のことだというのが高校物理までの説明だと思うのだけど、それが静止して見えるセンサーの検知する加速度だということには直ちにはならないのではないか。結局のところ（たいていの）加速度センサーは力を検知しているのだ、という話を挟まない限りは。それに、力を検知する以外の方法で加速度を測定することもできるのではないかと思うが、その場合は重力の影響は受けないのではないかと思う（知らないけど）。

そのあたりのことをすっ飛ばして「常識」みたいにするのは、それはほんとにちゃんと考えたの？とか、いくらなんでも相手を馬鹿にしているだけでは？という気がしてしまう。「科学を振りかざす」みたいな表現には噛みつくのに、単に人を馬鹿にして「科学がわかってない」と言ってしまうというのは、ちょっと賛同しかねる。科学を名乗るときのそういう「感じの悪さ」もまた、批判していくべきではないか。

さて寝ます。残業時間が制限ギリギリになってきたので明日は少し遊んでから出勤するつもり。余裕ないんだけどな。

最近肩が凝る日が多い。ストレスが多いのだろう。

そういえば昨夜書いた加速度センサの話だけども、いろいろ調べると力を測定する以外の方法で加速度を測定するのは難しそう。等価原理があるので局所的には重力と系の加速を区別できないが、それが効かなくなるサイズでなら区別できるはずで、よく考えればなんらかの仕組みは作れそうだけど、少なくともあまり実用的ではないだろう。光などを使うともう少し洗練された方法があるのではないかと思ったのだが、これは最終的には重力波望遠鏡になるだろう、とTwitterの人に指摘されて、そうだなと思った。

残業時間が制限を超えそうだったので仕事の前に少しrustで遊んだ。並列計算すると遅くなる問題についていろいろいじった結果、虚無の待ち時間が発生することはなくなったのだけれども、最終的な実行時間は特に改善しなかったのでがっかり。なんだろうな、待ってるわけじゃないなら、何が遅いんだ？というかほんとにあれはただ待ってるだけだったのか？プロファイラの不具合だったりするのか？

仕事は今日も忙しかった。採用のための資料を作ったり座談会的なことをした。座談会、そんなに興味深い話は出てこなかったなと思う。まあ他のメンバーが弊社に来た理由とかを聞くのは楽しいけど。

眠いので寝ましょう。そういえば小説のアイデアをすこし書きとめたけど、これはストーリーというものが存在しそうもない。脚本術みたいな本を探すべきだろう。それはそれとして、書きたいこと自体はけっこうちゃんと存在するのだなと思った。

なんか仕事してたら急に軽いめまいに襲われてしまい、不安感からか一気に調子を崩してしまったので早退して休んだ。特に具体的な具合の悪さがあるという感じではないのだけど、なんとなく元気が出ない。肩こりというか背中の凝りがひどいので、そのせいなのかなと思うけど、心配だな。

こういうのは心配しすぎなのかもしれないけれど、そろそろ普通に人が死に始める年頃なのでけっこう不安になってしまう。痛い死に方はしたくない。現代医学の力で半端に助かってしまうのも怖い。ウーン、連休で元気になるといいのだが。

弊社はかなり常識的な遵法精神を持っているので月の残業は20hまでと決められているのだけど、これを超えて残業できる人はとても元気なんだなと思う。僕は今月かなり残業したほうだけどこの基準内だし、それでもこんなに疲れてしまっているというのに。過労死ラインが遥か遠くに見える。

ともあれ週末。月曜日からは３月で、中途採用の人の案内をしたりするだろう。リモートでのオンボーディングは初めてだが、そういえばオンボーディング自体やったことなかった。ふーむ。

元気ないので一日ボンヤリしてました。どこか痛いとかではなく、単に元気が出ない。背中の筋肉はまだ緊張したまま。ウーン、これはメンタルなのかなあ？嫌だ……。

このblogのリライト計画について考えています。とりあえずRustで。フロントエンドをSPAにするのがいいのかどうなのか悩んでいます。React覚えてきたし、それでやるのも悪くはないが、普通にテンプレートエンジンもあるわけだし素直にその通りにやってもいいかもしれない。まあでもフロントエンドとバックエンドは疎結合にしといたほうがいいような気もする。yewを使うなんて手もある。

あと過去post検索システムとの連携みたいなことも考えうる。というかこれもリライトしたいよな。今この日記には全文検索がないけどつけたいし、Twitterのpostとの串刺し検索もしたいから、なんか統合することを考えてもいい。それはマイクロサービス？的な感じなのかもしれないけど。その辺は調べていく。