CreatZy IT Notes

DIKW

2011-12-22T04:38:00.001+09:00

We store data, process information, learn knowledge, and apply wisdom to produce more data, more information, more knowledge, and more wisdom.

OOP Revised

2011-11-23T07:19:00.001+09:00

[23] Inheritance — what your mother never told you

Structured Programming

2011-11-04T00:27:00.005+09:00

Control: No goto, let's drive the machine using control structures.
Data: No pointer, let's handle data by encapsulating them into managed objects.
Architecture: No loop (circular connection), let's arrange components into tunnelable layers encapsulated by refinable (abstract) interfaces .
Concurrency: No sharing, let's communicate by passing messages between managed agents.

Unïnfo/Knowledge Theory

2011-09-27T19:16:00.003+09:00

Uni-info --> Uniinfo --> Unïnfo (ï, 1 but 2, separated but united)
And add new slogans for the extreme boudaries of the theory:
Make invisible things visible
Make immeasurable things measurable
Make clear the unclearness, and
Prove the unprovability

Don't test, don't try!

2011-05-04T21:51:00.003+09:00

Don't test, don't try,
let's make sure we're doing right!!!

Condition testing --> state separation & state sync between components
Exception handling --> static constraints (pre/post condition)

Xác suất - Lý thuyết của sự Không Chắc chắn!

2011-02-11T20:38:00.012+09:00

Trong lý thuyết xác suất, "xác suất = 100%" được gọi là "HẦU chắc chắn", tức có vẻ chắc chắn chứ cũng chưa chắc chắn, cho nên không có một khẳng định nào trong lý thuyết xác suất tương đương với các khẳng định bên logic học (cổ điển, chỉ có đúng/sai) cả.

- Xác suất ~ thiếu thông tin
- Có điều kiện ~ có thông tin -> có thể làm ảnh hưởng xác suất TƯƠNG ĐỐI -> với bài toán quyết định thì nên tận dụng điều kiện mọi lúc, vì chỉ dựa trên xs tương đối. Còn với bài toán đo đạc (tổng xs) thì tùy trường hợp, nếu ĐK có XS thì chỉ ảnh hưởng khi XS đó đủ cao (ko phải 1 lần và mãi mãi), còn nếu không có XS thì phải dựa vào số lần hữu hạn (có thể) xảy ra ĐK đó đối với chủ thể. Cơ sơ ủng hộ niềm tin "tận dụng điều kiện mọi lúc" là xs toàn phần của mọi sự kiện trong điều kiện đều được nhân cho xs của đk (nếu có), nên xs tương đối cao hơn thì vẫn "tốt hơn".
- Định lý Bayes: đưa các nút điều kiện lên gần gốc của cây trường hợp (phân hoạch kgian xs) như tái sắp xếp của OBDD
- nếu đã theo 1 ĐK, vd "nghe thầy bói" hoặc "ở VN", thì (thường là) đã bị ảnh hưởng bởi ĐK đó, nên các quyết định khác cũng nên theo ĐK đó.
- ĐK thường khó / không thể lập mô hình xác suất --> cần kiến giải uniinfo cho xs để liên kết tốt hơn giữa đk và xs.
- Khi thông tin có, nhưng thiếu, và không thể lập mô hình XS, thì có 2 trường hợp:
+ Mô hình xs đều (ko ảnh hưởng qđịnh) + logic tương đối (trên các số đo khác xs) --> quyết định dựa trên logic đó
+ Mô hình xs KHÔNG ĐỀU + logic tương đối --> cần phải có ngôn ngữ chung (uniinfo) để đưa ra quyết định từ 2 nguồn info đó (có thể trái ngược, như Prisoner Dilemma).

- Luật số lớn & nguyên lý giới hạn trung tâm
- Bất chấp phân bố nguồn, phân bố nhận là random (đều & độc lập với nguồn) thì kết quả là random!

- Kiểm định là không thể; Kiểm định giả thiết, nhiều giả thiết ngầm
- Ngẫu nhiên, điều không thể kiểm định.
- Phân bố gì cũng đều hiểu được theo phân bố đều; Nhưng cái quan trọng hơn của "ngẫu nhiên xác suất" là ĐỘC LẬP, và cái khó nhất, lại thường dùng nhất là TỰ ĐỘC LẬP! TỰ ĐL là không thể kiểm định ngay cả trên lý thuyết --> buộc phải dùng semantics "thế giới song song"
+ Quan điểm frequentist: Khi đo Pr(E(X)) bằng thống kê trung bình của các X liên tiếp, thì khi áp dụng cho chuỗi không liên tiếp có thể hoàn toàn thay đổi, nhứt là với những X "hiếm". VD: với 50:50 đỏ:đen thì Pr(10 đen)=1/1000, nên khi 1 người trong 1 chuỗi không liên tục nhận được toàn 10 đen thì chẳng ảnh hưởng gì đến người khác (mỗi người chỉ trích 1 tí xs cho anh ta). VD chuỗi: 01234567890123456..., 5938264017(my rand)98607(x2)3619205847(x3)...
- Thực nghiệm của XS là ThKê, nhưng phải có "số lớn", nên các trường hợp SỐ NHỎ đều chỉ là "niềm tin":
+ Thuần niềm tin: Tần suất vẫn tính được trong trường hợp số nhỏ / số nhỏ
+ Không chắc chắn, nhưng trong "các thế giới song song" thì xác suất cao --> vẫn là xác suất, vẫn không chắc chắn, nhưng ở các siêu thế giới thì xác suất lại cao nữa, v.v.

- Thứ tự bốc thăm (trong n người)
- Bốc thăm cùng lúc / tuần tự
- Bài toán đặt cọc & xác suất thắng của cái.

- Monty Hall paradox: các xác suất của host
+ chọn mở thêm cửa hay ko
+ chọn mở cửa có / ko có xe --> cửa chọn đầu có xs toàn phần 1 -> 1/3
+ chọn mở cửa 2 / 3 --> cửa đổi (2) có xs đk 1 -> 1/2
+ chọn cho đổi cửa hay ko
* Nếu host không làm theo xác suất (ngẫu nhiên) mà theo chiến lược (xác định nhưng không cố định, như đếm từ 1 đến vô cùng) thì không thể tính được xs.
+ Dụ: Thứ tự chọn có ảnh hưởng?

- Frequentist(objective) v. Bayesian(subjective): Setting prob v. guessing prob.
+ Frequentist: must make sure the objective setting is random with testing. keep from completely depends on the (SELF) INDEPENDENCY.
+ Bayesian: "random" = "no info" --> subjective, can make real random by subjectively randomly guess.
- Bên đặt và bên nhận, chỉ cần 1 bên random thì kết quả trở thành random --> hỗ trợ quan điểm chủ quan của Bayes.
- Prob, Value, or Logic? Bài toán "Đánh bạc có bảo hiểm"
+ Khi có nhiều lần, E(X) có hiệu quả
+ Khi có 1 lần, Pr(X) có hiệu quả
+ Khi có ít lần, dùng logic để xét các ràng buộc (decision problem).
- Bài toán "Đánh bạc có bảo hiểm": Xs thắng:thua là 1:2 (1 red 2 black), đặt cược 1 thì thắng:thua 2:1 (zero-sum, E(X)=0). Bảo hiểm đóng mỗi lượt 1 thì trả cho thua:thắng được 2:0.
+ 2 lượt chơi:
* XS át giá trị: 1rr:2rb:2br:4bb --> 44:44 (như 50:50) là thua2:thắng1 chứ không phải "không thua không thắng"
* Logic: BH 1; Cược 1 - ( thua được 0 - cược 1 - thắng được 1 | thua được 0 ) | ( thắng được 1 - cược 2 - thắng được 4 | thua được 0)
+ chơi thoải mái:
* Cố định giá trị thì "huề"
* Chiến lược luôn thắng (chu kì trung bình 3): cược 2, thua cược 3, thua cược 5, thua cược 8, ... (Fibonacci), thắng được gấp đôi, tức lời đúng phần đặt, cược lại 2, thắng cược 4, thắng cược 8 (đã được tổng 12 từ khi cược lại), ... (2exp), thua chỉ mất lần cuối!, cược lại 2, ... Tuy nhiên không thể tránh nguy cơ phá sản: n:Fib:Prob = 1:2:67%, 2:3:44%, 4:8:20%, 9:89:3%

