IPSJへの投稿の結果「条件付き採録」となった、査読者コメントの主なものは以下のとおり 計算時間に関する言及(アルゴリズムの複雑さへの言及ということ) 演算は、まあ単なるかけ算にすぎないはなし 充足性計算は、最小不動点を求める演算なのでこれは既知…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。