小谷眞一 俣野博 微分方程式と固有関数展開 - メルカリ