17/12/10 13:46:30.35 IMWeAd+d.net
>>497 追記
このRuler Function f_w(p/q) = 1/w(q) （有理数で。無理数では0）という関数で
至ところ微分可能で、Hausdorff dimension １になり
一方
”Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.”（>>285より）
という状況は、自分の頭ではすんなり想像できないが、実に実に面白いね（＾＾