http://icfpcontest.org/が今年も開催されます。学生じゃなくても、関数型言語じゃなくてもOK。皆様、是非、どうぞ。僕も参加したいです…;_;ちなみに、今年の担当であるCMUのグループ（というかCraryとHarper）は、Standard MLとかモジュールシステムとかの…

日曜から水曜までFLOPS 2006という関数型・論理型言語の国際学会へいってきます。JavaやSchemeで有名なGuy Steele (invited speaker)とか、Haskellのmonadやtype classで有名なPhilip Wadler (program co-chair)がきます。僕も一応はプログラム委員なのです…

脳トレーニングは人数制限がきつくてみんなでできないのと、研究室内の流行りが過ぎ去ったようなので、S君がタイピング（型付けではない）の練習ソフトを購入して研究室共用PCにインストールしてくれました。研究の効率向上と脳活性化のためにも練習してくだ…