All by myself df-pn読んだ本や指将棋・詰将棋について書いてます。倶楽部24は最高2700点くらい。平成20年度看寿賞（長編賞）を受賞。詰パラ大学院の担当やってました。 こんばんは。しばらくの間、コンピュータ将棋の話題を積極的に書いていこうと思います。大学の研究室で参加する世界コンピュータ将棋選手権も近いですしね。（自分は当日行くかどうかわかりませんが…） ということで、わけあってdf-pnに関係する論文を読んでいるのですがなかなか理解できません。証明数・反証数といった用語の意味をネットで調べようとしても、サイトによって定義がバラバラだったり。うーむ。 ４月１７日追記。ちょっとずつわかってきました。参考にしたサイトをメモしておきます。 http://d.hatena.ne.jp/GMA0BN/20090520/1242825044 http://www.logos.ic.i.u-tokyo.ac.jp/~h-i
