先ほどのコード修正は、さっくりChatGPT Pro (Codex CLI)でやりました。さくさく。