楕円曲線とモジュラー形式の双方の計算理論について,保型性による性質の伝搬をヒントとした高速計算理論について,幾つかの成果を得た.楕円曲線側では,主として代数体上の特定の楕円曲線の族を高速に得るためのアルゴリズムの改良を行ったほか,与えられた導手(conductor)をもつ楕円曲線の逆引きアルゴリズムの効率化を得た.一方モジュラー形式側では,主として楕円モジュラー形式の高速計算理論の精密化と,これに伴う Hecke 体の効率的な計算を進めた.また本研究で得られた成果・実装を援用し,楕円曲線暗号(ペアリング暗号)の研究においても成果を与えた.
|