証明に失敗

楕円のところで考えていたときに、

ベクトル a,b, 正定値行列 M,N が a^T M a <= 1, b^T N b <= 1 を満たすならば、
(a^T N a) (b^T M b) <= 1 が成り立つ

かと思って、いろいろと式を検討してみた。
しかし、うまく証明できず、あとで検討しなおしたら反例があることが解かった。

あとは、SDPA の論文の校正に必要な表を作ったりなどした。

今日の作業内容：証明失敗 2h + 表作り 3h
今日のランチ： らく うな重
明日の予測作業時間：6h