keywords: 型判定