はじめに Dumboです．PJCS2023が終わりましたね．決勝大会の熱い試合の数々には，本当に興奮させられました．世界大会への権利を獲得された方々も，入賞された方々も，本当におめでとうございます！ さて，自分はというと，ご存じの方もおられると思いますが…