Thứ Sáu, 11 tháng 11, 2011

Nhập môn lập trình

http://www.mediafire.com/?z23ei693a5xjetj

Thứ Năm, 20 tháng 10, 2011

Types and Programming Languages (Benjamin C. Pierce)

1. Call-by-value (CBV): đây là chiến lược đánh giá tham số được truyền vào hàm hay thủ tục. Trong đó chỉ có giá trị được truyền vào, những thay đổi với tham số đó bên trong hàm hay thủ tục không ảnh hưởng đến tham số thực ở bên ngoài (caller).

Thứ Ba, 27 tháng 9, 2011

Hoc bổng thành ủy SG

TPHCM: Tuyển học viên chương trình 555 tiến sĩ, thạc sĩ




baove1%2525281%252529-2011-09-27-03-22.jpg
Sau khi chương trình đào tạo 300 thạc sĩ, tiến sĩ giai đoạn 2001-2006 kết thúc, Thành ủy TPHCM vừa thông báo việc tuyển chọn học viên cho giai đoạn 2007-2010. Chương trình sẽ đào tạo 555 tiến sĩ, thạc sĩ.

Sau khi được bồi dưỡng nâng cao trình độ ngoại ngữ (thời gian trung bình khoảng 6 tháng), các học viên được cử đi đào tạo chuyên môn. Có hai phương thức đào tạo: đào tạo toàn phần trong nước kết hợp với nghiên cứu, thực tập ở nước ngoài hoặc đào tạo toàn phần ở nước ngoài.

Trong quá trình đào tạo, Ban điều hành chương trình sẽ cấp kinh phí đào tạo và sinh hoạt phí cho học viên đang học ở nước ngoài. Sau khi tốt nghiệp chương trình đào tạo, học viên sẽ được Thành ủy TPHCM bố trí việc làm.

Đến 12/11/2007, có 157 học viên đã hoàn thành chương trình đào tạo được bố trí tại các sở, ban, ngành, quận - huyện, tổng công ty thuộc UBND TPHCM. Để chuẩn bị cho việc bố trí công tác cho các học viên sau đào tạo, Ban điều hành chương trình đã triển khai 3 đợt khảo sát nhu cầu tiếp nhận của các cơ quan, đơn vị thuộc thành phố.

Sau 5 năm thực hiện chương trình, Ban điều hành rút kinh nghiệm chú ý thu hút những nhân tố trẻ, giỏi, có tâm huyết, có chí hướng phục vụ lâu dài, ưu tiên xét tuyển với cán bộ công chức, viên chức diện quy hoạch dự bị.

Giai đoạn 2007-2010, có 6 nhóm ngành đào tạo:

Quản lý đô thị: Quản lý đô thị và công trình, Quy hoạch đô thị, Quản lý dự án, Quản lý bất động sản, Giao thông công chính, Tài nguyên môi trường, Cấp thoát và xử lý nước.

Quản lý hành chính nhà nước: Quản lý hành chính công, Quản lý nguồn nhân lực, Quản lý giáo dục, quản lý y tế, quản lý văn hóa, quản lý báo chí, quản lý khoa học & công nghệ.

Khoa học công nghệ: Công nghệ sinh học, Công nghệ thông tin, Kỹ thuật - công nghệ, chuyên khoa sâu của ngành Y.

Kinh tế: Quản lý thị trường Tài chính - chứng khoán, Quản lý kinh tế - kinh tế phát triển, Thương mại quốc tế, Kế toán - kiểm toán, Ngân hàng.

Luật: Sở hữu trí tuệ, hành chính, thương mại, dân sự…

Chính trị - văn hóa - xã hội: Kinh tế chính trị, Chính trị học, Triết học, Xây dựng Đảng, Xã hội học, một số chuyên ngành lĩnh vực văn hóa.

Đối tượng tuyển chọn là cán bộ, công chức và sinh viên mới tốt nghiệp đại học có hộ khẩu thường trú tại TPHCM và phải cam kết làm việc theo sự bố trí của Ban tổ chức Thành ủy sau khi tốt nghiệp. Nếu là sinh viên mới tốt nghiệp đại học, phải có người bảo lãnh để thực hiện nghĩa vụ của người được cử đi đào tạo.

Sinh viên mới tốt nghiệp muốn dự tuyển đào tạo thạc sĩ phải tốt nghiệp đại học chính quy loại giỏi, có hạnh kiểm tốt trong suốt quá trình học tập. Trường hợp mới tốt nghiệp đạt loại khá, bản thân phải là đảng viên hoặc bí thư đoàn, chủ tịch hội sinh viên cấp khoa trở lên hoặc cha mẹ là cán bộ đảng viên.

Cán bộ công chức muốn đào tạo thạc sĩ phải có thời gian làm việc ít nhất hai năm và hoàn thành tốt nhiệm vụ được giao, có bằng đại học chính quy loại khá trở lên. Cán bộ công chức muốn đào tạo tiến sĩ phải có bằng thạc sĩ với kết quả học tập loại khá trở lên, tham gia công tác ít nhất 2 năm, có đề cương nghiên cứu luận án tiến sĩ phù hợp với yêu cầu mục tiêu đào tạo của thành phố, có ít nhất 1 bài báo thuộc chuyên ngành đăng kí đào tạo và được đăng trên tạp chí khoa học chuyên ngành hoặc có tham gia đề tài khoa học được nghiệm thu. Cán bộ công chức đã được đào tạo thạc sĩ trong giai đoạn 2001-2006 cũng nằm trong đối tượng được xét tuyển học tiến sĩ.

Các đơn vị lập danh sách cán bộ, công chức dự kiến cử đi đào tạo năm 2008 về ban tổ chức Thành ủy trước ngày 5/1/2008. Liên hệ Phòng Quy hoạch - Đào tạo cán bộ, Ban tổ chức Thành ủy: Phòng số 1 lầu 4, 127 Trương Định, quận 3, TPHCM. Điện thoại: 932. 6151. Email: hoachqui@hcm.vnn.vn

Thứ Hai, 26 tháng 9, 2011

Proving the correctness

        Until this time, I just recognize the complexity of proving the correctness of the algorithm. Actually, I don’t know how to prove the correctness of the algorithm over the database. The database is set up with 9 graph constructors, so I should prove over those cases (9 cases). However, currently, I just consider those cases of the graph constructors {}, (), $var and {l:G}. Moreover, I need to prove in 2 approaches.
        First, the g-extend expression affects to the source. In this case, I will consider many cases:
    1. Use values only (Don’t use variables in the g-extend expression).
    2. Use many variables. In this case, the g-extend expression will contains many variables in many levels, so in this case, the result g’-extend will contains WHERE-part corresponding to the variables in the g-extend expression.        
        Second, the g-extend expression doesn’t affect to the source, in those cases, the g’-extend expression just simply produce the update nothing to the current view.
        The technique using in the algorithm is tree-matching. Base on the tree-pattern of the f-select expression which contains template-tree and graph-pattern-tree, with the g-extend expression which contains template-tree-1, template-tree-2 and graph-pattern-tree also.
        The tree-matching is used to find out the matched pattern, and the corresponding variables which match with the pattern.

ScreenShot2011-09-24at3.08.15AM-2011-09-26-17-17.png
Fig 1. The result-trees after applying the tree-matching function.

ScreenShot2011-09-24at1.20.16AM-2011-09-26-17-17.png
Fig 2. The variables trees are extracted from the result-trees in Fig 1.
ScreenShot2011-09-24at3.18.38AM-2011-09-26-17-17.png
Fig 3. Replace the variables in the f-template-tree with the extracted-trees

Keep walking

Sometime, when you feel bad
With what you have tried,
Just keep walking!
c27-2011-09-26-16-23.jpg

