>>859 >>865
ごもっともです。
計算不可能関数の章は、まだほとんど書いていません。