Turing Award
（以下は略すが、プログラムの証明についての専門的な話など。チューリングが数を逆に書いたことにも触れている。（後者についてはチューリング賞講演にもある））