6月 2010

Twitter 2010-06-04 の記録

  • 07:24  おはようございます。朝食はとりそぼろのパン(小麦と酵母 満) です。 http://flic.kr/p/87pAbX
  • 07:27  Flickr!からもTwitterに投稿できるが、文章が切れてしまう。短縮URLと合わせても140文字よりずっと少ないのに何故?
  • 07:28  ということで、Flickr!からの投稿は止めて、写真の短縮URLだけを使うことで、とりあえず解決。
  • 07:33  今日の測定。あちゃあ〜 +15.2 なり。元の木阿弥でござるよ、orz
  • 10:44  日本の携帯がガラケー(ガラパゴス・ケータイ)なら、さしずめエレクトーンはガラキー(ガラパゴス・キーボード)ってことですかね。
  • 10:54  みんなの党も微妙ですか。RT @momokookoma: 表現規制的に最悪の候補者きちゃった。規制派急先鋒の後藤氏を擁立ですか。さようならみんなの党RT @otakulawyer みんなの党、弁護士の後藤氏擁立 http://bit.ly/buycsN
  • 11:04  Wolfram Alpha おせっかいだけど面白い。分数入力したら、エジプト分数まで教えてくれる(笑)。3/7=1/3+1/11+1/231
  • 21:48  いましがた、ピカッと光ってごろごろ〜っと。なに〜雷なのか?

Powered by Twitter Tools

素数が無数にあることの証明

たまたま読んでいたものに書いてあった証明。これは知らなかった。ユークリッドの証明もエレガントだが、これもなかなかだと思う。


自然数$a$に対して、$a$と$a+1$は互いに素であるから、$a(a+1)$に含まれる素因数の種類は$a$のそれよりも多い。よって、
\[ a_1=2, \quad a_{n+1}=a_n(a_n+1) \]
と定めると、$a_n$には少なくとも$n$種類の素因数をもつ。QED

書いてて思ったのだが、やっぱりユークリッドの方がシンプルか。

Twitter 2010-06-03 の記録

Powered by Twitter Tools

Twitter 2010-06-02 の記録

  • 10:32  びくびくしながら、今朝の測定。あれ? +14.2 だ。
  • 12:38  昨日、某所で iPad をみた。それも2台も。パソコンまったく触れたことない年配の男性(所有者です)が嬉々としてあやつっているのを見て、ああこれはすごいことが起こるかも知れないと思った。
  • 18:12  MLにて高校の同窓会の写真を見た。ラベル先生が若いのにびっくり!
  • 19:05  時間切れ。とりあえず出来た分だけ原稿を出した。
  • 22:09  デパ地下でお試ししてた北海道の白みそ。味噌汁で使ってみたが、良い感じ。値段も高 http://flic.kr/p/872gnX

Powered by Twitter Tools

Twitter 2010-06-01 の記録

  • 08:17  今朝の計測。+14.3 でした。
  • 08:20  民主党内から首相退陣論が。選挙がなければスルーだろうに。結局自分がかわいいだけか。
  • 10:14  今日もさわやかな晴天。これから出勤します。BGMはDeodato: Live from Rio
  • 12:42  今日はまともな時間に昼食。デパ地下で弁当屋さんを新規開拓した。 http://twitpic.com/1sxdet
  • 16:25  Soup Stock Tokyo なう http://yfrog.com/0dd3waj

Powered by Twitter Tools