11438011 submission ケプラー予想の証明が完了 0 タレコミ by Anonymous Coward 2014年08月14日 16時55分 あるAnonymous Coward 曰く、 10年以上を費やしていた「ケプラー予想」の証明が完了し、その内容が正しいことが示されたそうだ(GIZMODO)。ケプラー予想は、ケプラーの法則で知られる数学者/天体物理学者ヨハネス・ケプラーが提唱した、空間上に球体を充填する際に最高密度となる充填方法。1998年にトマス・ヘールズ氏によってその証明が示されていたのだが、その内容は非常に複雑で、その正しさを示すことができなかったという。そのため、へールズ氏は2003年に自身で証明支援ツールを使った「答え合わせ」を開始。それがやっと終了し、証明が正しいことが実証されたという。
10623367 comment MITsu_at_mit-netのコメント: Re:投票しないということは委任した事になる (スコア 1) 311 by MITsu_at_mit-net 2014年02月04日 9時11分 (#2538916) ネタ元: /.Jに聞け:支援したい候補者が居なくても投票には行くべき? うんうん同意。ベストを選択するというよりワーストを避けるための仕組みが選挙だと思えば投票は必須だと思うな。
9299782 comment MITsu_at_mit-netのコメント: ベイダー卿 (スコア 1) 170 by MITsu_at_mit-net 2013年06月30日 14時56分 (#2411897) ネタ元: /.Jerの記憶に残る名悪役は? 個人的にはダースベイダー一択です
7200328 submission 【リア充専用】デートの様子をシェアする iPhone アプリ 0 タレコミ by Anonymous Coward 2013年01月23日 16時18分 あるAnonymous Coward 曰く、 http://www.itmedia.co.jp/news/articles/1301/23/news082.html
6676534 comment MITsu_at_mit-netのコメント: Re:1枚1トンのコンクリ製天井板 (スコア 1) 237 by MITsu_at_mit-net 2012年12月03日 8時34分 (#2283097) ネタ元: 中央自動車道の笹子トンネルで崩落事故が発生 なるほど、そこまでの気圧差があるものなんですね。勉強になります。見てるTVでなぜあんな天井が必要なのかに全然触れないんでモヤモヤしていたのがすっきりです。
6676445 comment MITsu_at_mit-netのコメント: 1枚1トンのコンクリ製天井板 (スコア 4, すばらしい洞察) 237 by MITsu_at_mit-net 2012年12月03日 7時59分 (#2283078) ネタ元: 中央自動車道の笹子トンネルで崩落事故が発生 そんなゴツイ天井がなんで必要なんだろう?天井裏に空気の流れ作るだけならもっと軽い物でいいように思えるんだけど。当時はコンクリが一番安かったとか? それとも別の理由?
6614935 comment MITsu_at_mit-netのコメント: Re:動画 (スコア 2) 19 by MITsu_at_mit-net 2012年11月24日 9時03分 (#2278083) ネタ元: Chromeに重大なゼロデイ脆弱性?発見者はGoogleに内容を伝えず ページ開いたらPuTTY起動されたってデモなんじゃないの?これがPuTTYでなく邪悪なマルウェアだったら死亡といいたいんでしょ。
1700748 comment MITsu_at_mit-netのコメント: Re:重要関連リンク (スコア 1) 65 by MITsu_at_mit-net 2012年02月17日 12時04分 (#2100924) ネタ元: 訃報: イソターのあさたく氏が逝去 いえいえ、違う人です。
1679491 comment MITsu_at_mit-netのコメント: Re:重要関連リンク (スコア 1) 65 by MITsu_at_mit-net 2012年02月16日 19時26分 (#2100523) ネタ元: 訃報: イソターのあさたく氏が逝去 そういえば昔、fjに「最近イソターネットという言葉をよく見かけるがあれはなんぞや」という投稿をしたなあ。UNIX MAGAZINEのfjまとめっぽいコーナーに載っちゃってこっ恥ずかしかったのを思い出しました。直接お会いしたことは一度もないんですが、なんだか淋しい気分です。
1666564 comment MITsu_at_mit-netのコメント: Re:そもそも環境が違う (スコア 2) 186 by MITsu_at_mit-net 2012年02月14日 2時01分 (#2098444) ネタ元: 日本の家電メーカーがルンバを作れないのは、安全性が理由? 買う前はそう思ってたけど、もうなしでは生活できない。共働きなんで、掃除機は週末ってなっていたのがいつでも床が綺麗なだけでもううっとりです。掃除機かけから解放された今、棚の上のハタキ掛けしてくれるメイドロボの実用化を半ば本気で望み始めてます。