パスワードを忘れた? アカウント作成

こちらは、MITsu_at_mit-netさんのユーザページですよ。 アナウンス:スラドとOSDNは受け入れ先を募集中です。

11438011 submission

ケプラー予想の証明が完了

タレコミ by Anonymous Coward
あるAnonymous Coward 曰く、
10年以上を費やしていた「ケプラー予想」の証明が完了し、その内容が正しいことが示されたそうだ(GIZMODO)。

ケプラー予想は、ケプラーの法則で知られる数学者/天体物理学者ヨハネス・ケプラーが提唱した、空間上に球体を充填する際に最高密度となる充填方法。1998年にトマス・ヘールズ氏によってその証明が示されていたのだが、その内容は非常に複雑で、その正しさを示すことができなかったという。そのため、へールズ氏は2003年に自身で証明支援ツールを使った「答え合わせ」を開始。それがやっと終了し、証明が正しいことが実証されたという。
6676534 comment

MITsu_at_mit-netのコメント: Re:1枚1トンのコンクリ製天井板 (スコア 1) 237

なるほど、そこまでの気圧差があるものなんですね。勉強になります。
見てるTVでなぜあんな天井が必要なのかに全然触れないんで
モヤモヤしていたのがすっきりです。
6676445 comment

MITsu_at_mit-netのコメント: 1枚1トンのコンクリ製天井板 (スコア 4, すばらしい洞察) 237

そんなゴツイ天井がなんで必要なんだろう?
天井裏に空気の流れ作るだけならもっと軽い物で
いいように思えるんだけど。当時はコンクリが一番
安かったとか? それとも別の理由?
1679491 comment

MITsu_at_mit-netのコメント: Re:重要関連リンク (スコア 1) 65

by MITsu_at_mit-net (#2100523) ネタ元: 訃報: イソターのあさたく氏が逝去
そういえば昔、fjに「最近イソターネットという言葉をよく見かけるが
あれはなんぞや」という投稿をしたなあ。UNIX MAGAZINEの
fjまとめっぽいコーナーに載っちゃってこっ恥ずかしかったのを思い出しました。

直接お会いしたことは一度もないんですが、なんだか淋しい気分です。
1666564 comment

MITsu_at_mit-netのコメント: Re:そもそも環境が違う (スコア 2) 186

買う前はそう思ってたけど、もうなしでは生活できない。
共働きなんで、掃除機は週末ってなっていたのがいつでも
床が綺麗なだけでもううっとりです。
掃除機かけから解放された今、棚の上のハタキ掛けしてくれるメイドロボの実用化を半ば本気で望み始めてます。
typodupeerror

「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」

読み込み中...