珍しく真面目(?)な記事です。 数ヶ月前にエグゼネット対戦の対戦募集や大会運営を行うプラットフォームをIRCからDiscordに移行するにあたって、大会運営を円滑化したいという意図でちょっとしたbotを作ったので、その時の備忘録です。 Discordのbotを作る Di…