ユークリッド微分可能

public protocol EuclideanDifferentiable : Differentiable

ユークリッド空間で微分可能な型。この型はベクトル空間を表すことも、ベクトル空間と他の微分不可能なコンポーネントで構成されることもあります。

数学的には、これは微分可能なベクトル空間と任意の多様体で構成される積多様体を表し、積多様体全体の接束はベクトル空間成分に等しい。

この抽象化は、微分可能なベクトル プロパティと導関数を持たない他の格納されたプロパティの両方を含む一般的な微分可能なデータ構造を表すのに役立ちます。

struct Perceptron: @memberwise EuclideanDifferentiable {
    var weight: SIMD16<Float>
    var bias: Float
    @noDerivative var useBias: Bool
}

注記

型がそのベクトル空間成分に関してのみ微分可能であり、そのTangentVectorそのベクトル空間成分と等しい場合、型をEuclideanDifferentiableに準拠させます。