ここは保型形式関連の話をするスレッドです。