スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

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のブログが出来ました。会合の案内・報告などを行う予定です。

    ミニ作品集
    御笑覧ください→ ミニ作品集
    ※事情によりしばらく非公開にします

    あじゃ盤
    作ってみました
    (powerd by あじゃ盤)

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

    人気blogランキング
    ランキングに参加しています。1日1票お願い致します!
    人気blogランキングへ

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

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

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

    最新の記事
    最近のコメント
    最近のトラックバック
    過去の記事
    カテゴリー
    リンク
    ブログ検索
    RSSリンクの表示
    上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。