関数解析なんて応用との相性抜群でメジャーもメジャーな気がするが