世界記録更新

 早速、Tim Curtoisさんから、「おめでとう。」を頂きました。光栄の至りです。

例によってプレスリリースしました。

通常、UB値を更新すると、それに伴って、アルゴリズムについて書かれた論文が公開されるのですが、それはありません。

（スケジュールナースは、無料ですが商用ソフトです。）

ただ、見る人が見ると、Verboseログを見れば、Search　Tree　Processで何をやっているかが分かると思います。興味のある方はGithubからDownloadして動かしてみてください。（プロジェクトが英語モードなのでWindowsも英語モードである必要があります。後述）