そういえば、小平邦彦先生の解析入門か何かの後書きに、「微分＝接線の傾き等という粗雑な理解では、こういう間違いを犯す」みたいな例が書いてあったのを立ち読み（おい）して「ぐはあ」とか思った覚えがあります。今回の話とは問題が違いますが。

昨日と今日は通研プロジェクトなるものの研究集会。頭の良い人たちの、頭の良い話ばかり聞いていて鬱になる。ブログで「アルゴリズム」の説明などしている場合ではない…のか、それとも大学人として研究だけでなく日本の計算機科学教育についても真剣に考察す…

有効な入力について停止しないものをアルゴリズムというかという話題ですが、そもそもアルゴリズムとは「与えられた問題を解くための手順」なので、停止しなかったら解けていないので、論理的にはもちろん、直感的にもやはり正しいアルゴリズムとは言いがた…

ケンブリッジ大学でも使われてるらしい。Peyton Jonesが宣伝してくれてるらしい。わーい。…といっても一つのCollegeだけなので、ごく一部なんだろうけど、はったりは効きそう。追記：学生数110人らしい…。今は講義数回分だけど、来年から一学期全部をMinCaml…

http://d.hatena.ne.jp/yoriyuki/20060224/p1それはどこの任天堂ですか？（某巨大掲示板風、丁寧バージョン）