取りあえずは合格、コメント等は大きく分けると以下の通り、 ロジカルな深さを追求するか、ツールをつくるか？ ロジカルな深さはそんなに見込みはない、CCSを拡張しているわけでもなんでもなく、マクロ程度である だから考え方を整理したというレベルなので…

いちおうスライドは８割がたできたところで、外部審査員をお願いしていた 産総研の先生からD論草稿にコメントがかえってきた 関係の意味定義の曖昧さ CCSの拡張部分がなんかおかしい そのた書き間違え、言い間違え多数指摘 あとはCSPならこんなに素直に書け…

同じプロセス代数だと油断していたのですが、２つのプロセス代数の流派を使い分ける 理由と正しさが訴求できません。通信同期を伴わない同時実行を、ＡＣＰは含む、ＣＣＳは含まないということなのですが。これもあまり本質的ではない気がします。問題なのは…

どうも用意されている時間が２時間で、半分発表としても１時間のプレゼンを準備 しなくてはいけないことを発見。。この前、同期生のＤ論審査会にでたときの雰囲気ですね。ということでページを倍増せねば。beamerを使ってますが、とてもwordyになるので、Pow…