数理・情報系研究集会 @ 京都大学