Tの制約条件にintって書くならそのままintって書けばいいんじゃないのかと