Mini course ở VIASM

Tháng 1 tới tôi là một lớp mini ở VIASM. Thông tin có ở đây. Hy vọng gặp các bạn.

Chủ đề Cơ sở dữ liệu | 4 phản hồi »

ISI, tiêu chí thẩm định, và các động lực ngược

Phùng Hồ Hải, Ngô Quang Hưng
Bài đã đăng trên TBKTSG

Nhân vụ kiện liên quan đến một tạp chí khoa học chuyên ngành hẹp gần đây, chúng ta cần xem xét kỹ hơn về nguyên nhân sâu xa của sự kiện: đó là tiêu chí thẩm định chất lượng nghiên cứu khoa học trong giới hàn lâm của chúng ta hiện nay đã và đang có khả năng dẫn đến các động lực ngược (tạm dịch từ “perverse incentive” của Kinh tế học), làm cho đầu tư công vào nghiên cứu khoa học kém hiệu quả. Trong bài này chúng tôi điểm qua cách mà các nước tiên tiến thẩm định kết quả nghiên cứu khoa học, cách nước ta đang dùng, và cuối cùng đưa ra một vài đề xuất để thay đổi tiêu chí đánh giá chất lượng nghiên cứu. Những tiêu chí tốt sẽ tạo “động lực thuận” thúc đẩy chất lượng nghiên cứu khoa học nước nhà, ảnh hưởng trực tiếp đến hiệu suất đầu tư công vào nghiên cứu khoa học ở Việt Nam.

Đọc tiếp »

Chủ đề Chính sách, Chính trị trong ngành | Tagged , , | 1 phản hồi »

Tôi đi biểu tình ở Mỹ

Tôi đi biểu tình lần đầu là khi biểu tình tự phát chống chính quyền Trung Quốc nổ ra ở Sài Gòn vào năm 2007. Lần đó chẳng làm được gì, không biểu ngữ, không cờ phướn vì thiếu chuẩn bị, ra đến nơi cũng không hò hét được gì, vì cứ bị cảnh sát với dân phòng lùa hết chỗ này sang chỗ khác. Lần thứ hai tôi đi biểu tình, cũng lại là chống chính quyền Trung Quốc, là ngày hôm qua. Bọn tôi biểu tình trước lãnh sự quán Trung Quốc ở San Francisco (SF), rồi diễu hành gần hai cây số đến Union Square, quãng trường trung tâm thành phố.

Theo thông tin trên mạng thì muốn biểu tình phải xin giấy phép và nơi xin là sở cảnh sát San Francisco (SFPD), nên tôi gọi điện lên hỏi. Người ta hướng dẫn là chỉ cần lên điền một cái đơn theo mẫu là được. Hình như có thể nộp qua mạng, nhưng do làm lần đầu nên tôi muốn nộp đơn trực tiếp, để có thắc mắc gì thì hỏi luôn. Tôi cũng hơi lo lắng, không biết có nhận được giấy phép trước thời gian dự kiến của cuộc biểu tình hay không.

Đọc tiếp »

Chủ đề Chưa phân loại | 1 phản hồi »

Lập trình máy kỳ dị

Đồng nghiệp cũ của tôi ở Matasano mới làm một cái game rất thú vị, bạn nào muốn luyện kỹ năng dịch ngược mã và khai thác lỗi bộ nhớ thì nên xem: microcorruption.com.

Lâu lắm rồi tôi mới chơi game dạng này. Hồi trước tôi hay chơi CTF, nhưng mà CTF thường đòi hỏi phải tập trung liên tục trong vài ngày. Có lần tôi chơi liên tục ba ngày hai đêm, ngủ luôn ở công ty, sáng dậy thì đi bộ ra ăn hủ tíu gõ xong về chơi tiếp. Không tắm! Bây giờ thì không làm vậy được nữa. Với lại CTF nhiều khi đòi hỏi phải có những công cụ hay setup mà tôi không có sẵn, nên dần dà tôi cũng không còn mặn mà lắm.

Micro Corruption hay ở chỗ chỉ cần browser là chơi được và muốn chơi lúc nào cũng được. Mỗi ngày tôi chơi 1-2 tiếng, khi nào chán thì thôi, không phải chạy đua thời gian nên khá là thư giãn. Điều mà tôi thích nhất là game này có nhiều màn, bắt đầu từ rất dễ, mãi về sau mới có những mức khó hơn, thành ra mình có thể vừa chơi vừa học.

