{"categories":["\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u5c06\u68cb","df-pn"],"type":"rich","provider_url":"https://hatena.blog","version":"1.0","provider_name":"Hatena Blog","image_url":null,"description":"GPS\u5c06\u68cb(OpenShogiLib)\u306edf-pn\u306e\u30bd\u30fc\u30b9\u306e\u5168\u4f53\u50cf\u3092\u8abf\u3079\u305f\u3002 df-pn\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u6982\u8981 df-pn\uff08Depth-First Proof-Number Search\uff09\u3068\u306f\u3001\u5c06\u68cb\u306e\u8a70\u5c06\u68cb\u554f\u984c\u306b\u304a\u3044\u3066\u300c\u8a70\u3080\u304b\u5426\u304b\u300d\u3092\u52b9\u7387\u7684\u306b\u8a3c\u660e\u3059\u308b\u305f\u3081\u306e\u63a2\u7d22\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3067\u3042\u308b\u3002 \u5404\u5c40\u9762\u306b\u304a\u3044\u3066\u8a3c\u660e\u6570\uff08Proof Number\uff09\u3068\u53cd\u8a3c\u6570\uff08Disproof Number\uff09\u3092\u7ba1\u7406\u3057\u3001\u5c40\u9762\u3054\u3068\u306e\u8a55\u4fa1\u5024\u306b\u57fa\u3065\u3044\u3066\u300c\u6700\u3082\u6709\u671b\u306a\u5206\u5c90\u300d\u3092\u512a\u5148\u7684\u306b\u63a2\u7d22\u3059\u308b\u4ed5\u7d44\u307f\u3067\u3042\u308b\u3002 \u5b9f\u88c5\u3067\u306f\u3001\u5358\u306a\u308b\u6df1\u3055\u512a\u5148\u63a2\u7d22\u306b\u52a0\u3048\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u5de5\u592b\u304c\u306a\u3055\u308c\u3066\u3044\u308b\u3002 \u91cd\u8907\u5c40\u9762\u306e\u518d\u63a2\u7d22\u56de\u907f\uff08DAG\u69cb\u9020\uff09 \u540c\u4e00\u5c40\u9762\u306f\u30cf\u30c3\u30b7\u30e5\u5024\uff08HashKey\uff09\u2026","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftadaoyamaoka.hatenablog.com%2Fentry%2F2025%2F03%2F23%2F163310\" title=\"GPS\u5c06\u68cb(OpenShogiLib)\u306edf-pn\u306e\u79fb\u690d \u305d\u306e\uff12\uff08\u30bd\u30fc\u30b9\u5168\u4f53\u50cf\uff09 - TadaoYamaoka\u306e\u958b\u767a\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"TadaoYamaoka","published":"2025-03-23 16:33:10","url":"https://tadaoyamaoka.hatenablog.com/entry/2025/03/23/163310","blog_url":"https://tadaoyamaoka.hatenablog.com/","title":"GPS\u5c06\u68cb(OpenShogiLib)\u306edf-pn\u306e\u79fb\u690d \u305d\u306e\uff12\uff08\u30bd\u30fc\u30b9\u5168\u4f53\u50cf\uff09","blog_title":"TadaoYamaoka\u306e\u958b\u767a\u65e5\u8a18","height":"190","author_url":"https://blog.hatena.ne.jp/TadaoYamaoka/"}