投稿の結果 - henjin1goの日記

IPSJへの投稿の結果「条件付き採録」となった、査読者コメントの主なものは以下のとおり

計算時間に関する言及（アルゴリズムの複雑さへの言及ということ）
- $\nabla$ 演算は、まあ単なるかけ算にすぎないはなし
- 充足性計算は、最小不動点を求める演算なのでこれは既知の筈
- 前者の結果が最大の充足解であることはなにか矛盾しない？？
$\nabla$ 演算と等価性の関係があいまいである
導入しているのは本当にプロセス代数なのか？
- 等価性とかちゃんと考えてやっている？ということ
- どうも $\nabla$ 演算の定義を普通の=で行ったために等価性と区別がつかないという指摘、 $\rel{def}{=}$ とここは書きましょう
- 論文では等価性に関する言及はありませんが、Mに観測等価なNがあるときに $\nabla$ 演算をMに適用しても、射影すればもとのNとの観測等価性が保存されるとか、なんかいわないと治まらないのかな。。
演算の定式化の誤解（上添字に関する誤解）
- ちょっと演算の定義と $\psi$ の対応付けと、演算をLTSで読みかえていいことが、あまりにも説明不足でかいてあるのか。。