>>774
Uはxの関数なのか?