死のロード

家族サービスウイークに、D論を進めようとかんがえましたが。なんと「研究ノート」を忘れてしまって、まずは大きくざせつ。

とはいっても記憶とはてなDiaryをもとに再構築します。横チェーンの進捗状況までフォローアップして終了、あとは目次を見直しました。

横チェーンのほうは、前回みつけたらしい新横チェーン制約\psi_{new}は、どうも緩すぎて、ある許せない状況を許容してしまうという欠点がありました、これについて考えて、

\psi_{old}\le \psi_{OW} \le \psi_{newnew} \le \psi_{new}

らしきところまで考えつきました(\psi_{newnew}は新たに編み出した真の横チェーン制約

あとははてなDairyが外出先でちゃんと動かず、記録にとれません、b-mobileでは使えない？？

  • \psi_{newnew}の形式化
  • \psi_{old}と\psi_{newnew}の関係の整理

を行えば収束の予定、９月末までにD論間に合うのか？？