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のホームページには出ていないようですが、日本ソフトウェア科学会プログラミング論研究会のメーリングリスト等にアナウンスが流れました。よろしくお願いします。＞藤田様、皆様

かなり前の話ですが、とある業者にサーバのバックアップを設定していただいたとき、「さすがに日曜の深夜はお仕事されませんよね？」と言われてがく然としました。論文にせよ会社のプロジェクトにせよ、例えば締め切りがあったら（所帯持ちでなければ特に締…