http://www.cs.ucsd.edu/popl/09/program.html今年はちょっと参加できそうにありませんが（プログラム委員でも著者でもないですし）、いつも通り面白そうです。個人的には、自分のライバル研究が通っていて少し悔しい（笑）です。Parametricityはともかく、r…

http://www.open-std.org/jtc1/sc22/wg21/docs/projects#14882 (via http://www.nminoru.jp/~nminoru/diary/2008/11.html#2008-11-12)がいつの間にか出ていたようです。Conceptとかaxiomとか、ますます「お前は関数型言語か！」等と思わずツッコミを入れたく…

最近はメールを送る前によく確認する時間的余裕がなくて（かつ私のボケが進行して）、今年に入ってから少なくとも3回、アドレス補完ミスによる間違いメールを送ってしまいました（幸いどれも本当の機密情報の漏洩には至りませんでしたが、ややきわどかった？…

職場のウイルスバスターを2009に更新した際に気づいたのですが、パーソナルファイアウォールの設定に以下のような画面があります。 常駐アイコンを右クリック→「メイン画面を起動」→「パーソナルファイアウォール」（左）→「パーソナルファイアウォール」（…

分野によると思いますが、いわゆる計算機科学（コンピュータサイエンス）の場合、 Google Scholar (http://scholar.google.co.jp/) DBLP (http://www.informatik.uni-trier.de/~ley/db/) CiteSeer (http://citeseer.ist.psu.edu/) などの論文データベースに…

http://d.hatena.ne.jp/wpw/20081104/1225777943 問題：高速道路で急ブレーキをかけるときは，クラッチペダルとブレーキペダルを同時に踏むとよい． 解答：× 解説：スリップや横転につながり大変危険なので，急ブレーキをかけない運転を心がける． いつも思…

私は生まれてこの方、「美しい」どころか、（他人はもちろん自分でも）後から読めるようなノートをとったことがありません（中学・高校・大学時代も現在も）。私が知る限り、周りの元東大生の多くもそうです。極論すれば、ノートはその場で自分の頭を整理す…