チューリングマシンとラムダ計算は、
チャーチ=チューリングの提唱で結びつくんじゃなかったか