(Translated by https://www.hiragana.jp/)
Functional Analysis Feb 2020