名古屋大学大学院・情報学研究科・数理情報学専攻 小野研究室