17/12/28 23:41:49.82 IsA0R4yK.net
>>30
沢山のレスがありがとう
まあ、ゆっくりやろう
まだ、疑問に思っているのは
下記のDifferentiability of the Ruler Functionの記述と貴方の定理との整合性だ
URLﾘﾝｸ(mathforum.org) （>>35より）
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
(抜粋)
The ruler function f is defined by f(x) = 0 if x is
irrational, f(0) = 1, and f(x) = 1/q if x = p/q
where p and q are relatively prime integers with q > 0.
Using ruler-like functions that "damp-out" quicker
than any power of f gives behavior that one would
expect from the above.
Let w:Z+ --> Z+ be an increasing function that
eventu