公聴会までに

研究 主テーマ

直さなければ行けない項目

  • ACP,CCS,ACP_drtの絵と関係の説明
  • Acp_drtのチャネルのルールと例の修正
  • COMの導入
  • \psi_{a_i\rightarrow b_j}の詳しい説明
  • \nabla_{NG}と\nabla_{OW}の修正
  • \nablaのルール
  • CWBによる充足性検証
  • CWBによる連動性の検証(can_livelock)の説明
  • 横チェーン検証の修正
  • 縦チェーン検証の修正
  • InsertBrWと\nablaの同等性の説明
  • シナリオマージでABTが出てくるあたりの説明

というわけで、最低１２項目あります。土曜２回分＋平日半端時間で修正できるのだろうか？