サラッと書ける関数解析的な話題を集めています。