タグ

2011年7月4日のブックマーク (3件)

  • 「050 plus」 スマートフォンから無料・格安で話せるIP電話アプリ

    サービス一覧 インターネット接続 光回線 OCN 光 OCN for ドコモ光 OCN 光 with フレッツ OCN 光 「フレッツ」(プロバイダサービスのみ) OCN IPv6インターネット接続 OCN 光 2段階定額 その他接続サービス OCN ADSL 「フレッツ」 OCN ADSL セット OCN ダイヤルアクセス OCN モバイル エントリー EM LTE OCN モバイル エントリー EM OCN モバイルd OCN モバイル エントリー d アクセスポイント情報 【重要なお知らせ】モバイル通信サービスご利用されていたお客さまへ(サービス終了のご案内) OCN(S) OCN(D) 無線LANサービス モバイル OCN モバイル ONE 料金チェック おすすめポイント ご利用の流れ スマホセット(端末セット) SIMカード 音声対応SIMカード(OCN モバイル ONE) デー

    uunfo
    uunfo 2011/07/04
    NTTコミュニケーションズか。
  • asahi.com(朝日新聞社):「杁」←この字読めたら愛知県民? でも意味は… - 社会

    印刷 杁(いり)と併せて使われる樋(とい)の「タツ」。ため池に立てて使う=愛知県半田市の市立博物館杁の仕組み  杁中(いりなか)、杁ケ池(いりがいけ)公園、二ツ杁(ふたついり)……。「杁」という漢字は愛知県内ではおなじみだが、何を指しているのか知らない人も多いはず。愛知の農業に欠かせなかった「杁」の実物を見て、知多半島の治水の歴史文化を学ぶ「博物館めぐり」が17日、同県半田市周辺で開かれる。  杁のつく地名の周辺を歩いてみると、必ず行き当たるのが川や池だ。名古屋市昭和区杁中の近くには隼人(はやと)池公園、杁ケ池公園(同県長久手町)もその名の通り池がある。名鉄二ツ杁駅(同県清須市)の近くには市の水防センター、といった具合だ。  だが、池や用水に関係するなら、日全国に杁のつく地名があってもいいはずだ。しかし、「新版日分県地図地名総覧」(人文社)を検索したところ、「杁」は愛知県内と、愛知、

  • ゲーデル記念日 - hiroyukikojima’s blog

    「完全にわかった」とぼくの頭が言ったから七月三日はゲーデル記念日。 あえて、というか、恥ずかしいから、何のパロディかはいわない。とにかく、今日はすごく嬉しい日になった。ゲーデルの不完全性定理の証明が、第1不完全性も第2不完全性も、どちらもかなり完全に近くわかってしまったからだ。こんなことをいうと、「お前はゲーデルの不完全性定理について、著作の中に書いてるくせに、ほんとはわかってなかったのかい」とツッコマレそうだけど、いや、おっしゃる通りなのだ。でも詐欺だとか思わないでほしい。 数学の理解には、何段階かあると思う。 「数学マニアと会話できる程度の理解」<「啓蒙書にうんちくとして書ける程度の理解」<「講義できる程度の理解」<「論文を書ける程度の理解」 みたいな感じなんじゃないかな。ぼくのこれまでの理解といえば、下から二番目程度だった。もちろん、だから啓蒙書に書いたりしたわけだ。(たとえば、拙著

    ゲーデル記念日 - hiroyukikojima’s blog
    uunfo
    uunfo 2011/07/04
    新井敏康『数学基礎論』岩波書店