解析学2(作用素環論、関数解析)(泉 正己) 研究室|京都大学 理学部 理学科|研究室口コミアプリ「ラボログ」