Jean Sammet góp phần dạy máy tính thao tác với đại số, chứ không chỉ tính toán bằng số.

06/10/2026 · VietTechies · Biên tập

Máy tính thời đầu rất giỏi xử lý số.

Jean Sammet góp phần dạy chúng xử lý đại số.

Không chỉ tính 7 × 8 = 56.

Mà còn thao tác với biểu thức chứa ký hiệu:

Lũy thừa.

Đạo hàm.

Những phương trình chưa được quy về giá trị số.

Tại IBM đầu thập niên 1960, Sammet dẫn dắt phát triển FORMAC — một trong những hệ thống tính toán ký hiệu được dùng rộng rãi sớm nhất.

Đây là bước quan trọng để coi toán học là cấu trúc mà máy tính có thể biến đổi, chứ không chỉ các phép tính để tìm ra giá trị.

Trong một thời gian dài, “computer” gần như đồng nghĩa với tính toán số

Những ngôn ngữ bậc cao đầu tiên phản ánh đúng công việc máy tính khi đó được giao.

FORTRAN phục vụ tính toán khoa học và kỹ thuật.

COBOL phục vụ xử lý dữ liệu kinh doanh.

Máy tính ngày càng giỏi xử lý số và bản ghi.

Nhưng tính toán ký hiệu thì khác.

Ví dụ:

(x + y)²

Chương trình tính toán số thường cần giá trị của x và y.

Hệ thống tính toán ký hiệu có thể biến đổi chính biểu thức ấy:

x² + 2xy + y²

Không cần gán giá trị.

Ký hiệu trở thành dữ liệu.

Sammet đã góp phần định hình ngôn ngữ lập trình trước khi đến IBM

Jean Sammet được đào tạo về toán học.

Bà bước vào ngành điện toán trong thập niên 1950, khi lập trình viên có kinh nghiệm còn hiếm và cả lĩnh vực đang xây dựng hệ thống thuật ngữ của riêng mình.

Tại Sylvania, bà quản lý việc phát triển phần mềm nền tảng cho MOBIDIC, máy tính được xây dựng cho U.S. Army Signal Corps.

Bà cũng là thành viên quan trọng của ủy ban phát triển COBOL.

Khi gia nhập IBM năm 1961, Sammet không còn chỉ đang học cách ngôn ngữ lập trình hoạt động.

Bà đã góp phần định hình lĩnh vực ấy.

FORMAC yêu cầu máy tính xử lý ý nghĩa, chứ không chỉ giá trị

Tại IBM, Sammet dẫn dắt việc phát triển FORMAC.

Tên này bắt nguồn từ FORmula MAnipulation Compiler.

Nó mở rộng những ý tưởng quen thuộc với lập trình viên FORTRAN sang tính toán ký hiệu.

Thay vì chỉ tính giá trị số của công thức, chương trình có thể thao tác với biểu thức đại số như một đối tượng.

Khai triển.

Rút gọn.

Lấy đạo hàm.

Chuyển từ dạng ký hiệu này sang dạng ký hiệu khác.

Computer History Museum mô tả FORMAC là ngôn ngữ đầu tiên được dùng phổ biến để biến đổi các biểu thức đại số phi số.

Điều này thay đổi ý nghĩa của “dữ liệu”

Tính toán ký hiệu quan trọng vì nhiều bài toán không thể biểu diễn tự nhiên bằng những dãy số.

Một biểu thức toán học có cấu trúc.

Toán tử.

Variable.

Quan hệ.

Biểu thức con lồng nhau.

Hệ thống tính toán ký hiệu phải giữ cấu trúc ấy trong khi biến đổi theo các quy tắc toán học.

Cách nghĩ này khác với tính toán số thông thường.

Máy tính không chỉ thực hiện phép tính.

Nó thao tác trên cách biểu diễn những ý tưởng toán học.

Mô hình ấy giờ có vẻ bình thường vì đã hiện diện khắp phần mềm

Lập trình viên hiện đại thường xuyên coi biểu thức có cấu trúc là dữ liệu.

Compiler biến đổi cây cú pháp.

Hệ đại số máy tính biến đổi phương trình.

Bộ máy truy vấn viết lại các biểu thức truy vấn dữ liệu.

Hệ thống AI ký hiệu thao tác với công thức logic.

