数理・情報系研究集会 @ 東京工業大学