もう先週ですが、子供が足の指を切ってしまい縫ってもらったので（でも相変わらず元気）、まだ通院しているのですが、ついでに僕の頭に残っていた糸も抜いてもらいました。見せたらすぐに抜いてくれました。タダで。いや、去年の10月上旬に縫ってもらい、そ…

かなり前の話だが、「Ｋ先生が授業で証明を間違えてやり直した」という文句を目にして、あの内容で*1あの先生が何を間違え得るのか？？？と思っていたのだが、単に証明がうまくいかない例を説明していたらしい、と最近になって判明。疑問が解決してスッキリ…

についてはPOPL 2004で何か言っていたような気もします。ちゃんと聞いていなかったので何も覚えていませんし（←駄目）、既出かもしれませんが。あと、一般的な再帰型があれば一般的な不動点演算子が型付けできるし、ボトムにも（任意の）型を与えられるので…