On the exact WKB analysis for operators admitting infinitely many phases (微分方程式の漸近解析と超局所解析)