来月6月24日に開催される「#AgentOlympiad（エージェントオリンピア … 続きを読む 来月の#AgentOlympiad より先に現行イベントが競技化している件。