Lý thuyết v. Thực tế
- Lý thuyết XS: Biến ngẫu nhiên (phần output), phân bố ngẫu nhiên. Hoàn toàn toán học, không liên quan gì đến khái niệm "ngẫu nhiên", mà chỉ là trường hợp đặc biệt của lý thuyết độ đo! Kết quả "định lý số lớn", "định lý giới hạn trung tâm"
- XS-TK: Biến cố ngẫu nhiên, thử nghiệm / phép thử ngẫu nhiên, quá trình ngẫu nhiên, không gian mẫu (input của biến ngẫu nhiên), sự ngẫu nhiên! Các quan điểm frequentist và Bayes.

- Penney's game: xs có điều kiện giấu trong Thứ Tự!
+ Dụ: 3 sự kiện cùng xảy ra hay trước sau? 000 (toàn 0) khó xảy ra hơn 100? So sánh bắc cầu (a>b>c)
- Cẩn thận với xs liên tục, vì "mọi card.omega đều có thể map cho nhau", nghịch lý Bertrand.

- Lão Andrey Kolmogorov thật ghê gớm: xác suất, hỗn loạn, thông tin thuật toán!

Emoticons have entered the Unicode! ;-)

2011-01-31T05:38:00.002+09:00

In October 2010, the Unicode Standard version 6.0 standardized emoticons in the range [1F600, 1F64F]. From now on, the Unicode may include everything visualizable on the computer screen (^!^).

Bộ 3 Thống nhất "Sử dụng - Khai báo (Thiết kế) - Cài đặt"

2011-01-15T11:58:00.003+09:00

Sans-serif

2010-06-09T00:50:00.002+09:00

"Sans-serif" tức "không-chân", là họ các phông chữ có nét suôn như Arial, Tahoma, đối lập với các phông chữ có chân như Times (đang dùng trong blog này). Ý nghĩa thì đơn giản như vậy, nhưng nếu phân tích ra thì có nhiều điều quái lạ lắm ;)

Pháp-Anh: Sans là từ tiếng Pháp nghĩa "không", còn serif lại là từ tiếng Anh nghĩa là "chân chữ".
Phát âm? Nếu đọc theo tiếng Anh thì là "san se-rif", theo tiếng Pháp thì là "son sơ-rif". Còn mình hồi đó giờ thì đọc lai thành "san sơ-rif". Tuy nhiên mình thấy serif đọc là "sơ-rif" thì đúng hơn là "se-rif" vì có vẻ như chữ đó bắt nguồn từ tiếng Đức schreef!

Chuyện Búi Chỉ

2009-11-07T12:08:00.026+09:00

Phần 1, Câu chuyện về những Sợi chỉ Cuộn tròn (The Story of Folding Threads): Tự thuở sơ khai, những con chữ, các ký tự nằm rời rạc nhau, chưa có ý nghĩa. Sau đó, chúng được ghép lại với nhau tạo thành từ, rồi nhiều từ nối tiếp nhau tạo thành câu, câu nối câu tạo nên đoạn văn, v.v. Từ khi được "xỏ xâu", những con chữ mới bắt đầu mang theo ý nghĩa. Nhưng những xâu ký tự đó cứ được sinh ra nhiều vô số, và cứ dài ra đến vô tận, không thể nào cất giữ được. Thế là người ta nghĩ cách "buộc túm" chúng tại với nhau thành 1 bó cho các phần giống nhau của các xâu chụm lại thành 1, và thế là ta có "cây". Như vậy là có thể "xách cả bó đi 1 lượt" được rồi. Nhưng chúng vẫn còn lòng thòng, và có những xâu dài đến gần như vô tận. Thế nên người ta lại nghĩ cách cuộn chúng lại cho gọn hơn, các bó (cây) con đồng dạng với nhau được ghép chung lại thành 1 cục, tạo nên trạng thái. Vậy là bó chỉ đó đã co lại thành một búi, gồm một mớ các trạng thái (nút) liên kết chằng chịt với nhau, gọi là máy trạng thái. Búi chỉ này đủ gọn để bỏ vào túi được rồi!

Tương tự như vậy, thưở sơ khai bên thế giới vật lý cũng có các điện tử lạc lõng rời rạc chưa làm nên tích sự gì. Từ khi con người biết "thổi" chúng vào thành một luồng (dòng điện) thì chúng mới phát huy tác dụng. Những dòng điện này được "cuộn tròn" lại tạo nên các trạng thái, những trạng thái độc lập khi đòng điện của chúng được khép kín. Người ta ghép rất nhiều trạng thái lại với nhau tạo thành máy tính, và cho nó một dòng điện để hoạt động. Dòng điện này đi tới đâu thì nối với dòng dòng điện khép kín của trạng thái tới đó, tương tác với nó, mở nó ra, và làm cho trạng thái thay đổi, tức chuyển trạng thái. Và dòng điện nuôi sống cỗ máy ấy cũng chính là luồng của sự sống!

Phần 2, Sự Tiến hoá của những Búi Chỉ (The Evolution of Thread Folds): Những búi chỉ ban đầu còn nhỏ gọn (bỏ túi được), nhưng càng ngày càng nở ra, càng trở nên hỗn độn bùi nhùi... Thế là người ta phải tách những phần đồng dạng đơn giản nhưng xuất hiện phổ biến ra thành các búi nhỏ, được gọi là dữ liệu (biến, bộ nhớ), và phần phức tạp còn lại được gọi là chương trình. Việc phân tách này đã làm giảm kích thước búi chỉ một cách đáng kể (theo cấp số nhân). Chương trình là búi chỉ bùi nhùi phức tạp nhất và giữ vai trò "đầu não" điều khiển những búi dữ liệu đơn giản hơn giữ vai trò "cơ bắp". Đến lượt mình, chương trình cũng phình to ra và đến khi có những phần lặp lại, nó lại bị tách ra thành các module, gọi là thủ tục / hàm.

Khi hệ thống phát triển thì không những chương trình mà dữ liệu cũng phải được module hoá, một mớ dữ liệu với một mớ hàm được đóng gói lại thành một module gọi là đối tượng. Và khi có nhiều luồng sống cùng tồn tại trên một tập hợp các đối tượng thì chúng lại bị phân hoá ra làm 2 loại: các sinh thể (đối tượng hữu tri, hay "chúng sanh" theo ngôn ngữ Phật) và các đối tượng vô tri (hay "vật thể").

Bonus, Luồng (của sự) Sống (The Threads of Life): Luồng sống, luồng vận động, hay dòng thời gian là một khái niệm diễn tả sự sống. Ở mức trừu tượng nhất, nó là sự chuyển trạng thái. Nếu trạng thái là khái niệm tĩnh thì luồng sống là khái niệm động: Nó bắt đầu từ trạng khái khởi đầu và đi xuyên qua các trạng thái, đi tới đâu thì tạo nên sự chuyển trạng thái tới đó. Nhưng ranh giới động/tĩnh này chỉ có nghĩa khi ta xét phạm vi ngoài trạng thái. Chứ thực ra trong mỗi trạng thái đều có 1 luồng sống đang khép kín nằm ngủ, gọi là luồng sống nội tại. Khi cái luồng sống bên ngoài đến với mỗi trạng thái thì nó không làm gì khác ngoài việc mở vòng kín của luồng sống nội tại (đánh thức nó) và nối tiếp vào một đầu của nó. Khi đó, trạng thái "thức dậy" và hoà luồng sống của mình với luồng sống chung. Khi đầu kia của luồng sống thoát ra khỏi trạng thái và chuyển sang trạng thái khác thì ta có sự chuyển trạng thái, và trạng thái cũ "ngủ" trở lại với luồng sống nội tại khép kín của mình.

