06/10/2026 · VietTechies · Biên tập
Vào mùa hè năm 1952, Christopher Strachey đã nạp một kịch bản thực nghiệm vào máy tính đại hình Manchester Ferranti Mark 1 để tạo ra những bức thư tình được soạn tự động bằng thuật toán. Theo tiểu sử trích dẫn, Strachey khi đó không phải là một kỹ sư máy tính toàn thời gian, mà là một thầy giáo tại Trường Harrow dành thời gian rảnh rỗi để nghiên cứu máy tính. Sinh ngày 16 tháng 11 năm 1916 trong gia đình Strachey có mối liên hệ với nhóm Bloomsbury tại Hampstead, Anh, ông từng gặp nhiều khó khăn trong học tập tại Cambridge trước khi tìm thấy đam mê thực sự trong logic máy tính. Thuật toán tạo thư tình của ông sau này được công nhận là một cột mốc sớm của văn học do máy tính tạo ra.
Từ nhóm Bloomsbury đến logic máy tính
Trước khi tiến hành các thử nghiệm phần mềm, Strachey làm nhà vật lý nghiên cứu tại hãng Standard Telephones and Cables trong Thế chiến II. Công việc đòi hỏi ông thực hiện các phân tích toán học phức tạp để thiết kế đèn điện tử dùng cho hệ thống ra-đa. Để xử lý các phép tính cam go này, ông đã vận hành một máy phân tích vi phân—thiết bị tính toán tương tự cơ khí. Trải nghiệm thực tế này đã thắp lên niềm yêu thích của ông đối với máy tính. Do không thể nhận bằng nghiên cứu tại Cambridge sau chiến tranh, Strachey dành nhiều năm giảng dạy vật lý và toán học, ban đầu tại Trường St Edmund ở Canterbury và sau đó là Harrow, trong khi vẫn tiếp tục tự nghiên cứu khoa học máy tính.
Thử nghiệm ban đầu: Cờ gánh, bản quốc ca và những bức thư tình thuật toán
Tháng 1 năm 1951, Strachey gặp Mike Woodger tại Phòng thí nghiệm Vật lý Quốc gia và được tiếp cận máy tính Pilot ACE. Đến tháng 5 năm 1951, Strachey viết một chương trình chơi cờ gánh (draughts), nhưng đợt kiểm thử đầu tiên vào ngày 30 tháng 7 đã làm cạn kiệt bộ nhớ máy tính và thất bại. Không nản lòng, ông xin tài liệu hướng dẫn vận hành máy Manchester Mark 1 từ Alan Turing—bạn học cũ thời Cambridge. Đến tháng 10 năm 1951, Strachey đã chuyển mã chương trình của mình sang các mã lệnh vận hành của máy Manchester. Cũng trong năm đó, trên chiếc Ferranti Mark 1, ông lập trình ra những giai điệu âm nhạc máy tính đầu tiên tại Anh khi điều khiển máy phát bản quốc ca Anh. Đến mùa hè năm 1952, chương trình cờ gánh của ông đã có thể chơi trọn vẹn các ván cờ với tốc độ hợp lý, vận hành song song với trình tạo thư tình tự động.
Tiên phong trong chia sẻ thời gian và kiến trúc ngôn ngữ
Strachey gia nhập Tập đoàn Phát triển Nghiên cứu Quốc gia (NRDC) vào năm 1952, đảm nhận việc hệ thống hóa các tập lệnh máy tính trên khắp nước Mỹ và đóng góp vào thiết kế logic của máy Ferranti Pegasus. Tháng 2 năm 1959, ông nộp đơn đăng ký sáng chế cho kỹ thuật chia sẻ thời gian trong máy tính và trình bày bài báo có nhan đề "Chia sẻ thời gian trong các máy tính lớn tốc độ cao" tại Hội nghị Xử lý Thông tin UNESCO ở Paris. Bài báo của ông đưa ra khuôn khổ lý thuyết cho phép nhiều người dùng chia sẻ thời gian xử lý của bộ vi xử lý cùng lúc, rồi chuyển giao khái niệm này cho J. C. R. Licklider. Trong thập niên 1960, khi làm cố vấn, Strachey đã đồng phát triển Ngôn ngữ Lập trình Kết hợp (CPL) và đưa ra nhiều thuật ngữ thiết yếu cho thiết kế phần mềm hiện đại, bao gồm tính đa hình (polymorphism) và tính minh bạch tham chiếu (referential transparency).
Di sản tại Oxford và ngữ nghĩa học hình thức
Năm 1965, Strachey trở thành giám đốc đầu tiên của Nhóm Nghiên cứu Lập trình và là giáo sư khoa học máy tính đầu tiên của Đại học Oxford. Tại Oxford, ông hợp tác với Dana Scott để xây dựng ngữ nghĩa định nghĩa (denotational semantics), cung cấp nền tảng toán học cho việc định nghĩa ngôn ngữ lập trình. Tập bài giảng ảnh hưởng sâu rộng của ông, "Các khái niệm cơ bản trong ngôn ngữ lập trình", đã hình thức hóa sự biệt lập giữa giá trị L (L-values) và giá trị R (R-values), vốn trở thành tiêu chuẩn trong các ngôn ngữ lập trình hệ thống như C. Ông cũng thiết kế Bộ tạo vĩ lệnh tổng quát (GPM), một hệ thống mở rộng vĩ lệnh sớm đã ảnh hưởng trực tiếp đến các công cụ hiện đại như m4.
Strachey qua đời vì bệnh viêm gan truyền nhiễm vào ngày 18 tháng 5 năm 1975, nhưng sự kết hợp giữa tinh thần thực nghiệm sáng tạo và sự chặt chẽ toán học của ông đã làm thay đổi khoa học máy tính. Các dự án ban đầu của ông chứng minh rằng máy tính đại hình có thể xử lý ngôn ngữ tự nhiên và các trò chơi tương tác, trong khi những đột phá lý thuyết sau này của ông về chia sẻ thời gian, ngữ nghĩa ngôn ngữ và đánh giá biến số đã đặt ra các nguyên lý tiếp tục chi phối thiết kế ngôn ngữ lập trình hiện đại.
Ảnh minh họa do AI tạo, không phải ảnh tư liệu.
Nguồn: Christopher Strachey