このblogについて、「そんなことを書いていいんですか」というツッコミを受けることがありますが、もっとヤバくて書けない話はいくらでもあるので安心してください（本当）。ちなみにfopenを知らない(?)のは、学生のせいではなくて、カリキュラムが悪いので…

MLを知らないのはともかく、fopenとかfcloseとかいっても通じない(?)のは「情報コース」としてどうなのでしょうか。

生まれてはじめて自分で鳴らしました。っていうか間違って肘が当たった。すみません。

最近の民放がたるいです。一時間番組で、必要な部分が5分〜10分ぐらいしかありません。後は同じ話の繰り返しか（しかも超しつこい）、どうでもいいトーク。もう駄目？

(追記：コメントなどより修正)・1990年代前半 Gさん(Standard ML? Caml? Minimal?) ・1990年代後半 Kさん(Standard ML) ・1997〜1998年度 Iさん(Standard ML) ・1999年度 略(Standard ML) ・2000〜2003年度 Oくん(Objective Caml) ・2004〜2005年度 Sくん(Ob…

「ウィルスがコピー防止ツールを悪用」じゃなくて「コピー防止ツールがウィルスを使用」ないし「コピー防止ツールがウィルス」じゃないかと思った。

単純に「クラッシュしない」ことだけではなく、「許可ないし定義されていない操作は実行されない」ことが重要なのです。抽象型とか線形型とか情報流型とか、と我田引水。もし本当にすべて型理論で保証したかったら、Coqとかの依存型で証明（＝プログラム）と…

某駐車場の前にしばしばというか、ほぼ常にバイクや原付がとめてあって、この間など僕のスーパー車長感覚により外輪差でちょっと（一部自粛）して研磨剤で（中略）するはめになったのですが、事務から「非常に迷惑しているという苦情があるので駐輪するな」…

安いので八木山のほうまでガソリンを入れに行ったら道を間違えて二回ほど転回。青葉城へ下りる道に間違って入ったら、平日は一方通行ではないはずなのですが、（僕の技では）どう考えてもすれ違えない観光バスが上ってきて、周りの車も止まったので、その隙…

NHK記者放火とか、元楽天副社長の校長が修学旅行で飲酒とか、韓流ブームとか、最近のマスコミは偏向（というか恣意）がものすごく目立つのは気のせいでしょうか。どこかの「マスコミ対策マニュアル」に「報道の自由の侵害・冒涜になるので、記事のチェックを…

某申請に一行だけ修正が必要という連絡が本部からあったそうで、11ページ×33部を綴じ直しらしい。すみません＆ご苦労様です…＞秘書様

クラシック音楽のつもりで"classical music"とか、引っ越しのつもりで"I've moved house"とか言ったら、目上の人たちに訂正されて、？？？と思って辞書を見ても、やっぱりそう書いてあったりして、いろいろと難しいです。

出張旅費の計算がどうしても理解できません。国外でも国内でも、旅費規程を見ながら、どう計算してもピッタリと合ったことがありません。むう。

ユナイテッド航空の米国内線のアップグレード券(Confirmed Regional)が余りまくっていて、有効期限の１月までに使えそうにないので、ほしい方はお知らせください（まったく見ず知らずの人には差し上げられませんが）。旅程の一部として国際線から乗り継ぐ国…

しばらくMinCamlばかりやっていたせいか、普通のλ計算の簡約とかπ計算の双模倣についていろいろと忘れていて、かなり勘違いしまくり。また勉強せねば。どうも失礼しました。＞勘違いされてしまった方

一部で議論が盛り上がっているようですが（本当か？）、http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00270.htmlみたく専門家でも用語（というか見解）が統一されていないので、一般人(?)が混乱するのは当然かも…。型は静的なものであっ…

洗濯機が不調なのですが（脱水でカラカラと大きな音がする）、「修理の人が来ると直る」というありがちなパターンなので、なったときにwavで録音してみました。マイクがしょぼくてイマイチですが、一応は異音がわかる程度の音質。

APLAS 2005で話題になった（＆自分もはまった）ので、煽りっぽいバグレポートを送ってみる。参考：過去の悪行→その１・その２・その他数々

（旅行会社から予約したのに満室で）振り返られたホテルまでシャトルバスに乗ったのですが、どうも主催者側に連絡がなかったようで、その場に僕しか日本人がいなくて成り行きで仕切ることに。なんでやねん！＞JTB（似非関西人風に）まあホテルは元の研修セン…

細かいバグやアップデートのたびにSourceForgeで新しいバージョンをリリースするべきかどうか、極めて悩ましいです。関数の名前をドキュメントに合わせて直しただけとか…

OCamlの布教のため（ということにしておく）にユナイテッド航空のオンライン予約をチェックするプログラムを公開しているのですが、意外とユーザがいて、「Windowsでプロセスが増え続けます」とかバグ報告メールが。Cygwinのexecって実はプロセスを作ってた…

（後から読んでみたらつまらなかったので全文削除）