Ngoài ra, trong thế giới sinh vật cũng có những búi chỉ cuộn tượng tự: Những acid amin được xỏ xâu lại với nhau thành các chuỗi polypeptid, chuỗi này xoắn lại với nhau thành cấu trúc xoắn kép hoặc gấp lại thành những tấm xếp, rồi những cấu trúc này lại gấp cuộn lại với nhau thành những khối protein 3 chiều, và những khối này còn có thể gắn kết lại với nhau tạo thành những khối protein to hơn nữa.

[from EducationalTrainingVideos]

--------------

Tham khảo:

- Các hình búi chỉ lấy từ 3-Dimensional Fiber Work by Tina Koyama
- Về protein: Protein Structure @ The Biotechnology Project, TANPAKU Project

D* Framework & Knowledge Theory

2009-10-18T23:51:00.006+09:00

Let's...
draw up your dreams, (D* Framework)
make invisible things visible,
and immeasurable things measurable! (Knowledge Theory)

"Distributed", another "D" for the D* to append to the list of Ds: Dynamic, Developed, Descriptive, Designable, Distributed, Determined, Direct, Durable, Definite,...

A specific theory for Software Development is no more needed! The Knowledge Theory will do the trick, in steads! ;) Knowledge Theory will enlighten every aspect, every corner of Software Development Processes: How much you lose and how much you gain when you throw goto away to shift to Procedural Programming, how much you lose/gain when you throw _pointer away to shift to Object Oriented Programming, and how much you lose/gain when you throw _{shared memory} away to shift to Thread Oriented Programming.

The Reduced Halting Problem

2009-10-18T17:47:00.004+09:00

The original Halting Problem: There exists a decider H(,) such that for all program p and input x, H(p,x) decides whether p halts on x.
The reduced Halting Problem: For all program p and input x, there exists a decider H(,) such that H(p,x) decides whether p halts on x.

Is the reduced problem decidable?

EXP(), The Limit of Our Mind!?!

2009-06-18T20:00:00.005+09:00

EXP(), ExplosiveXtremePower(), or usually named in the world of mathematics as exponent() is actually an interesting function:

Mutex & Sync, A note for myself

2008-10-11T09:33:00.001+09:00

- Mutex(actually, atomicity) & Sync complement each other (within the same boundary: either global or local)
- All mutex/sync tools (mutex, atomic claim, lock, semaphore, fence, barrier) have the same (simulation) power, and thus, CANNOT be built(simulated) without the hardware intrinsic atomicity.
- All sync can be simulated by async software model, but NO sync can be done(simulated) without the hardware intrinsic sync. Eg: the read, write ops; the "2-state lovers" problem.
* At the deepest meaning leavel, mutex/sync is only needed for INFORMATION RESERVATION!

Petri Nets, an Interesting Discovery

2008-01-12T18:22:00.001+09:00

The term "Petri Net" has come to my mind someday while I'm taking the course "Theory of Discrete-State Systems", but it had been so dim because I didn't attend the class the day Petri Net introduced. Later, when dealing with parallelism, I found that it will be much easier to represent "action activation", "event synchronization", and so on with the concept "transition" in Petri Net. And some other day, when I myself read the slides about introduction to Petri Net, I was strongly impressed by the thought that "Only equipped with an N (tokens), Petri Net has turned Finite Automaton to a universal machine, i.e. Turing-equivalent machine!" That idea came to me very naturally, since Turing Machine is different from Finite Automaton only in term "Finite", i.e. TM has infinite memory (equivalent to a natural number). But yesterday, in an attempt to simulate the "N-memory" using Petri Net, I faced a serious problem that Petri Net is incapable of expressing an important class of relations/operations: equivalence (x=y), negation (¬p). After struggling with the problem, I have found that Petri Net is "only one step next to heaven", and that "step" is to add the concept of "null token" or "transition priority". Before celebrating my "stunning result", I have done a search with Mr.Google and got some interesting things!

Name of the game: The "Petri Net" I referred above is in fact, P/T Net, which stands for Place/Transition Net, but also Pe-Tri Net (to my mind)! In general, "Petri Nets" is a family of modeling frameworks including P/T Net's subtypes and P/T Net's extensions.

More than making explicit: With explicit transitions, Petri Nets revive the notation of action in traditional flowchart, and make the interactions between concurrent processes much easier. With tokens, Petri Nets do not only make the instruction pointer(or instruction pointers in non-deterministic/parallel models) explicit, but also give means to represent resources as well as memories.

The lack in expresiveness: P/T Net can simulate an N-memory NM, with inc(NM), dec(NM), NZero(NM), but Zero(NM). Using enabling property of transitions, we can define a Boolean logic with p⋀q, p⋁q, but ¬p. I have tried to combine parallel P/T Net components using "connectors"(extra nets) and preserve the pre-built structure of those components, i.e. without "splitting stransitions"(or transitions). But I failed because without not, or cannot be converted to and.

One step to heaven: To be Turing-equivalent, P/T Net needs only one of these extensions:
- Zero-testing/Inhibitory arcs, i.e. "not" arcs: Those arcs with a circular mark (inhibitor) at the transition end will enable the connected transitions only if the source place is empty. Normal arc: ○→☐, Inhibitory arc: ○―◦☐.
- Transition priority: If both enabled, the transition with higher priority will be fired. This will solve the "conflict" in firing, and makes the choice between transitions more deterministic (it is still non-deterministic between transitions with equal priority).
- Batch processing arcs: These arcs will process all token(s) in source places at once! This is proposed by some Japaneses in Modeling power of Petri nets with batch processing arcs, IEIC Technical Report.
- Anti-places: If a place P is bounded m(P) ≼ M(P), we can construct an anti-place P^- of P such that m(P^-) = M(P) － m(p).
However, Turing's "heaven" is not easy at all! Only with that one extension, all of the P/T Net's familiar properties (reachability, deadlock, liveness, reversibility, boundedness, covering) will be undecidable!!! Note: With P/T Net, we have algorithms to check all of those properties, already.

Một chứng minh xây dựng tuyệt vời cho Bài toán Dừng

2008-01-09T17:28:00.000+09:00

Chẹp chẹp chẹp! Hay thiệt là hay!

Mới có hơn một tháng mà khi mình quay lại thì thấy Wikipedia đã chuyển cách chứng minh bài toán dừng từ Phản chứng sang Lập luận Đường chéo! Chứng minh bằng phản chứng vốn không được "xây dựng" cho lắm, trong khi lập luận đường chéo (chính thống) thì "có vẻ" xây dựng hơn nhiều. "Có vẻ" ở đây là nhiều khi những điều kiện tiền đề của lập luận có ẩn chứa việc "phán" một cách không xây dựng, ví dụ "tiên đề lựa chọn".

Tìm kiếm trên mạng, mình toàn thấy những "chứng minh đường chéo... giả" mà thôi. Chẳng qua chỉ là những chứng minh bằng phản chứng rồi tưởng tượng ra một đường chéo nào đó chứ chẳng liên quan gì đến lập luận đường chéo gốc của Cantor (hoàn toàn không dùng phản chứng). Còn chứng minh trên Wikipedia, vốn được lấy từ chứng minh của peter_douglass trên sci.logic, thì chính xác là lập luận đường chéo theo kiểu của Cantor. Và hơn thế nữa, nó hoàn toàn xây dựng chứ không ẩn giấu những tiền đề không xây dựng như tiên đề lựa chọn. Nó tránh được tiên đề lựa chọn là vì tập hợp các chương trình dừng (tương ứng với hàm tính được) là một tập hợp liệt kê được, nên mỗi một phần tử trong bảng giá trị đều có thể được chỉ ra (xây dựng) bởi một chương trình (thuật toán) cụ thể.

