作業メモ

予備審査から進んだところは\psi^n_{a_i\rightarrow b_j制約の精査だったので考察と修正

  • nを決めるのが重要
    • 検証の手間や実装でバッファ長をどれだけにすればよいかを考えるため
  • nは他の制約とからめると決まる場合がある(横、縦チェーン)
  • 具体的にnを追い詰めることを横・縦チェーンでやってみた

というのが大きな差分だった気がします、のでこの辺をうまくアピールする構造にせねば

というわけで少し修正したところで時間切れ、昨日は一日中修正している予定だったのに、家族サービス割り込み(予定外)が入って撃滅、本日もこれから運転手出撃。

終わるんかいな。