人はごはんを無限に食べることができるかも - higepon blog
人はごはんを無限に食べることができるよ。 数学的帰納法を使えば証明できる。 「人は任意の自然数n個の米粒を食べられる」という命題を考えます。 n=1 の場合 人は米粒を1粒食べることくらいたやすいので命題は成り立つ。 任意の自然数 n=k が成り立つと仮定する。 どんなにお腹いっぱいで苦しくても、あと1粒だけならなんとか余計に食べることは可能であるから n=k+1 のときにも成り立つ。 1, 2 により任意の自然数に対して命題が成り立つことが証明された。 この命題は自然数 n をとても大きくしても成り立つので、ごはんを無限に食べられると言ってもよいと考えられます。 この証明はいろいろ応用できそうですね:D
人力検索はてなから「IDコール」が送信されるようになりました - はてなスター日記
さきほど、人力検索はてなを変更し、回答やいわしの本文内に「id:hatenamessage」といったID記法によるユーザー名が書かれた場合に、そのユーザーに対して「IDコール」が送信されるようになりました。 「IDコール」とは、ID記法ではてなのユーザー名が記述された時に、自動的にはてなメッセージに通知が行われる機能です。これまで、はてなダイアリーやグループにて、「IDトラックバック」として同様の機能の提供を行ってきましたが、このたび、はてなメッセージのリリースによって特定のユーザーに向けた通知を一括で管理することができるサービスができたため、あらためてこの機能を「IDコール」機能として、各サービスに実装していきたいと考えています。 今回はその第一弾として、人力検索内での回答文内でID記法による呼びかけが行われた際、そのユーザーに通知が行われるようになりました。 今後はてなでは、各サービス
ウィルコム、メールサービスを増強――容量拡大や絵文字変換など
ウィルコムは7月25日、同社端末向けのEメールサービスの増強を発表した。メールボックス容量の拡張や、携帯電話キャリアとの絵文字変換サービスを2007年度中に開始する。開始日など詳細な情報は、追ってアナウンスされるという。 現在のEメールサービスは、メールボックス容量が1Mバイトで、全角約1000文字のメール約500通分に相当。到着した日を含めて保管期間は31日間で、翌日に消去する仕様となっている。また絵文字については、ウィルコム間で利用できる専用のものと、一部機種でiモード互換のWeb用絵文字を用意している。ただし、携帯電話から送られた絵文字は文字化けするほか、全キャリアへの絵文字送信は対応してない。 このEメールサービス拡充にともない、1日1回メールボックスを確認し、未受信のメールがあれば通知する「未確認メール通知」と、到着から29日目になった未確認メールを通知する「期限到来メール通知」
ブログを書いている人向けお勧めイベント
オンラインだけでなく実際にイベントやセミナーに参加して、ほかのブロガーと直接会話しろ、といわれてもどういうイベントに参加していいか分からない。そんなブロガーに、おすすめのイベントをご紹介します。 「メモ帳からコミュニケーションツールに移行する3つの“ブログ会話術”」の記事で、オンラインだけでなく実際にイベントやセミナーに参加して、ほかのブロガーと直接会話してみるという方法をご紹介しました。 ただし、いきなりイベントやセミナーに参加してみろと言われても、どんなイベントに参加すれば良いのか分からないという方も多いかもしれません。そこで今回はブログを書いている方にお勧めのイベントをご紹介したいと思います。 ブログを書いている人向けお勧めイベント 100SHIKI PR Board RTCカンファレンス Websig24/7 おまけ 100SHIKI PR Board まず、ブロガー向けイベントの
カイ氏伝: ぷちリニューアル
【お知らせ】 新ブログ開設しました。 ショートカット導入しました。「N」で次のエントリー、「P」で前のエントリー、「M」でメインページ表示、「B」ではてなブックマーク該当ページを表示します
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.asahi.com/national/update/0725/TKY200707250264.html
http://www.2baihan.com/2007/07/post_43.html