IPSJへの投稿の結果「条件付き採録」となった、査読者コメントの主なものは以下のとおり 計算時間に関する言及（アルゴリズムの複雑さへの言及ということ） 演算は、まあ単なるかけ算にすぎないはなし 充足性計算は、最小不動点を求める演算なのでこれは既知…

どうももやもやしているところは以下 順序制約演算(演算)をかける話とチャネル挿入の話の整理 順序制約を充たすような、（最大の）全体の遷移系を求めるためにを適用するというところまではOK.でも実際は遷移系としては、並行に動作する、LTSとして実現され…

あと充足性計算って、普通の遷移系の形式化ではなににあたる？trace containment?全てのMのトレースをψに射影したものは、ψに受理される模倣性とtrace containmentは関係し、模倣性はGameで計算できるから、充足性がgameで計算できるのは、自明だったりする…

４月末には、投稿論文の結果が判明するけども、それまでなにもしないわけにはいかない。4/初が6月卒業申請でしたから、9月卒業申請は7月初、論文投稿の可否は判定していますが D論をまとめるのに必要な部分を整備しなくては、4-5月に進捗報告する、別の投稿…