id:henjin1go:20080924の悩みを１ヶ月もたってもまだひきづってます。 プロパティφとモデルＭとモデルＭに対する操作Opに関して、Op(M)がφを満たすかどうかを充足性として、φを満たすようなＯｐを見つける問題にまたぶつかった。 ぐるぐるぐるぐるまわって、…

Gameにも色々ある 整理した。 当面プロセス代数の充足性はGameで説明で行きましょいIpod touch入力は辛い

予備審査が１２月１４日に決まったから、草稿はその２Ｗ前、２８日が閉めきりか。 すこし、伸びたが、焼け石に水か。。 最近は、シナリオ形式化部分を強化中。プロセス代数における充足性をGameと interface automataを混ぜて説明しているところを、整理する…

いろいろLatexのバージョンの違いの罠とか落ちましたが、60Pぐらいにはなりそうふと履修ガイドをみると、予備審査願いでは、願いの１枚の紙を提出するだけだった。。というわけで、論文草稿の送付には、１ヶ月の猶予があることがわかりました。といっても、…