いろいろ休み中にドラフトを埋めようとしたが、４０ページにしかならない。 会社の期末報告書ならば、簡単に計１００ページ書けるのになぜ？？firefoxからなぜかはてなDiaryにアクセスできなくなりました。Safariからはできます。 なぜ？なぜ？ プロパティφ…

少しづつ進んでいるが、後退しているかも。縦・横チェーンの結果の連動性？の説明が、口述的であったのをどうにか形式化 しようと試みた。合成結果R0の動作が、明らかに連動するSpecの動作にtrace containmentされること を示めせば、良いだろう（ほんとうか…

どうも休みは朝一番で、マックに行かないとやる気が出ない。環境のせいだろうか？家の机をきれいにしても、同じだし。なんだろうね。魔の机か。やったこと ちょっとReactive Systemsを読んだ 再帰的HLMの解について、最大の解、最小の解をもとめたい理由がわ…

休みなのですが、実家に帰ったりとなかなかすすみまません。 とにかく、これまで、雰囲気・気分だったところを、文章におとしていかなければいけません。これは骨が折れる仕事で、のらないと出来ない。 書かれてない箇所の補強 プロセス代数、プロパティ記述…

案内がきた、１０月３日しめきりだ。それまでに、ドラフトがまとまるかなあ。無理だなあ。 でもできるところまでやろう、会社の報告書は平気で１００pageかけるのだから。うまらないことはない。でもWordに慣れちゃったなあ。

久しぶりに、みなおす。最近 Acetoのamazon:Reactive Systemsにはまっていて CCSってどうやって実装されていたっけということCCS case study Maude2.0をつかって遷移ルールがかかれている 再帰方程式を素直にrewriteするととまらないのでfrozen指示子をつか…

久しぶりの打合せ。とりあえず。IPSJで指摘された問題点を解決すべき大枠をつくって望む。とりあえず、予備審査に進むことにする。予備審査というのは、ほぼ本論文ができてないといけないそうだから、とにかく今あるものをまとめるか。社内技術報告２つ分ぐ…

通信をenforceする再帰変数同士の並行結合( )は 通信に失敗する組合せを展開時に逐次に変換して消してゆく になった項は、展開をさかのぼってを伝播して消してゆく を消しながら展開方向に対して逆進する伝播Fは、項の集合に対しては単調 最大展開された項の…