Lý thuyết của các Lý thuyết!

2007-12-17T03:13:00.000+09:00

Ê hê, mình thích khoa học từ bé, nên đã sớm đụng đến cái "khoa học của các khoa học" là Triết học. Ấy vậy, tuy nghiên cứu lý thuyết cũng khá lâu rồi mà mình không biết đến cái gọi là "lý thuyết của các hệ thống lý thuyết"!

Chẹp chẹp... dạo này nghiên cứu lý thuyết "nặng" quá (formal methods), nên mặc dù không muốn cũng vẫn phải rờ tới cái tên Lô-gíc! Hôm trước vừa mới nêu ra "Tiên đề Phân biệt", thế mà không ngờ ngay hôm sau đã bắt gặp cái món "Lô-gíc Trực giác"(Intuitionistic logic) không chấp nhận "luật phủ định giá trị thứ ba". Tuy nhiên, mình thấy đây cũng không hẳn là cái mình muốn. Eo ơi, đụng đến lô-gíc thì có đủ loại lô-gíc, thiệt là kham hỏng nổi!

Hờ, dẫu sao thì mình cũng có vẻ là người của chủ nghĩa xây dựng (Constructivism)...

The Implied Axioms of Science

2007-11-30T15:36:00.000+09:00

When a child and first time heard of "logic", I was so amazed, and somehow amused, by the way they use only 2 values TRUE/FALSE; and later by the 2 values ZERO/ONE in computing, too. "How can it be?", I wondered. Why is any thing must either true or false? Why can't they be somehow-true-somehow-false, like "30% true"? Why don't we do computation with real numbers like 1.2315, but only with 0 and 1?

When studied about Theory of Computation and first met the Diangonal Argument, I was surprised about its strength, but soon get more surprised with the way Cantor choosed an element out of an arbitrary set! I thought that if we donot know the underlying structure, or if we cannot assign any structure to a set, how can we "pick something up" from that set, while a set is simply a "bag" and no more.

➠ Axiom of Choice: Cannot satisfy with the simple explaination "Because we defined it, we can choose something from it!", I've searched for the definition of set. (if we can choose, then other action like sorting must be able, but no one allows that, they just give special allowance to "choosing"!) Then, at last I've found that the "choosing right" is no more than an axiom! People accept it just because they feel it axiomatic!
➟ Axiom of Separation: Even though there is no axiomatic system for the whole science, but for science to be "clear" and "precise", all scientists presume that "A" and "not A" are always distinct, i.e. we can always separate things into one side and onother side. It sounds self-evident, but if we kick the word "of course" out of our mind, we can see that this separation is no more than an axiom.

Simple Vs Complex

2007-07-14T01:01:00.001+09:00

There are some things look simple but actually very complex, some problems can be simply stated but so complicated to be solved, some games have simple rules and equipment but no simple way to win ;)

Long time ago, when first meeting Chaos, I have had a great impression on the "Fishes in pond" problem; Now, more admiration has been rised in me when I met the Conway's Game of Life and the Go game!

Simple forumlae Vs Chaotic results: Logistic map is a very simple model of "Population of fishes in a pond" which is based on only 2 factors
(1) Reproduction: next year's population ～ this year's population, and
(2) Starvation: next year's population ～ (pond's limit － this year's population)
but results in a fantastic chaos!

Simple rule set Vs Universal behavior: Conway's Game of Life is a very simple model of "Living population" which is defined by only 4 trivial rules
(1) Survival: One cell will continue to live if there are 2 or 3 living neighbour cells,
(2,3) Death: One cell will die if there is less than 2 or more than 3 living neighbour cells (because of isolation/overpopulation), and
(4) Birth: One cell will be born in an empty square if that square is surrounded by exactly 3 living cells.

However, with appropriate initial seeds, this population can grow and form various types of "living body". Moreover, this "cellular automaton" is equally powerful as a (2D-tape) Turing machine, thus universal!

Simple games Vs Intractable solutions: Go, 圍棋/囲碁, literally "encirclement chess", is one of the oldest board game on earth which is equipped with only a board with many stones of black and white. The play rules are simply about how to "surround the opponent's stones to capture them", which you can learn in minutes, but knowing the rules is nothing about knowing how to play! After a few trials, you will soon discover that there are countless patterns and strategies for players to learn, that the shape of stones on the board is so chaotic and ever-changing, 千変万化, "thiên biến vạn hoá"!!! Moreover, the philosophy of Go is about the whole universe, about the life and death, is about the endless force of the empty, is that "everything is generated from the nothing!" This game, Go, is far more difficult than the common Chess as well as other similar chesses(Xiangqi/象棋, Shogi/将棋):

- "While the strongest computer chess software has defeated top players (Deep Blue beat the world champion in 1997), the best Go programs routinely lose to talented children." - Wikipedia
- "While the Baroque rules of Chess could only have been created by humans, the rules of Go are so elegant, organic, and rigorously logical that if intelligent life forms exist elsewhere in the universe, they almost certainly play Go." - Edward Lasker

This game is actually "A few moments to learn, a lifetime to master!" (Chinese proverb)

Led or El-ee-dee? Star or Asterisk?

2007-04-24T21:58:00.013+09:00

GUI / G-U-I
LED / L-E-D
char / kar
SeQueL / S-Q-L
.PiNG / .-p-n-g
.wav / (.-w-a-v)
... / ...?
Which spellings are correct? It depends on your society: While Americans spell GUI /gui/, Japaneses spell /dʒi-ju-ai/; While Vietnameses spell LED /led/, Americans spell /el-i-di/; While Vietnameses in general and I in particular and also some Americans spell Char(type) /tʃar/, some others spell /kar/; And so on...

Not only abbreviations, but the symbols(marks) under your fingertips (on your keyboard) are also spelled in many different ways:

Table of Spellings of Symbols on Computer Keyboard
Notes:

CAPITALIZED: The prefered pronunciation of Unicode Consortium and/or the Pronunciation Guide for ASCII Characters
Plus(+) endded: "new" to me!
Italic: Somehow interesting, like pictographic

	SPACE, blank, ghost+	(Khoảng) cách, khoảng trống, khoảng trắng
