[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

theoryとscienceに関するItisangoのブックマーク (2)

  • Λ-CDMモデル - Wikipedia

    英語版記事を日語へ機械翻訳したバージョン(Google翻訳)。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Lambda-CDM model|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説

    Itisango
    Itisango 2021/12/05
    “「冷たい暗黒物質 (Cold Dark Matter, CDM)モデル」に宇宙項 Λ を加えた宇宙モデルのこと。英語圏では“Lambda-Cold Dark Matter Model”とも表記し、「ラムダ・コールド・ダークマター・モデル」と読む。Λ-CDMあるいはLCDMと”
  • 余剰CPU時間を使ってルービックキューブは23手以内で揃うと証明 | スラド サイエンス

    3月に「ルービックキューブは25手以内で揃う!」というトピックがあったばかりですが、そのTomas Rokickiが今度は上限を一気に2手下げて23手としました。キューブフォーラムの記事によると、前回と同じ方法で、Sony Pictures Imageworksのレンダリングファームの余剰CPU時間を使い、約7.8コア・年分の計算時間をかけて、ルービックキューブのどんな状態からでも最大23手で完成できることを示したそうです。このレンダリングファームはスパイダーマン3やSurf's Upの制作に使われました。 今回の探索でも21手必要なキューブ状態は発見されていません。対称形の考察などから上限は20手だろうと予想されています。同じアルゴリズムでこれを証明するには、3500コア・年のCPU時間が必要になるとRokickiは見積っています。さらに速い探索手法が考案されるのが早いか、ムーアの法測で

    Itisango
    Itisango 2008/05/08
    ルービックキューブ最長解法問題って意外と難題なんですね。
  • 1