とりあえず書こう。今日はMAC→図書館。IPSJのリベンジ構想をねって、久しぶりにtexファイルを開けたら頭が真っ白に、、、いかん。出力モードになってない。 どうも離散プロセス代数のところでやり残しているところが多々ある。 シナリオ合成だけで、おなかい…

★主なレビューワの指摘事項 シナリオ動作でなくて、「動作シナリオ」を定義すること シナリオ図をプロセス代数で定式化 シナリオ合成の入力の明確化 各種定義の厳密化 ★作戦 動作シナリオは、演算を用いた、順序制約システムとして形式化 シナリオ合成 シナ…