!	EXCLAMATION MARK, wow+, hey+, bang+, boing+	Chấm than, chấm cảm, chấm nhểu
"	double quote, QUOTATION MARK, dirk+, literal mark+, rabbit ears+	Nháy kép, nháy nháy, ngoặc kép
#	NUMBER SIGN, sharp, (garden) fence, hash+, mesh+, CROSSHATCH, mask, pig-pen, pound sign	Thăng, rào
$	DOLLAR SIGN, buck, milreis+, escudo+	Đô-la
%	PERCENT SIGN, mod+	Phần trăm
&	and, AMPERSAND, andpersand, snowman+	Và
'	QUOTE, single quote, APOSTROPHE, tick, prime, irk+, pop+, spark, glitch+	Nháy (đơn), ngoặc đơn
()	PARENTHESES, parens, round brackets, bananas+, ears+, bowlegs+	Ngoặc (tròn)
(	open paren, LEFT PARENTHESIS, parenthesee+, sad+	Mở ngoặc (tròn)
)	close paren, RIGHT PARENTHESIS, unparenthesee+, already+, wax+, happy+	Đóng ngoặc (tròn)
*	star, ASTERISK, splat+, spider+	Sao, hoa thị
+	PLUS SIGN, plus, add, cross+	Cộng
,	COMMA, tail+	Phẩy, phết
-	MINUS (sign), HYPHEN, dash, negative (sign), worm+	Trừ, gạch ngang, gạch nối
.	dot, PERIOD, spot, full stop	Chấm
/	SLASH, stroke, over, slant+, SOLIDUS+, diagonal+, slat+, slak+	Xuyệc, xược, Xẹt, (gạch) chéo
:	COLON, two-spot, double dot	Hai chấm
;	SEMICOLON, semi, hybrid+	Chấm phẩy, chấm phết
<>	ANGLE BRACKETS, pointy brackets, angles, widgets+, funnels+, brokets+	Ngoặc nhọn
<	LESS-THAN SIGN, open angle (bracket), open tag	Nhỏ (hơn), Mở ngoặc nhọn
>	GREATER-THAN SIGN, close angle (bracket), close tag	Lớn (hơn), Đóng ngoặc nhọn
=	EQUAL SIGN, equal(s)	Bằng
?	QUESTION MARK, whatmark, hook, query+, huh+	(Chấm) hỏi
@	AT SIGN, at, COMMERCIAL AT, whirl, whirlpool, vortex+, cyclone+, snail+, cat+, monkey (tail)+, each+	A vòng, a còng, a móc, a thương mại
[]	BRACKETS, SQUARE BRACKETS, U-turns+, edged parentheses+	Ngoặc vuông
[	LEFT BRACKET, LEFT SQUARE (BRACKET), bracket, bra+	Mở (ngoặc) vuông
]	RIGHT BRACKET, RIGHT SQUARE (BRACKET), unbracket, ket+	Đóng (ngoặc) vuông
\	BACKSLASH, backslant, backwhack+, backslat+, REVERSE SOLIDUS+, reversed virgule+, bash+	Xuyệc ngược, xược ngược, xẹt ngược, sổ ngược, chéo ngược
^	(top)hat, cap, uphat, CIRCUMFLEX (ACCENT), party hat, housetop+, caret, carrot+, hiccup+	Mũ, Ô
_	underline, underbar, UNDERSCORE, LOW LINE, flatworm+	Gạch dưới
`	backquote, backprime, GRAVE (ACCENT), unapostrophe, backspark+, birk+, blugle+, backtick, push+, backglitch+, backping+	Huyền, nháy ngược
{}	BRACES, curly braces, squiggly braces+, CURLY BRACKETS, squiggle brackets+	Ngoặc móc
{	LEFT BRACE, LEFT/OPEN CURLY BRACKET, leftit+, embrace+, openbrace	Mở (ngoặc) móc
}	RIGHT BRACE, RIGHT/CLOSE CURLY BRACKET, rytit+, unbrace+, uncurly+, bracelet+	Đóng (ngoặc) móc
\|	VERTICAL BAR/LINE, tube, whack+, gutter+, wall+	Gạch đứng
~	TILDE, wave, twiddle, tilda+, tildee+, squiggle+, swung dash+	Ngã, sóng

"Cái USB" ?!

2007-04-09T23:07:00.000+09:00

"Cái USB", bạn đã từng nghe hoặc dùng từ này hay chưa? Nó được dùng để chỉ cái... thẻ nhớ con con được cắm vào máy tính qua cổng USB đấy :D

Thật là nực cười khi hầu hết các thiết bị ngoại vi trong hệ thống máy tính của tôi đều được liên kết với máy tính qua cổng USB (thẻ nhớ flash, đĩa cứng ngoài, con chuột, bàn phím, máy in, webcam,...), mà "cái USB" lại chỉ để chỉ có mỗi một cái thẻ nhớ thôi! USB(Universal Serial Bus) vốn là một đường truyền vạn năng (universal) bỗng nhiên lại trở thành... cái thẻ nhớ!

Hẳn không phải là không có lý do để người ta gọi tên sai lầm lệch lạc như thế. Vốn là từ đầu, thẻ flash là thiết bị ngoại vi đầu tiên nối kết với máy tính qua cổng USB, và có lẽ bây giờ ở Việt Nam, đó vẫn là thiết bị USB phổ biến nhất, nên người dân thường, người ngoại đạo vẫn thường "thấy sao gọi vậy". Tuy nhiên, tệ hại hơn nữa là kể cả dân IT, cũng có nhiều người dù biết USB là gì nhưng vẫn cứ vô tình/cố ý gán oan cho nó vào "cái USB"!

- USB: Ôi, oan uổng quá đi thôi! Sao một kẻ vạn năng như ta lại có thể bị gán vào một thằng thẻ nhớ nhỏ nhặt đó được!???
- "Cái USB": Này anh USB, đừng phỉ báng tôi như thế nhé! Đấy là tên gọi quen thuộc nhất của tôi đối với mọi người ở VN đấy. Mà cho dù anh có "vạn năng" hay không thì dân tình cũng có biết gì khác đến anh ngoài việc dùng để cắm "cái USB" này đâu :P

Số Lớn...

2007-01-07T17:40:00.000+09:00

Này, đố bạn hai số lớn sau:
1) "Hằng hà sa số"(恒河沙數) là số mấy, viết theo công thức toán học?
2) Số 10^10¹⁰⁰ được gọi là gì (từ Âu-Mỹ)?

Trong tiếng Việt, có thể mọi người đã quen dùng "hằng hà sa số" như "muôn vạn" với nghĩa là vô số, mà không mấy ai chú ý dịch nghĩa của từng chữ. Nếu chú ý một tí, ta dễ dàng thấy rằng "Hằng hà" là sông Hằng (Ấn Độ) và "sa số" là số (hạt) cát ("sa" như trong "phù sa", "sa mạc"), nên "Hằng hà sa số" dịch nguyên văn ra là "số cát sông Hằng" vậy! Theo Phật giáo du nhập vào Trung Hoa, từ này còn được dùng để chỉ số 10⁵² trong hệ thống số lớn tính theo vạn(10⁴) được sử dụng tại Trung Quốc, Nhật Bản, Triều Tiên. Trong hệ thống này, các bội số được tính theo cơ số vạn: vạn = 10⁴, ức = 10⁸ = vạn², triệu = 10¹² = vạn³,... hằng hà sa = 10⁵² = vạn¹³.

Ở phương Đông có con số dài đến tận 53 chữ số không, tưởng đã là quá dư thừa, thế mà phương Tây lại còn có con số dài đến độ nếu viết ra thì số chữ số không của nó cả vũ trụ này cũng không thể chứa nổi... 10¹⁰⁰ chữ số không! Trên internet, hẳn bạn phải biết đến bác Gú-gồ(Google), và cũng có thể nghe nói đến con số googol có tới 100 chữ số không,... nhưng chắc chưa biết đến con số googolplex = 10^googol = 10^10¹⁰⁰ :D

Interesting Stuffs about Primes

2007-01-06T17:24:00.000+09:00

A beautiful prime visualization

Thanks to Wikipedia, I've just accidentally found the "Number Spiral" view of the primes. It is much more beautiful than my view on the complex plane.

Illegal Primes

Have you known DeCSS? You must know it if you have ever RIPped a DVD :D! If have never heard, you should try this cool stuff whenever you want to watch a DVD bought from Vietnam (region #3) in US(region #1), or to watch a DVD bought from US in Japan(region #2) as I used to do. The DeCSS algorithm is so favourite that people(not only rippers) around the world have contributed lots of representations of that stuff. Among them, there's a type of genuine mathematical representation, the prime number. You can extract the C code of the DeCSS program efdtt.c in 8-bit ASCII encoding from the 1045-digit prime 207401646065301...7791512957, or in 7-bit ASCII from the 914-digit prime 94547005113906...0843081469! You can even get the executable version of that program by converting the 1811-digit prime 49310835970...5452543537 into binary form, then pass a CSS-encripted .VOB file by this program, and receive the deCSSed version of that .VOB!
These numbers have made the first illegal primes in the world.

__________________________________
Attachments:


/*
 * File name      : efdtt.c
 * Author         : Charles M. Hannum 
 *                  Thanks to Phil Carmody  
 *                  for additional tweaks. 
 * Original Length: 434 bytes (excluding tables and unnecessary newlines)
 * Usage          :  cat title-key scrambled.vob | efdtt >clear.vob 
 * Reform         : Le Xuan Dinh  
 *                  (inserted new-lines, spaces, and tabs)
 * 
 */

#define a(f) (i[f]^l[f+84])<<

unsigned char i[5], l[2048], m;

main(n)
{
  for( read(0,i,5); read(0,l,n=2048); write(1,l,n) )
    if(l[m=l[13]%8+20]/16%4 == 1)
    {
      int 
        p = a(1)17^256 + a(0)8,
        q = a(2)0,
        r = a(4)17^a(3)9^q*2 - q%8^8,
        u = 0,
        w = 26;
      for( l[m]-=16; --w; r*=2 )
        u = u*2^p&1,
        p = p/2^r&1<<24;
      for( r=127; ++rm )
        w += m=p^p/8^p>>4^p>>12,
        p  = p>>8^m<<17,
        u ^= u>>14,
        m  = u^u*8^u<<6,
        u  = u>>8^m<<9,
        q  = l[r],
        q  = "7Wo~'G_\216"[q&7] + 2^"cr3sfw6v;*k+>/n."[q>>4]*2^q*257/8,
        l[r] = q^(q&q*2&34)*6^w + ~m;
    }
}

Sun Get Changed!

2006-11-16T09:56:00.000+09:00

After a long time getting rid of the "unnecessary features" of C++ to make Java more Object-Oriented and more concise, in Java 5 (or version 1.5) Sun has reintroduced those features like Generics (like C++'s template), Enums, and even more with new features getting form other languages like For-Each, Autoboxing, etc.

The Java 5 has been apparently old story, but now, Sun even do more with a new jump over its "company fence" to bring the J2SE implementation to the Open-source community!

Welcome Mr. Sun!

Nếu tôi còn sống thì tôi đã chết!

2005-11-09T17:44:00.000+09:00

Một lần nữa, quay trở lại với Lô-gíc hình thức và các mâu thuẫn "tự phủ định"!

Bạn thử nghĩ xem mệnh đề sau đây đúng hay sai:

"Nếu tôi còn sống thì tôi đã chết"
(biết rằng "tôi còn sống" = ￢"tôi đã chết")

Chắc hẳn là nó phải Sai, đúng không nào?!
Nhưng bạn thử nghĩ lại một lần nữa xem, có thay đổi quyết định không? ;-)
.
.
.
Bây giờ chúng ta thử dùng lô-gíc hình thức để xem xét nhé.


Đặt
    P = "Nếu tôi còn sống thì tôi đã chết"
    Q = "Tôi còn sống"
Vì
    "tôi còn sống" = ￢"tôi đã chết"
Nên
    P = Q → ￢Q
Dùng công thức
    A→B = ￢A ∨ B
Ta có
    P = Q → ￢Q
      = ￢Q ∨ ￢Q
      = ￢Q
Kết luận
    P = ￢Q
      = "tôi đã chết"

Vậy mệnh đề này không (hằng)đúng mà cũng không (hằng)sai, nó tương đương với mệnh đề con đơn giản hơn là "tôi đã chết".
Nếu bạn muốn "chơi khăm", có thể làm cho mệnh đề khó hơn bằng cách kéo dài nó ra thành:

"Mệnh đề 'Nếu tôi còn sống thì tôi đã chết' mà sai, thì tôi chết mất!"
(biết rằng "tôi còn sống" = ￢"tôi đã chết" = ￢"tôi chết mất")

Dùng lô-gíc hình thức phân tích thì ta thấy mệnh đề này có dạng:


     R = ￢(Q→￢Q) → ￢Q
       =      Q    → ￢Q
       = ￢Q

Và theo lý thuyết, bạn có thể kéo dài ra mãi!

Liên tưởng tới Vật lý Lượng tử, ta có thể thấy nó có liên quan đến còn mèo "dở sống dở chết" của Schrödinger(Schrödinger's cat).

Hoặc nghĩ về Lý thuyết Tính trong Tin học, thì ta nhận ra ngay lớp bài toán "không giải được"(bài toán "dừng") nổi tiếng(Halting problem). Tính "không giải được" được chứng minh nhờ luận đề Turing-Church(Turing-Church thesis).

Còn bây giờ thì mình bỗng nhớ lại một bài toán lô-gíc hấp dẫn mà mình đã được học từ hơn chục năm trước (hình như là hồi lớp 5), bài "Treo cổ - Chặt đầu":

Ngày xửa ngày xưa, ở một vương quốc nọ, có một ông vua độc ác cai trị nhân dân một cách tàn nhẫn và bất công khiến cho nhiều người trong nước đó cứ lũ lượt kéo nhau bỏ sang nước khác hết... Thế là ông vua ấy mới ban hành một điều luật thật quái đản vô nhân đạo rằng: "Ai muốn ra ngoài biên giới thì phải nói một câu. Nếu câu ấy Đúng thì sẽ bị Chặt đầu. Còn nếu câu ấy Sai thì sẽ bị Treo cổ." Từ đó, chẳng còn ái dám bén mảng ra ngoài biên giới nữa.
Ông ta tưởng như thế là đã thành công rồi! Nhưng nào ngờ, một ngày kia, có một nhà thông thái vẫn cứ ung dung bước chân ra vùng biên giới.... Lính gác gặp nhà thông thái thì chặn lại bảo: "Ông già ngạo mạn kia, hãy nói một câu xem nào". --Tới đây, hỡi các nhà thông thái của chúng ta hãy thử nghĩ xem nên nói câu gì nào? :-?-- .............Nhà thông thái không chùn bước, vừa đi vừa nói: "Ta sẽ bị treo cổ!"... Thế là lính gác cùng các quan binh đều phải để cho ông đi. Đem câu đó tâu lên vua, cả triều đình cũng phải... bó tay! :-))

XUL - XML User Interface Language

2005-10-17T18:39:00.000+09:00

XUL Project at Mozilla
Wow, thanks to Trung, I've just known about this new lang!
The amazing/confusing point is, that it somehow coincides with my idea of a "discriptive language" for GUI designing: a language for discribing all of the GUI components ("forground") in a style like XML, and has links to the behaviors "background" built in other "normal" programming languages.

Java Look-and-feels

2005-10-14T00:15:00.000+09:00

Most of the Java Look-and-feels can be found at javootoo.com. Belowing is some notable ones.

OYOAHA laf: Opensource; New features: animations, (alpha)transparency, sounds, etc. [demo applet]

Simple laf: "free" with 10 euros fee! Configurable by a properties file, (maybe the most) flexible. [demo JWebstart]

Skin laf: Opensource, skinnable (pluggable), however less flexible than SLAF.[demo JWebstart]

Multilingual TeX

2005-08-20T09:25:00.000+09:00

Du`ng tie^'ng Vie^.t va` tie^'ng Nha^.t trong TeX

