@Taketo Sano 僕の数学知識ではよくわかりませんが、 Swift for TensorFlow で可微分多様体をプロトコルで表して、接ベクトル空間を AST で扱う PR だそうです。 Swift for TensorFlow は Swift コンパイラを改造するプロジェクトなので、自動微分関連のコンパイラ側の改造と、それを活用したプロトコルの導入かと思います。 https://github.com/apple/swift/pull/19626 (edited)

[AutoDiff] Support general differentiable manifolds and move tange...

Three things in this patch: Support general differentiable manifolds in differentiation API through a new Differentiable protocol. This enables user-define matrix types and differentiation of qua...

8:34 AM

https://twitter.com/rxwei/status/1046652722164854785

Richard Wei (@rxwei)

General differentiable manifolds are now supported by Swift's AutoDiff. A niche use case is to write a function of type (OrthogonalMatrix) -> T and get a gradient of type (OrthogonalMatrix) -> SkewSymmetricMatrix. https://t.co/XQiM2uN9kX