得られた成果のひとつにある組み合わせ論的パズルのインスタンスを生成するアルゴリズムを与えたというものがある。このパズルは計算ブロックパズルと呼ばれるもので、そのインスタンスは、nxn格子面の連結するブロックへの分割と各ブロックへの正整数の割り当てとして与えられる。このパズルは、格子面の各マスに{1,2,...,n}の整数を次の2条件を満たすように割り当てることを求めるものである。この2条件とは、各行、各列には、{1,2,...,n}の整数が1回ずつ現れるというラテン方陣条件であり、他の条件は、各ブロックのマスに割り当てられた数の合計が、そのブロックに割り当てられた整数の合計に一致するという部分条件である。このアルゴリズムは、パズルを解くときに使う推論規則としてパラメータを与えると、難易度を指定できるようになっている。認知心理実験を行い、その難易度のインスタンスが生成されることを検証した。researchmap。