Reading books - "Larry King: Những bí quyết giao tiếp tốt"

 Currently, I am reading the book "Larry King: Những bí quyết giao tiếp tốt". This is an interesting book beginning from the introduction.

 I have chances to listen to many broadcast news programs on CNN radio and video by Larry King. I think this book will be useful for me in behaving and communicating to other people.

 I will have a summary of this book after reading a chapter (if I have time) or the whole book.

About the meeting last time [30-Aug-2011]

 Yesterday, I had a short meeting with 2 Profs as usual. About the algorithm, currently it works well. But there are some elements, terms and definitions that I need to clarify them more.
 For example those definition:

• Length of template: actually, the template has a form of tree, so using the name length is incorrect. I have to change it to Level.
• The definitions of new terms: 
• rg, rgp : regular-path-pattern
• tg, t1g, t1gp: template of g-expression, template 1 of g-expression and template 1 of g'-expression
• pf, pg, pgp : pattern of f-expression, g-expresison and g'-expression

 Finally is about the upgrading strategy for multi-variables in the tree, considering the case of different level variables.

• The first advice is trying to reuse the existing functions in the system.
• The second hint is trying to decompose them into many different types. For example:
• Select {view:{a:$x,b:{c:$y}}} where {db:{dba:$x;dbb:$b}} in $db
• So I need to decompose them into many parts, so that I can reuse the current function and just need to compose them to get the result.

 Let's try the new solutions !

List of Interesting books - with download link

 Here is the link of those books that I recommend to readers.
 Must read links
 I will choose one of the most interesting in the list to translate.

Translation Project

 Recently, when reading the book "Khuyến học" of author "Fukuzawa Yukichi", there is a very interesting idea which is about the translation books from foreign language to author's mother language (Japanese). It is started from 1980 of previous century.
 So the idea is that I will take my time to translate books about Information Technology from English to Vietnamese so that many people can read them.
 However the main trouble is about the license, I don't know much about this and actually when deliver the Vietnamese version for free.

Đêm hội pháo hoa - Phần 1

 Pháo hoa xanh đỏ vang trời rộng

 Mấy ai buồn cho vận nước không?

 Ngày hội pháo bông ở Asakusa là một dịp hay để học hỏi những điều tốt đẹp từ văn hóa tổ chức sự kiện của Nhật Bản. Tôi bắt đầu khởi hành từ lúc trưa, đi vòng quanh qua các cửa hàng lớn ở gần khu bắn pháo bông để ngắm hàng hóa và chuẩn bị một số lương thực phẩm chinh chiến cho buổi tối hôm đó.

 Điều đầu tiên là khái niệm đặt chỗ trước, mỗi người muốn có chỗ cho bạn bè và người thân của mình thì chỉ cần đơn giản ra sớm, còn chỗ và đặt một tấm bạt hay chỉ đơn giản là bỏ một cái gì đó làm dấu cho biết là đã có chủ nhân. Những ô nhỏ đã được ban tổ chức phân chia sẵn, việc còn lại là ra sớm và xí chỗ. Dĩ nhiên không cần phải ngồi đó cả ngày để giữ chỗ vì khi nhìn thấy dấu hiệu đã có người đặt thì chẳng ai giành giật hay dời chỗ của bạn cả. Yên tâm.

 Nói về quy mô, tổ chức một đêm hội pháo bông cho 10.000 người tham dự không hề đơn giản. Họ có hẳn một lực lượng giữ gìn trật tự rất lịch sự và chuyên nghiệp đứng từ những tư cách đó hàng vài cây số để hướng dẫn người đi bộ và xe cộ lưu thông. Người đi bộ chỉ được đi trên lề đường thôi nhé.

 Một điều khá ấn tượng là diện tích mặt sân để tổ chức cho người tham gia ngồi là một bãi đất rộng mênh mông, áng chừng gấp đôi diện tích một sân vận động, nằm ngay sát bờ biển (tôi tự hỏi lúc đó nếu có sóng thần thì sao ta :D). Bao bọc chung quanh bởi bờ biển và một dãy các chung cư lân cận.

 Sân coi bắn hình vuông, mặt chính diện dành cho khán giả đi vào được che lại, chỉ chừa hai bên đường đi rộng ra vào, lực lượng an ninh trật tự, cứu thương cứu hỏa sẽ ưu tiên ngồi ngay cạnh đó. Ở cạnh đối diện với lực lượng này là dàn pháo bông sát bờ biển và hàng ghế danh dự dành cho ban tổ chức, khách mời ... Hai cạnh còn lại của sân sẽ được dùng để đặt các gian hàng buôn bán đồ ăn thức uống cho khách tham dự và một dãy nhà vệ sinh ấn tượng đủ để phục vụ cho những người tham dự coi bắn pháo bông. Đây là điều cực kỳ quan trong mà Việt Nam ta cần học hỏi khi tổ chức sự kiện.

 Phần diện tích còn lại là dành cho khán giả coi pháo bông, khi tham dự những sự kiện như vầy thì nam nữ thanh niên Nhật Bản thường bận những bộ Yukata (loại Kimono mỏng, ít lớp vào mùa hè cho mát), nhưng chỉ một số chân đi guốc, còn lại vẫn là dép. Tôi quan sát thấy có rất nhiều bạn Việt Nam (và cả nước ngoài) thích mặc Yukata, nhưng tự hỏi nếu ở Việt Nam ta, áo dài có được chuộng trong những dịp như vậy hay không, sẽ có một ngàn lẻ một lý do để nói về ... sự bất tiện của áo dài. Nhưng dù sao đó là cái hồn của dân tộc. Hãy trân trọng và gìn giữ.... (Hết phần 1)

