東工大数学 2023 洞口 依子 裸