flickr2006/07/30こないだ会社で「集合がわかる本を教えろ」みたいな質問をされたけど、それはたぶんドモルガンとかについてわかりやすく説明してる本ってことですよね。いう本の必要性は否定しませんが、たぶん読んでも面白くないんじゃないかなあ。いうのは、ようするに「数式が読めること=数学がわかること」ではないからなんですが。「数学がわかること」とは何かってきかれても、自分は必ずしも数学をよくわかっているわけではないので、はっきりとは答えようがないです。以下の独り言は音量をさげてこっそり書きます。なんだかんだいって、数学に対するイメージは、いまだに「数字とか文字式だとかの演算」なのかもしれない。そこまで極端でなくても、「数式が読めること=数学がわかること」だと漠然と思っている人は多い。傍証:おまえ数学科なのになんで計算できないんだよという誹謗中傷。現代の数学の根っこにあるのは、数式をこねくり回すことじゃない。数学の役割は、人間が恣意的にいじくれないっぽい概念をどう整理(抽象化)すれば人間の把握下におけるか、ってとこにあると思う。具体的には、代数的な構造だとか位相的な構造だとか順序的な構造だとかを持ち出して、超越的にえいって感じで丸め込むのが現代の数学のやり方。ところで、そんな現代数学のやり口を学ぶ本(あるいは観賞する本)って、数学専攻の学生以外にも役立つような気がするんだけど、どうだろう。読者になり得るのは『ゲーデル・エッシャー・バッハ』を買った人たち。その面白さを潜在的な読者の大多数に書名とパッケージと口コミだけで伝えるのは困難だから、市場での成功は得られないだろうな。『ゲーデル・エッシャー・バッハ』だって、何で売れたのかよくわからないし。仕事でやるとなると、売れるとか売れないとか考えざるを得ない。そもそも誰に書いてもらうかっていうのがネック。数学の言葉で書いちゃダメなわけで。数学の言葉で書いたら、それはただの公理的集合論の教科書なのかも。あー、もし冒頭の質問が「公理的集合論がわかる本を教えろ」という意味だったのなら、きちんとした内容は別の本で学ぶ必要があるけど、こんな本があります。『数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える』http://www.amazon.co.jp/gp/product/4431707972自分が昔読んだときには翻訳がいまいちという印象だった。「各要素が「0または1をとる乱数」から成る長さnのリストを得よ」http://oss.timedia.co.jp/index.fcgi/kahua-web/show/ossz/oneline/2006-07-10「乱数」っていう用語は、とてもあいまい。出力しているだけだけど、乱数といえないことはない。当たり前だけど暗号化処理のシードに使ったりするわけにはいかない。続いてしまう問題には目をつぶったとしても)以下は宣伝モード。乱数については、発売したばかりのこちらの書籍もどうぞ。広範な話題に及んでいるので拾い読みがお勧め。Software』http://www.amazon.co.jp/gp/product/427406655X原書は少し前に出た本なんだけど、翻訳書は適宜監訳注が入ってるので不便はないはず。WEB"では7月10日の日付になっているけど、Bloglinesにはついさっきようやく入ってきた。してこんなに遅いんだろう。夏になって女の子たちが塗る日焼け止めの香りが好き。毎年7月ごろはそれが日焼け止めに由来することを忘れてるから、たまに電車に乗ったりすると微かに幸せなきもちになって、ちょっと戸惑う。Shawの小説もありますよ、と。使って求めろ」という問題。s2)))))))))素直に解答すると、こうなる。見に行くと止まってしまうようだ。ぶちこんで再帰することに問題があるらしい。深さに応じてストリームの先頭付近を具体的にしてやると、意図したストリームに近いものを求めてくれる。100)0を無視すれば正しい集合が求まっている。いうひっかけがあるときはヒントが書いてありそうなもんだ。これはなにかおかしい。試してみると、あっさり普通に求まった。1600なんでだろう。違いそうだってことだろうなあ。何か勘違いしている可能性もあるので、もっとよく考えること。あるかどうか確かめたい。最初はブール演算できると信じてた。#f)この期におよんでプロシージャとシンタックス形式の違いに戸惑うとは。