Problem solving - Eureka

 In the last meeting, Prof. laughed at me when I was presenting about how to calculate the rpp element in the g' production. At that time, I just have a strong belief about the correctness of my algorithm. However, it was not enough only with belief, I have to think more about the reasonable and unreasonable points in the algorithm. Those Prof. may be know very well about that but the most important is my own discovery which means that I have to find out by myself.
 During this week, I reconstruct and test my algorithm with many different test cases, on the other hand, I continue developing the other cases with the input expressions. Then I recognize that there are some misunderstand about the matching expression and updating values.
 First, choosing the right pair of element to compare is very important. Last time, I chose to compare tf with (rg.t1g), that is one of the bad case. This time, I choose to compare pf with (rg.t1g), because the changes will directly depend on the pf.
 Second, I have to consider about the case that I need to execute the updating function and when is not necessary.
    If the g-expression path-value points to other places in the source graph which is not selected in pf, so we don't need to update. (just return {})
    In the other case, when the  pf_len is longer than rt1g_len then we don't need to update. (just return {})
    When pf_len is shorter than rt1g_len then we just consider the path, we must select the values in need by this formula: (rg . t1g) \ {pf}
    An important case which is used in case select-expression just has one element as {view:$db1} and {db:$db1}, we have to base on the length of template-pf, if pf_len is equal to 0 then we just need to return the whole template values in g-expression.
 Finally, I have to upgrade the VMF with the multi-variables and multi-values in both f-expression and g-expression.
 Cheers.

g'-expression

 The main problem comes from f-select expression. In current function, if the input template of f-expression doesn't contain the pattern like {edge:$variable} then occurred the error.
      [f] select $db => error.
 Template contains pair case, such as:
      [f] select {view:$db1} where {db:$db1} in $db => ok.
 I need to test more with the case:
      [f] select {view:$db1, test:$db1} where {db:$db1} in $db => ???
 The g-extend expression is always ok:
      [g]: extend rpp_g->$v with tg2 in $db.
      [gp]: extend rpp_gp->$u with tgp2 in $view.
 So the overview of the algorithm is:
      1. Consider the g-expression first.

Algorithm

   It was 5 days from the time I met Prof. There is not any progress since then. What's the main reason? At first, I just gave an example about the f-select and g-extend expressions in very complicated example. Then I just focus on solving that problem and forget about the compositional expression.
   After thinking a lot, I recognize that the main problems I need to concentrate on the very simple type. For example, I need to solve this first:
      f: select $db
      g: extend epsilon->$v with {} in $db
   The 3 main cases that I must implement so that I could make compositional functions are:
      {}              : create a single node graph.
      {a:G}        : an edge pointing to a graph.
      G1 U G2   : graph union.
  That's what I need to consider. About the {}: in pattern, its type is constant.
  I have to modify and fix the function that I implemented with other approaches.

