>>366 これaがπの無理数倍のとき正しいの？
{sin(a*n}} が区間[-1,1]で稠密なのは正しいハズだけど
{sin(a*2^n)} も稠密とほんとにいえる？