夏ゼミがあと１Ｗに迫ったので、問い合わせると。忙しそうなので、発表は頼まなかったとの連絡 今度は会社の同期の発表もあるらしい。まあゆっくり行きましょう。まだまだＩＰＳＪの査読リベンジに手間取っている。まだ明かりがあるのが心のよりどころ。

連休を明けましたが、8/10から12ページ進みましたが進展はそんなにない 縦チェーン、横チェーンの制約システム対応がなんか間違っていた Opeの交換性は、なんか木構造?で説明はできるが、、、 シナリオ合成でプロトコル（縦・横）の挿入に順序性はないのは、…

どうも、整理しているが、近くのＭＡＣに行けばはかどるが、どうも今ある仕組みの形式化の 枠をでていないのが、つまらないところだ。もともと「形式化」というところでつまらなさ１００％だったのに、無い物ねだりなのは わかっている 制約からがかかるパタ…

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

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

いろいろあったが、ぼちぼち復活。すでに延長決定、とりかえしができるのか？できないのか？ まずは目次を、。 なぜか失われた工程表を修正印刷、もう簡単に修正できないほどのずれなのね。。。

随分ご無沙汰しているが、停滞してます。すこし１時間時間をつくって考察。 検証関係へ広げてあと１本は必要かなあ。

さすがに休み明けに、怒濤のコメントが返ってきた。おおタイポがあるある 穴があったら入りたい。。。怒濤に対応して、どうにか１日前（延長後の締め切り）にセーフ。いつも ばたばたです。最後の詰めが甘いんだよなあー。ところで、骨子の締め切りも９日な…