関数解析学・作用素環論(植田 好道) 研究室|名古屋大学 理学部 数理学科|研究室口コミアプリ「ラボログ」