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

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

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