ダメぽ…

詰ルーチンの穴がなかなか埋まらない…。
岸本さんの「不詰を正しく証明するアルゴリズム」を自分なりに実装して将棋無双第88番が不詰と出るようになったけど、それほど正解が増えないな。

とりあえず、寿とミクロコスモスに挑戦！！

局面	結果	時間	ノード
寿(611手詰)	×	－	－
寿 516手後(95手詰？)	×	－	－
寿 518手後(93手詰?)	97銀打	2,183ms	354,999
寿 520手後(91手詰？)	75龍	2,180ms	354,887
寿 550手後(61手詰？)	42龍	348ms	53,186
寿 600手後(11手詰？)	37龍	29ms	521
ミクロコスモス(1525手詰)	×	－	－
ミクロコスモス 900手後(625手詰?)	×	－	－
ミクロコスモス 994手後(531手詰?)	×	－	－
ミクロコスモス 996手後(529手詰?)	21と	3,991ms	705,128
ミクロコスモス 1000手後(525手詰?)	41と	2,223ms	398,687
ミクロコスモス 1200手後(325手詰?)	31と	3,640ms	612,187
ミクロコスモス 1500手後(25手詰?)	82龍	753ms	131,726

ある閾値(ハッシュ溢れ？)を超えるととたんに解けなくなるようです…。
ミクロコスモスの1000手後と1200手後で逆転現象があるなぁ～。
ここら辺にも謎がある？

Visual Studio 2008 Professionalが安く買える？！

マイクロソフトがVisualStudio2008発売1周年記念でアップグレードパッケージ対象拡張というのをやっています。
これによると、無料の Express Edition から Pro にアップグレードできるとか。

アマゾンだと普通に買うと119,616円でアップグレードだと60,555円と半額近くになります。
といっても、Standardの26,748円よりはだいぶ高いですね…。

うーん。アカデミックは11,961円か。学生がうらやましい…。
買ってもらいたくなっちゃうな…。

今は読まない！

スバルが言っていました。

「自分より総合力で強い相手に勝つためには」
「自分が持っている相手より強い部分で戦う」

そのために自分の一番強い部分を磨きあげて
これなら誰にも負けないって自信と気概を持って戦いに当たる！

というわけで詰ルーチンの更なる強化(せめて寿が解けるくらい)に注力します。

ついに・・・

Bonanzaがライブラリ公開されてしまった・・・。
ピンチかつチャンス！！

局面の符号化

局面を一意に符号化すると何バイトに収められるんでしょう？
とっさに思いつくのは

  40枚×(7bit＋1bit＋1bit)・・・7bit:位置or持駒、1bit:成/不成、1bit:先後

で360bit＝45バイト(手番自体はどこかの空きに割り当てるとして)。

持駒の優越関係のように冴えたやり方がありそうなものだけど…。