普通は推論しか使わないでしょ