0505
相変わらずエラーハンドリングで悩んでいる。結局、エラー発生箇所でログを取るのは書きづらいし忘れやすいが、エラーレスポンスを作るときにログを取るとSpanとの紐付けが失われてしまうジレンマは回避できない。ChatGPTに相談したらこれは両方でエラーログを取りつつ適宜UUIDなどで重複をフィルタできるようにするなどを提案されたが、それもそれで大変そうだなと思っている。うーん。なんか自分で作ったほうが良いのか？
微分形式についてすこし学んでいるが、結局手を動かしてないのでサッパリである。今年の後半はひさびさに数学に取り組むのもいいかもしれない。まあ微分形式をやりたい動機はどちらかというと物理学だけど。
寝ます。もう連休も終わり。（先週も2日休んでいるとはいえ）4連休しかなかったから、なんか全然ゴールデンウィークって感じではなかったな。