On Lisp --- 非決定性をみて憧れみたいなものがあったので非決定性マクロを使って数独ソルバを書きなおしてみようという試み。とりあえず空欄の部分に対して全部choose-bindしてしまおうと思ったのだけど、何が困るってbindする変数の個数が決まらないんです…