前にも書いたかもしれないけど、AUのケータイのブラウザでgmailのログイン状態保持ができなくて非常に不便です。クッキーを保存する機能がないのか？

ライセンスの都合で、しばらく話題沸騰していた(?)ウイルスバスターにしたら、VMwareのNAT経由のPOPアクセスまでスキャンしてくれるようになった。さすがにPOP/SSLやSMTP over SSHは駄目だけど。あと、なぜかAPOPも。（設定すればいいだけか？）

MLの授業で「let f x = x + 1と定義した関数fの型は？」みたいな質問をしたら、「intです」みたいな答えが。しかも１回だけじゃなく繰り返して。しばらく悩んで、どうもCでint f(int x) { return (x + 1); }みたく書くせいではなかろうか、と思い至る。そも…

とりあえずフリーソフトで練習しまくっていったら満点でした。まあ、技能のほうがやばいんですが。

赴任旅費（着任したときに支給される旅費や引っ越し代）の金額がようやく確定したらしいのですが、やっぱりちょっと赤字です。まあ、（事務の都合で）個人旅行をキャンセルしたりしたので、しょうがないんですが。それを言うと「事務の都合で着任が２週間ぐ…

といいつつ、O(log n)のpowerをMLで末尾再帰で書け＆Cでループで書け＆見比べて気づいたことを述べよ、等という授業レポート課題を出してみる。「Cのほうがわかりやすかった」「MLのほうがわかりやすかった」両方の感想があるようですが、それはどっちでもい…

MinCamlの論文というかレポートが、FDPEというワークショップに通ったのですが（ICFPには落ちた）、「こんな小さいサブセットではMLよりCに近い。学生が納得したとしたら、それは教員の性格のせいだろう。」とかいうreviewが。いくらなんでもそれは嘘だと思…

…なんてことにならないように勉強しているのですが、練習問題で平均90点ぐらいという惨状（注：90点未満はアウト）。やばい。ちなみに月曜に効果測定、火曜にみきわめ、木曜ぐらいに本番の予定。

今年は出られそうにないです。理由は次で。

というわけで、またしても教習所の話になってしまうのですが、研究室に来ているM$ Research（シアトルのほう）の外国人と教習所の話になって、Webページの写真を見せたら「amusement arcadeみたい」とか「007に出てくる悪の組織の基地みたい」とかいう感想が…

なんか書くことがないです。っていうか、差し障りがあって書けないことばかりです。年をとったかな…？

技能教習のキャンセル待ちをしていたら、時間ぎりぎりにかけこんできて、↑とかいわれて断られている人がいました。おかげで僕が乗れたわけですが、ちょっと気の毒。

健康といえば、健康診断の血液検査の結果が「要経過観察：脂質」。げ、とか思ってよく見たら正常値未満らしい。なんかまずいことがあるんでしょうか。

寝室の窓の一部（すりガラス）にカーテンがつけられないので、日が差してくると目が覚めます。超健康的。しかもそれが朝４時ぐらいなんですが、６月かつ仙台だから？ おかげで朝７〜８時台のバス（もっとも多い）とか、朝８時から自動車教習所とかも楽勝。

自動車教習所で運転。もちろんオートマ限定。とりあえずアクセルをまったく踏まないで１周してみました。隣の席から「じゃあ次は30キロで」とか聞こえてきたのですが、直線コース10mぐらいしかないんですけど…（弱）

カリキュラムをチェックしたくて、事務へ行って「K研究室のSですが、学生便覧をください」と聞いたら↑のような会話が発生。黒Tシャツにブラックジーンズという格好のせい？

を設定しようと試行錯誤してもできず（以前の機種はできた）、FAQにも「UNIXは知りません」みたく書いてあるので、サポートにメールを送ったら「マニュアルを見てね」とか言って、ちゃんと書いてあるPDFへのポインタが。すげー奥深くにあって気づかなかった…

なんか大昔にかなりアホなバグレポートをgcc-bugsに提出してしまったことがあるのですが、超FAQだったようで、dupマークをつけられまくり。古傷をえぐらないで〜;_;簡単に要約すると、コンパイラは「違う型のポインタはエイリアスしない」と仮定した最適化（…

ペンシルバニア大学（フィラデルフィア）にいたころのアパートの敷金はどうなったんだろう、と思っていたら「全額返還します」とかいうレターが来たのだが、敷金以外に家賃１か月分も余ってたはずなのでFAXしたら「調べたらあったので返します」とかメールが…

よくauのフルブラウザでGmailを読むのですが、ログイン状態を保持できません。クッキーをセーブするメモリがないのか、Operaの問題なのか、Gmailの問題なのか…？

Subjectにスペースが入る件、なにやら「ウィルスチェッカやファイアウォールは入ってないか」とか「スクリーンショットを送ってくれ」とか、いまいちマヌーな返事が…。ただのroutineなのか、それともGoogleすらテクニカルサポートの質が落ちているのか？ と…

Gmailの複数行Subject:のdecodingで、見出しの通り、ありがちなバグ（ですよね）が…。検索したら１月ぐらいにバグ報告されているようだけど、明らかに直ってないので、つっつくべく自分でも報告してみたり。追伸：バグじゃなくてMIMEの「仕様が曖昧」らしい…

MinCaml (http://min-caml.sf.net/)の論文をICFPに出したら、やっぱりさくっとrejectされた。まあ引っ越ししながら急いで書いたし、そもそもチュートリアルから起こしただけで、論文というより概説になっていたので、そこをつっこまれまくったわけだが、思っ…