多変数の保型形式はいま皆が一生懸命研究しているが、無限変数の保型形式は夢のまた夢なのだろうか