やっぱりプチプチ＋ガムテープでは貧乏感満点すぎるのと、ちゃんと風を防げていないので、事務と業者に相談。が、どうも頼りない。HITACHIって書いてあるのに「ロスナイですよね」と言ったり（ロスナイは三菱）、「換気扇がないと建築基準法違反ですか」と聞…

ので、一夜漬けで作ったスライドを恥知らずにもWebにおいてみたり。logical relationの「適当」な説明。追記：ちなみにデザインのコンセプトは「かわいいフォントで、かわいくない内容」です。

明日の授業（代講）の準備。悩んだ末にparametricityのお話に決めた。でも難しさとか長さとか、いまいち見積もれない… ゼミ。POPLで人が少ないので、進捗状況報告だけ30分。

前にも書いたかもしれませが…よく大学改革の文脈で「教育機関と研究機関をわけるべきだ」という主張があります。（某高校の文化祭の「討論班」で、いろいろな有名人にアンケートを送りつけたことがあるのですが、たとえば栗本慎一郎氏がそう答えていました。…

もうskallerは投稿禁止にしても良いんじゃないかと思った。とか過激発言。

キーワードだけ：ETCの料金表示ミス。タクシー。

僕も例に漏れず使ったはずのアップグレード券が戻ってきたので（しかも2枚）、一年延長できないかなーと思って聞いてみたが、やっぱり「2006年も1Kじゃないと駄目」という返事。当然だけど残念。:-)それはいいとして、12月末に1K Voiceへメールして、「2-3営…

なりゆきで多相レコードの復習 質問とか 創造工学研修。来週で最後になってしまった。ゲームや3Dグラフィックスはまあおもしろいのだが、思ったほどは盛り上がらなかったかも…。来年からOCaml on (AIBO or LEGO MindStorms or Nintendo DS)にでもしようかな…

まだ（また？）MinCamlのエスケープ解析関係。思ったより難しくて、なかなか証明（というか定義）がうまくいかず試行錯誤。 ４年生の人々から質問。ようやく研究らしくなってきたかも。 なぜか給与規定のお勉強＆計算。ややこしすぎる… 前に悩んだ出張旅費、…

がAdd of t * tとかNeg of tとか別々になっているのは、プリミティブごとにarityが違うので、Prim of op * t listとかにすると、Prim(Neg, [e1; e2])とか書けてしまうためです。一つにまとめられるメリットとどちらが大きいか、僕も迷ったのですが。FAQっぽ…

ドリフトもミニターボもできない状態で他人と対戦したらぼろ負けした（当たり前）。もう休みが終わるので、しばらくできません。ありがとうございました。;_;

「副作用がないから」という、はじめの答えで良いのではないでしょうか。forループの計算結果を反映する方法がないわけで。モナドの中なら良いのかもしれませんが、モナドは「入ると出られない」ので、iterationだけのためにモナドを使うぐらいなら、foldの…

2. わざわざプラスチックのクリアファイルに用意された、カスタマイズされた保険の資料を熟読する（しかも２冊目）。ドル建てやら、ドル・コスト平均法やら。あと、不払いの話とか情報収集。追記：考えた話をメモ。 所得税の保険料控除：最大年10万の保険料→…

1. 保険屋さんフィナンシャルプランナーを呼びつけてに来てもらって返戻率やら相続税やらの話を根掘り葉掘り聞く。しかも二回目。今日の言葉：全期前納。

何やらみんなでPOPLへ行ってるみたい。よろしくお伝えください（いろいろな人に）。

休みの日が暇で（今のところ）、仕事をする気力もないので、マリオカートDSをはじめました。とりあえず150ccだけクリア。ミラーはまだやっていません。下手な対戦相手を募集。まだそれぞれ1〜3回ぐらいしかやっていなくて、コースをまったく覚えていないので…

換気扇封印 冬休みが明けて（というか↓が迫ってきたので?）学生の人々から質問多数 ミーティング。発表練習×２＋卒論進捗状況報告×４＋α。3.5時間耐久（休憩はあったけど）。 自分の研究。0.5mmぐらい。

わりとおもしろかったです。第２夜は答えを言われるまでわかりませんでした（地下駐車場）。私の痴呆は順調に進行しているようです。第１夜と第３夜は明らかにわかるように作ってあったので（縄文土器の話を伸ばしたとき＆秘書さんに煙草を買いに行かせたと…

やっぱり換気扇からの風が冷たいので、事務から梯子を借りてきてプチプチとガムテープで塞いだ。貧乏感満点。それでも漏れてくるが、少しマシになった。凍死も嫌だけど、窒息死も嫌だし。

自分の研究。久しぶりにちょっと進みました。3mmぐらい。 風が強くて換気扇から冷気というか雪が逆流して激寒い。木の枝や葉っぱ等も詰まっていたので格闘しながら掃除。;_; ホームセンターで何かふさぐものを探そう…

http://www.joelonsoftware.com/articles/ThePerilsofJavaSchools.html U. Penn, which replaced Scheme and ML with Java in trying to teach the class that nearly killed me and my friends, CSE121 http://wadler.blogspot.com/2005/12/perils-of-javas…

強風が吹き荒れています。雪には少し慣れたつもりですが、風で煽られて滑ったのははじめて。あと、僕より車庫入れが下手な人を見たのもはじめて。二台分のド真ん中にとめていました。おじいさんでしたが。あと、某長町モールで駐車場逆走が多いです。狭いと…

たまっていた仕事の一部をやっつけましたよ。 まだ議論。どうも「内容が簡単でわかりやすい」論文がacceptされて「そもそもの問題が高度なので結果も理解しづらい」論文はrejectされる傾向が…。そりゃ読んでて楽なほうがうれしいのはわかりますが。 まだ査読…

Wikipediaのλ計算の項にHewittが（一部自粛）なことを書きまくっている…。MITの凋落ぶりを象徴しているかも、とか問題発言。追記：自分のエントリも更新しまくってるのか…？ あと「名誉准教授」（Associate Professor Emeritus）って何。

また必要があって２台目のノートPCをSargeにしたら、LILOのLIぐらいでVMwareがこける…。もう５回ぐらいrevertして試行錯誤しています。ひー。;_; *** VMware Workstation internal monitor error *** This virtual machine has tried to execute an invalid …

以前に渋滞ではまっていたら、後ろから来て対向車線を逆走し、僕を追い越して前に割り込んだ車がいたのですが、今日も渋滞で対向車線を逆走し、僕を含め数台の車（バスを含む）を追い越し、信号を左折していった車を見てしまいました。10cmぐらいまで近づい…

新年早々、仕事がたまっている。昨日は大掃除？で疲れて働けませんでした。いろいろと待たせている皆さま、すみません。(_ _)

ここぞとばかりにデジタルWOWOWのお試しに入りましたよ（奥さんが）。15日間無料らしい。いきなり社長挨拶をやってますが。ところで、これってB-CASカードを取り替えたら（以下自粛