Tôi quạnh quẽ dù giữa chốn đông vui

   Chiều Tokyo mưa buồn bã, mấy hổm rày trời giảm xuống 10 độ, những buổi chiều cuối tuần tâm trạng thường giống nhau: buồn & chán. Chỉ biết làm bạn với cái máy, có thêm 1 người ở trong phòng cũng không làm cho tâm trạng khá hơn.
   Tiếng gọi phone từ Skype vẫn vang lên đều đều .... chẳng ai bắt máy. Không biết ở nhà có mở loa hay đứa cháu đang bận ... chơi điện tử ? Chẳng biết! Gọi về nhà cũng chẳng để làm gì, hỏi thăm sức khỏe của mọi người trong gia đình, nói chuyện vu vơ .... dzậy mà dzui. Thèm nghe những hồi chuông điện thoại vang lên .... thèm nghe tiếng người gọi mua hàng ... thèm nghe tiếng còi xe bim bim của những người giao hàng mới về ... thèm cả những câu ... chửi thề của những anh tài xế giao hàng ... những thứ sao quá đỗi quen thuộc.
   Những buổi sáng gần đây, thức dậy với một tâm trạng hỗn độn, không nhớ ra là mình đang ở xứ người. Đầu óc cứ vẫn nhớ hoài là đang ở SG, đang ở Sadec, đang ở VN. Để rồi bàng hoàng thức giấc và nhận ra mình vẫn đang ở phương trời xa lạ.
   Có những lúc mở Adium lên, dù danh sách friends sáng rực, nhưng biết ai hiểu được mình ... thôi đành nhìn danh sách và lại tắt đi. Biết rằng những bạn bè mình vẫn khỏe qua những nick sáng trưng ấy. Trở về với chính mình, tự đối thoại với chính mình và viết ra những dòng suy nghĩ ấy.

Thả hồn với những bản đờn cải lương tuồng cổ

  Những bài bản cải lương, tôi chẳng biết là phân biệt dựa theo tiêu chí nào, tạm thời tôi sẽ phân thành 2 giai đoạn, 1 giai đoạn gọi nôm na là cải lương vàng, phần còn lại là cải lương đỏ. Đây chỉ là hình thức phân biệt theo quan điểm cá nhân, chỉ là một cái tên để phân biệt vậy rồi thôi.
  Nói về cơ duyên với những bài cải lương thì phải nhắc đến thời thơ ấu, lúc nhỏ tôi hay đi theo ghe của tía tôi. Được dịp đi đây đó, du hành qua những vùng đất xa xôi ở miệt An Giang, Cờ Đỏ, Núi Sập, 7 Núi hay thậm chí giáp ranh với Miên. Hành trình qua những vùng đất xa lạ, mà tôi lúc đó chỉ là một đứa nhóc theo ghe và ngồi chông ngóc nấu cơm hay xách nước và để tía tôi sai vặt. Những bài vọng cổ từ đó mà đến một cách rất tự nhiên.
   Nhớ những lúc đong lúa, tôi đi loanh quanh trong nhà những người nông dân, họ chỉ có chiếc la-dzô là bầu bạn, những bản nhạc đờn ca tài tử, vọng cổ cải lương, là thể loại quen thuộc nhất. Ấn tượng về những bài cải lương chỉ có vậy. Nhớ lúc nữa là khi ghe cập bến nhà nội tôi, khi đó thì tôi được dịp lang thang qua không biết bao nhiêu là bà con thân quen mà nói, nhưng tựu trung lại thể loại giải trí lúc đó chủ yếu là ... phim chưởng hồng kông vào ban đêm, cải lương vào ban ngày, và đối với đám thanh niên hay quí ông nhà rỗi, đá gà và nhậu lai rai là thú vui bất tận. Khi lương sương thì thường sẽ có cây đờn và những bản nhạc cải lương, những tuồng tích sẽ được ngâm nga khắp xóm.
    Nhờ vậy mà những buổi chiều hè trong xóm vắng cũng thêm phần rộn rã, bây giờ thì những chiếc truyền hình màu đã thế chỗ, những quý ông cũng ít hát cải lương, thay vào đó là những màn đánh lộn hay cãi nhau ầm ỉ.
    Chuyện phân biệt cải lương vàng và cải lương đỏ hoàn toàn cảm tính, bản thân tôi khi có dịp nghe những câu vọng cổ của Út Trà Ôn như Tình anh bán chiếu, Ông lão chèo đò hay vợ tôi đi lấy chồng, thì những điệu ngâm nga và nhịp điệu của những bản đờn ca này hết sức lôi cuốn, lời ngâm không chỉ có hát ca mà còn những câu thơ được ngâm, những lời tự sự và quan trọng hơn hết là không hề dài ... lê thê.
    Tôi bắt đầu mê những bản đờn ca gãy gọn, nhịp điệp nhanh lẹ, nội dung gắn chặt với đời sống nông bần, những kỷ niệm đẹp và đơn sơ ở miền thôn quê, nhưng không kém phần lãng mạn...