Thư viện như SymPy cho phép lập trình viên Python lấy đạo hàm, phân tích nhân tử và rút gọn biểu thức mà chưa cần gán giá trị số.

Những hệ thống hiện đại này không phát triển trực tiếp từ FORMAC theo một đường thẳng đơn giản.

Nhưng chúng tồn tại trong thế giới nơi ý tưởng nền tảng đã trở nên tự nhiên:

Chương trình có thể xử lý cấu trúc của một biểu thức.

Đầu thập niên 1960, đây vẫn là một hướng đi mới mẻ.

Sau khi góp phần tạo language, Sammet còn làm một việc hiếm: viết lịch sử của chúng

Số lượng ngôn ngữ lập trình tăng rất nhanh.

FORTRAN.

COBOL.

ALGOL.

LISP.

SNOBOL.

APL.

Và hàng chục cái khác.

Cần có người hệ thống hóa bức tranh ấy.

Sammet không chỉ tham gia phát triển ngôn ngữ.

Bà trở thành một trong những người viết sử quan trọng nhất của lĩnh vực.

Cuốn Programming Languages: History and Fundamentals năm 1969 bàn về khoảng 120 ngôn ngữ và trở thành tài liệu tham khảo nền tảng.

Sự kết hợp giữa người xây dựng và người viết sử rất hiếm

Người xây dựng thường tập trung vào hệ thống tiếp theo.

Người viết sử thường nhìn lại quá khứ.

Sammet làm cả hai.

Bà góp phần tạo COBOL và FORMAC.

Rồi thống kê, so sánh và phân loại bức tranh ngôn ngữ rộng lớn hơn.

Điều đó quan trọng vì một lĩnh vực trưởng thành khi vừa có công cụ mới, vừa nhớ được vì sao công cụ cũ ra đời.

Không có lịch sử, kỹ sư rất dễ phát minh lại ý tưởng cũ dưới tên mới.

Ngôn ngữ lập trình đang trở thành một ngành riêng

Trong thập niên 1950, ngôn ngữ có thể trông như cách ký hiệu thuận tiện gắn với một máy tính cụ thể.

Cuối thập niên 1960, ngôn ngữ đã thành lĩnh vực riêng với khái niệm, các họ ngôn ngữ, lựa chọn đánh đổi trong thiết kế và lịch sử.

Sự nghiệp của Sammet nằm ngay trong quá trình chuyển đổi ấy.

Bà làm các compiler phục vụ thực tế.

Tham gia chuẩn hóa.

Quản lý language technology tại IBM.

Sau này làm chủ tịch ACM.

Lĩnh vực này không còn chỉ hỏi:

“Làm sao lập trình chiếc máy này?”

Nó bắt đầu hỏi:

“Nên có những loại language nào?”

Bước trừu tượng hóa quan trọng thường bắt đầu bằng việc định nghĩa lại đối tượng

FORMAC đem lại bài học sản phẩm thú vị vì bước đi cốt lõi nằm ở cách nhìn.

Đừng chỉ coi biểu thức đại số là văn bản.

Đừng ép nó thành một con số ngay lập tức.

Hãy coi chính biểu thức là thứ hệ thống có thể hiểu và biến đổi.

Pattern này lặp lại trong software.

Tài liệu trở thành các khối có cấu trúc.

Workflow trở thành đồ thị.

Hội thoại trở thành kho thông tin có thể tìm kiếm.

Công thức trở thành đối tượng.

Khi cách biểu diễn thay đổi, một nhóm thao tác mới trở nên khả thi.

Câu hỏi không phải lúc nào cũng là “tính nhanh hơn thế nào?”

Đôi khi đột phá là:

“Nếu ta ngừng giản lược thứ này quá sớm thì sao?”

Giữ cấu trúc.

Giữ các mối quan hệ.

Để máy tính xử lý một cách biểu diễn giàu thông tin hơn.

Jean Sammet góp phần đẩy ngành điện toán theo hướng ấy từ trước khi phần mềm tính toán ký hiệu trở nên phổ biến.

Bạn đang giản lược thứ gì thành văn bản hoặc con số, trong khi phần mềm sẽ mạnh hơn rất nhiều nếu giữ nguyên cấu trúc của nó?

Đọc bằng ngôn ngữ khác: English · Español · Deutsch · Français · Português (Brasil) · Tiếng Việt