OpenAPI Generatorとの格闘がひと段落付いた。二度とやりたくねえ。

mustacheで使える変数の情報もJavaの側で使える機能の情報もまるでドキュメントが整備されておらず、既にある他のジェネレータを参考にするほかない。

あと本当に苦痛だったのが試行錯誤にかかる時間の長さ。ジェネレータを自作する上ではJavaのコードとmustacheテンプレートをちまちまいじっていくことになるが、いちいちmvn clean packageしないとmustacheの更新も反映されないのはどういう訳なんだ？設定次第でどうにかできると思うのだがやり方が分からない。

---

今日解いた競プロの問題。

066 Various Arrays: 期待値の独立性が適用できる。i,jおよびそれについての$a_i$,$a_j$を全通り調べればよい。$O(N^2 \max (R_i – L_i)^2)$。たぶん$a_i>a_j$なる値の組み合わせの数はちゃんと数学すれば$O(1)$でも求められるとは思うが、面倒なのでやらなかった。

067 Base 8 to 9: 愚直にやるだけとしか。8^20は数値としてみたときに64ビットに収まるかだけ心配だったが、ちゃんと収まりそうだった。そういうところで困らせようとしてきたりはしないらしい。

---

今日摂取したコンテンツ。

普通に技術ネタ記事として面白かった。技術的な解説をちゃんとやってて引き込まれたし、据える目標が分かりやすいバカネタという感じで良いし、「真面目にバカなことをやる」記事として一級品だと思う。

---

昨日腹筋ローラーをやったのが効いているのか、多少腹に違和感がある。伸ばそうとすると少しつっぱってじんじんとくる感じ。分かりやすく筋肉痛という感じではないが何かしら負荷は与えられたのだろう。

分かりやすい筋肉痛という意味では現在腕や脚の方がアレなのだが。(腕は腹筋ローラーの影響、脚はスクワットやジョギングの影響)

---

サークルでちょっとした飲み会が開催された。なかなか楽しかった。

(自分の周りは比較的マシだったが)結構騒いでいたので、まああの中に感染症持ちがいたら感染しておかしくなかったろうなと思う。申し訳程度に外出や接触を控えめにしておこう。