About proving the algorithm

    Now I have to think about the method to prove the correctness of the algorithm. In this case, I need to show that the algorithm must satisfies two important things, the first one is the ability to produce a correct g'-expression and the second one is that it must be a primitive function.
    What is the ability to produce a correct g'-expression? What is the correctness of algorithm? It must have the same result as applying 2 different stages which means applying g-extend-expression on db and then applying f for that result.
          Currently, the new function runs correctly with 3 test cases. But it failed in the special case: using 1 variable in the template of f and using the same 2 variables in template of f with 1 variable in pattern (I didn't test in the later case).
    About the primitive function, I have to implement the function again so that it can process the graph in variable form, and then it can reuse the graph operators in the current system.
           I need to think about the example in this case.
           Think about the combination - or nested - or reuse some graph operators.
           Then implement a new function (primitive function).

Chứng minh tính đúng đắn

    Chiều nay họp với Prof. xong, cảm giác hồ hởi ban đầu không còn nữa, thay vào đó là một sự lo lắng. Khi chứng minh tính đúng đắn, một vấn đề nan giải là dựa vào đâu mà biết được chương trình của mình ... đúng đắn. Tức là chọn hệ qui chiếu gì?
   Sau khi dùng một cách gọi nôm na là nông dân nhất, dùng diễn giải thông thường và các testcase để kiểm tra thì không có phương pháp nào khác được trình bày trong báo cáo. Khi này, một phản ví dụ được đưa ra và thế là ... toi :D. Vấn đề rất đơn giản: phải về suy nghĩ cách chứng minh lại.
   Sau khi trao đổi với nhau, bắt đầu bằng một phong cách nói chuyện rất quen thuộc, 'ý tưởng của cậu rất hay, nhưng tôi nghĩ ...', một mẫu câu giao tiếp khá phổ biến trong phong cách Nhật Bản. Vấn đề là cần chứng minh được 2 yếu tố sau đây:
      1. Đầu tiên là vấn đề về primitive function: không cần phải chứng minh quá nhiều với ví dụ quá phức tạp, chỉ cần đưa ra được một mẫu xử lý dạng primitive để từ dạng primitive đó, phát triển lên thành những dạng composition có sẵn.
               Ví dụ: với mẫu xử lý f($g), khi này f($g) sẽ là dạng primitive. Tiếp theo xây dựng một mẫu primitive khác, f(d:$g), đây là dạng constructor của tree. Từ một đỉnh, xây dựng thành một cây (construction), hoặc từ một cây hiện tại, chuyển đổi/hay phân rã thành một dạng cây khác (destruction). Sau khi xây dựng xong dạng primitive này rồi thì sẽ chuyển các dạng phức tạp khác về dạng primitive (các dạng chuyển đổi này đã được xây dựng sẵn).
       2. Sau khi có được primitive function: cần chứng minh thêm về tính tương đương (bisimilar hay similar - theo trực giác - intuitively).
               Trong bài toán hiện tại, tôi cần thực hiện qui trình sau đây: từ đồ thị db ta có:
                                         source --> f-expression  --> view
                                            |                                          |
                                         g-expression                g'-expression
                                            |                                          |
                                         source'--> f-expression  --> view'
               Hiện giờ đã làm được phần view maintenance, tức là thay đổi ở source và update ngược lại ở view. Khi này con đường đi sẽ là g'(view).
               Tôi cần chứng minh liệu với primitive function đã cài đặt, kết quả có giống như .... đi theo con đường bình thường: f( g(source)) = g'( f(source)) ??? Liệu có tương đương với nhau hay không?

Thợ hay thầy

    Tối ngày hôm qua tui dong xe ra ngoài lộ, ngó nghiêng coi sinh hoạt ở Tokyo này có khác chi so với bên Việt Nam ta. Liền đó tôi thấy một nhóm thợ có vẻ như là trang trí nội thất, nhóm họ khoảng 5 người đứng nói chuyện với nhau bàn tán. Nhìn cách ăn mặt thì rõ ràng cũng chẳng khác chi ở Việt Nam, duy chỉ có điều họ đi xe 4 bánh. Khi tới giờ làm việc thì một người trong số họ mới bưng cái mớ dụng cụ vào. Có một món chừng giống cái bàn bự tổ chảng, anh nọ vừa khiêng vừa phải lấy hơi, thấy có người đi ngược chiều lại thì anh chàng lập tức đứng ép vào trong bồn bông, đợi chừng nào người kia đi khỏi tầm của cái bàn thì anh nọ mới tiếp tục bưng. Lại gặp tiếp một người ngược chiều nữa, anh này cũng lặp lại hành động y chang. Có một điều tôi lấy làm phục là kể cả anh thợ lẫn người đi ngược chiều đề dừng lại để nhường nhau, và sự an toàn của người khác là điều được quan tâm nhiều nhất.

    Không hiểu họ dạy dỗ những đứa trẻ như thế nào để khi ra đường câu chúng hay nói nhất là xin lỗi, và khi được giúp đỡ cái gì, chúng cũng nói cám ơn. Mọi người rất lịch sự và nhã nhặn với nhau, tôi không biết sau lưng họ có giắt cây kiếm nhật nào không, nhưng họ rất lịch sự. Chưa bao giờ tôi thấy họ lớn tiếng cãi nhau, hay họ nóng giận với nhau. Thật là đáng học hỏi.

Tập tành sử dụng LaTeX

   Sau một thời gian khá dài được sự động viên của mấy anh em trong NII. Cuối cùng tôi cũng bắt đầu viết được cái report đầu tiên bằng LaTEX. Phải nói là khởi đầu với cảm giác nản vô cùng. Mất cả ngày trời đánh lộn với những format cơ bản đầu tiên: tìm các template sẵn để sửa cho nhanh. Rốt cuộc lại, chỉ có thể học được các kiểu định dạng từ các template mà thôi.

   Bản tex đầu tiên này có lẽ là bản tệ hại nhất trong số những báo cáo mà tôi đã soạn. Bình thường cứ mỗi sáng thứ 3 là tôi sẽ đánh báo cáo để gửi, thực ra nói là đánh báo cáo cho nó nghe trịnh trọng, chứ thực ra tôi đã ghi chú lại tất cả các công việc làm hằng ngày, và cứ dựa theo nhật ký đó để tóm tắt lại công việc mà thôi, nên thường thì báo cáo đã hoàn tất và được gửi vào ... khuya thứ 2.

    Riêng tuần này do đua đòi sử dụng tex, với quyết tâm và độ lỳ không can được, tôi mất hơn 1 ngày để gõ cái báo cáo. Nhưng khổ nổi khi tìm được cái lệnh để format tạm thời thì ... quên mất cần phải ghi cái gì. Vậy là phải lục lại cái note viết tay để nhớ, rồi chèn hình, chỉnh sửa, xuống dòng, thụt đầu dòng, canh lề trái/phải .... ôi thôi đủ thứ chuyện.

    Khi nhìn lại thì đã ... gần 1h sáng ngày thứ 4, vậy là phải gửi gấp. Rốt cuộc cái báo cáo lần đó nhìn thấy mà gớm. Báo hại bữa sau tôi phải dành 3 tiếng đồng hồ để soạn cái mới. Lần này quả thật là có nhanh hơn, tìm template cũng nhanh hơn, áp dụng các lệnh để định dạng văn bản cũng nhanh hơn, chèn hình cũng nhanh hơn .... Mà sẵn nói tới cái dzụ chèn hình, ban đầu chèn dzô sao thấy nó êm ru bà rù, nhưng khi typeset nó một cái thì câu chữ một nơi còn ba cái hình thì nằm một nẻo.

    Sau khi dò kỹ lại thì tôi mới phát hiện ra là hình bự quá cỡ thì tự động bị dồn xuống đoạn dưới cùng. Suy nghĩ tới lui một hồi tôi mới quyết định co cái hình lại cho nó nhỏ nhỏ, để export ra cái dạng bé téo tèo. Lần này văn bản khá hơn, nhưng còn lủng củng và còn lê thê. Tôi đành nhấn nút save as, xuất ra pdf để rồi send ngay.

Xây dựng mục tiêu học tập (Phần 1)

     Vào trung tuần tháng 9 năm 2010, nhóm chúng tôi được mời tổ chức những lớp tập huấn về kỹ năng học tập, kỹ năng xây dựng mục tiêu học tập, kỹ năng làm việc nhóm và kỹ năng giao tiếp cơ bản cho một số trường đại học ở Sài gòn.

     Theo nhận định của tôi thì đa phần các bạn tân sinh viên chưa có nhiều kinh nghiệm cũng như kỹ năng cần thiết sau khi rời khỏi ghế nhà trường trung học phổ thông, cũng như còn thiếu các kỹ năng như: (1) kỹ năng học tập ở bậc đại học/cao đẳng, (2) làm việc nhóm và (3) kỹ năng xác định mục tiêu học tập. 

      Trước khi chính thức bước vào giảng đường đại học, các bạn trẻ được dành rất nhiều sự quan tâm, ưu ái từ phía nhà trường trung học phổ thông, các bậc phụ huynh và đặc biệt là xã hội nói chung. Tuy nhiên, một số những điều hiện nay là sau khi bước vào giảng đường đại học, các bạn tân sinh viên không được trang bị những kỹ năng học tập cần thiết ở bậc đại học/cao đẳng, những kiến thức mà vốn dĩ rất cần thiết không chỉ cho quá trình học tập ở bậc phổ thông, cao đẳng, đại học mà thậm chí là áp dụng cho trong cuộc sống sau này, khi các bạn bước ra ngoài xã hội, làm việc ở các công ty.

      Như vậy, kỹ năng học tập là gì? Một trong những vấn đề quan trọng trước khi bàn đến kỹ năng học tập đó là kỹ năng xây dựng mục tiêu học tập như thế nào? Một thực trạng mà tôi gặp được rất nhiều đó là chọn ... sai ngành. Tâm lý của những thí sinh khi tham dự kỳ thi tuyển sinh đại học là mong muốn đậu được vào trường, ngành nghề mà mình yêu thích. Câu hỏi đặt ra là bao nhiêu bạn trẻ thực sự xác định rõ được là mình yêu thích ngành gì? Một số phương án phổ biến để chọn lựa ngành nghề và trường hiện nay là:

            1. Dựa vào dư luận xã hội. Đối với những ngành nghề mà dư luận xã hội chú ý quan tâm, sẽ được ưu ái lựa chọn nhiều nhất để sau này dễ kiếm việc làm.

            2. Dựa vào khả năng của bản thân, những bạn này sẽ lựa chọn những trường và ngành nghề mà điểm tuyển tương đối thấp, mục đích là chọn được một trường nào đó để ... học. Một số may mắn sẽ chọn được đúng ngành nghề mình thích ở phương án này.

            3. Dựa vào nguyện vọng của phụ huynh. Với những bạn trẻ có bậc tiền bối có kinh nghiệm trong lĩnh vựa nào đó hoặc là đã từng có ước mơ về một lĩnh vực nào đó nhưng không có điều kiện thực hiện. Những bạn trẻ này sẽ có sứ mệnh hoàn thành những mong muốn ở thì quá khứ của phụ huynh hoặc là những tương lai sáng lạng từ những bậc tiền bối nếu lựa chọn theo ngành nghề này.

            4. Chọn lựa theo số đông bạn bè. Với những bạn trẻ không có được mục tiêu học tập, không đánh giá được khả năng của mình và cũng không được sự tư vấn từ những người thân hay từ những thông tin khác tự tìm hiểu được thì có khuynh hướng lựa chọn theo số đông bạn bè, hoặc lựa chọn theo những người bạn thân thiết của mình.

      Trên đây tôi chỉ phân tích một vài nguyên nhân khách quan lẫn chủ quan để cho thấy nhiều bạn trẻ không thực sự suy nghĩ về ngành nghề mình mong muốn sau này. Do vậy, xây dựng mục tiêu học tập ngay từ lúc còn ngồi trên ghế nhà trường phổ thông là việc hết sức cần thiết. Tôi sẽ dành thời gian để xây dựng một bài viết riêng về chủ đề này.

       Như vậy sau khi đã bước vào giảng đường đại học, các bạn cần phải có phương pháo học tập như thế nào để có thể đạt kết quả tốt.

       Đầu tiên là phương pháp học tập chủ động. Phương pháp học tập chủ động là gì? Một cách ngắn gọn, đó là tự mình tham gia vào quá trình học tập, tự tìm tòi, tự đặt câu hỏi để tìm hiểu về một vấn đề nào đó.

       Tạm thời tôi kết phần 1 ở đây. Ở phần 2 tôi sẽ trình bày thêm về phương pháp học tập chủ động.

Problems solving

    Long time ago, I had a chance to study "Creative thinking" with Prof. Phan Dung. Although I don't remember all the names of those techniques, but actually I still remember the main ideas and the applying context of them.
    At this time, I need to implement a function which produces a template for the expression. The problem is that I have 2 different templates, and I need to create a new one base on one of them. My first approach, called 'inside-out', is to use replacement technique. It took 2 days to think about this, those templates are singleton, so I need to access them by calling recursive function. Controlling 2 different recursive functions to produce a new one is quite complicated. That's the main problem.
    After failing with this approach, I turn to another one, creating a completely new template. I just need to get new information, and gather together and that's it. This approach is called 'outside-in'.
    Finally, I can solve my problem without too much difficulties. Thanks God!

Some important notes in Ocaml

 Will be updated later ....
 Please wait ...
 Thank you.

Database for references

Databases

Last updated: April 08, 2011

This page is available to put the database online.
Available from the LAN-house. Part, please note that the connection may not be from a particular department only. There is also a service with a limited number of simultaneous accesses.

Please

Information available in this database that is shared in-house users.
The database, which can be set by some other criteria may affect other users to find and change settings.
If you were to change the settings if available, before you LOGOFF Please be sure to restore the original settings.

---

　　　　

Service name	Commentary	ID / PW
DIALOG	Has recorded more than 500 databases from all areas of the world. 　　　　Change Settings (settings) Relevance to Sort Results by the (maximum 50 documents) and to 　　　　not only search the data for the past year.	Required
EBSCOhost	Academic Search Elite (ASE) has recorded the natural science and medical journals around the humanities and social sciences.　　　　 Library, Information Science & Technology Abstracts (LISTA) with Full text　　　　bibliography is included themes, taxonomy, cataloging, online information retrieval, information management, search 　　　　engine information, the printed magazine journals, information industry, electronic publishing and 　　　　 　　　　Provides full text of which approximately 150 titles also. GreenFILE　　　　detailed study included data covering all aspects of human impact on the environment. 　　　　 　　　　In addition to abstracts and indexing of approximately 384,000 records, are stored in the form of open access full text of more than 4,700 records. Teacher Reference Center　　　　provides indexing and abstracts of the most famous magazine for more than 270 teachers and managers to help education professionals.	Unnecessary
Encyclopedia of Library and Information. 3rd ed.	Encyclopedia of Library and Information (Encyclopedia of Library and Information Science) You can find the online version of the third edition.	Unnecessary
G-search	Corporate and newspaper articles, biographical information, and marketing information services is Japan's largest database to search for information required for business.	Required
Japan Japan Knowledge + knowledge +	Large encyclopedia of Japan (130,000), a basic knowledge of modern terminology (20,000) you can find a variety of other dictionary-thesaurus. After using two simultaneous access to the entire mechanism of the process please log out. Use → and guide site here from	Unnecessary
JDREAM Ⅱ Concurrent Access 10	National and international information on science and technology literature, newspaper information, compound information, and is equipped with approximately 90 million document collection information.Changed to the connection IP. Please log in and click the JDREAM Ⅱ connection IP. Please press the Login button and enter your name and then your own. 　　　　　May guide the search.　Here the	Unnecessary
KOD (Research Service's online dictionary search) Concurrent Access 5	EJ's new dictionary of research, you can search bulk Oxford Advanced Learner's Dictionary online dictionary and thesaurus and other 18 kinds of new英和大. 　 I ordered 5 concurrent access, please press the logout button is always available終Warimashitara.	Unnecessary
MathSciNet	Databases are available MathSci American Mathematical Society. 　　 → Manual for Japanese (PDF) (Maruzen Co., Ltd.)	Unnecessary
MIT CogNet	The new contract since 2010! To publish the top 10 reference points MIT Press, full text international journals: 26 points Books about 480, provides access to abstracts of 25 journals and other publications were published. 　　 → List of contents in	Unnecessary
OED online	The online version of the Oxford English Dictionary.	Unnecessary
Oxford Reference Online Premium Collection	The dictionary search across 170 species of Oxford University Press, except OED, you can read the full text. Humanities fields are included, from the natural sciences and social sciences, medicine and other fields all. Title list included how to search here are described in detail in (another site)	Unnecessary
SCOPUS	Database information retrieval service / Elsevier Bibliographic Citation. 　　　　 The contract was launched officially available Sokendai. 　　　　 → Japanese support page is here.	Unnecessary
STN Easy	A simple search using the menu system, chemical or scientific literature and patents, medical and pharmaceutical information, TSCA, and other regulatory information on chemical substances Law, including extensive information on chemical substances, including the CAS Registry Number You can search for information. → For details of the STN Easy site and search guide please visit.	Unnecessary
JCR-Web	For the world's leading journal of natural science and social science, impact factor, date literature index, the total number of citations, the total number of papers, etc. You can find the cited half-life data. For more → For product support site visit Please.	Unnecessary
Nikkei Telecom 21	Four national newspapers including the Nikkei paper, general paper, about 30 newspapers and industry publications, newsletters and magazines published by Nikkei BP, etc. You can search together with a simple keyword. 　　　　 You can search the database of the Tokyo Shoko Research also Teikoku Nikkei company profile. → Menu List & Database	Required

Top page

Skeleton matching and technical problems

 Will be updated later ....
 Finally, the problems are solved. I will analyze the reasons why and the explanation later.
 Thank you.

TOPS seminar - Wed, Aug 03-2011

    Trước hết xin giới thiệu sơ qua về TOPS seminar, TOPS là Tokyo Programming Seminars, chuỗi thảo luận (do không thích sử dụng chữ seminar nên xin thay bằng 'thảo luận') này được tổ chức nhằm nghiên cứu về ngôn ngữ lập trình nói chung và đặc biệt là về program calculational techniques áp dụng cho functional programming và khía cạnh ứng dụng vào giới công nghiệp.
    Trong buổi thuyết trình ngày hôm nay, hai giáo sư phụ trách là giáo sư Janis (ở đại học Bonn - Đức) và giáo sư Zhenjiang (viện thông tin Nhật Bản - NII - Nhựt Bổn). Thiết nghĩ cũng cần có một bài viết khác để giới thiệu về hướng nghiên cứu trong lab của GS. Zhenjiang.
        Phần chủ đề của Janis nhìn chung là ngoài tầm tiếp nhận của tôi, GS. Janis trình bày về vấn đề tối ưu hoá các phép tính trong Haskell, đặc biệt là các phép đệ qui.
        Chủ đề của GS. Zhenjiang có phần thú vị hơn, có lẽ do tôi đang làm việc với chủ đề đó nên có thể nắm bắt và hiểu vấn đề tốt hơn. Tuy nhiên, tôi nghĩ mình cần rèn luyện thêm khả năng nghe và hiểu được các chủ đề mới hoặc cách tiếp cận khác với hướng hiện tại mình nghiên cứu, nắm bắt ở mức tối đa nhất có thể. Với bài toán chuyển đổi mô hình hai chiều hiện tại, bài toán đặt ra là với các view được tạo ra bằng cách trích một số thông tin trong CSDL, khi này thay đổi ở view diễn ra, thì ngược lại, phản ánh bằng cách xoá ở CSDL hay là cập nhật lại thông tin (ví dụ sẽ bổ sung sau). Trong các phương pháp tiếp cận hiện tại, có sử dụng dialog để người dùng lựa chọn, tuy nhiên với những ứng dụng lớn, đồ thị (hay CSDL phức tạp) thì để người đùng (hay buộc) lựa chọn sẽ là ... cực hình.
        Về vấn đề này, hiện tại GS. Zhenjiang cũng đang nghiên cứu để tìm ra được phương án giải quyết. Vấn đề áp dụng thực tế rất được chú trọng.