坂上貴之教授「2020年度日本応用数理学会論文賞(応用部門)」受賞