ウイルスバスターがインストールされているのにWindowsセキュリティセンターに怒られる件、トレンドマイクロのWebサポートは迅速丁寧に対応してくれたのですが（平均一日一往復ぐらい）、やはり「WindowsのせいなのでMSに…」ということで解決しませんでした…

あー、入試関係は知っていても知らなくても一切返答できないっす（←何も聞かれてないって）。すでに公開された情報へのポインタぐらいはＯＫか？

某所の面接で、園長さんに「朝が遅い。脳の発達に影響する。」と脅迫されたので、毎朝６時半５時半に起床することに。いや、いつも赤ちゃんは起きてたけど、僕が眠かったので、赤ちゃんがニコニコしている横で、僕が寝てたんです。スミマセン。あと、今のオ…

そろそろ足りなくなりそうです。というのは嘘ですが、いずれ明らかに足りなくなる兆しが見えています（１年ちょっとしか使っていないのに30%）。どうしたものか。二個以上アカウント作っていいんでしたっけ？（←調べろよ）ちなみに現在、ローカルにセーブし…

http://d.hatena.ne.jp/m-hiyama/20060811/1155276617う、Girardは本人に聞く機会があったのに逸したかも…。僕の周りでは「ジェラール」が多いけど「ジラー」もある、という感じです。またいずれ会えるでしょうし、O先生に聞けば良いのかもしれませんが、S君…

タンパクは消えたのだが、前回は検査しなかったウロビリノーゲンとやらが＋。＋は弱陽性で正常値という説もあるようだが、異常値というページのほうが多いようだ。地球人類の外部記憶たるGoogleの検索結果の1位と2位が食い違っている。単に測定法が違うだけ…

http://itpro.nikkeibp.co.jp/article/COLUMN/20060808/245371/初回が掲載されました。うれしいやら恥ずかしいやら、遅れて申し訳ないやら。私の手抜きプレーンテキストをHTML化したり、文章が下手な部分を修正したり、本来の「原稿」と「編集」の仕事をして…

規則が存在する以上、守るのは当たり前だし、ましてや私的流用や焼却など言語道断なのも当然です。それを踏まえた上で、杓子定規な規則や解釈は、問題を悪化させるだけだと思います。たとえば7月末の炎天下で行われるイベントは、お客さんに冷たいお茶ぐらい…

ちゃんとインストールして有効になってるのに、Windowsセキュリティセンターに「ウイルス対策とファイアウォールが無効」と警告される…（アップデートはちゃんと動作している）。トレンドマイクロのサポートとやり取り中。Webサポートだが、意外と迅速。

数週間前に健康診断があったのですが、タンパクが出てしまいました。腎臓が悪いかストレスのせいという話ですが、もっと淡白になるべきなのでしょうか。なんちて。（←０点）

僕もアメリカにいたときはネットで日本のテレビを視聴すべく試行錯誤しましたが（あのときはどうもサンクスでした）、それを商売にしている業者の一つが、ついに裁判で勝訴したそうで。もしテレビ局がやってくれれば、お金を払ってでも見たと思うんだけど、…

今更だが、ウイルスバスター2005は年末にサポートを終了するというので2006にアップデートしたら、カスタマイズしたファイアウォールの設定を消去された。うきー。（アカデミックライセンスで有効期限は2016年と表示されている。本当？）

ギリシャ人の知人が何人かいるのですが、主語か呼びかけか（Hiの後など）によって名前の語尾が変わるのを覚えられなくて、メールを書くたびに調べます。ぬー。http://www.cis.upenn.edu/~dimitriv/correct.html http://www.ccs.neu.edu/home/vkoutav/greekna…

30人ぐらいしかいない学科同期の中で、大学教員（自分と予定も含む）が少なくとも7人ぐらい*1いるような気がする。もちろん、研究所の研究者も含めると、もっと増える。偏りすぎ？ *1:アルファベット順に、A, B, M, N, Y, 予定の人, 自分。きっとまだ漏れが…

まだこのブログでこの話をしていなかった（ような気がする）ことにふと気づいたので、ありがちなクイズ。任意の型環境Γにおいて、任意のλ式Mに対して、任意の型Tを与えることのできるような型つけ規則∀Γ.∀M.∀T. Γ├ M : Tを考える。 この型つけ規則の下で、Su…

面白そうな話なので引っ張って来ました。soutaroさんの話は（もちろんyoriyukiさんの話も）何ら「変」ではないと思いますよ。たとえばVisual何とかほどの環境は存在しない、というのは確かですし（Visual〜で同じことができるか知らないのですが）、OCamlの…

http://www.google.com/search?q=%E4%B8%BB%E4%BA%BA%E3%81%8C%E3%82%AA%E3%82%AA%E3%82%A2%E3%83%AA%E3%82%AF%E3%82%A4%E3%81%AB%E6%AE%BA%E3%81%95%E3%82%8C%E3%81%A61%E5%B9%B4%E3%81%8C%E9%81%8E%E3%81%8E%E3%81%BE%E3%81%97%E3%81%9F%E3%80%82うちにも…

ゲド戦記（アニメ）の評判があんまりなので、ものすごく見に行きたくなりました。

ボクシングはまったくわかりませんが、自分は中盤だけ見ていたので、亀田の勝ちでも別におかしくない、と思いました。追記：http://www.nikkansports.com/battle/kameda/p-bt-tp1-20060816-76161.htmlという記事も。

あー、APLAS 2006のポスターセッションのアナウンスを、思いっきりtypesメーリングリストへ送ってしまった…。自分のせいでtypesとtypes-announceが分離されたのに…。うー。追記：モデレータのStephanieがtypes-announceへ転送してくれたらしい。感謝。ちなみ…

2年前の論文の論文誌投稿バージョンを（ようやく）準備して共同研究者というか元ボスのＰ氏へメール。いつも「論文本体より修正部分のほうが多いんじゃないか」というぐらいツッコミが入るのでドキドキするのだが、今回は些細な指摘が二件だけだった。見捨て…

自分と一緒の授業を（JavaとMLで分担して）担当された先生が、w3mの作者さまであることを今更ながら発見。ひえー。追記：ついでに言わねばなるまい。w3mはBoehm GC（C/C++のための保守的ガベージコレクタ）を使っているという先進的かつ実用的なアプリケーシ…

http://itpro.nikkeibp.co.jp/article/COLUMN/20060801/244812/あああ、僕が遅くて先に始まってしまった…。本当にスミマセン…＞皆様（さすがに第１回は脱稿しましたが）。

オープンキャンパスのときに、フランス人の留学生さんを連れて計算機センター（正式には情報シナジーセンター）へスパコンを見に行ってみたのだが、スパコンとは別に古いマシンの歴史についてちょっと展示していて、パンチカードや８インチのフロッピーディ…

ところで、うちのノートPCはサスペンドしてレジュームすると音が鳴らなくなることがよくあります。そういうときは、サウンドデバイスを一旦無効にしてから再度有効にすると直ることが多いです（コントロールパネルの「サウンドとオーディオデバイス」→「ハー…

freedom-project.jpのflashがfirefoxでちゃんと動かない（マウスクリックがずれる？）。そういう演出かと思って苦労してしまった。むう。そういえば、スカパーのMTVで宇多田ヒカルか誰かの歌と共に、かなり長いバージョンが流れていたような気がするのだが、…

超おもしろかったらしい。参加したかったよう。ストーリーだけ最後まで詳細にネタバレを希望（おい）。