というかxが負の無理数とか超越数でもx^xの値って定義できるんだっけ