『正多面体と素数』の計算をしましょう(7)─正八面体・正二十面体と保型形式
Shironetsu’s GitHub Pages.
shironetsu.github.io