Monthly Archives: March 2005

Chương trình tự tái sinh (2)

Ngô Quang Hưng | 31/03/2005 | Bản để in Bản để in
Trong phần này ta bàn về nguyên tắc viết các chương trình tự in được bản thân. Ta sẽ làm việc trên một mô hình tổng quát (nhưng hoàn có thể hiện thực được với bất kỳ ngôn ngữ máy tính nào). Giả sử, trong mô hình máy tính này, có một vùng nhớ mà [...]
Chủ đề Bảo mật và mật mã học, Lý thuyết tính toán | Phản hồi »

Chương trình tự tái sinh (1)

Ngô Quang Hưng | 30/03/2005 | Bản để in Bản để in
Một trong các bài tập rất hay cho người đang học lập trình (bất kể ngôn ngữ nào) là: hãy viết một chương trình in chính nó ra. Chú ý là phải in ra giống hệt, từng giòng từng chữ từng cái xuống hàng. Ở đây ta giả sử có thể viết chương trình bằng [...]
Chủ đề Bảo mật và mật mã học, Lý thuyết tính toán | 1 phản hồi »

Đoán bí mật

Ngô Quang Hưng | 29/03/2005 | Bản để in Bản để in
Ở cuối quyển “Các cuộc phiêu lưu của một nhà toán học“, nhà toán học Stan Ulam (1909-1984) có nhắc đến bài toán 20-câu hỏi nổi tiếng: giả sử anh A nghĩ trong đầu một số nguyên từ 1 đến 1 triệu, anh B phải hỏi bao nhiêu câu hỏi nhị phân (nghĩa là chỉ [...]
Chủ đề Lý thuyết thông tin, Nghiên cứu nghiên kiếc, Vui - Giải Trí | 1 phản hồi »

Lại nói về SPAM

Đỗ Bình Minh | 26/03/2005 | Bản để in Bản để in
Hiện nay có lẽ SPAM là vấn đề lớn nhất và email có lẽ là một trong những phần mềm phổ dụng nhất hiện nay. Việc lọai bỏ SPAM là cuộc chiến không ngừng giữa người gửi và người viết phần mềm lọai bỏ SPAM (vì hiện nay và sắp tới khó có bộ luật [...]
Chủ đề Bảo mật và mật mã học, Xác suất & thống kê | Phản hồi »

Lý thuyết tính toán đi về đâu?

Ngô Quang Hưng | 25/03/2005 | Bản để in Bản để in
Khoảng 10 năm trước, một nhóm các khoa học gia máy tính đầu ngành bao gồm cả các tên tuổi lớn như Richard Karp, Alfred Aho, David Johnson, và Christos Papadimitriou viết một báo cáo với tựa đề “Lý thuyết tính toán: mục tiêu và hướng đi” với dự định giới thiệu hướng nghiên cứu [...]
Chủ đề Chính trị trong ngành, Lý thuyết tính toán | Phản hồi »

Các hội nghị và tỉ lệ nhận bài

Ngô Quang Hưng | 24/03/2005 | Bản để in Bản để in
Trong khoa học máy tính, bài báo ở các hội nghị chuyên ngành danh tiếng đóng vai trò rất lớn trong sự nghiệp của các khoa học gia. Được nhận đăng bài ở một số hội nghị hàng đầu khó hơn ở nhiều journals có tiếng. (Xem thêm bài “tản mạn về mảnh bằng Ph.D” [...]
Chủ đề Chính trị trong ngành, Các hội nghị KHMT, Dành cho du học sinh | 7 phản hồi »

Bản thảo EWD 1175

Ngô Quang Hưng | 22/03/2005 | Bản để in Bản để in
Cố giáo sư Edsger W. Dijkstra có rất nhiều bản thảo, bài viết, bài nói, được lưu trữ thành một thư khố. Các bài được đánh số từ EWD 0001 đến EWD 1318. Ông viết về rất nhiều đề tài khác nhau. Bản thảo EWD 1175 với tựa đề “Sức mạnh của tổ chức hàm [...]
Chủ đề Giáo dục, Nhân vật và sự kiện | Phản hồi »

Truyền thông nano

Ngô Quang Hưng | 19/03/2005 | Bản để in Bản để in
Ở hội nghị INFOCOM vừa qua có một cuộc hội thẩm (panel) về truyền thông nano (nano-communications, dùng để chỉ dạng truyền thông ở tầm vực cực bé). Các hội thẩm viên bao gồm các giáo sư Tatsuya Suda (University of California, Irvine), Ron Weiss (Princeton University), Kamal Abdali (National Science Foundation), các tiến sĩ [...]
Chủ đề Các hệ thống máy tính, Các hội nghị KHMT, Mạng máy tính | Phản hồi »

Thế giới ảo trong Second Life

Đỗ Bình Minh | 18/03/2005 | Bản để in Bản để in
Tôi không phải là người chơi game nhiều đã khá lâu rồi, nhưng nếu có thời gian để chơi game, chắc tôi sẽ chọn Second Life, đã được người thiết kế và viết chính Cory Ondrejka giới thiệu ở PARC gần đây . So với các game nhập vai và nhiều người chơi (multi-user) khác [...]
Chủ đề Games | 7 phản hồi »

Hội nghị INFOCOM 2005

Ngô Quang Hưng | 15/03/2005 | Bản để in Bản để in
Hội nghị Infocom năm 2005 tổ chức ở Miami, Florida. Một trong hai bài nói chính (keynote speeches) là của tiến sĩ Hossein Eslambolchi, giám đốc nhánh dịch vụ kỹ thuật mạng toàn cầu của AT&T (President of AT&T’s Global Networking Technology Services (GNTS). Ông cũng là CTO và CIO và giám đốc của AT&T [...]
Chủ đề Các hội nghị KHMT, Mạng máy tính | Phản hồi »

Probability Surveys

Nguyễn Xuân Long | 11/03/2005 | Bản để in Bản để in
Nhân anh Hưng nói về xuất bản hàn lâm, tôi muốn nhắc tới chuyện giáo sư Jim Pitman và các nhà xác suất học (probabilists) hàng đầu khác đang phát động một dự án lớn về xuất bản on-line. Dự án này gọi là The Mathematics Surveys, với mục đích thiết lập một hệ thống [...]
Chủ đề Xuất bản, Xác suất & thống kê | Phản hồi »

Chung qui chỉ tại Cantor (hết)

Ngô Quang Hưng | 11/03/2005 | Bản để in Bản để in
Có ba khả năng trả lời câu hỏi P chọi NP: (a) P = NP, (b) P chọi NP không quyết định được, nghĩa là độc lập với hệ thống, (c) P = NP hoặc P khác NP tùy theo ta chọn hệ tiên đề nào (tương tự như continuum hypothesis), và (d) P khác [...]
Chủ đề Lý thuyết tính toán | 8 phản hồi »

Nói thêm về xuất bản hàn lâm

Ngô Quang Hưng | 08/03/2005 | Bản để in Bản để in
Trong tờ tin nhanh “the institute” của IEEE tháng 3 năm 2005 có bài viết “thông tin miễn phí cho tất cả?” liên quan đến bài tôi viết cách đây vài hôm. Họ viết về phong trào “truy cập mở” (open access), có vài chi tiết quan trọng. Năm ngoái có ba sự kiện làm [...]
Chủ đề Xuất bản | Phản hồi »

Chung qui chỉ tại Cantor (10)

Ngô Quang Hưng | 07/03/2005 | Bản để in Bản để in
Bài toán nào nằm trong P được xem là bài toán “dễ”, còn lại là các bài toán khó. Lớp P chỉ có thể được định nghĩa chính xác bằng toán học nếu ta có một mô hình toán học cho khái niệm giải thuật. Dĩ nhiên mô hình này không gì khác hơn là [...]
Chủ đề Lý thuyết tính toán | Phản hồi »

Sinh trắc học

Ngô Quang Hưng | 04/03/2005 | Bản để in Bản để in
Sinh trắc học (biometrics) dùng để chỉ nhánh nghiên cứu các cách dùng các dấu hiệu của các bộ phận trong cơ thể (như dấu tay, ảnh mặt, ảnh mắt, DNA, …) để nhận ra (identify) một cá thể. Sau vụ 9/11, khách đến Mỹ đều phải để lại vân tay và ảnh mắt ở [...]
Chủ đề Bảo mật và mật mã học | Phản hồi »