夢を見た。 電車から降りて改札を出ようとしたら出られない。Pasmo をタッチするたびになんか変なエラーメッセージが出る。「たとえ乗務員といえども(文字化け)」と出たり。乗務員じゃないのに。駅員に申告したところ、めちゃくちゃ長い申請書を埋めろと言われた。複数の紙がテープで繋がってて荷物のタグみたいだ。一番上だけ埋めると、これはPasmoの払い戻し手続きになるらしい。一番上以外の紙は無関係の申請書に見える。これ大丈夫か? 書いていたら知り合いが来て、なんか対応しながら書いていたらいつの間にか申請書がどこかに行方不明に。
coturn の prometheus メトリクスを見たいなと思ったけどこれは大変そうだ。ソースからビルドしないといけないのだけど、必要な外部ライブラリがメンテされてなくてビルドが通らないみたいに見える。 zenn.dev/mixi/article... > ディストリビューションのリポジトリからだと Prometheus 対応していないので、対応したビルドを作りたいので、ソースからビルドしています。 続く
忘れてしまったものがたくさんある。Coq も Z3 も一度触って難しいケースに挑戦したくらいで忘れていている。KoKa は一度読んだくらいしかないな。TLA+も。
golang の channel , 無神経に扱うとリソースリークなどの罠があって、ベストプラクティスがあったと思うんだけど... 一回しか触らなかったのですっかり忘れてしまった。しかも数年前なのでおそらくベストプラクティスそのものが変化している。
健康診断の視力検査、なぜか環が二重に見えて見辛く、右目は一度視力0.5になった。再度測定して0.9だったのでそれにしたけど、それでよかったのだろうか。 検査の際にも申し出たけど、「乱視ですか? あいにく乱視の検査はできないです」みたいな返事だった。乱視だと診断されたことはなく、そのときはむしろ機械の設定不備とかなんじゃないかと考えていた。 調べると普通に乱視の疑いありというページがたくさん出てくる。今まで症状がなかったとしても、ひょっとすると老眼が出てきて目の状態が変わっているのかもしれない。
週末は運動会なので、振替休日のお出かけ案をみている。運動会の後なら運動の少なめのほうがよさそうだとか、科博はもう見た特別展をまだやってるので良くないとか。しかしそもそも週末の天気予報が微妙な感じに....
昨日は子供の習い事中に必須メールを仕上げようと喫茶店で頑張ったのに1時間でやっと1通。
すごく肩が痛いのなんでだろう。 多分、寝ているときに子供二人が両側から挟んできて、腕を下ろす場所がなくなって腕を頭の上とか顔の上に上げた状態で寝てたとかかな。