やはり、アラン・チューリングは偉大であったか。