http://see.stanford.edu/see/lecturelist.aspx?coll=348ca38a-3a6d-4052-937d-cb017338d7b1の講義 2 の 59:47 では、黒板に最後の数式が表示されます。
$\bigtriangledown_A tr ABA^TC = CAB + C^TAB^T ... (1)$
その上 (黒板の真ん中) には次のようなものがあります。
$\bigtriangledown_A tr AB = B^T ... (2) $
(2) を (1) に適用し、(2) の $B$ を (1) の左側の $BA^TC$ に置き換えると、
$\bigtriangledown_A tr ABA^TC = \bigtriangledown_A tr A(BA^TC) = (BA^TC)^T = C^TAB^T$
(1)の用語$CAB$
が欠落している。
何か案は?