と金倶楽部

＞＞②証明数検索（Proof Number Search）　から　深さ優先証明数検索（Depth First Proof Number Search）に改造

＞これに手を染めねばならぬようです。

...と思っていたら、我の実装は「深さ優先証明数検索」だったのね。ははは。

でも「敷居値」（この部分が未だよく理解できておらん）を使用していないから検索が思ったより速くないらすい。我は寝る。