(√2)^log_2(9)=3 で済む定期