Đọc tiếp »

Chủ đề Chưa phân loại | 2 phản hồi »

Từ đại số đến bitcoin

Loạt bài này tôi viết chung với anh Ngô Quang Hưng. Một phiên bản của loạt bài này, bỏ những chỗ nhố nhăng của tôi ra, sẽ được gửi đăng trên Thời Báo Kinh Tế Sài Gòn. Những đoạn đánh dấu * là những đoạn có thể bỏ qua, mà không ảnh hưởng gì đến nội dung bài. Mời mọi người đọc và còm.

Cập nhật: bài này còn nhiều chỗ sai. Tôi đang sửa, nên nếu bạn muốn sao chép sang chỗ khác thì hãy đợi bản hoàn chỉnh nhé.

Satoshi xóm Đẻ

*Một trong những trò chơi yêu thích hồi nhỏ của tôi và đám bạn ở xóm là đánh bài ăn tiền. Kỳ thực đám con nít tụi tôi đâu có tiền thật nên tụi tôi đánh bài ăn những loại tiền tượng trưng, được chọn theo mùa. Một năm có rất nhiều mùa, một mùa kéo dài vài ba tuần hay vài tháng, cho đến khi một đứa trong bọn gom hết “tiền” của mùa đó thì cả đám chuyển sang mùa khác.

*Có mùa bọn tôi đánh bài ăn dây thun. Dây thun thường phải mua bằng tiền thật, nên bọn tôi cũng có hệ thống quy đổi, một trăm đồng là bao nhiêu cộng dây thun. Nhiều đứa, trong đó có tôi, nhịn ăn nhịn uống để bỏ tiền mua dây thun về chơi. Những đứa có nhiều dây thun, chúng thắt thành sợi to, quấn quanh người, vàng đỏ đủ màu, như người ta đeo vàng, trông rất đã.

Đọc tiếp »

Chủ đề Chưa phân loại | 5 phản hồi »

Bài báo có một cái hình thú vị

Hãy xem trang 15 của bài báo này bọn tôi mới upload lên ArXiV.

Chủ đề Vui - Giải Trí | Tagged | Phản hồi »

Một bài toán thú vị

Con trai của một người bạn gửi một bài toán rất thú vị:

Có 2013 con bài. Trên mỗi con bài người ta viết 1 số bất kỳ. Tất cả 2013 số này khác nhau. Người ta úp các con bài xuống. 1 bước đi cho phép người chơi chỉ ra 10 quân bài và sẽ được thông báo 1 trong các số được viết trên các con bài này (không biết vị trí số đó). Tìm số t lớn nhất để đảm bảo tìm được t con bài mà có thể biết được số nào được viết trên từng con bài đó.

Chủ đề Combinatorics | Tagged , | 6 phản hồi »

Trận cờ thế kỷ

Lâu không chơi cờ. Hôm nọ xem một trận Liêm đánh thì đúng trận thua. Tình cờ tìm được “trận đấu thế kỷ” giữa Bobby Fischer (lúc đó mới 13 tuổi) và Donald Byrne (thắng giải Mỹ ở rộng nhiều lần, sắp thành đại kiện tướng). Fischer bỏ Hậu, công phá liên hoàn đẹp đến ná thở — vào sách giáo khoa!

Chủ đề Vui - Giải Trí | Tagged , | 3 phản hồi »

Thời con nít đã xa.

