FC2ブログ

df-pn

こんばんは。しばらくの間、コンピュータ将棋の話題を積極的に書いていこうと思います。大学の研究室で参加する世界コンピュータ将棋選手権も近いですしね。(自分は当日行くかどうかわかりませんが…)

ということで、わけあってdf-pnに関係する論文を読んでいるのですがなかなか理解できません。証明数・反証数といった用語の意味をネットで調べようとしても、サイトによって定義がバラバラだったり。うーむ。

4月17日追記。ちょっとずつわかってきました。参考にしたサイトをメモしておきます。

  • http://d.hatena.ne.jp/GMA0BN/20090520/1242825044

  • http://www.logos.ic.i.u-tokyo.ac.jp/~h-ishii/master_presentation.ppt

  • http://www.is.titech.ac.jp/~kishi/pdf_file/kishi_phd_thesis.pdf


  • あとはアマ4段を超える―コンピュータ将棋の進歩〈4〉アマ4段を超える―コンピュータ将棋の進歩〈4〉アマ4段を超える―コンピュータ将棋の進歩〈4〉あまなつAdhover アマ4段を超える―コンピュータ将棋の進歩〈4〉を読んでみたいですね。研究室で買ってもらおう。

    投票お願いします♪
    スポンサーサイト



    comment

    管理者にだけメッセージを送る

    個人的なリンク



    九州Gブログ
    九州Gのブログが出来ました。会合の案内・報告などを行う予定です。

    ミニ作品集
    御笑覧ください→ ミニ作品集

    やっくんのほーむぺーじ
    掲示板

    読書記録
    2006年に読んだ本
    2007年に読んだ本

    おすすめ詰将棋作品集
    ゆめまぼろし百番
    ゆめまぼろし百番

    駒場和男さんの作品集です。
    短評を書かせていただきました。

    最新の記事
    最近のコメント
    最近のトラックバック
    過去の記事
    カテゴリー
    リンク
    ブログ検索
    RSSリンクの表示