>>974
それって「s(i)=t(i)となるiが1つ以上存在するか」というだけのように思えるけど、違うかな?