テータ定数の変換公式や不変式論から出発して、 そこから現れる数学について議論します。 符号理論やモジュラ形式の話題がでてきます。