2006-11-20 遅延評価なら継続いらないかもね。 昨日の、答えがひとつ見つかったらすぐ大域脱出というのは、遅延評価のHaskellでは、複数解をいれるつもりのリストにheadをかければよいらしい。Haskellすげー。継続いらないかもね。