InfoNode - a cOoL Swing GUI

2005-08-07T08:10:00.000+09:00

http://www.infonode.net/ is an open-source project which provides very cool GUI:

(advanced) Tabbed panel
(super) Docking window
and also with a cool Look-and-feel

Just try, you will like it!

No "unsigned" int. in Java, NOP!

2005-08-06T00:34:00.000+09:00

Nop! wob!

After a long long time working with Java, now I have "discovered" that there really NO UNSIGNED integer type there! E'ry int., byte(8b), short(16b), int(32b) and long(64b) is signED one ! :-?

The more surprising thing is that, there is no pre-built method for casting signed one to unsigned one, either !

Big-endian Vs. Little-endian

2005-08-05T22:31:00.000+09:00

The mnemonics are that:

big-endian = "big-end-first" : 0x0201 --> 02,01
little-endian = "litle-end-first": 0x0201 --> 01,02

Mostly because of the nature of World's languages and of the world-wide used Arabic-numeral system, the Internet Protocol defines a standard "big-endian" network byte order.

To summarize, here are the default endian-formats of some common computer architectures:

Pure big-endian: Sun SPARC, Motorola 68000, PowerPC 970, IBM System/360
Bi-endian, running in big-endian mode by default: MIPS running IRIX, PA-RISC, most POWER and PowerPC systems
Bi-endian, running in little-endian mode by default: MIPS running Ultrix, most DEC Alpha, IA-64 running Linux
Pure little-endian: Intel x86, AMD64, DEC VAX (excluding D-Float numbers)

