証明、行き詰り

先週からトライしている証明は、まだまだ分からず。
反例のようなものができたときに数値実験で確認しているが、反例ではないことが解ってしまう。

やはり、3x3以上の半正定値行列をいかに手軽に扱うか、がポイントになってくるようだ。

今日の作業内容：証明の続き 3h
今日のランチ：シッダルータ ベジタブルカレー
明日の予測作業時間：5h