藤井聡太王位が解いた「200年前の詰将棋」に残されたナゾ…実は込められた意味があった バン記者・樋口薫リポート：東京新聞 TOKYO Web将棋の藤井聡太王位（22）が今月9日、静岡県牧之原市を訪問した際、市内の旧家で今春見つかった200年以上前の詰将棋（つめしょうぎ）が披露されました。藤井王位が一目で解いてみせたこの詰将棋に、解答とは別の謎が秘められていたことが、その後の調べで分かりました。愛好家が「約20年ぶりの大発見」と興奮し、藤井王位も「気づかなかった」と驚いた、図面に隠された秘密とは―。東京新聞連載「バン記者・樋口薫の棋界見て歩き」の「盤外編」としてお伝えします。（樋口薫）
詰将棋に対するdf-pnアルゴリズムの解説 | コウモリのちょーおんぱ
長手数の詰将棋の探索に用いられるdf-pnアルゴリズムについて、その概要と実用上の課題を解説する。 概要 #詰め将棋において、各局面の平均着手可能数は5.8手程度と言われている1。単純にこれを全探索することを考えると、\(n\) 手詰を解くためには \(5.8^n\) 局面を調べることになる。例えば、現時点で最長の詰将棋であるミクロコスモス（1525手詰）を解くためにはざっくり \(10^{1164}\) 局面を調べることになってしまう。このように、愚直な全探索では長手数の詰将棋を現実的な時間内で解くことはできないことが分かる。 しかし、ある局面が詰むことを示すだけならここまで膨大な探索は必要ない。例えば以下の局面を考える。 この局面の合法手は63金打、53金打など全部で9通りあるが、この局面が詰みであることを示すためには次の手順だけ探索できていればよい。 この探索結果より、玉方がどのよう
詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト
将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出
角換りは終わったのかについて1万文字程度で | やねうら王 公式サイト
先月のゴールデンウィークに行われた第33回世界コンピュータ将棋選手権(WCSC33)で弊やねうら王チームが準優勝したあと(この準優勝は本当に準優勝であって、ビールにおつまみで乾杯するという意味ではない)、角換りという戦型について以下のツイートをした。 角交換と言う戦型が終わった。 1886局面の指し手を覚えるだけで先手側は公開されてる水匠（探索局面数は1億までの任意）に対して評価値+300に出来ることが証明された。 大会で上位のソフトは+300から逆転は97%ぐらいありえないので（手数で引分はある）つまりは将棋AIの世界では角交換の後手は必敗。 — やねうら王 (@yaneuraou) May 8, 2023 この前者のツイートにはインプレッションが172万もあり、Yahooニュースや朝日新聞デジタルなど多くのメディアで取り上げられた。 AIで角換わりが終わった？ 藤井聡太竜王「こちらの立
df-pnアルゴリズムを用いた詰将棋Solverによる最善解・余詰の導出 - すぎゃーんメモ
以前書いた、詰将棋問題生成の続き。 memo.sugyan.com 逆算による詰将棋の問題生成の方法自体は悪くないとして (バグによって有り得ない局面が出来上がったりしてしまったりもしたけど)、正しく詰将棋問題として成立するものが出来上がっているかどうかを検証するためのSolverが必要不可欠であり、これのパフォーマンスが生成のパフォーマンスにも影響してくる、というようなことを書いた。 実際、前回の記事のときに実装したSolverでは 総当たり的に探索するのは3〜5手が限界 詰将棋のルールに則る動きに限定しても、有り得る局面は指数関数的に増加する 合駒が絡む問題に対して正しく解が導けないことがある 先の展開まで読まないと無駄な合駒かどうかの判定ができない といった問題があった。 df-pnアルゴリズムによる探索 2002年の論文「df-pn アルゴリズムの詰将棋を解くプログラムへの応用」が
高速な詰将棋アルゴリズムを完全に理解したい（完成版） - コンピュータ将棋 Qhapaq
Qhapaq アドベント将棋記事10日目 今の詰将棋アルゴリズムで最強と言われているハッシュテーブル+df-pn探索(depth first - proof number)による詰将棋アルゴリズムの完全理解を目指していきます。 参考文献： memo.sugyan.com 【proof numberとは】 proof numberとは平たく言えば詰将棋専用の盤面評価値みたいなものです。通常の盤面評価値と違って、詰み証明のための評価値(pn)と不詰証明のための評価値(dn)があります。pn、dnは「この局面の詰み(proof number)/不詰(disproof number)を証明する為に調べなければならない局面の数」であり、値が小さいほど詰み/不詰に近いという扱いになります。そして、詰み /不詰が証明された局面についてはpn、dnは0になります。局面のpn、dn（厳密には非0のpn、dn
高速なPythonの将棋ライブラリを作る - TadaoYamaokaの開発日記
python-shogiは、Pythonで扱える非常に役立つ将棋ライブラリですが、速度が遅いのが用途によっては欠点になります。 公式サイトにも記述されていますが、速度よりもシンプルに抽象的に扱えることが目的となっています。 しかし、機械学習の用途に使用しようとする速度の遅さがネックになります。 そこでPythonからもできるだけ高速に動作する将棋ライブラリを作成することにしました。 python-shogiの内部では、盤面はビットボードで表現されていますが、Pythonのビット演算は非常に遅くボトルネックとなっています。 ビット演算部分をC++で開発して、Pythonから呼び出せるようにすることで速度の改善が見込まれます。 C++で将棋ライブラリを一から作成するのもロマンがありますが、ほとんど既存のライブラリをまねるだけになるため、C++部分にAperyのソースコードを使用させてもらい、A
最強ソフトの言うことの真逆をやると最弱になるのか検証してみた - コンピュータ将棋 Qhapaq
今や将棋研究のお供の定番である将棋ソフトですが、その裏で初心者の練習相手としても定番になりつつあるようです。駒の動かし方を覚えた人が次にやるべきなのが数練習をすることであり、数をこなす為のモチベーションを維持する際に、無限に遊んでくれてしかも負けてくれる将棋ソフトにニーズがあるようです。 どのぐらいニーズがあるかというと、絶対王者のponanzaさえも弱いソフトを作ることに一石投じる程度にはニーズがあるようです。 将棋ウォーズにある史上最強に弱いPonanzaの話｜山本 一成@Ponanza｜note 曰く、クッソ強いponanzaの評価値を反転すればクッソ弱いソフトが出来る。 成る程。ponanzaが全力で悪くなる局面を探してくれるなら、確かに弱くなりそうだ。しかし私はこの記事を見て「ソフト同士が負けることに全力を尽くした場合、果たしてどのくらいまで弱くなるのか」が気になりました。 ここ
AlphaZero Chess/Shogiの論文を読む - TadaoYamaokaの開発日記
DeepMindからAlphaGo Zeroと同じ方法で、チェスと将棋でトップレベルを上回ったという論文が発表されました。 [1712.01815] Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm ドメイン知識を用いないスクラッチから強化学習のみで達成しています。 将棋やチェスはモンテカルロ木探索(MCTS)は向かず、Mini-Max探索の方が良いというのが常識のようになっていましたが、将棋やチェスでもディープラーニングと組み合わせることでMCTSが有効であることが示されたというのも大きな成果だと思います。 まだ全部読み切れていませんが、気になる個所から読んだ内容を書いていきます。 個人的に一番気になるのは、入力特徴と出力ラベルの表現方法です。 チェスについても書か
史上最年長のプロ棋士 加藤一二三九段の引退決まる | NHKニュース
将棋界で６０年以上、プロ棋士として活躍し、今月、史上最年長の棋士となったばかりの加藤一二三九段が、競合する別の棋士が勝ち星を挙げた結果、順位戦の最も下のクラスの中で下位にとどまることが確定し、規定によって、残された対局を終えた時点で現役を引退することになりました。
三浦弘行九段の竜王戦出場停止について
どうも、id:BigHopeClasicです。 本当はこんな内容、自分ではてなブログに投稿したほうが見た目もきれいになるしいいんでしょうが、持続できないブログを作るのも気後れするので、増田を使います。 さて、掲題の件、はびこりそうな誤解がいくつかありそうなのが将棋ファンとして気になったので書こうと思ったものです。 カンニングはあったの？本稿投稿時段階での報道を元にする限りでは、 「日本将棋連盟が三浦九段に対して、カンニングをしていないという悪魔の証明を求めた」 としか解釈できません。つまり、将棋連盟は三浦九段に対して、決定的な物証などを何一つ押さえないまま 「疑われているので潔白を証明しろ」 というに等しい要求を投げかけたことになります。 この点については続報を待つ必要がありますが、あくまでも現段階での私個人の感想としては 「下策中の下策、愚の骨頂」 というコメントに尽きます。 なるほど確
「詰めろ」の語源は：朝日新聞デジタル
将棋用語には意味がわからないのもある。「玉の早逃げ八手の得」もそうで、いかにも大げさ。古い文献に「早逃げ三手の得」とあり、だれかが「は」の語呂合わせで八手に変えたのではないだろうか。「三桂（桂馬３枚）あって詰まぬことなし」も変な格言である。 「次に詰ますぞ」と敵陣に厳しく迫る手を「一手すき」と言う。これは江戸川柳にも使われている言葉で、「二手すき」という用語もある。 一手すきを「詰めろ」ともいうが、この語源は分かっている。昭和の初期に活躍した大崎熊雄八段（追贈九段）は、相手に一手すきをかけた時に「さあ、詰めろ」と言った。「こっちの玉が詰むなら詰めてみろ」という意味で、これが用語として定着したものだ。 一手すき（詰めろ）のうちで絶対に受けのない状態を「必至」と言う。古くは「必死」と書いたが、必死問題などを解説した『将棋必勝法』（大正４年刊・木見金治郎七段著）に「死の字は不雅なので必至とした」
将棋の里見香奈さん 女性初の三段に NHKニュース
将棋のプロ棋士を目指す里見香奈さんが、２３日、大阪で行われた対局で勝利し、女性としては初めてとなる三段に昇段して、プロ棋士となる四段に向けてまた一歩、駒を進めました。 里見さんは現在、６つの女流タイトルのうち、「女王」、「女流王座」、それに「女流名人」の、三冠を獲得しているほか、将棋のプロ棋士を養成する奨励会の会員として、男性と共に戦うプロ棋士を目指しています。 ２３日、里見さんは大阪・福島区の関西将棋会館で行われた対局で、男性会員に勝って１２勝３敗の規定を満たし、奨励会の二段から三段に昇段しました。 女性が奨励会の三段に昇段したのは、里見さんが初めてです。 里見さんは島根県出雲市出身の２１歳で、おととし５月に奨励会に入会し、去年１月に初段に昇段し、ことし７月には二段に昇段していました。 里見さんは今後、奨励会の三段の会員どうしで行われる「三段リーグ」で２位までに入るか、２度３位になれば四
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
将棋AIのHEROZ 金融・建設にも - 日本経済新聞
3手詰め1万本ノック - 実戦詰め将棋