400年の難問、｢ケプラー予想の証明｣やっと100％終わる
コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中が沸き立ったのですが、なんせ文章で300ページにも及ぶ遠大な証明でして、間違いチェックがまだ終わっていなかったのです。
スキナー箱 - Wikipedia
スキナー箱、レバーがあり、それを押すと給餌装置から餌が出てくる。 装置写真 スキナー箱（英称：Skinner box）は、オペラント箱（operant chamber）、オペラント実験箱とも呼ばれ、主としてラットやハトのオペラント条件づけや行動研究に用いる実験装置である。アメリカの心理学者、行動科学者バラス・スキナーによって開発された。 スキナー箱はソーンダイクが研究に用いたネコの問題箱を参考に開発されたが、しかしスキナー箱が現在の型になるまでの経緯はなお紆余曲折があった。 このスキナー箱の卓越した点は、ラットやハトに応じてバーやボタンの形状を改良したのみならず、刺激と反応（バーやボタンを押した数）を、記録紙に自動的に記録されるようにした点である。これにより、実験記録の自動化が図れ、実験の効率や精度が高まっただけではなく、これまでの実験装置では発見できなかった、たとえば強化スケジュール（s
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
