RIMS Conference "Differential Equations and Exact WKB Analysis" (2007 Kyoto, Japan)