年末は移動してる時間が長く、資格系と積本消化に回りそう。例年、本の角だけ丸めて終わる。
手を動かすとしたら
- 昨今のWeb Driverまわり
- Scala 3, 日常のツールをいくつか
- 形式手法、自作モデル検査編（放置）。使う方として、LLMでAlloy書いてた方が居たな。生成してくれるんだろうか
- Effective Rust（低）