同じく高橋正子著 『計算論』 近代科学社のp.51から: 補題1.6.10をが個の引数を取る計算プログラムのコードとしたとき，その計算結果を返す関数とする(がプログラムのコードでなかったり，計算が止まらないときは未定義とする）. このとき任意の帰納的な全域…