Nhiều khi ngồi nghĩ lại chuyện hồi xưa đi học, tui mới nhận ra có những thứ lúc trước rất thông dụng, ai ai cũng xài, đi đâu cũng thấy, mà bây giờ đã biến mất tăm mất tích. Chẳng hạn tập Ba Cây Thông, thuộc hàng “có thương hiệu” lúc bấy giờ. Lúc đó mà được một quyển tập Ba Cây Thông 100 trang thì cứ gọi là sướng rơn, mà phải chi giấy trắng tinh tươm gì cho cam, chỉ thuộc hàng trắng ngà thôi. Nói đến độ trắng của giấy thì tập giấy đen bây giờ cũng không thấy nữa. Các em bây giờ đi học được viết trên giấy trắng chói cả mắt, làm gì biết đến tập giấy đen thui thùi lùi, viết bút chì lên thì cứ gọi là căng mắt ra mà đọc. Đặc biệt là tập giấy đen thì thông thường chỉ là tập 50 trang, hồi đó nhiều vô số kể, bây giờ cũng không thấy. Bây giờ bét ra thì cũng 100 trang, thông dụng đã là 200 trang rồi. Hồi xưa còn có vụ tập xài năm trước không hết, năm sau lôi ra cắt bỏ những trang đã viết rồi đế xài tiếp, mà còn ít trang quá thì đem ra đóng lại thành cuốn nháp. Lúc tui đi học, chắc mẹ tui cũng biết tính con mình hay quậy, chuyên môn xé tập nên mỗi lần cho tập mới là mẹ tui ngồi ghi số vô góc từng trang, thằng con mà xé giấy ra làm bì là bà biết liền. Mà đã nói về tập là phải nói về tạp chí Liên Xô và lịch tờ treo tường, vì những thứ đó được tận thu để làm giấy bao tập, bao sách. Lịch tờ treo tường bây giờ vẫn còn, nhưng tạp chí Liên Xô, giấy trắng bóng, màu sắc rực rõ, thì bây giờ không còn nữa.

Đọc tiếp »

Chủ đề Vui - Giải Trí | 8 phản hồi »

Đọc sách “nhanh”

Bạn Thành hỏi:

Thầy tư vấn giúp em về cách đọc một quyển sách thế nào cho hiệu quả và nhanh nhất có thể?mình có nên đọc nhanh hay không?

Theo tôi thì tuỳ theo đọc sách để làm gì. Xem lại bài năm mức ngu dốt. Đọc để chuyển lên mức 2OI thì đọc nhanh, lươn lướt cũng được. Còn muốn để lên 1OI hoặc 0OI thì cần nhiều thời gian lắm.

Tôi tạm chia mục tiêu đọc sách thành ba phạm trù:

  • Cưỡi ngựa xem hoa. Đọc lươn lướt để biết là trên đời này có cái như vậy. Như thế thì nhanh chậm không quan trọng.
  • Hiểu. Ta phải làm thế nào mà ta có thể gần như là tự xây dựng lại nội dung quyển sách mà không cần tham khảo sách. Tất nhiên là không phải tất cả mọi chi tiết, nhưng phải nắm hoàn toàn cái sườn, có thể tự tin là mình giải thích lại nội dung quyển sách cho người khác một cách logic với một tư duy tự nhiên! Để làm được điều này, khi đọc sách toán ta nên tự chứng minh các định lý trước khi đọc chứng minh; khi đọc sách lập trình ta nên … lập trình chứ không phải đọc để biết cú pháp.
  • Chuyên gia. Ta tạo ra kiến thức mới cho nhân loại, có thể đóng góp một chương/đề mục vào quyển sách. Để đến trình độ này thì ta không nên đọc sách chay. Ta tìm cách giải quyết một vấn đề nào đó trong phạm vi đề tài của sách, và hiểu là vấn đề của mình khớp vào cái dòng chảy tri thức của sách như thế nào.

Những quyển sách đáng đọc không bao giờ có thể đọc một lần là hiểu.

Chủ đề Giáo dục | Tagged | 6 phản hồi »

Mickey Mouse ở Việt Nam

Chủ đề Lịch Sử | Tagged , | 4 phản hồi »

Định lý Gale-Ryser

1. Định lý Gale-Ryser

Định lý Gale-Ryser là một trong những định lý cổ điển của toán Tổ Hợp. Định lý này trả lời câu hỏi sau đây:

Cho trước hai vectors \mathbf r = (r_1,\dots, r_m)\mathbf c = (c_1,\dots,c_n) gồm các số nguyên dương. Có tồn tại một ma trận nhị phân \mathbf A = (a_{ij}) \in \{0,1\}^{m \times n} gồm m hàng và n cột, sao cho tổng hàng thứ i của \mathbf Ar_i và tổng cột thứ j của \mathbf Ac_j. Câu hỏi này tương đương với câu hỏi liệu có tồn tại đồ thị hai phần (bipartite graph) cho trước bậc của các đỉnh.