It is interesting that... the very terms big-endian and little-endian were taken from the Big-Endians and Little-Endians of Jonathan Swift's novel Gulliver's Travels, two groups of people in conflict over which end of an egg to crack in the voyage to Lilliput and Blefuscu.

Java applets can communicate with each other easily !

2005-06-30T15:46:00.000+09:00

There are 2 ways to do inter-applet communication:

the basic way is to use the methods getApplet(), getApplets() in java.applet.AppletContext. An AppletContext can be fetched using method java.appet.Applet.getAppletContext(). This way is only for applets on the same page.

the "trick" way is to use a (shared) public static reference to store the reference to this Applet object instance, then other applet can simply access this applet through this reference. This way is only for applets with the same codebase (codebase attribute in APPLET tag).

ref: An alternative way for applet-to-applet communication

Java GUIs

2005-05-15T20:02:00.000+09:00

Glazed Lists - A toolkit for list transformations: Sort & Filter, Display a list in a JTable, JList or JComboBox, ect.

Laziness, the virtue !

2005-05-15T08:02:00.000+09:00

Color Schemes and UIDefaults: "We all know that laziness is a virtue (at least for a programmer). "

"PRN" file name on Windows

2005-05-12T02:23:00.000+09:00

Windows NT 4.0, 95, 98 (?) networked PRN flaw

I suppose that, in an effort to maintain reverse compatibility with
old MS-DOS command line gurus, you cannot create a file or directory
named PRN.xxx where the xxx is replacable with any extension.
Old style MS-DOS command line-ing would allow you to do the following
to print your autoexec file:
C:\>copy autoexec.bat prn
what this actually does is redirect the contents of autoexec.bat to
the port LPT1.
...

What is a "Lang Spec" ?

2005-01-12T04:28:00.000+09:00

...a complete specification of the syntax and semantics of the language. We intend that the behavior of every language construct is specified here, so that all implementations will accept the same programs. Except for timing dependencies or other non-determinisms and given sufficient time and sufficient memory space, a program written in the Java programming language should compute the same result on all machines and in all implementations.

The Java Language Specification

Drawbacks to XML

2005-01-06T23:26:00.000+09:00

XML : Java Glossary: "The primary function of XML is to consume RAM and datacommunication bandwidth. Presumably it was promoted to its current frenzy by companies who sell either RAM or bandwidth. Others promoting it have patents they hope to spring on the public once it is entrenched..."

The Billionth Prime...

2004-12-19T09:07:00.000+09:00

After a long time waiting... Then the BILLIONTH PRIME has come !
p[1'000'000'000]=22'801'763'489

"Một nửa thế giới" với ngành CNTT

2004-12-10T22:42:00.000+09:00

Tỉ mỉ, cẩn thận, tính ổn định cao... là những phẩm chất giúp người phụ nữ không thua kém gì nam giới trong lĩnh vực CNTT nói chung và làm phần mềm nói riêng. Nhưng thực tế, tỷ lệ phái yếu trong ngành rất khiêm tốn... !?
VnExpress - 'Một nửa thế giới' với ngành công nghệ thông tin

Google có phong cách CreatZy !

2004-12-10T20:20:00.000+09:00

Để khuyến khích sáng tạo, Google thường tạo tự do tối đa cho nhân viên. “20% thời gian tại công ty, bạn được làm những gì mình cho là tốt nhất”, Page khẳng định.

Ngoài ra, không giống phần lớn các tập đoàn Mỹ, Google cho phép dắt chó vào phòng làm việc. Hãng lý giải họ thích không gian làm việc đông đúc, “với ba hay bốn nhân viên, cùng hàng loạt bàn ghế và lũ chó quây quần”. Điều đó “sẽ tăng lượng thông tin trao đổi và... tiết kiệm tiền sưởi ấm”.

VnExpress - Ông chủ Google khuyến khích nhân viên sáng tạo

Balanced trees

2004-11-29T02:31:00.000+09:00

Red/Black Tree Demo applet
Red/Black Tree Demonstration: Maintenance Version
JAVA MODELS for behaviour of binary search trees: (SPL,R-B,AVL) This provide us a GREAT demonstration with fantastic graphics & sound & thinking & tree operations, but..... just a little large applet. Please wait for the first time loading it!

Methodologies

2004-11-19T13:28:00.000+09:00

"MS-DOG"

2004-11-17T17:43:00.000+09:00

30+ Reasons Why You Should Say MsDog and not MsDos:

*** You cannot make any file in form "prn.xxx"(xxx is arbitrary extension) ANY WHERE. Just because it has already stood for "printer" device!

- The read-only bits for directories are never used.
- You can rename files but not directories.
- Pipes, foo|bar, are implemented by >tempfile and <tempfile.
- You can open a file like c:\foo\..\config.sys even if you don't have a foo directory.
- Redirection doesn't work with batch files.
- Redirection doesn't work with the "For" command.
- You can only expand environment variables from batch files, not from the command line.
- The remainder of a "Rem" statement is not completely ignored. Rem > foo will create a zero-length file.
- Utilities like "sed" are not provided with MsDog so you cannot rely on users having them.
- and so on ...

Big O notation - Matters of notation

2004-10-25T01:35:00.000+09:00

Big O notation - Wikipedia, the free encyclopedia:
The statement "f(x) is O(g(x))" as defined above is often written as f(x) = O(g(x)). This is a slight abuse of notation: we are not really asserting the equality of two functions. Here is a bad example:

O(x) = O(x²) but O(x²) ≠ O(x)

By this reason, some authors prefer a set notation and write f ∈ O(g), thinking of O(g) as the set of all functions dominated by g.
Furthermore, an "equation" of the form
f(x) = h(x) + O(g(x))
is to be understood as "the difference of f(x) and h(x) is O(g(x))".

In casual use, O is commonly used where Θ is meant, i.e., a tight estimate is implied. For example, one might say "heapsort is O(n log n) in average case" when the intended meaning was "heapsort is Θ(n log n) in average case". Both statements are true, but the latter is a stronger claim.

**) Here is a hint (and mnemonics) why Landau selected these Greek letters: "omicron" is "o-micron", i.e., "o-small", whereas "o-mega" is "o-BIG".

Prime Number

2004-10-24T09:04:00.000+09:00

from MathWorld:
Euler commented "Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the mind will never penetrate" (Havil 2003, p. 163).

In a 1975 lecture, D. Zagier commented "There are two facts about the distribution of prime numbers of which I hope to convince you so overwhelmingly that they will be permanently engraved in your hearts. The first is that, despite their simple definition and role as the building blocks of the natural numbers, the prime numbers grow like weeds among the natural numbers, seeming to obey no other law than that of chance, and nobody can predict where the next one will sprout. The second fact is even more astonishing, for it states just the opposite: that the prime numbers exhibit stunning regularity, that there are laws governing their behavior, and that they obey these laws with almost military precision" (Havil 2003, p. 171).

