大学院情報学研究科 数理情報学専攻 数理情報モデル論 特任准教授