今年は 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++で記…