日々の流転

λ. i-know.jp

i-know.jp のアンテナを試しにちょっと使ってみる。http://i-know.jp/sakai/

ブックマークレットでアンテナに登録出来るのは存外に便利だなぁ。はてなアンテナとどっちがいいのかな。

λ. CMSC 451 Lecture 12, Myhill-Nerode minimization

メモ。マイヒル・ネロード(Myhill-Nerode)の定理 のわかりやすい説明。

λ. 花粉症?

目が痒くて仕方ない。スギ花粉ムカつく、ムカつくー。うがぁぁぁ。大体スギが多すぎるからいかんのじゃ。政府は公共事業でスギを切れちゅーに。それから、スギ花粉は環境汚染物質なので、スギに対して環境税をかけて、それを財源に花粉症対策でもしてくれ。

λ. Announce: 圏論勉強会(第五回)

そうそう。今週末は圏論勉強会の五回目がありますよ。堅苦しい集まりではないので、圏論に興味のある人は是非お気軽に御参加下さい。(初参加の方は mixi:圏論勉強会(第五回) か haskell-jpメーリングリスト で参加を表明しておくと良いと思います)

ちなみに、Session 6-9 は一度飛ばしてしまって、今回は Session 10 のブラウアーの不動点定理の話から始めるそうです。このセッションはこの本の前半最大の見せ場なので、お楽しみに!

日時 (今回はいつもと時間が違うので注意!!)

2005年3月19日(土曜) 10:00〜

場所

タイムインターメディア様 2階会議室 (地図)

テキスト

Conceptual Mathematics: A First Introduction to Categories

λ. 靖国参拝、対中戦略に有効　日米同盟強化への注意そらす　米の中国専門家見解

へぇ(3)。