7日朝に次男が誕生しました。これまで以上に私の反応が鈍くなるかもしれませんが（コメントへの返信に何ヶ月もかかるとか）、家族が元気な証拠ということでご容赦を…P.S. ちょっと仕事の関係もあって、しばらくメールへの返信も遅れる（9月ぐらいになる）か…

聞きに行くだけのつもりだったのですが、出演させていただけることになりました。私では他の方と釣り合わない（笑）ような気もしますが、頑張りますのでよろしくお願いします。(_ _)

キャンパス全体の計画停電で、金曜の夕方から月曜の昼頃まで、大学のネットワークが停止しています。私は知らなかったのですが、過去数十年間、毎年のことだそうです。もう４年目なんだから気づけよ！＞俺。お急ぎの方はGmailのほうにお願いします。いわゆる…

今年は URL: http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/ 開催日時: 2008年9月9日(火) 10:30-17:15 (懇親会 -18:30) 場所: 筑波大学 東京茗荷谷キャンパス 会場G501 主催: 日本ソフトウエア科学会・プログラミング論研究会 日本ソフトウエア科学会第25回大…

が決まりました。http://www.kb.ecei.tohoku.ac.jp/ml2008/皆様のご参加、よろしくお願いします。

過去の行いが元でパスポートが更新できなかった。…とか誤解を招く発言をしてみる。いや、書類が足りなかっただけです（前回から二回変更した途中の戸籍謄本も必要だった。海外にいた関係ですが、やはりむやみに変えないほうが良いですね…）。本当だってば。…

私の論文の一つ（CSFW 2001のlogical relations for encryption）がDBLPに表示されず焦った。オリジナルと思われるIEEEのデータベースでも見事に一つだけ消滅している（256〜269ページ）。http://www2.computer.org/portal/web/csdl/abs/proceedings/csfw/20…

毎日のように（日によっては何回も）揺れていますが、私の近傍は今のところは無事です。被害に遭われた方には心よりお見舞い申し上げます。

http://ll.jus.or.jp/2008/blog/archives/19 日本に最初にライトニングトークを持ち込んだイベントは、2001年5月に当時初台にあったアスキーの地下ホールで開催された「Yet Another Ruby/Perl Conference (YARPC) 19101」です。 「ショートプレゼンテーショ…

私は携帯電話とPC用有償ソフトで同期をとってスケジュール管理をしているのですが、同期のアルゴリズムが「いまいち」で困ります。たまに一方で削除したスケジュールが復活したり、一方で変更したスケジュールが重複（変更前と変更後）したりすることがある…

http://journal.mycom.co.jp/news/2008/07/10/031/ (via http://www.atdot.net/~ko1/diary/200807.html#d11)詳細がわからないので難しいところ*1がどうなっているのかわかりませんが、（本家はともかく）Fail-Safe C to Javaに限って言えば、（少なくとも今…

http://www-ui.is.s.u-tokyo.ac.jp/~takeo/diary/diary.html (08/7/10 アルゴリズムとデータ構造) よくあるソースコードは、アルゴリズムの本質的な部分と、データ入出力やUIなどがごっちゃになっていたりするので まったく同感で（特に日本語の教科書）、私…

私の部屋ではないのですが、職場（２階）で「朝来たら床に水たまりができていた」という現象が先月に２回。幸いまだ害はありませんが、サーバや電源もあるのでやや心配です。天井は濡れていなかったので直接の雨漏りではなさそうですが、床下から浸水してき…

研究の関係でMads Tofte*1のWebページを久しぶりに見たら、"Tips for Computer Scientists on Standard ML (Revised)"などというメモが。ML Kitもまだまだバージョンアップしている模様。SML#もそうですが、（たとえばOCamlと違って）基礎のしっかりしている…

あれから毎日のように大きなハチやら小さな虫やらがたくさん入ってくるので（目の前が庭なのですが、どこかに巣がある？）、ちょっと贅沢させていただいて、網戸をつけてもらうことになりました。もちろんお金は少しかかりますが（すみません）、ハチや蚊に…

