フェムトセカンド #七味とーがラジオ / @melonsode

The Destination is unknown. The Journey is the Reward.
Author: 野澤真一 / NOZAWA Shinichi , version 2.0220330 / Podcast: 七味とーがラジオ / twitter: @melonsode

lim lim (cos 2*pi*m!*x)^n

| | コメント(1)
ちょっと感動したのでメモ。

f(x) = 1 (xが有理数のとき), 0 (xが無理数のとき)

という関数があって、これは前から知っていたけど、
こういうへんてこな関数は数式では書けないよなーと
思っていたら、書けるということを発見。

f(x) = limm→∞ limn→∞ (cos 2π・m!・x)n


「m!」のmを無限大に飛ばすことで、xが有理数であるかぎり、
どんなxでもcosの値は1。
他方、xが無理数であれば、必ずcosの絶対値は1より小さくなり、
1より小さい数を無限回掛け合わせれば0に収束するので、
無理数の時は0になる。

わーお

コメント(1)

しんちゃん、ご結婚おめでとう♪
胡桃さんから教えてもらいました。
入籍の時の写真、二人ともいい笑顔だね☆

随分前にmixiを退会して(多分その時に連絡したと思うけど)
もうしんちゃんのブログは外からは見れないのかな~と
諦めていたんだけど、ヤフーで検索したらここが見つかりました。

まだ桃子日記更新してないけど、
私は12月6日に退院することができて、
今自宅で陣痛待ちしてます。
お腹がすんご~く大きくなって、おデブ顔になりました。
もうすぐ自分の赤ちゃんに会えると思うと
すごく不思議で、不安で、幸せな気持ちです。

解散ライブ、私も行くつもりなんだけど、
出産後1か月は安静にしてなきゃいけないから、
ライブに行けるか、行けても皆に会えるか微妙な感じ・・・。
だからまずはここで「オメデトウ」を伝えておくね。

いつまでも二人仲良く幸せにね。

プロフィール

月別アーカイブ

全アーカイブ

フェムトセカンド1.0

最近のコメント


メールを送る(故障中)