こんなところでチューリングの名前を見るとは。