数学的な厳密性を考えると、tの定義範囲は重要だ