PPLのメーリングリスト経由。http://www.jssst.or.jp/plan/os-vir-20090316.html オペレーティングシステムの仮想化技術 日時：2009年3月16日(月)〜17日(火) 10:30〜16:45 （16日は10:00受付開始。2日間） 場所：学術総合センター (東京都千代田区一ツ橋2-1-…
http://www.eng.tohoku.ac.jp/edu/?menu=ip我々の研究室では今年度も学生さん3人・教員1人・TAさん1人でOCamlプログラミング入門をやりました。今年度は さめがめ風ゲーム 音ゲー風ゲーム 3D風表示迷路 の3つができました。一時間×十数回程度かつプログラミ…
http://www.infoplosion.nii.ac.jp/info-plosion/html/houkokukai-h20/自分以外の研究分担者・連携者・協力者・代表者が全員POPL出張などで都合がつかず、自分の発表30分前到着・30分後出発という強行日帰りスケジュールで*1一分プレゼン＆ポスター発表＆デ…
IPSJ-PRO以来＆今回は英文。年末年始のダンピング労働の結果です。さすがに疲れたので今日は休暇をいただいて、子供二人＆家内と三井アウトレットパーク仙台港でショッピングでした。内容は例によって「理論的」（基礎的）ですが、従来は極めて取り扱いの難…
前にも触れたTrend Micro InterScan VirusWall Standard Editionの迷惑メールフィルタは、POP proxyとして動作する上に（GmailやSpamAssassinよりは）精度が良くてありがたいのだが、なぜかPOP3のQUITコマンドの処理に時間がかかる。 > telnet 192.168.xxx.y…
研究室のS君経由。http://oshiete1.goo.ne.jp/qa1663415.htmlの回答番号：No.6より。 「日本の論点２００５」によりますと、 生涯未婚率は、男性１２．３６％、女性５．７６％、だそうです。合計１８．１２％です！！ けっこう多いんですね〜。
ブームに乗り遅れて？いますが、 OMake つかって LaTeX コンパイルしたら簡単すぎて身長が5cm伸びた を見てOMakeを使ってみました。これは便利！ ただ、xdviの画面もリアルタイムに更新してほしかったので、 #!/bin/sh platex "$@" killall -q -USR1 pxdvi.b…
http://lists.seas.upenn.edu/pipermail/types-announce/2008/001216.html http://lists.seas.upenn.edu/pipermail/types-announce/2008/001182.htmlこれはいわゆる"fake conference"ではなかろうか。Cf. http://web.archive.org/web/20060320001652/http://…
[お知らせ・通知] 【緊急】子グマの出没について（通知）※本通知は、○×山キャンパス居住者のみ該当します。本日、１５時２０分頃、xyz専攻テニスコート内で子グマが 出没した旨の情報が寄せられました。子グマが出没した場合は、親グマも出没 する場合があり…
恥ずかしながら最近まで知らなかったので紹介：http://www.ams.org/mathscinet/collaborationDistance.htmlそもそもエルドス数を知らない方はこちら：http://www.oakland.edu/enp/私はHB氏のおかげで高々3のはずですが*1、上のサービスだとBCP氏経由で4にな…
国立大学法人の教員といえども、企業の方に発注や見積もりをお願いする業務はたくさんあるのですが、どうもスムーズに進みません。 自分でやれば10分ぐらいの（しかしシステム上、自分ではできない）業務をお願いすると、「来週までにはご連絡します」と言わ…
そろそろ平仮名を教えようというのでひらがなドリルを買ってきたら、夢中になって夜寝る時間になってもやめない。次の日も朝起きてすぐにやり始め、40回分を2日で終わらせてしまった（ところどころ間違えているし、まだ字としては覚えていないようだが）。確…
長男がなぜかロボットを怖がる。ついこの間もディズニーストアに展示されていたWALL-○を見て硬直。「○ALL-EかわいいよW○LL-E」と動かして見せようとしても、遠巻きにするばかりで近づこうとしない。しまいにはイタズラや悪いことをしたときに「良い子にしな…
http://www.businessweek.com/innovate/content/dec2008/id20081217_814717_page_2.htm (via http://wadler.blogspot.com/2008/12/price-of-forgoing-basic-research.html) To be blunt, I believe that when academic research starts demonstrating indust…
久しぶりにfirst authorというか単著の論文が通りました。幸い今回はexpertにreviewしてもらえたようで、「現代のプログラミングにfreeは不要」*1とか「簡単すぎる」*2とか「プログラム例がSchemeなので読めない」*3とかいった妙なコメントもなく、最高の評…
某所から転載。 私：猫は？ 長男：ニャー 私：牛は？ 長男：モー 私：ニワトリは？ 長男：ニワー！
長男（2歳）がガルシア・マルケスを読みたがったので、「落葉」を読んであげたら「ママ」という文字を覚えた。関連研究: カフカ
されることになりました。まだPPL2009のホームページには出ていないようですが、日本ソフトウェア科学会プログラミング論研究会のメーリングリスト等にアナウンスが流れました。よろしくお願いします。＞藤田様、皆様
かなり前の話ですが、とある業者にサーバのバックアップを設定していただいたとき、「さすがに日曜の深夜はお仕事されませんよね？」と言われてがく然としました。論文にせよ会社のプロジェクトにせよ、例えば締め切りがあったら（所帯持ちでなければ特に締…
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 問題：高速道路で急ブレーキをかけるときは，クラッチペダルとブレーキペダルを同時に踏むとよい． 解答：× 解説：スリップや横転につながり大変危険なので，急ブレーキをかけない運転を心がける． いつも思…
私は生まれてこの方、「美しい」どころか、（他人はもちろん自分でも）後から読めるようなノートをとったことがありません（中学・高校・大学時代も現在も）。私が知る限り、周りの元東大生の多くもそうです。極論すれば、ノートはその場で自分の頭を整理す…
例によってコメントやトラックバックができなさそうなのでこちらに書きますが、 http://homepage3.nifty.com/mogami/diary/d0810.html#301 研究費の助成などの決定は今はそれなりに成功した（年嵩の）研究者が匿名で行うのがほとんどである。 あらかじめ審査…
http://journals.cambridge.org/jid_JFPという論文誌の編集委員(editorial board member)をさせていただくことになりました（1月から）。皆様の論文投稿とご購読:-)をよろしくお願いいたします。 Journal of Functional Programming is the only journal dev…
http://twitter.com/esumii何度か「はてな」に日報のようなものを書いたこともありましたが、Twitterのほうが良いのではないかと前から思っていたので試しています。 自己管理のための行動記録として利用する予定です。非公開設定にはしていませんが、他の方…
が過負荷で利用困難*1になっているのだが、午前4時頃に起きて試したら快適に動作していた。http://www-shinsei.jsps.go.jp/index.html 9時以前もしくは19時以降は比較的つながりやすい時間帯となっております。 毎日深夜3:00にシステムを再起動します。 この…
