Mathpediaの関数解析分野のライターです。