型イントロスペクション