person Christopher Strachey, 1916-1975: A Biographical Note -Martin Campbell-Kelly(1985) Alan Turingと交流があった