型境界を定義する