「2024」预备研究生mem-形式逻辑强化：入选名额