この詰将棋を作った後これを解くプログラムを書きたくなってRustでshogi-rs[1]を使ったdf-pn探索[2]を書いたら30秒で解けるようになったが、変化手順を答えてしまうのでそこからの変化別詰探索[3]を書いてる。 [1] https://t.co/IoGQx9yQXm [2] https://t.co/QKvIfekN47 [3] https://t.co/luYjU2bbXj

この詰将棋を作った後これを解くプログラムを書きたくなってRustでshogi-rs[1]を使ったdf-pn探索[2]を書いたら30秒で解けるようになったが、変化手順を答えてしまうのでそこからの変化別詰探索[3]を書いてる。 [1] https://t.co/IoGQx9yQXm [2] https://t.co/QKvIfekN47 [3] https://t.co/luYjU2bbXj

AND/OR木(特に詰将棋)に対するdf-pnを実装しているが，末端ノードの扱いがよく分からない．ANDノード(玉方手番)かつ末端(応手なし)とEval真(詰み)は等価ではないのかな． https://t.co/yLQMXpQpsS http://t.co/3TLca0nt1j

RT @myrmecoleon: あ。女児監禁の藤原武容疑者の論文を見つけてしまった…… / カントの『哲学的宗教論講義』における神学と宗教 (塚嵜智教授退官記念号)　http://t.co/zL1x5jiJPE

RT @YOwatari: “CiNii 論文 -  対話型進化計算を用いた「合コン」問題の解法と評価” http://t.co/78MIr8isHi

CiNiiに今の３曲の楽譜が登録されていた http://t.co/mapi6xlu

マージソートは作業スペースO(n)で計算量O(n log n)，この論文では作業スペースO(1)でO(n log^2 n)らしい．東工大はCiNii定額機関なので登録して読むか - 作業領域が小さいマージソート http://t.co/KwV7ArNC

RT @math26: @shogidaichan @nemurineko えーと将棋・チェス・象棋で√（平均終了手数）÷平均合法手数がほぼ一定、っていう話があるんですよ→たとえばこの論文とか　https://t.co/UnjclOYy　だからそれをどうぶつしょうぎと５五 ...

仲道さんの論文ですね！ https://t.co/myuSMCXAhx https://t.co/TQseMbWKRW

@tanaseY 橋本さんのGPWの論文にありました。https://t.co/txlyzaRE18

スリザーリンクというペンシルパズルに対して新しい解法を提案した論文 https://t.co/W4VdIJsVGO，計算時間を 「既存手法 vs 提案手法 vs 著者（手で解く）」 で比較してて笑った．