任意の実数αに対して、x>0の範囲で関数x^αが定義される
らしい