Although when you are tired,

Just keep working!
me_tired_too-7069-2011-09-26-16-23.jpg
Sometime, you have tried all your best,

Just keep trying!
c25-2011-09-26-16-23.jpg
Someday, you disappointed yourself,

Just keep hoping!
c24-2011-09-26-16-23.jpg
Sometime, you can’t solve your problems,

Just keep solving!
c22-2011-09-26-16-23.jpg
Someday, you don’t know to do anything,

Just keep thinking!
c20-2011-09-26-16-23.jpg
Sometimes, you feel lonely on your way,
Just keep walking!
c19-2011-09-26-16-23.jpg
Sometimes, you can’t go fast to the sloping street,
Just keep walking!
c12-2011-09-26-16-23.jpg
(Photos: From Internet)

Thứ Sáu, 16 tháng 9, 2011

iWork

ScreenShot2011-09-16at1.44.23PM-2011-09-16-13-48.png

ThunderBolt Introduction

product_title-2011-09-16-01-01.png
hero_imac-2011-09-16-01-01.jpg

title-2011-09-16-01-01.png


subhead-2011-09-16-01-01.jpg


Thunderbolt is a revolutionary I/O technology that supports high-resolution displays and high-performance data devices through a single, compact port. It sets new standards for speed, flexibility, and simplicity. And it’s on MacBook Air, MacBook Pro, iMac, and Mac mini.


mbp-2011-09-16-01-01.jpg
icon-2011-09-16-01-01.jpg
Powerful technology from a powerful collaboration.
Thunderbolt began at Intel Labs with a simple concept: create an incredibly fast input/output technology that just about anything can plug into. After close technical collaboration between Intel and Apple, Thunderbolt emerged from the lab to make its appearance in Mac computers.
Intel co-invented USB and PCI Express, which have become widely adopted technologies for data transfer. Apple invented FireWire and was instrumental in popularizing USB. Their collective experience has made Thunderbolt the most powerful, most flexible I/O technology ever in a personal computer.
cable-2011-09-16-01-01.jpg
One small port. One giant leap in possibilities.
MacBook Air, MacBook Pro, iMac, and Mac mini now give you access to a world of high-speed peripherals and high-resolution displays with one compact port. That’s because Thunderbolt is based on two fundamental technologies: PCI Express and DisplayPort.
PCI Express is the technology that links all the high-performance components in a Mac. And it’s built into Thunderbolt. Which means you can connect external devices like RAID arrays and video capture solutions directly to your Mac — and get PCI Express performance. That’s a first for any computer. Thunderbolt also provides 10 watts of power to peripherals, so you can tackle workstation-class projects. With PCI Express technology, you can use existing USB and FireWire peripherals — even connect to Gigabit Ethernet and Fibre Channel networks — using simple adapters.
All that power and blazing-fast data transfer flows through the Apple Thunderbolt Cable, one of the most advanced cables ever made. No single cable has been able to do so many things and do them with such astonishing speed. It doesn’t just connect high-performance devices. It is one in its own right.
And because Thunderbolt is based on DisplayPort technology, the video standard for high-resolution displays, any Mini DisplayPort display plugs right into the Thunderbolt port. To connect a DisplayPort, DVI, HDMI, or VGA display, just use an existing adapter.
Performance and expansion made faster and smarter.
Thunderbolt I/O technology gives you two channels on the same connector with 10 Gbps of throughput in both directions. That makes Thunderbolt ultrafast and ultra flexible. You can move data to and from peripherals up to 20 times faster than with USB 2.0 and up to 12 times faster than with FireWire 800. You also have more than enough bandwidth to daisy-chain multiple high-speed devices without using a hub or switch. For example, you can connect several high-performance external disks, a video capture device, and even a display to a single Thunderbolt chain while maintaining maximum throughput.

High-Speed I/O Performance


USB 2.0


480 Mbps


FireWire


800


800 Mbps


Express


Card


2.5 Gbps


USB 3.0


5 Gbps


Thunderbolt


Ch. 1


10 Gbps


Ch. 2


10 Gbps


display-2011-09-16-01-01.jpg
High performance on display.
Thunderbolt I/O technology provides native support for the Apple Thunderbolt Display and Mini DisplayPort displays. It also supports DisplayPort, DVI, HDMI, and VGA displays through the use of existing adapters. So you can connect your Apple LED Cinema Display or other display, along with multiple high-speed devices, all from a single port.
No project is too massive.
With Thunderbolt, you’re just as likely to build a professional video setup around your MacBook Pro or iMac as your Mac Pro. If you’re a video editor, imagine using a single port to connect high-performance storage, a high-resolution display, and high-bit-rate video capture devices to handle all the post-production for a feature film. Thunderbolt I/O technology allows you to daisy-chain up to six Thunderbolt peripherals, including an Apple Thunderbolt Display and the Promise Pegasus RAID or LaCie Little Big Disk.1 You can even add an Apple LED Cinema Display to the end of the chain.
And that’s just the beginning. With Thunderbolt technology, peripheral manufacturers finally have what they need to take high-performance devices from workstations and top-of-the-line desktops to just about any computer.
imac_connected-2011-09-16-01-01.jpg

Promise Pegasus R6 Thunderbolt Performance


High-Speed I/O Performance
Up to 800 megabytes per second.2
Thunderbolt
864 MB/s Read
746 MB/s Write
FireWire 800
93 MB/s Read
77 MB/s Write
USB 2.0
41 MB/s Read
28 MB/s Write
Streams Performance
Up to 8 simultaneous uncompressed 720p streams.3
Thunderbolt

8


Streams


FireWire 800

1


Stream


USB 2.0

0


Streams


Thunderbolt-ready devices.
Soon you’ll be able to connect to a host of Thunderbolt-enabled devices.1 Here are just a few of the first:
Display
  • Apple Thunderbolt Display
Storage
  • Promise Pegasus R4 and Pegasus R6
  • LaCie Little Big Disk
  • Sonnet Fusion RAID
Video Capture
  • Blackmagic UltraStudio 3D
  • Matrox MX02
Adapters
  • Promise SAN Link Fibre Channel adapter
  • Sonnet Allegro FireWire 800 adapter
  • Sonnet Presto Gigabit Ethernet adapter
devices_hero-2011-09-16-01-01.png

Thứ Năm, 15 tháng 9, 2011

Final problems with the algorithm ?

  Cứ mỗi lần họp với Prof xong thì mình lại có cảm giác như bị kiệt sức. Ngày hôm nay meeting cũng khá vui, dù tôi đã chuẩn bị hết tất cả mọi thứ cần thiết như chuẩn bị sẵn slide, các ghi chú cần thiêt cho buổi họp, bật sẵn chương trình thu âm nội dung cuộc họp ….

3c6fb9adea75fadb89a1893aaa269ceb-2011-09-15-16-46.png


  Thông thường tôi đến trước buổi họp 5 phút, lần này cũng vậy, nhưng khi bật cái máy lên thì hỡi ôi, không ăn thua. Máy treo, chương trình đứng, không show lên màn hình lớn được. Trong khi thời gian họp chỉ được 30 phút thôi. Sau khi tắt máy cứng tôi đành phải trình bày chay 1 đoạn trong lúc chờ đợi máy restart lại xong.
  Sở dĩ tôi đề nghị họp vào thời điểm này là do tôi đang muốn Prof. có thể đưa ra một vài góp ý cho công việc của tôi, vốn đang bị dậm chân tại chỗ. Tôi vẫn chưa tìm ra được một cách chứng minh cụ thể và thuyết phục để có thể trình bày trước Prof. Thông thường tôi sẽ dành thời gian để ngồi suy nghĩ và tìm mọi cách để giải quyết. Sau 3 ngày không suy nghĩ ra thì tôi sẽ trình bày với Prof để ông có thể gợi ý cho tôi tìm hiểu thêm.