NetBeans, yet another Open-source Java IDE & JBean platform !!!

2004-05-29T06:36:00.000+09:00

Welcome to NetBeans
* The NetBeans IDE is a development environment - a tool for programmers to write, compile, debug and deploy programs. It is written in Java - but can support any programming language. It is a free product with no restrictions on how it can be used.

* The NetBeans platform is an application runtime - a "generic large desktop application." Most desktop applications have common requirements - menus, document management, settings and so forth. Nobody enjoys writing menu code or setting storage code. With the NetBeans Platform, you don't have to. Just write modules to implement what you need, bundle them up with the NetBeans Platform, and you have a beautiful, branded, cross-platform application. And if you need custom functionality or components, the Platform is built to be flexible.

[UML]: Architects & Software developers

2004-05-01T05:12:00.000+09:00

Practical UML?: A Hands-On Introduction for Developers: "...Architects design buildings. Builders use the designs to create buildings. The more complicated the building, the more critical the communication between architect and builder. Blueprints are the standard graphical language that both architects and builders must learn as part of their trade.
Writing software is not unlike constructing a building. The more complicated the underlying system, the more critical the communication among everyone involved in creating and deploying the software. In the past decade, the UML has emerged as the software blueprint language for analysts, designers, and programmers alike. It is now part of the software trade. The UML gives everyone from business analyst to designer to programmer a common vocabulary to talk about software design."

MvnForum: diễn đàn xây dựng trên Java - giải nhì TTVN 2003

2004-04-03T21:43:00.000+09:00

Xuất phát từ nhu cầu về một diễn đàn thảo luận (forum), nhưng tại thời điểm đó chưa có một forum miễn phí nào được viết bằng ngôn ngữ Java, vì vậy, tháng 10/2001, hai thành viên trẻ nhóm MyVietnam (Việt Nam và Tôi) đã quyết định xây dựng diễn đàn mvnForum với công nghệ Java. Và Giải Nhì của TTVN 2003 là phần thưởng xứng đáng cho những nỗ lực của nhóm tác giả trẻ.

... lợi thế của mvnForum là mã nguồn mở, miễn phí, hỗ trợ đa ngôn ngữ và sử dụng công nghệ Java để chạy được trên đa hệ thống ..., đồng thời cho phép người dùng thay đổi giao diện diễn đàn theo ý muốn.

MvnForum được thiết kế theo mô hình MVC (Model – View - Controller), ... giúp mvnForum dễ dàng hơn khi cần mở rộng thêm tính năng ... cũng có thể thêm ngôn ngữ của đất nước mình mà không cần sửa đổi mã nguồn. Trong khi đa số các diễn đàn cho phép chạy ở một ngôn ngữ nhất định thì sản phẩm này lại có thể chạy nhiều ngôn ngữ cùng một lúc và cho phép tìm kiếm với cả các ngôn ngữ khác ngoài tiếng Anh. Hiện tại, mvnForum đã được bản địa hoá sang 21 ngôn ngữ trên thế giới...

mvnForum đã chứng tỏ được khả năng ứng dụng trong hầu hết các lĩnh vực cần sử dụng diễn đàn thảo luận thông tin như hành chính, giáo dục, doanh nghiệp, tài chính, ngân hàng, y tế, hàng không... Với từ khóa "mvnForum" bạn có thể tìm kiếm trên Google và thấy rằng sản phẩm này đã có mặt tại hơn 100 website trên thế giới, được nhiều tổ chức, công ty trong và ngoài nước chọn làm giải pháp diễn đàn cho mình: mvnForum được sử dụng tại công ty CGChannel (www.cgchannel.com), một website chuyên về mỹ thuật trong máy tính có trên 10.000 thành viên và mức độ truy cập rất cao, trên 400 người mỗi thời điểm; công ty Fortis chi nhánh Mỹ, một trong 20 tập đoàn tài chính lớn nhất Châu Âu đang sử dụng sản phẩm này để đáp ứng nhu cầu trao đổi thông tin ngày càng tăng trong công ty (www.fortis.com); Trường ĐH Berkeley (Hoa Kỳ) cũng đang sử dụng sản phẩm này trong hệ thống trao đổi thảo luận của trường (www.berkeley.edu)... Tại Việt Nam, mvnForum được sử dụng xây dựng Diễn đàn của Hội các lập trình viên JavaVietnam (www.JavaVietnam.org). Mới đây, tỉnh Kiên Giang cũng đã chọn mvnForum làm Diễn đàn trong Hệ thống thông tin kinh tế xã hội của tỉnh (www.KienGiang.gov.vn) được ra mắt trong năm 2004. “Ban tổ chức Trí Tuệ Việt Nam cũng đã quyết định sử dụng MvnForum cho Diễn đàn của TTVN”, Minh cho biết thêm.

theo PC World, số B, 2.2004

AOP - OOP - My idea: Gene !

2004-04-03T21:42:00.001+09:00

Quan điểm của nó là bổ sung vào những khiếm khuyết mà do OOP mắc phải. Khiếm khuyển đó là ǵ?
- Tính trùng lắp(đan nhau) về mă chương tŕnh -> khó bảo tŕ và mở rộng chương tŕnh.
- Phương pháp lập tŕnh OOP cố gắng mô phỏng thế giới thực - Object, nhưng thế giới thực tồn tại Subject nhiều hơn là Object. Với việc thiết kế mẫu (Design Partern), OOP cũng có thể tạo ra Subject nhưng thường là phức tạp do vấn đề 1 gây ra.
- Object trong thế giới thực có chu ḱ sống: Sinh ra - Hoạt động - Phát triển - Chết đi, nhưng Object trong thế giới OOP th́ chỉ có Sinh ra - Phát triển - Chết đi.
Những khiếm khuyết trên là cần thiết loại bỏ v́ sự phát triển cùa công nghiệp phần mềm. AOP tỏ ra có khả năng làm việc đó...

Trong tư duy phát triển phần mềm OOP và AOP có ǵ khác?
OOP xem xét bài toán từ h́nh thức tổng quát hoá các yêu cầu -> các Object.
AOP xem xét bài toán dưới góc độ phân ră hoá các yêu cầu -> các Apect.

Qua những gì thằng Trung nói, cộng với tư duy của mình... và nhớ lại ý tưởng về Java-Bean, liên tưởng đến phương pháp lập trình bằng "thiết kế" của mình, mình hình dung ra một thế giới của các chương trình tương lai cũng "sống" y như sinh giới bây giờ, với những hòn gạch xây dựng nên nó là các đoạn "gene-code" Ha ha... code và gene !

AOP & Java

2004-04-03T21:42:00.000+09:00

Hôm nay được thằng Trung nhắc lại về vấn đề AOP và Java.... cũng được giới thiệu trang diễn đàn JavaVietnam hi vọng là sẽ hữu ích !

So many...

2004-04-03T21:41:00.000+09:00

Wow... so many things concerning to WWW I have to learn: CSS, JavaScript, XML, MathML, CGI-Perl, PostScript, ect.
Wow... how can I deal with all of them ??? :(

SourceForge's forum projects

2004-04-03T21:39:00.000+09:00

phpBB (php/OS ind.) (Good looking !)
YaBB (Perl/OS ind.) (BAD looking)
Snitz Forums 2000 (ASP/Windows) (Ok!)
mvnForum (JSP/OS ind.) (Ok! Good Idea)
JForum (JSP/OS ind.) (still Ok.)

First IT note

2004-04-03T19:57:00.000+09:00

I just drop down to say IT = "Information is right on you fingerTip" !