0244Nanashi_et_al.
2017/08/14(月) 15:48:58.82「将棋みたいに先を読む」という意味で、
それらの手法(可能性のある者を試してみる)もひとつの「推論」である――
ということには同意。
だけど、たぶんそれは「推論という言葉の定義」の問題であって、
>>238,239
が言わんとしていたであろうこととは、話がずれてくるような。。。
「とりあえず試しに埋めていく手法(これもまた一つの推論ではあるが)」でしか解けないのか、
そうではないのか、というのが話のポイントかと。