日々の流転

λ. アルゴリズム勉強会

Some members of our research group are thinking that we need to study and improve our knowledge of computer science, as we sometimes feels lacks of basic knowledge. So we have been planning to held seminar to study algorithms in the upcoming summer vacation. Today we had the first offline meeting and chose which text to use. My opinion was to use lecture notes of Advanced Algorithms Course at MIT. But we decided to use D.Knuth's famous book “The Art of Computer Programming Volume 3: Sorting and Searching” (Japanese Edition). I was slightly unpleasant since I don't like Knuth :-P

• アルゴリズム勉強会2006 (access limited)

λ. Happy SAAD!

I heard that today is System Administrator Appreciation Day, also known as Sysadmin Day or SAAD. See <URL:http://en.wikipedia.org/wiki/System_Administrator_Appreciation_Day> for details. But who knows this day?

λ. 『4日で学ぶモデル検査』

すこし前のkmt-tさんの日記で知って生協で注文していたのを受け取った。 時相論理についての基本的な知識はあると思うので、ツールの使い方やモデル化のノウハウを知るために読むつもり。パラパラ見た感じでは中身は想像していたよりずいぶん簡単そう。読むだけならすぐ読み終わりそうだけど、後でSPINとNuSMVをインストールしてから読む。

読書記録

• 1日目
• 2日目
• 3日目
• 4日目

関連URL

• <URL:http://www.nts-book.co.jp/item/detail/summary/it/20060608_4.html>
• <URL:http://d.hatena.ne.jp/kmt-t/20060729#1154176023>