詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト
将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出
月間20万稼ぐ！ブログを書く“神ツール”をドンッと紹介
今月は20万いくぞぉぉぉぉ！ というわけで僕がブログを書く時に使用しているツールを 全部っ！！ ご紹介したいと思います。 だって僕が作ったツールじゃないから、、、隠すなんてセコいマネはしない！ ぜひおすすめして作者さんに還元してもらいたいです。 僕が、「稼げて且つ、皆様に役立つ記事」を必死に考えるために利用しているツールです。WEBサービスからフリーソフト、iPhoneアプリまで！ ぜひ、ぜひ参考にして下さいっ 現在のブログの基本を見直すツール 自分のサイトがスパム判定されていないか？ Google スパムサイトチェック [browser-shot width="400" url="http://carpediemsolutions.com/blog/2009/11/google-%E3%82%B9%E3%83%91%E3%83%A0%E3%82%B5%E3%82%A4%E3%83%88%
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
プログラムを動かす時にメモリがどのように割り当て・解放されるのかをめちゃくちゃわかりやすいイメージ画像で解説してくれるサイト「Memory Allocation」
