>>447
どうやってtをsの同値類中から選ぶの?