縮めても64page。もうどうしようもありません。
というところで、外部審査委員の先生よりコメントがかえってくる。なんて律儀な。
- 充足性演算における非決定性の取り扱い
- 連動性の計算のところのロジックの不全
- タイポ等
の指摘。ありがたい、最初の非決定性は、2player gameであることをちゃんと説明すれば
よさそうだが、2番目はちょっとまずいかも、3番目は細かくみていただいてありがたい。
外部審査員の先生の選択は正解でしたね。
原稿の修正期間は1週間はないはずだ。
外部審査員の先生のコメントをよく読んで当日に臨もう。