縮めても64page。もうどうしようもありません。というところで、外部審査委員の先生よりコメントがかえってくる。なんて律儀な。 充足性演算における非決定性の取り扱い 連動性の計算のところのロジックの不全 タイポ等 の指摘。ありがたい、最初の非決定性…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。