アルゴリズムの検索結果1 - 2 件 / 2件

• あとで読む

  詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト

  • 84 users
  • yaneuraou.yaneu.com
  • テクノロジー
  • 2024/05/08

  将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出

  • algorithm
  • 将棋
  • アルゴリズム
  • AI
  • あとで読む
  • shogi
  • 数学
  • game
  • 開発
  • IT
• あとで読む

  The life and times of an Abstract Syntax Tree

  • 13 users
  • blog.trailofbits.com
  • テクノロジー
  • 2024/05/03

  By Francesco Bertolaccini You’ve reached computer programming nirvana. Your journey has led you down many paths, including believing that God wrote the universe in LISP, but now the truth is clear in your mind: every problem can be solved by writing one more compiler. It’s true. Even our soon-to-be artificially intelligent overlords are nothing but compilers, just as the legends foretold. That sma

  • Programming
  • あとで読む