本記事は競プロ Advent Calendar 2023，第 22 日目の記事として書かれました．※「競プロアドベントカレンダー、公開されてからしばらく立つけど、まだ空いてるところがいっぱいあるなぁ…それならぼくなんかが書いた記事でものせてみていいよね？どうせ空いて…