>>406
>行列変数行列値関数の微分
は定義されていない概念だから定義してくれないと答えようがない。

例えば、 F(X) が X = A で微分可能であるとは、 X = A の近辺で
F (X) ≒ F (A) + B(X - A) と近似され、 B を微分係数というとか何とか・・・