QOPとSNL

今日は、SDPARA の論文は、微調整だけで終了。
SDPARA のソースは、Change Log を作って、公開用の tar+gz にしたあと、ちゃんと make できるか確認したので、これで OK。

他の仕事をこなしたあとで、QOP,SNL について勉強。
いまひとつ解からないところがあって、「だいたいこんなことが解かるはず」というイメージを数学の言葉できちんと書き直す。これが、思っていたよりも時間がかかって、これで今日は終了。

明日は、今日定義したところで、数学的にどうなっているかを確認する。
特に、等式条件を示すときに、自明な一方向の逆方向を示すときに、これまでの内容が使えるかどうかを検討してみる。


今日のBGM: FF9 OST [1-4]
今日のランチ: 食堂 MIX セット