「決定可能」はなぜアルゴリズムを先に決めるの? 授業で，ある問題が決定可能であることの定義は アルゴリズムが存在して，問題に属する任意の個別問題がそのアルゴリズムで解ける であって， 問題に属する任意の個別問題に対して，アルゴリズムが存在して，…