6f3e2fe4fe98a1b0a033d898579bacfa-2011-09-15-16-46.png


   Tuy nhiên lần này thì thời gian tôi chỉ còn 4 tuần để hoàn tất mọi thứ, nên tôi đành phải rút ngắn xuống 2 ngày thôi. Nhờ vậy mà hôm nay tôi đã có thể nắm rõ được vấn đề tôi cần giải quyết là gì và nên áp dụng phương pháp nào. 
  1.    Trước tiên là vấn đề về thuật toán: Tôi đã xây dựng được thuật toán hoàn chỉnh cho bài toán view-maintenance. Đó là điều đáng mừng.
    1. Tôi cần chứng minh tính đúng đắn của thuật toán đề xuất, bằng phương pháp toán học. Hiện tại, thuật toán được trình bày ở dạng cài đặt, tức là phương pháp thực hiện thuật toán giống như phương pháp cài đặt. Khi đó thì việc chứng minh sẽ không thể trọn vẹn và đầy đủ được.
    2. Bài toán đặt ra hiện nay là làm thế nào để trừu tượng hóa thuật toán ???
  2. Như thế nào là trừu tượng hóa ? Ví dụ đơn giản về cách tiếp cận của thuật toán. 
    1. Giả sử tôi cần tìm cây con chung của 2 cây. Hiện tại trong thuật toán thì tôi dùng phương pháp tách từ nút ngọn đến nút lá của cây thành từng cây đơn, và gom những cây đơn này lại chung với nhau trong một danh sách gọi là danh sách cây đơn.
    2. Về mặt cài đặt thì cách trình bày trên sẽ ổn thỏa, nhưng nếu về mặt tổng quát thì không thể hiện đầy đủ. Người phản biện có thể đặt câu hỏi rằng "Nếu mình đã sử dụng phương pháp TREE-MATCHING thì tại sao phải tách thành từng cây con".
    3. Do vậy về mặt tổng quát trình bày, thì phải sửa lại cách tiếp cận là dùng phương pháp tree-matching để lấy ra cây con chung hoặc lấy thông tin cần thiết gì đó. Tuy nhiên, nếu chỉ sửa đổi như vậy, thuật toán vẫn chưa ở mức tổng quát được. Từ thông tin tree-matching đó, tôi phải thay đổi và thiết kế lại thuật toán với dữ liệu và phương pháp tree-matching để kết quả được thống nhất với nhau.
  3. Sau khi đã chỉnh sửa và thay đổi thuật toán từ mức cài đặt về mức tổng quát thì lúc này tôi có thể suy nghĩ về phương pháp chứng minh tính đúng đắn của thuật toán. Thực ra mà nói thì phương pháp đã có rồi, vấn đề là áp dụng phương pháp chứng minh vào bài toán của tôi như thế nào thôi.
    1. Trước khi nghe những góp ý và gợi ý của các GS, tôi vẫn còn mơ hồ về khái niệm chứng minh quy nạp trên CSDL. Vì lý do là mình không có được công thức tổng quát, nhưng hôm nay, sau khi họp với GS thì tôi mới biết thêm được rằng không phải dựa trên những câu truy vấn trên CSDL đó để chứng minh. Mà thực ra là cần chứng minh biểu thức (g f $db = f g' $db), chỉ vậy là đủ.
    2. Khi này với các trường hợp $db khác nhau, ta có thể áp dụng thuật toán để chứng minh qui nạp một cách dễ dàng.
   Kết luận: tóm tắt lại những khó khăn và trình bày trên là phần công việc chính yếu cần phải làm. Đầu tiên là:


  1. Xây dựng lại thuật toán với mức tổng quát hóa và trừu tượng hóa cao.

  2. Dựa vào biểu thức (g f $db = f g' $db) để chứng minh tính đúng đắn của thuật toán.

  3. Vừa cài đặt vừa suy nghĩ cách chứng minh.

Ocaml plugin for XCode

Objective Caml Plugin for Xcode


Last version : beta 10. Download it


News

January, 4th - port to Xcode 3 (beta 10)



Table of Contents
1. What is Objective-Caml, why a plugin for Xcode ?

2. Description
3. Screenshots
4. Download & Install
5. Some Current Tasks
6. License & Source Code
1. What is Objective-Caml, why a plugin for Xcode ?

Objective-Caml is a programming language created by the INRIA, a french research center in computer science. For more informations, go to the Objective Caml web site. Extract from this site :


Objective Caml is the most popular variant of the Caml language. From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference.


The Objective Caml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a byte code compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development and portability. The Objective Caml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (ocamldoc).



The official Objective-Caml compiler and runtime release only includes command line version of the developer tools. So, you need to use makefiles to deal with more-than-one-file projects. Makefiles are powerful, but a bit complex to use. Even if you may use makefiles in Xcode, it’s more practical to have a full integration into Xcode.


2. Description

This Xcode plugin allow you to :


  • create a Objective Caml project or target with Xcode
  • add files to this target like you do for a C program
  • modify the OCaml compiler or linker settings through the Xcode’s build-in build setting GUI.
  • adding a library in library build phase of a OCaml target
  • syntax higlighting
  • use ocamllex and ocamlyacc
  • use of the native compiler (select architecture “ppc” instead of the default “ocaml”)
  • dependance between source files
  • mixing OCaml and C code
However, as it’s a beta version, it doesn’t support yet :
  • better dependance between source files (you must put them manually in the good order in the target build phase)
  • targeting the intel procs (only byte code & ppc support at this time)
  • ocamlp4 preprocessor
  • debugging from Xcode (but possible with direct use of ocamldebug)
3. Screenshots (click to enlarge)










ocamlplugin-groups-files-2011-09-15-03-13.png

Groups & Files


ocamlplugin-errors-2011-09-15-03-13.png

Errors & warnings, syntax coloration


ocamlplugin-buildsettings-compiler-2011-09-15-03-13.png

Compiler build Settings


ocamlplugin-buildsettings-linker-2011-09-15-03-13.png

Linker build Settings


ocamlplugin-targets-2011-09-15-03-13.png

OCaml targets


4. Download & Install

Requirement :


  • Xcode 3.0 (which itself only runs on Mac OS X 10.5.x).
  • Objective Caml development tools 3.08.3 or later installed in /usr/local/bin (unofficial packaged version here, official installer here).
To install the plugin, you have to put the following files in your Library folder or in the system Library folder :
  • OCamlPlugin.pbplugin in :
Library/Application Support/Developer/Shared/Xcode/Plug-ins/
  • Target templates in :
Library/Application Support/Developer/Shared/Xcode/Target Templates/OCaml/
  • Project templates in :
Library/Application Support/Developer/Shared/Xcode/Project Templates/OCaml/
To install previous version of the plugin working with Xcode 2.3/4/5, available here, you have to put the following files in your Library folder or in the system Library folder :
  • OCamlPlugin.pbplugin in :
Library/Application Support/Apple/Developer Tools/Plug-ins/
  • Target templates in :
Library/Application Support/Apple/Developer Tools/Target Templates/OCaml/
  • Project templates in :
Library/Application Support/Apple/Developer Tools/Project Templates/OCaml/
5. Some Common Tasks

If your ocaml tools are not installed in /usr/local/bin, you may set up the installation base path with the following command (it’s a per-user setting) :


# ocaml installed with fink :
defaults write com.apple.Xcode INOCamlBasePath /sw
# ocaml installed with darwinports
defaults write com.apple.Xcode INOCamlBasePath /opt/local
6. License & Source Code

The Objective-Caml plugin is distributed under the GPL license.


Download the source code.


The description of Xcode’s plugin interface.


Sourceforge page for Xcode Plugins


7. Revision History

1.0b10 (Jan 2008) - Xcode 3.0 compatibility. Add support for nested comments in syntax highlighting.


1.0b9 (Dec 2006) - fix a bug preventing to run the compiled executable from Xcode.


1.0b8 (Dec 2006) - Support for ocaml tools at non-standard paths


1.0b7 (Sep 2006) - Some support for source file inter-dependances, support for mixing C & OCaml


1.0b6 (Jun 2006) - Xcode 2.3 & 2.4 compatibility


1.0b5 (Feb 2006) - Xcode 2.2 & 2.2.1 compatibility


1.0b1 (Aug 2005) - First version


I’d like to thank :


  • The Objective-Caml team at INRIA for developing this beautiful language and maintaining a Mac OS X version of their tools.
Copyright © 2005 Damien Bobillot, E-Mail : damien.bobillot.2002_ocamlplugin CHEZ m4x.org

oca IDE

OcaIDE 1.2.9
logo_4-2011-09-15-03-10.jpg
7
 

0


installbutton-2011-09-15-03-10.png
Embed this button on your website
go-home-2011-09-15-03-10.png rss-large-disabled-2011-09-15-03-10.png support-2011-09-15-03-10.png go-down-2011-09-15-03-10.png
closeButton-2011-09-15-03-10.png
Add this URL to your Eclipse Installation to reach this Solution’s Update Site.
More Info
http://www.algo-prog.info/ocaide/
Categories:
Free Tagging:
Add Tags
None
Login or register to tag items
An Open Source plug-in for O’Caml development under Eclipse.
Supports many advanced features:
  • Source editor for modules (ml files), interfaces (mli files), parsers (mly files) and lexers (mll files)
  • Syntax coloring (colors and styles are configurable)
  • Automatic indentation while typing in the editor (configurable in the preferences)
  • A customizable integrated code formatter, and an interface to the camlp4 formatter (through an AST printer)
  • Completion
  • Library browser, both for the standard library and user libraries
  • Integrated debugger (a graphical interface to the O’Caml text-mode debugger), with remote debugging support and script file support
  • Highlighting of matching delimiters
  • Integrated toplevel
  • Creation of custom top levels
  • Camlp4 pre-processing
  • An O’Caml perspective inside of Eclipse
  • Shortcuts to the O’Caml elements in Eclipse
  • Building of O’Caml projects (with ocamlbuild, with hand-written makefile, with OcamlMakefile or managed by the IDE)
  • Importation and exportation of O’Caml projects
  • Launching of O’Caml executables with parameters, and interactive console
  • Outline and Quick Outline
  • Displays the inferred type of elements in the editor and outline
  • Descriptive popups on O’Caml definitions
  • Help on expected parameters for functions, exceptions and constructors
  • Configurable shortcuts
  • Configurable paths for all the tools (and the paths are automatically detected)
  • On demand makefile generation
  • Automatic interface generation
  • Hyperlinks for jumping to the definition of an element (variable, type constructor…)
  • Error markers in the editor, editor’s margin, Navigator view and Problems view
  • Editable code templates
  • Automatic detection of project paths
  • Commenting and uncommenting of code blocks
  • Spell checking of comments and documentation comments
  • Switch between module/interface
  • Convert files between revised syntax and standard syntax (with Camlp4)
ShareThis
Additional Details

  • Version Number: 1.2.9

  • Eclipse Versions: 3.6

  • Organization: Nicolas Bros

  • Date Created: 09/10/2007

  • Date Updated: 14/05/2011

  • Development Status: Production/Stable

  • License: Other Open Source

  • Submitted by: Nicolas Bros

  • This listing has been installed 2 times in the last 30 days.

Ocaml IDE

Monday, January 5, 2009
OCaml IDE

Looking for an IDE for OCaml on Mac.
(Obviously, I was not the first, see, e.g.,
here).
  • Emacs (Aquaemacs)
    • Download Tuareg
    • Config Aquaemacs (see)
      1. place both tuareg.el and camldebug.el somewhere in
~/Library/Preferences/Aquamacs Emacs/
      2. Add to ~/Library/Preferences/Aquamacs Emacs/Preferences.el (from append-tuareg.el): (setq auto-mode-alist (cons '("\\.ml\\w?" . tuareg-mode) auto-mode-alist))
      3. (autoload 'tuareg-mode "tuareg" "Major mode for editing Caml code" t)
      4. (autoload 'camldebug "camldebug" "Run the Caml debugger" t)

      5. Append custom-tuaerg.el at the end of (the modified)
      6. ~/Library/Preferences/Aquamacs Emacs/Preferences.el
  • Camelia (for students going from scheme to ocaml)
  • Eclispe (a few plugins)
Posted by Noam Rinetzky at 10:47 AMLabels: mac, software

Thứ Tư, 14 tháng 9, 2011

[322] 2010-03-19 : Tuyển sinh đào tạo sau đại học tại các cơ sở nước ngoài bằng NSNN năm 2010

Tuyển sinh đào tạo sau đại học tại các cơ sở nước ngoài bằng NSNN năm 2010
19/03/2010

Số :  19   /KHTN-TCHC


( V/v  Tuyển sinh đào tạo sau đại học


tại các cơ sở nước ngoài bằng NSNN - Đề án 322 năm 2010 )



CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM

Độc lập - Tự do - Hạnh phúc



TP.HỒ CHÍ MINH,NGÀY  20   THÁNG 3 NĂM 2010


Kính gửi :          Các đơn vị trong Trường
           

            Căn cứ thông báo số 95/TB-BGDĐT ngày 08/3/2010 của Bộ Giáo dục và Đào tạo về việc tuyển sinh đào tạo sau đại học tại các cơ sở nước ngoài bằng ngân sách nhà nước năm 2010       ( Đề án 322 ) và công văn số 456/ĐHQG-TCCB ngày 18/3/2010, Trường ĐHKH Tự Nhiên sẽ tuyển chọn các cán bộ đủ điều kiện và tiêu chuẩn để tham dự xét tuyển.


           


            Điều kiện, tiêu chuẩn và các biểu mẫu : thực hiện theo thông báo số 95/TB-BGDĐT ngày 08/3/2010 của Bộ Giáo dục và Đào tạo ( đính kèm ) hoặc tham khảo trang web : http://www.vied.vn/



            Ứng viên chỉ được đăng ký dự tuyển đi học ở 01 nước, không xem xét các trường hợp xin chuyển nước đăng ký dự tuyển.



            Do tính cấp thiết và quan trọng của Đề án 322, Trường đề nghị các đơn vị triển khai rộng rãi và khẩn trương thông báo đến toàn thể CB-VC.



            Hồ sơ nộp trực tiếp về Phòng TC-HC ( A.Thế ) trước ngày 12/4/2010, gồm :


            1/ 02 bộ hồ sơ đúng theo qui định ( riêng mục 1, 5 - Trường sẽ làm công văn đề cử và photo sổ bảo hiểm xã hội ).


Lưu ý ứng viên phải làm thêm 01 đơn xin dự tuyển có ý kiến đồng ý của Trưởng đơn  vị


            2/ Lệ phí xét tuyển là 200.000 đ/ứng viên.





+ TỜ BÌA   Đính kèm 


+ MẪU LÝ LỊCH  Đính kèm


Trân trọng kính chào.


[322] 2010-10-15 : Thông báo về xét tuyển bổ sung đi học tiến sĩ, thực tập tại các cơ sở nước ngoài bằng NSNN - Đề án 322

Thông báo về xét tuyển bổ sung đi học tiến sĩ, thực tập tại các cơ sở nước ngoài bằng NSNN - Đề án 322
15/10/2010
ĐẠI HỌC QUỐC GIA TP.HCM
TRƯỜNG ĐHKH TỰ NHIÊN

Số :  77     /KHTN-TCHC
( V/v  tuyển bổ sung đi học tiến sĩ, thực tập tại các cơ sở nước ngoài bằng NSNN - Đề án 322  )

CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM
Độc lập - Tự do - Hạnh phúc


 


TP.HỒ CHÍ MINH,NGÀY   12   THÁNG 10 NĂM 2010

Kính gửi :          Các đơn vị trong Trường
           

            Căn cứ thông báo số 594/TB-BGDĐT ngày 01/10/2010 của Bộ Giáo dục và Đào tạo về việc tuyển sinh đào tạo sau đại học tại các cơ sở nước ngoài bằng ngân sách nhà nước năm 2010 ( Đề án 322 - đợt bổ sung ), Trường ĐHKH Tự Nhiên sẽ tuyển chọn các cán bộ đủ điều kiện và tiêu chuẩn để tham dự xét tuyển.


           


            Điều kiện, tiêu chuẩn và các biểu mẫu : thực hiện theo thông báo số 594/TB-BGDĐT ngày 01/10/2010 của Bộ Giáo dục và Đào tạo ( đính kèm ) hoặc tham khảo trang web : http://www.vied.vn/



            + Tuyển bổ sung 400 người đi học tiến sĩ và 50 người đi thực tập


            + Ứng viên chỉ được đăng ký dự tuyển đi học tập ở 01 nước, không xem xét các trường hợp xin chuyển nước sau khi đăng ký dự tuyển.



            Do tính cấp thiết và quan trọng của Đề án 322, Trường đề nghị các đơn vị triển khai rộng rãi và khẩn trương thông báo đến toàn thể CB-VC.



            Hồ sơ nộp trực tiếp về Phòng TC-HC ( A.Thế ) trước ngày 15/11/2010, gồm :


            1/ 02 bộ hồ sơ đúng theo qui định :


+ Mục 1 : Liên hệ Phòng TC-HC ( công văn cử dự tuyển ), Phòng Đào tạo SĐH ( văn bản ủng hộ NCS đi thực tập tại nước ngoài )
+ Mục 5 : Liên hệ Phòng Tài vụ ( photo bảng lương mới nhất có thể hiện đã đóng BHXH - đối với cán bộ hợp đồng lao động )

            2/ Lệ phí xét tuyển là 200.000 đ/ứng viên.


           


            Lưu ý : Sau khi hoàn thành hồ sơ, người dự tuyển phải quét ( scan ) lưu lại toàn bộ hồ sơ sang các file định dạng PDF để thực hiện đăng ký trực tuyến theo địa chỉ http://tuyensinh.vied.vn/. Hồ sơ được coi là hợp lệ nếu nộp đầy đủ hồ sơ trực tuyến và hồ sơ giấy.



Trân trọng kính chào.

[322] 2010-10-28 : Thông báo các mẫu hồ sơ Đề án 322

Thông báo các mẫu hồ sơ Đề án 322
28/10/2010
1/ Mẫu lý lịch Đính kèm
2/ Mẫu tờ bìa hồ sơ Đính kèm
3/ Bản cam kết Đính kèm
4/ Phiếu đăng ký Đính kèm
Lưu ý : Phiếu đăng ký, Lý lịch, Bản cam kết, CV Trường cử dự tuyển. Phòng TCHC sẽ trình ký các văn bản trên và hòan tất hồ sơ chuyển về nộp tại Ban TCCB, ĐHQG-HCM.
Các ứng viên sẽ nhận lại 01 bộ hồ sơ đầy đủ tại Phòng TCHC từ ngày 16/11/2010 đến 19/11/2010 để scan lưu lại và thực hiện việc đăng ký trực tuyến tại địa chỉ http://tuyensinh.vied.vn/.
Ngày 23/11/2010 nộp lại Phòng TCHC để lưu. Phòng TCHC sẽ bổ sung hồ sơ kịp thời khi ĐHQG và Bộ cần. Các

[322] 2010-11-05

Thông báo gấp về nộp hồ sơ Đề án 322
05/11/2010
Thông báo
Theo thông báo số 1941/ĐHQG-TCCB ngày 05/11/2010 có qui định thời gian nộp hồ sơ về ĐHQG-HCM trước ngày 15/11/2010, Nhà trường đề nghị các ứng viên đăng ký Đề án 322 đợt bổ sung năm 2010 khẩn trương nộp hồ sơ về Phòng TC-HC vào ngày 12/11/2010.
Lưu ý : Lệ phí dự tuyển 200.000 đ/người
Ứng viên tự chuyển tiền vào tài khỏan của Cục ĐTVNN theo chi tiết sau :
Tên đơn vị : Cục đào tạo với nước ngòai
Số tài khỏan : 94501040
tại : Kho bạc Nhà nước Đống Đa, Tp.Hà Nội
Nội dung gồm :
Lệ phí dự tuyển của :
Ngày tháng năm sinh :
Đơn vị : Trường ĐHKH Tự Nhiên - ĐHQG Tp.HCM
Bậc học đăng ký dự tuyển ( TS hoặc TTS ) : .................theo thông báo tuyển số 594/TB-BGDĐT ngày 01/10/2010
( Đề nghị ghi đúng các nội dung trên vào phiếu chuyển tiền của ngân hàng )
Nộp 01 bản có đóng dấu đỏ về Phòng TCHC cùng với hồ sơ ( nhớ photo lại )

[322] 2011-08-01

ĐẠI HỌC QUỐC GIA TP.HCM


TRƯỜNG ĐHKH TỰ NHIÊN



Số :  67 /KHTN-TCHC


Về việc bổ sung hồ sơ xét tuyển đào tạo sau đại học tại các cơ sở nước ngoài bằng NSNN năm 2011



CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM


Độc lập - Tự do - Hạnh phúc




 


TP.HỒ CHÍ MINH,NGÀY  01   THÁNG 8 NĂM 2011



Kính gửi :          Các đơn vị trong Trường
           

            Căn cứ thông báo số 1133/ĐHQG-TCCB ngày 27/7/2011 của ĐHQG-HCM về việc nộp hồ sơ đăng ký đào tạo sau đại học tại các cơ sở nước ngoài bằng ngân sách nhà nước năm 2010  ( đợt bổ sung ), Trường ĐHKH Tự Nhiên sẽ xét tuyển bổ sung cho các đối tượng sau :



            1/ Các ứng viên đã đăng ký dự tuyển đi học sau đại học theo thông báo số 66/TB-BGDĐT ngày 01/3/2011 nhưng chưa trúng tuyển được cập nhật hồ sơ đăng ký dự tuyển.


2/ Các ứng viên đã dự tuyển học bổng sau đại học bằng ngân sách nhà nước năm 2010 nhưng chưa trúng tuyển, có nguyện vọng được xét tuyển lại.


            Do tính cấp thiết và quan trọng của Đề án 322, Trường đề nghị các đơn vị triển khai rộng rãi và khẩn trương thông báo đến các đối tượng trên.



            Hồ sơ nộp trực tiếp về Phòng TC-HC ( A.Thế ) trước ngày 05/8/2011, gồm :


1/ 02 bộ hồ sơ bổ sung đúng theo Công văn 773/TB-BGDĐT ngày 14/7/2011 của Bộ GD&ĐT ( Đính kèm )


Lưu ý ứng viên xin đăng ký dự tuyển phải có ý kiến đồng ý của Trưởng đơn  vị


+ Liên hệ Phòng TC-HC ( công văn cử dự tuyển ), Phòng Đào tạo SĐH ( văn bản ủng hộ NCS đi thực tập tại nước ngoài )


+ Liên hệ Phòng Tài vụ ( photo bảng lương mới nhất có thể hiện đã đóng BHXH - đối với cán bộ hợp đồng lao động )


            Sau khi hồ sơ hoàn chỉnh 01 bộ sẽ được gửi về ĐHQG-HCM duyệt và gửi đi Hà Nội, 01 bộ ứng viên nhận lại tại Phòng TC-HC để quét ( scan ) sang dạng files PDF và  thực hiện việc đăng ký trực tuyến theo địa chỉ http://tuyensinh.vied.vn/ trước ngày 10/8/2011.



2/ Lệ phí xét tuyển : Các ứng viên đã nộp lệ phí từ đợt đăng ký dự tuyển trước không phải nộp thêm lệ phí dự tuyển. Trường hợp chưa nộp thì nộp bổ sung lệ phí theo qui định.



Trân trọng kính chào.



                                                                                 TL. HIỆU TRƯỞNG


Nơi nhận:                                                                Trưởng Phòng Tổ chức - Hành chính


- Như trên


- Lưu




                                                                                             Trần Phong Dũng



http://hcmus.edu.vn/images/stories/phong_tochuc_hanh_chinh/tt3577_773tb.pdf



Tokyo Metropolitan University - Học bổng





THÔNG BÁO CHƯƠNG TRÌNH HỌC BỔNG TIẾN SĨ CỦA NHẬT BẢN 2012

 


Phòng KHCN-QHQT xin thông báo về chương trình học bổng "Asian Human Resources Fund"  International Student Special Selection dành cho nghiên cứu sinh  ngành Khoa học và Kỹ Thuật (Science and Engineering) và Khoa học Môi trường Đô Thị (Urban Environmental Sciences) của trường Đại học Tokyo Metropolitan, Nhật Bản. 



Sau khi được tuyển chọn, ứng viên sẽ được hỗ trợ các khoản như sau:


-          Phí đăng ký
-          Toàn bộ học phí (trong 3 năm)
-          Sinh hoạt phí 170,000 yen/năm
-          Quỹ nghiên cứu cơ bản (hướng dẫn của nghiên cứu sinh sẽ được trả 300,000 yen/năm trong 3 năm)
-          Chi phí vé máy bay, hỗ trợ chỗ ở, bảo hiểm y tế,...
-          Thời gian nộp hồ sơ: 20/4 - 26/4/2012
 
Mọi thông tin chi tiết về chương trình vui lòng tham khảo file đính kèm form 1, form 2, form 3, from 4, guidelines, housing arrangement, medical report


Prospective Students

  1. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of Science and Engineering)

  2. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of Urban Environmental Sciences)

  3. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of System Design/Advanced Composite Materials and Structures” and “Aerodynamics and Fluid Dynamics)

  4. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of System Design/Advanced Studies on System Design)

  5. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of System Design/Prevention of infectious diseases)

  6. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of Human Health Sciences)

  7. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of Humanities)

  8. Asian Human Resources Fund Internatinal Student Special Selection(Graduate School of Social Sciences)

  9. `

Học bổng Bỉ

dot-2011-09-14-16-54.jpg
HỌC BỔNG SONG PHƯƠNG BỈ, 2012 – 2013

Về Chương trình Học bổng Song phương Bỉ

Trong khuôn khổ chương trình hợp tác với Việt Nam, chính phủ Bỉ mong muốn hỗ trợ chính phủ Việt Nam trong công cuộc xoá đói giảm nghèo và phát triển bền vững. Học bổng song phương Bỉ (BBS) làm thành một phần quan trọng của chương trình hợp tác này nhằm góp phần vào sự phát triển lâu dài và ổn định của Việt Nam.


 


Học bổng song phương Bỉ được cấp thông qua Tổng vụ Hợp tác Phát triển (DGD) thuộc Bộ Ngoại giao, Ngoại thương và Hợp tác Phát triển Bỉ, dành cho các cán bộ trẻ tuổi Việt Nam mong muốn được theo học các khoá đào tạo Thạc sỹ tại các trường đại học của Vương quốc Bỉ nhằm tiếp thu kiến thức và chuyên môn mới để đóng góp vào sự phát triển của nước nhà. Chương trình học bổng này được quản lý và thực hiện bởi Đại sứ quán Bỉ tại Hà Nội và Cơ quan Phát triển Bỉ (BTC).


 


Số lượng và loại hình học bổng sẽ cấp trong Chương trình


Năm học 2012-2013 sẽ có 40 suất học bổng toàn phần dành cho các khoá học Thạc sỹ.


 


Một suất học bổng toàn phần sẽ bao gồm vé máy bay khứ hồi đến Vương quốc Bỉ, toàn bộ học phí, bảo hiểm y tế cơ bản, học bổng hàng tháng và các khoản trợ cấp khác.


 


Đối tượng đăng ký


Tất cả các thí sinh từ mọi vùng, miền của Việt Nam, từ các cơ quan chính phủ, các tổ chức xã hội và khu vực tư nhân được khuyến khích nộp đơn.


Thí sinh tham gia dự tuyển cần có thành tích học tập tốt và kinh nghiệm làm việc phù hợp với nội dung khóa học lựa chọn.


Thí sinh cần chứng tỏ được tiềm năng đóng góp vào công cuộc phát triển của Việt Nam.


Phụ nữ và những người ở vùng sâu vùng xa được đặc biệt khuyến khích nộp hồ sơ xin học bổng.


 


Điều kiện tham gia dự tuyển


Thí sinh tham gia dự tuyển cần thoả mãn các điều kiện sau:


·         Là công dân Việt Nam, đang sinh sống tại Việt Nam; 


·         Không phải là công dân hay đang cư trú tại Bỉ hoặc các nước đang phát triển khác (theo danh sách của Tổ chức Hợp tác và Phát triển Kinh tế - OECD);


·         Không kết hôn hay đính hôn với công dân Bỉ hoặc người có quốc tịch Bỉ;


·         Không quá 35 tuổi tại thời điểm nộp đơn;

·         Tốt nghiệp đại học chính quy;


·         Có ít nhất 02 năm kinh nghiệm làm việc (kể từ khi chính thức tốt nghiệp đại học cho đến tháng 12/2011). Có kinh nghiệm làm việc phù hợp với ngành học thạc sỹ định theo học ;


·         Có trình độ tiếng Anh hoặc tiếng Pháp tốt. Chương trình BBS yêu cầu tối thiểu như sau:


-         Tiếng Pháp: tối thiểu TCF 350 hoặc DEFL B1.


-          Tiếng Anh: tối thiểu IELTS 6.5 hoặc TOEFL pBT 550 hoặc TOELF iBT 79. KHÔNG chấp nhận Institutional TOEFL.


 
Lưu ý:

-          Các thí sinh được khuyến khích liên hệ trực tiếp với các trường đại học ở Vương quốc Bỉ để được khẳng định về việc có khoá học trong năm học 2012-2013 và ngôn ngữ giảng dạy trước khi nộp đơn.


-          Thí sinh cần có trình độ tiếng Anh hoặc tiếng Pháp tốt để có thể theo học tại Vương quốc Bỉ. Thí sinh được khuyến khích liên hệ trực tiếp với các trường đại học ở Bỉ để có được thông tin cụ thể về yêu cầu chứng chỉ ngoại ngữ cũng như điểm đạt cho từng khoá học. Trong trường hợp các trường đại học của Bỉ hay các khoá học yêu cầu điểm ngoại ngữ cao hơn so với yêu cầu của BBS thì thí sinh cần phải thoả mãn điều kiện này trước khi nộp đơn xin học bổng.


-          Thí sinh không bắt buộc phải có thư mời nhập học của trường Đại học Bỉ cho năm học 2012-2013 trước khi nộp đơn xin học bổng/phỏng vấn. Tuy nhiên, có được thư mời nhập học này sẽ là một lợi thế cho thí sinh dự tuyển.


-          Chứng chỉ GMAT/GRE sẽ được yêu cầu bởi một số trường đại học của Bỉ đối với các khoá học về quản lý, kinh tế, tài chính hoặc khoa học tự nhiên. Thí sinh cần kiểm tra yêu cầu này trực tiếp với trường đại học của Bỉ mà thí sinh muốn theo học trước khi nộp đơn cho Đại sứ quán.  


 


Những khoá học và trường đại học nào phù hợp để xin học bổng song phương Bỉ ?


Học bổng BBS dành cho các khóa đào tạo Thạc sỹ được giảng dạy bằng tiếng Pháp hoặc tiếng Anh tại các trường đại học ở Vương quốc Bỉ.


Lưu ý: Các khóa học tại các trường quốc tế có cơ sở tại Vương quốc Bỉ không thuộc diện đài thọ của chương trình học bổng song phương Bỉ.


 


Chương trình đào tạo Thạc sỹ tại Bỉ thường kéo dài từ 1 đến 2 năm, tuỳ theo yêu cầu của từng khoá học và từng trường. Các thí sinh sẽ tự tìm hiểu và lựa chọn các chương trình đào tạo Thạc sỹ hiện có tại các trường đại học của Bỉ thông qua trang web của trường. Mỗi thí sinh chỉ được đăng ký một khoá học tại một trường đại học.


 


Chương trình học bổng song phương Bỉ không giới hạn về ngành học nhưng ưu tiên dành cho các lĩnh vực hoạt động của hợp tác phát triển Bỉ tại Việt Nam như: quản lý nước & vệ sinh môi trường, đô thị hoá, biến đổi khí hậu, kỹ thuật/công nghệ và quản lý nhà nước.


 


Các trang web sau sẽ hỗ trợ thí sinh trong việc tìm kiếm các thông tin về các trường đại học của Bỉ:           www.studyinflanders.be       và      www.studyinbelgium.be


 


 


Quy trình nộp Đơn xin học bổng


HỒ SƠ XIN HỌC BỔNG NĂM 2012 SẼ ĐƯỢC TIẾP NHẬN
KỂ TỪ NGÀY 15/09/2011 CHO ĐẾN NGÀY 12/12/2011

1. Đơn xin học bổng


 

Thí sinh cần điền đầy đủ và rõ ràng bằng tiếng Pháp hoặc tiếng Anh các thông tin yêu cầu trong đơn xin học bổng, tốt nhất nên điền trên máy tính và ký tên. Hồ sơ xin học bổng không đầy đủ hoặc thiếu các giấy tờ được nêu tại Phần 12 của đơn sẽ bị loại.


Phần 1 – Thông tin cá nhân: phần này hỏi về các thông tin cá nhân của thí sinh. Xin lưu ý học bổng chỉ dành cho các chi phí của cá nhân người được nhận học bổng. Nếu người được học bổng muốn đưa gia đình sang Vương quốc Bỉ trong thời gian học, sẽ phải tự trang trải toàn bộ các chi phí có liên quan.


Phần 2 - Địa chỉ liên lạc: thông tin trong phần này cần được điền đầy đủ và rõ ràng vì sẽ giúp Chương trình liên lạc với thí sinh và để đảm bảo rằng thí sinh sẽ được nhận được kết quả nộp hồ sơ.


Phần 3 - Khả năng ngoại ngữ: các chứng chỉ ngoại ngữ phải còn giá trị ít nhất cho tới ngày 30/06/2012. Đối với các thí sinh mới tham dự thi và đang chờ kết quả, cần nêu rõ ngày đã dự thi và ngày dự kiến nhận được kết quả. Bổ sung hồ sơ sẽ chỉ được chấp nhận vào trước ngày 13/01/2012.


Phần 8 – Xin học bổng: thí sinh cần nêu rõ tên khoá học, thời gian của khoá học và tên trường đại học ở Bỉ. Mỗi thí sinh chỉ được đăng ký một khoá học tại một trường đại học. Để biết thêm thông tin, thí sinh có thể xem trên các trang web của trường hoặc liên hệ trực tiếp với cán bộ điều phối khoá học qua thư điện tử để được khẳng định về việc có khoá học trong năm học 2012-2013 cũng như về ngôn ngữ giảng dạy.


Phần 9 - Động cơ xin học bổng và Kế hoạch trong tương lai: phần này hỏi lý do vì sao thí sinh muốn theo học khoá học đã lựa chọn cũng như kế hoạch của họ khi trở về nước. Phần này đặc biệt quan trọng, vì thế thí sinh phải trình bày phần này càng đầy đủ và thuyết phục càng tốt, bài viết giới hạn trong vòng 400 từ (hoặc 4000 ký tự).


 


Thí sinh có thể bổ sung thêm các thông tin cần thiết trong Phần 10 của đơn.


 


2. Những giấy tờ phải nộp kèm với Đơn xin học bổng


Tất cả các giấy tờ bằng tiếng Việt cần nộp kèm bản dịch tiếng Anh hoặc tiếng Pháp có công chứng


·         Bản sao giấy khai sinh.


·         Bản sao các văn bằng Đại học, Thạc sỹ.


·         Bản sao bảng điểm Đại học, Thạc sỹ.


·         Bản sao chứng chỉ ngoại ngữ hoặc giấy báo điểm.


·         Bản giải thích về hệ thống thang điểm của Việt Nam (Văn bản này sẽ giúp trường đại học ở Bỉ hiểu rõ hơn về hệ thống thang điểm ở Việt Nam để có thể đánh giá đúng năng lực học tập của thí sinh qua bảng điểm).


·         Hai thư giới thiệu của người có uy tín (về năng lực học tập hoặc làm việc của thí sinh), có nêu rõ địa chỉ liên lạc của người viết.


·         Thư của thủ trưởng cơ quan hiện đang công tác cho phép thí sinh tham dự chương trình học bổng song phương Bỉ (xem mẫu tại Phụ lục 1 của Đơn xin học bổng).


·         Sơ yếu lý lịch.


·         Một phong bì ghi sẵn địa chỉ thí sinh muốn nhận thư thông báo kết quả nộp hồ sơ.


 


3. Nộp hồ sơ và hạn nhận hồ sơ


01 bộ gốc và 03 bộ sao của Hồ sơ xin học bổng (Đơn và các giấy tờ kèm theo) để trong một phong bì dán kín, bên ngoài ghi rõ “Hồ sơ tham dự Chương trình học bổng song phương Bỉ năm học 2012-2013”.


Hạn nhận hồ sơ: trước 17h00 giờ, thứ Hai ngày 12/12/2011.


Địa chỉ: Ban Hợp tác Phát triển - Đại sứ quán Bỉ, tầng 9 Tháp Hà Nội - 49 Hai Bà Trưng, Hà Nội.


 


Hồ sơ gửi theo đường bưu điện sẽ căn cứ theo dấu bưu điện. Không chấp nhận hồ sơ gửi qua email/fax.


 


 


Quy trình tuyển chọn


Đại sứ quán Bỉ sẽ sàng lọc hồ sơ dự tuyển và lên danh sách các thí sinh được chọn vào vòng phỏng vấn. Chỉ những thí sinh được chọn mới được thông báo để tham dự phỏng vấn sẽ được thực hiện tại Hà Nội, Huế và Tp. Hồ Chí Minh. Các thí sinh nên chuẩn bị trước để có thể tham dự phỏng vấn nếu được lựa chọn.


 


Sau vòng phỏng vấn, chỉ hồ sơ của các thí sinh được lựa chọn sẽ được gửi sang các trường đại học ở Bỉ để đánh giá và ra quyết định cấp thư mời nhập học cho thí sinh. Chỉ sau khi nhận được thông tin này, quyết định cuối cùng về cấp học bổng sẽ được đưa ra và thông báo tới thí sinh.


 


Lưu ý:


Ngoài các tiêu chuẩn để đánh giá năng lực và động cơ xin học bổng của thí sinh, Ban tuyển sinh sẽ cân nhắc những yếu tố về cân đối giữa các vùng miền, ngành học và khối cơ quan khi đưa ra quyết định cuối cùng về cấp học bổng.


 


Thời gian dự kiến xét duyệt hồ sơ


12/12/2011                          Hết hạn nộp hồ sơ


Giữa tháng 1/2012              Thông báo lịch phỏng vấn tới các thí sinh được chọn


Tháng 2/2012                       Phỏng vấn


Cuối tháng 3/2012              Thông báo kết quả phỏng vấn và nộp hồ sơ tới tất cả thí sinh (Đại sứ quán)


Tháng 7 – 8/2012                Thông báo kết quả học bổng (BTC)


 


 


Các thông tin thêm


Mọi câu hỏi liên quan đến Chương trình học bổng song phương Bỉ, đề nghị liên hệ với các cán bộ của Đại sứ quán Bỉ như sau: 


 


chị Ngô Thu Hương


Phó Tuỳ viên (Hợp tác Phát triển)


Phụ trách Chương trình học bổng song phương Bỉ


thuhuong.ngo@diplobel.fed.be


 


hoặc


 


chị Hồ Phương Loan


Trợ lý Chương trình


phuongloan.ho@diplobel.fed.be


 


Các trang web hữu ích


 


Đại sứ quán Bỉ tại Việt Nam


www.diplomatie.be/hanoivn >> Services >> Hợp tác Phát triển >> Học bổng song phương  


 


Ban Thư ký “Học tập tại vùng Flander của Bỉ”
www.studyinflanders.be
 
Ban hợp tác phát triển đại học (VLIR-UOS), Hội đồng liên trường đại học Cộng đồng nói tiếng Hà Lan
www.vliruos.be
 
Ban hợp tác phát triển đại học (CIUF-CUD), Hội đồng liên trường đại học Cộng đồng nói tiếng Pháp
www.cud.be
 
Các thông tin cần thiết cho sinh viên
www.students.be
 
Quỹ Quốc gia dành cho nghiên cứu khoa học
www.fnrs.be
 
Thông tin tổng quát về giáo dục sau đại học tại vùng Flander
www.highereducation.be
 
Thông tin tổng quát về giáo dục sau đại học tại Cộng đồng nói tiếng Pháp của Bỉ
www.enseignement.be/infosup





Copyright SPF Foreign Affairs Belgium & the Embassy of Belgium in , all rights reserved.

BUILD - Anaheim Convention Center of Microsoft - Windows 8

Building Windows 8
An inside look from the Windows engineering team
Welcome to Windows 8 – The Developer Preview                Steven Sinofsky 13 Sep 2011 9:05 AM 16
If you’ve been following this blog, then you know today is a big day for the Windows team. At the BUILD conference we are about to preview Windows 8. There’s a ton to see in the product and so we’d really encourage everyone to check out the available streams on http://buildwindows.com, where we will webcast the keynote. The BUILD conference this week is focused on developers and hardware partners, and there are over 100 sessions (all of which will be available from the link above within about a day of the scheduled presentation time).  In that sense it is good to keep in mind that today is the launch of the developer opportunity for Windows, not the launch of a product (and certainly not the launch of new devices).
Windows 8 represents a remaining of Windows from the chipset to the experience. Since this is a week focused on developers, we also detailed the bold underpinnings of the re-imagination of the Windows platform, tools, and APIs. We will show off the opportunity to build applications for all of the customers of Windows 8, no matter what type of PC they have—from tablets to laptops to convertibles to desktops. We will show the brand new tools that allow you to code Metro style applications in HTML5/JavaScript, C/C++, and/or C#/XAML. The investments you have made as developers in all of these languages carry forward for Windows 8, which lets you choose how to best make use of the Windows 8 system services. We talked about Windows 8 being a no-compromise OS for end-users, and it is also a no-compromise platform for developers.
Many are interested in Windows 8 for ARM processors. Everything we showcased today at BUILD also runs on the ARM-based Windows PCs being created by ARM partners and PC manufacturers. Windows 8 running on ARM will ultimately be available with ARM-based hardware that  you can purchase.  ARM requires a deeper level of integrated engineering between hardware and software, as each ARM device is unique, and Windows allows this uniqueness to shine through. The new development tools enable you to start today to build Metro style applications that will seamlessly run on x86 (32 and 64 bit) or ARM architectures. Even if you use native C/C++ code, these tools will enable Metro style apps to target specific hardware if you choose.  As new PCs become available for testing, PC manufacturers will develop seed programs for developers.
You probably want to try out the preview release—and you can. Starting later tonight you can download the Windows 8 Developer Preview. This includes a 64-bit (x64) build with development tools to build apps and a 32-bit (x86) or 64-bit (x64) build without development tools. The releases also include a suite of sample applications (please note these are merely illustrations of potential apps, not apps that we intend to ship with Windows 8). The ISOs are linked to from http://dev.windows.com.
Upgrade from Windows 7 installation is not supported for pre-release code; only clean installs are supported. Reminder: this is a developer preview release and is not meant for production. It is not a beta release. We will be updating the release with various quality updates and drivers over the coming weeks/months just to exercise our overall update and telemetry mechanisms.
We’ve got a lot more blogging to do. So stay tuned. This blog continues to be a big part of the development process. Now we have a lot more shared context, and so we expect folks commenting on posts to be running the Preview so we share in the context of the release. Let’s keep comments focused on the topic at hand and we’ll pay attention for potential new topics.  We know there will be a lot—that comes from remaining a product used by a billion people!
--Steven
UPDATE (10:10 am): Slight correction inserted above.


  1. © 2011 Microsoft Corporation. Terms of Use Trademarks Privacy Statement Report Abuse

Thứ Ba, 13 tháng 9, 2011

IKEA

photo1-2011-09-13-15-33.JPG

x`photo2-2011-09-13-15-33.JPG

photo4-2011-09-13-15-33.JPG

Raijin-Fujin



Raijin001-2011-09-13-03-33.jpg

Test

Test

Raijin001-2011-09-13-03-09.jpg

Welcome to MacJournal! test

Welcome



To get started, create a new entry by clicking on “New Entry” in the toolbar or choosing “New Entry” from the File menu. You can also drag files from the Finder in to the Sidebar or the Entries list to import them as an entry. Show the Inspector from the View menu to see settings for the current entry, journal, and document.

What's new in version 5?


  • All new interface.

  • Add any kind of content, not just text. Drag PDFs, QuickTime movies, images, and more into the Sidebar to create an entry with anything on your computer.

  • Open more than one MacJournal document at a time and save them wherever you want, or just use the default document and never worry about saving.

  • Create Smart Journals from searches you perform.

  • Create aliases to entries that you can store in other journals.

  • Assign each entry a rating, status, and priority, and sort any journal by those values.

  • Record video from your iSight and attach it to any entry.

  • Performance enhancements for working with large numbers of entries.

  • Import from Journler