論理関係についての超技術的な議論（英語）のメールがgmailでspamに入ってた…。どういうわけやねん！（似非関西弁）

なぜかプロバイダからの連絡以外には一切使用していないメールアドレスにspamが。 「あてずっぽう」で来た プロバイダから流出 （メールを転送したことのある）GMailから流出 SMTPやAPOPが盗聴 自分のマシンがウィルスに感染 さあ、どれでしょう？正解はプロ…

Plotkinのtechnical reportが本人のメッセージつきで郵送されてきた。わーい。などと意味もなくミーハー（しかも超どマイナー）なことをいってみる。

ちょっと急いで右折したら左折してきた車の列へ割り込む形になってしまい、妙に気の抜けた音のクラクションを鳴らされ、かつ、わざわざ止まって窓越しに怖い顔で睨まれました。スミマセンスミマセン。;_;そういえば、ここが「コルトプラス」のキーワードで辿…

http://d.hatena.ne.jp/yoriyuki/20060204#p2がおもしろそうです。僕は（というか僕も）日本語は論理的たりうると思います。というか、「日本語は論理的でない」という言説で、論理的なものを見たことも聞いたこともありません。

実行時間をtimeなり何なりで測るのはいいとして、標準偏差によって実行回数を追加したりする必要はないんでしょうか？ 実装／性能系の論文を見てもちゃんと書いてあるものが見当たりません。本当の「科学」の実験では重要というか常識ではないかと想像するの…

であることを聞いて、ちょっと動揺したのは秘密です。仙台支店の店内がきれいだからいいんです。あと店員も（嘘）。ちなみに、SMBCもそうですが、なんで「毎月末日自動振込」とかできない（あるいはタダじゃない）んでしょうか。Citizens Bankの自動チェック…

マイレージは世間でもオタクの趣味としてメジャーになってきて（本当か？）つまらなくなってきたのでやめます。っていうかflyertalkとか読んでも（ましてや日本語の掲示板では）もう目新しい話がなくて飽きました。某国内掲示板の、あまりにも非論理すぎてKa…

よく「命令型言語は手順を記述し、関数型言語は問題を記述する」と言いますが*1僕は嘘だと思います。たとえばつるかめ算の問題をHaskellで（ましてやMLやSchemeで）記述しても解けないわけで。論理型言語も（程度の問題はあれ）同様かと。 *1:ちゃんとした人…

０歳児の銀行口座を、保険会社の人にすすめられた新生銀行に作ってみました。「本人」確認がややこしかったです。

というわけで秘密だった仕事。これが解けない言語系の研究者は学部生からやり直してください。嘘ですけど。ついでに、Pennの授業の試験問題がおもしろいです。2003年のfinal examの1.と2.とか。このおもしろさがわからない人は理論について発言するの禁止。…

いよいよ本業が停滞しているので気合いを入れるためにも。 卒論の要旨の添削や実装の相談。たとえ数百字でも、はじめは一〜二週間ぐらいかかるものなのです。本当なら十往復ぐらいするつもりで。時間的に無理なのでやりませんが。 ゼミ svn関係でちょっと格…

安心できそうな業者に注文して寒冷地仕様のものに交換してもらいました。あったかいー。さすがにこれなら暖房代（エアコンの電気代）だけで元が取れそうだから税金の無駄づかいじゃないぞ。たぶん。

工明会 青葉工業会 電気系親睦会 学部の同窓会（卒業してないけど教員はデフォルトで入るらしい） 研究科の同窓会？ 多いよう。あと、いろいろな懇親会（７０００円／会ぐらい）が年１０〜２０件ぐらい？ 他の人よりは少ないのかもしれないけど。