ACPとCCS

研究 主テーマ

連休で家族を送り出し、ぼちぼちやってます。それにしても、この日記は
Chrome+モバイル環境では、なぜかまともに記事を書くことができません、しょうがないからFireFox復活。IE8いれたろか。

やったこと

  • ACPでの順序制約\psiや\nabla演算について、CCSのそれを補足するかたちで追加
  • これに続くところ（合成結果の実装の章）を修正

やるべきこと

あと思いついたToDO

  • \nabla演算の例で、あまり自明でないもの（不動点演算がいきるやつ）を用意すること
  • なんか断片的な考察の集合体になりつつありますが、統一感をもってつなげる、微修正すること。
  • HML(Hennessy Milner logic)の説明を付録のCCSの説明に追加すること。
  • 後半部の薄さをどうにかする案を考えること
  • あとは誤字とか、説明がしてないところの修正。簡素化が本当はよい