ちょっと感動したのでメモ。
f(x) = 1 (xが有理数のとき), 0 (xが無理数のとき)
という関数があって、これは前から知っていたけど、
こういうへんてこな関数は数式では書けないよなーと
思っていたら、書けるということを発見。
f(x) = limm→∞ limn→∞ (cos 2π･m!･x)n
「m!」のmを無限大に飛ばすことで、xが有理数であるかぎり、
どんなxでもcosの値は１。
他方、xが無理数であれば、必ずcosの絶対値は１より小さくなり、
１より小さい数を無限回掛け合わせれば０に収束するので、
無理数の時は０になる。
わーお
f(x) = 1 (xが有理数のとき), 0 (xが無理数のとき)
という関数があって、これは前から知っていたけど、
こういうへんてこな関数は数式では書けないよなーと
思っていたら、書けるということを発見。
f(x) = limm→∞ limn→∞ (cos 2π･m!･x)n
「m!」のmを無限大に飛ばすことで、xが有理数であるかぎり、
どんなxでもcosの値は１。
他方、xが無理数であれば、必ずcosの絶対値は１より小さくなり、
１より小さい数を無限回掛け合わせれば０に収束するので、
無理数の時は０になる。
わーお
しんちゃん、ご結婚おめでとう♪
胡桃さんから教えてもらいました。
入籍の時の写真、二人ともいい笑顔だね☆
随分前にmixiを退会して（多分その時に連絡したと思うけど）
もうしんちゃんのブログは外からは見れないのかな～と
諦めていたんだけど、ヤフーで検索したらここが見つかりました。
まだ桃子日記更新してないけど、
私は12月6日に退院することができて、
今自宅で陣痛待ちしてます。
お腹がすんご～く大きくなって、おデブ顔になりました。
もうすぐ自分の赤ちゃんに会えると思うと
すごく不思議で、不安で、幸せな気持ちです。
解散ライブ、私も行くつもりなんだけど、
出産後1か月は安静にしてなきゃいけないから、
ライブに行けるか、行けても皆に会えるか微妙な感じ・・・。
だからまずはここで「オメデトウ」を伝えておくね。
いつまでも二人仲良く幸せにね。