>>386
microlocal analysisの創始者は溝畑