型の互換性(Type Compatibility)