400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0019,492 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
シングルページアプリづくりのJavaScriptフレームワーク比較 - ワザノバ | wazanova
http://blog.andyet.com/2014/08/13/opinionated-rundown-of-js-frameworks 1 comment | 0 points | by WazanovaNews ■ comment by Jshiike | 約1時間前 開発言語やフレームワークの比較は、参考になるところはありつつも、その結果、不愉快な気分になる人がいるわけですが、それを懸念して、「（これを読んだ人は、他人の）意見を読んでいるだけだと思い返してほしい。貴方にどうすべきだと言ってるのではなく、自分にもしくはチームのために何がよいかは自分で判断すべきこと。」と前置きして、Henrik Joretegが、JavaScriptフレームワークについて私見をシェアしています。 反対意見も併記しようと思ったのですが、TwitterやHNでの反応がまだないようなので、注目すべきコメ
switch文を使ってはいけない
昔Qiitaで書いた内容なんですが、PHPのswitch文は悪名高い「==」演算子で比較を行います。 <?php switch (true) { case 0: echo '数字の0'; break; case '0': echo '文字列の0'; break; case '0.0': echo '文字列の0.0'; break; case true: echo '真偽値のtrue'; break; } このコードは「文字列の0.0」を出力します。大変分かりにくいですね。 この点はif ... elseif ...を使えば解決するんですが、switchで書きたくなるようなコードをelseifにするとおそらく読みにくくなるでしょう。 ではどうするか。 正解はオブジェクトのポリモーフィズム(多態性)機能を使うことです。 といっても、多態性で調べて出てくる記事とか書籍に関しては抽象的な説明が多い
「おにぎりマネージャー」の生きる道（松谷創一郎） - エキスパート - Yahoo!ニュース
進学と高校野球と女子マネージャー 昨日のことですが、スポーツ新聞のある記事がネットを少々ざわつかせました。これは、日刊スポーツの「春日部共栄 おにぎり作り“女神”マネ」という記事で、紙版では写真入りで一面を飾りました。夏の甲子園に出場し、見事一回戦に勝利した埼玉県の春日部共栄高校には、ベンチ入りもする女子マネージャーがいる、というお話。 日刊スポーツ 2014年8月13日付紙面 96年以降、女子マネージャーがベンチ入りすることも可能になったので、これだけでは何のへんてつもない話です。しかし、この記事には気になる一文があります。私も含めた多くの人は、この部分に引っかかってザワザワしたのでした。それが、ここ。 チーム内で“まみタス”と呼ばれ親しまれる三宅麻未マネジャーは、記録員としてベンチに入った。おにぎり作り集中のため、最難関校受験の選抜クラスから普通クラスに転籍したほどで、「頑張っておにぎ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
