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