>>234
＞Aを計算する（有限の）数式や（有限の）手続きが存在するとき、Aは計算可能であるという。
ここは役に立ちました。

つまり、量子アルゴリズムなんかは有限の手続きに出来る保証が無いものもあるため、
そのようなものは計算可能関数とは言えない。

故に量子 ア ル ゴ リ ズ ム とありながらアルゴリズムではない場合もありうるのですな。