J( τ ) , J( 2τ )

a

= -f2( τ )^24/2^4

として

J( τ )

= 2^8( a-1 )^3/a

b

= a/2^4

= -f2( τ )^24/2^8

として

J( 2τ )

= 2^8( 1-b )^3/b^2

⇒

J( ( -1+√-11 )/2 )

= ( -2^5 )^3

= -2^15

J( √-11 )

= 1122662367.132 ・・・