>>610
指数に着目するのも対数をとって考えるのも本質的には同じことだが
　　a[n] = 2^(b[n])
とおけば，与えられた漸化式より
　　2^(b[n+1]) = 2^(n - b[n])
　　　∴　b[n+1] = n - b[n]