Đọc tiếp »

Chủ đề Combinatorics, Python, Thuật Toán | Tagged , | 6 phản hồi »

Học Thế Nào

Các bạn đóng góp ý kiến, thảo luận, và bài vở cho trang này của các bác NBC, VHV, PT, nhé!

Chủ đề Tin tức đó đây | Tagged , , , | Phản hồi »

“Không quản lý được về an ninh”

Trích từ đây:

[...]ông Vương Quang Khải, Phó Tổng Giám đốc Công ty VNG cũng cho rằng, các dịch vụ trong nước của VNG như Zing Mail, Zing Me… tuân theo rất nhiều chế tài của cơ quan quản lý trong khi các dịch vụ tương tự của nước ngoài như Yahoo Mail, Gmail, Facebook… thì không gặp phải bất cứ chế tài quản lý nào cả. Từ đó dẫn đến việc người dùng sẽ thích và sử dụng các dịch vụ nước ngoài vì không bị quản lý. VNG hi vọng thời gian tới sẽ có quy định để các doanh nghiệp trong và ngoài nước cùng “chơi” theo một luật để giúp CNTT Việt Nam phát triển. “Nếu cơ quan quản lý tiếp tục quản lý doanh nghiệp nội và ngoại như trên môi trường web thì VNG lo ngại chúng ta sẽ lại thua tiếp một lần nữa trên thị trường di động (mobile), giống như với thị trường mạng xã hội, máy tìm kiếm, email… dẫn đến thất thu về thuế và không quản lý được về an ninh”, ông Khải nhấn mạnh.

Quản lý an ninh là làm gì? Khoản 4, Điều 55 của Dự thảo nghị định quản lý Internet có quy định trách nhiệm của những công ty VNG như thế này (tôi in đậm những chỗ bên dưới, văn bản góc không có):

Điều 55. Trách nhiệm bảo đảm an ninh quốc gia, trật tự an toàn xã hội và phòng chống tội phạm trên mạng

4. Trách nhiệm của doanh nghiệp cung cấp dịch vụ Internet, viễn thông và nội dung thông tin trên mạng.

a. Triển khai các giải pháp, trang thiết bị kỹ thuật theo quy định của Bộ Công an để lưu trữ thông tin đưa vào, truyền đi trên mạng; ngăn chặn việc truy cập, truyền đưa thông tin có nội dung vi phạm Điều 5 của Nghị định này.

b. Xây dựng, ban hành quy định vận hành, khai thác, sử dụng dịch vụ Internet và nội dung thông tin trên mạng, Tổ chức việc đăng ký, quản lý và sử dụng thông tin cá nhân trên mạng theo quy định của Bộ Công an. Tuyên truyền, hướng dẫn, kiểm tra việc thực hiện đối với các đại lý Internet, người sử dụng dịch vụ, cán bộ, nhân viên trong nội bộ doanh nghiệp.

c. Cung cấp thông tin, phối hợp với đơn vị chức năng của Bộ Công an, các cơ quan Nhà nước có thẩm quyền thực hiện việc quản lý, kiểm tra, giám sát, phát hiện, ngăn chặn và xử lý các hành vi lợi dụng Internet, nội dung thông tin trên mạng vào hoạt động xâm phạm an ninh quốc gia và trật tự an toàn xã hội.

d. Ngừng ngay việc cung cấp dịch vụ Internet và thông tin trên mạng đối với các chủ thể lợi dụng các dịch vụ này để hoạt động chống lại Nhà nước Cộng hoà Xã hội chủ nghĩa Việt Nam, gây phương hại đến an ninh quốc gia khi có yêu cầu của cơ quan quản lý nhà nước có thẩm quyền.

e. Bố trí mặt bằng, điểm truy nhập mạng, các cổng kết nối, giao diện kết nối tại các điểm kết nối Internet quan trọng và những điều kiện kỹ thuật cần thiết cho các đơn vị chức năng thuộc Bộ Công an thực hiện nhiệm vụ bảo vệ an ninh quốc gia trong hoạt động Internet.

