$DEXE は今日、ポンプを動かします