Revisions of "C に翻訳限界があるのはコンパイラをチューリングマシンにしないためである"