http://b.hatena.ne.jp/entry/http://d.hatena.ne.jp/kanryo/20080704%23p1公務員が通勤定期券を休日に使用したら横領になって違法、というネタ…のはずですが、（たとえば旅費二重支給問題の延長線上で）本当にそうなってもおかしくないので、あまりおもしろ…

http://groups.google.com/group/comp.lang.scheme/browse_thread/thread/929af95f9d27ef2c (via http://iiyu.asablo.jp/blog/2008/07/03/3607522)http://www.littlewingpinball.com/contents/ja/ypsilon.html ピンボールのゲームルールは現在CまたはC++で記…

http://gihyo.jp/news/report/01/rubykaigi2008/0001?page=3なる記事を発見（←遅い）。本当の最初は文法が重要（二重引用符やスペースが全角とか）とのお話（いや、それだけではないですが）。本当は「半角」「全角」なんて区別があって、しかも一部の文字が…

http://www.is.s.u-tokyo.ac.jp/ (via http://kzk9.net/blog/2008/06/hp.html)おお、かっこよくなって内容も充実してる…。私としては、やはりパンフレットの「CPU実験」が特に面白いです（これ↓とか初耳です）。:-) 三角関数のような一般的な関数ライブラリ…

http://itpro.nikkeibp.co.jp/article/NEWS/20080622/309146/ 東京大学では教養学部では2006年度より1・2年生向けの科目「情報科学」でRubyを用いた講義・演習を行っている。日本Ruby会議2008では東京大学 教養学部 準教授 増原英彦氏が同大学におけるRubyに…

http://itpro.nikkeibp.co.jp/article/NEWS/20080619/308743/

先々週頃から仙台も27度とか28度とか暑くなってきたのですが、ついこの間まで昼間も廊下が真っ暗だったりエレベータが止められていたぐらい節電しているご時世に冷房もどうかと思い、窓を開けていたら網戸がないので巨大なハチが入ってきて、出て行くまで（…

http://www.top500.org/list/2008/06/100日本勢は東大情報基盤センターのT2K仕様スパコンが16位、筑波大のT2Kが20位、東工大のTSUBAMEが24位、京大のT2Kが34位、地球シミュレータが49位とのこと。

http://www.asahi.com/politics/update/0620/TKY200806190302.html 飛行距離に応じてたまる航空会社のマイレージポイント（マイル）をめぐり、政府は１９日、省庁の役人の公費出張で個人のカードにたまるマイルを役所で共通に使えるよう、「公用カード」の発…

されました。内容のほうも充実していきたいと思っていますが、なかなか手が回らないので気長に(?)ご容赦を…http://www.kb.ecei.tohoku.ac.jp/

被害に遭われた方には心よりお見舞い申し上げます。おかげさまで私および私の近傍は無事でした。自宅はやや激しく揺れたのですが（震度４）、幸い人的にも物的にも何も被害はありません。大学へ来たのですが、部屋に山積みにしてあった本も崩れておらず、マ…

ACM SIGPLAN会員の方にはメールでアナウンスされていると思いますが、世界最大の計算機科学系学会であるACMが、コンピュータサイエンス(CS)カリキュラムのガイドラインを改定中とのことです（前回分）。SIGPLAN（プログラミング言語研究会）は、プログラミン…

…している映像を（私が）小さい頃に見た記憶が頭に残っているのですが、番組や講師の先生のお名前が思い出せません。最近になって（自分が）それらのアルゴリズムを授業で教える機会があったので気になってきました。極めて曖昧な記憶から思えばＫ合先生*1の…

私は（現在は）地下鉄が一路線しか存在しない地方都市在住で、（今はまだ）一つも駅がない山の上の職場へ自家用車通勤（通勤手当は実費の半分にもなりません）、休日もほぼ必ず車で外出していますが、1リットル300円ぐらいでも良いと考えています（税金の使…

http://www.icfpcontest.org/ (via http://www.kmonos.net/wlog/85.html#_1358080529) The contest will be held Friday, July 11, 2008 -- Monday, July 14, 2008. とのこと。