堀端三十二
プログラムの理論へ 計算の可能性① 1970年07月号