O先生より連絡あり、リサーチレポートはJAIST図書館に登録され 別刷り20部を自宅に送付したとのこと。ということで終了。ついでに来年のESSに出してはいかがとのオッファー有り。ESSも もうネタ切れかい！

リサーチレポートの発行番号の催促すると連絡がきた、いまから作業を開始しする ということ。ついては表紙のフォーマットが少し異なるとのこと。。10月3日にあと１週間で出来ると連絡があって以来、放置プレイ。 まあ２ヶ月でないだけましなのか、でもフォロ…

直前まで、修正が入ってなんとか投稿。第3者からみた視点ということと 英語の修正で、指導してもらってます。結果がわかるのは3月上旬。当面は、論文誌投稿の検討です。今回のDAC内容（いわゆるPart1)をまとめるですね。 Part2はまた別途ということで。

深夜に送信さるるを確認する。いつもどおり、校正というより、書き直し。 比較して良いところを盛り込もうとする→大体先生の表現の方が良い→いちいち何を反映するかどうかの判断がだるくなる→とりあえず全取っ替えしてそれを編集するという方針にする→そのま…

さすがに〆切が近いので、ドラフト３版送付ついでの催促メールを出すと、 今日見ますという返事があった。まあ今日メールして正解。 早く出して、塩漬けにしてたこちらも悪いな。。大学の英文校閲サービス 利用すれば良かったな。。。後からみると、Abstract…

ドラフト２版に合わせて、研究メモも修正。だいぶすっきりしてきました。 ついでに、先生にも送る。 離散時間ACPに変更 関連研究追加 加算合成事例追加、DAシンポでは略していた基本的な合成例 あまり自明でない合成例 まあ関連研究追加が差分として一番大き…

今日はすすみません、Process代数とtree automataの関係を整理したりAlureの論文をちゃんとよまないといけません。

前回指摘事項を直して、ドラフト２を作成した。2カラム6ページは広くて、追いきれません。 MSCを紹介したいのか、合成の形式化を紹介したいのか、どっちつかずの感じがします。DAシンポに比べれば、離散時間を導入して、長年の懸案事項であった、FSMとイベン…