g. Phối hợp với cơ quan chức năng của Bộ Công an triển khai các biện pháp bảo đảm an ninh quốc gia, trật tự an toàn xã hội và phòng chống tội phạm trên mạng trước khi chính thức cung cấp dịch vụ. Thực hiện chế độ báo cáo đột xuất, định kỳ, cung cấp các thông tin cần thiết theo quy định của Bộ Công an.

h. Chịu trách nhiệm hướng dẫn đại lý Internet, điểm cung cấp dịch vụ trò chơi trực tuyến công cộng của doanh nghiệp thực hiện các quy định về bảo đảm an ninh quốc gia, trật tự an toàn xã hội và phòng chống tội phạm trên mạng của Bộ Công an trong hoạt động Internet và nội dung thông tin trên mạng.

i. Chịu sự thanh tra, kiểm tra việc chấp hành các quy định của pháp luật về bảo đảm an ninh quốc gia, trật tự an toàn xã hội và phòng chống tội phạm trên mạng của cơ quan quản lý nhà nước có thẩm quyền.

Như vậy VNG có đáng tin để chúng ta trao gửi thông tin cá nhân không? Câu trả lời của cá nhân tôi là không. Thật ra không chỉ riêng VNG mà tất cả các công ty Việt Nam đều phải thực hiện các điểm đã dẫn ở trên. Dẫu vậy tôi thất vọng khi VNG dùng lá bài “quản lý an ninh” để vận động chính quyền đưa ra chính sách có lợi cho họ.

Từ chỗ bị ép buộc, VNG bây giờ đã sỗ sàng gợi ý. Đây là một bước đi rất dài, chỉ tiếc là đi thụt lùi. Bao giờ thì ra được thế giới?

Chủ đề Chưa phân loại | Tagged | 2 phản hồi »

Phân tích khảo sát góp ý dự thảo Hiến Pháp bằng Bổ Đề Johnson-Lindenstrauss

Các bác bên trang Cùng Viết Hiến Pháp vừa cho đăng bài phân tích kết quả khảo sát về bản dự thảo Hiến Pháp 2013. Phương pháp chính được dùng là MDS (đại khái PCA, tổng quát hơn xíu). Các bạn có thể nhận ra tinh thần của MDS mô tả trong bản phân tích trong bài đã viết về trị đặc trưng và vector đặc trưng.

Trong bản phân tích khảo sát Hiến Pháp thì cỡ khoảng {n=4000} điểm trong không gian {d = 12} chiều được chiếu xuống không gian {k = 2} chiều sao cho khoảng cách giữa các cặp ý kiến vẫn gần như là được bảo toàn. Ngoài ý nghĩa rõ ràng về mặt hiển thị dữ liệu một cách trực quan, giảm số chiều là một thành phần cực kỳ quan trọng không thể thiếu của các phân tích thống kê hiện đại. Bài Dimension Reduction: A Guided Tour của Christopher Burges (MSR) là một tham khảo nhập môn rất tốt! (Đề mục 4.2 nói về MDS.)

Một cách giảm số chiều là dùng (các biến thể của) bổ đề Johnson-Lindenstrauss, một bổ đề rất quan trọng trong thống kê, tính toán hình học, cơ sở dữ liệu, v.v. Có rất nhiều cách chứng minh bổ đề này. Trong bài này ta thảo luận chứng minh của DasGupta và Gupta, phần nào để minh hoạ thêm về cái mẹo của Bernstein. Trước hết ta phát biểu một cách đại khái bổ đề JL.

Bổ Đề 1 (Bổ đề JL — phiên bản hoa tay múa chân) Cho một tập {S} gồm {n} điểm trong không gian {\mathbb R^d}, thì tồn tại một ánh xạ {f: \mathbb R^d \rightarrow \mathbb R^k} với {k} “nhỏ” sao cho khoảng cách giữa hai điểm bất kỳ {\mathbf x}{\mathbf y} trong {S} gần như là bằng với khoảng cách giữa hai ảnh {f(\mathbf x)} and {f(\mathbf y)} của chúng qua ánh xạ {f}. Ánh xạ thoả tính chất này thường được gọi là biến đổi Johnson-Lindenstrauss.

Đọc tiếp »

Chủ đề Xác suất & thống kê | Tagged | 22 phản hồi »