タグ

2024年1月14日のブックマーク (11件)

  • クラフトの不等式 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "クラフトの不等式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年11月) クラフトの不等式(クラフトのふとうしき、英: Kraft's inequality)は、符号理論における不等式の1つで可変長符号が一意復号可能である為の必要条件を与える。等号成立条件は符号が完全である事である。クラフトの不等式は可変長符号が一意復号可能である為の十分条件ではないが、クラフトの不等式を満たす任意のパラメータに対し、そのパラメータを実現する一意復号可能な可変長符号の存在性が保証される。 計算機科学や情報理論で利用される接頭符号やトライ木で

  • スターリングの公式とその証明 | 高校数学の美しい物語

    n!≒2πn(ne)nn!\fallingdotseq\sqrt{2\pi n}\left(\dfrac{n}{e}\right)^nn!≒2πn​(en​)n スターリングの公式 n!≒2πn(ne)nn!\fallingdotseq\sqrt{2\pi n}\left(\dfrac{n}{e}\right)^nn!≒2πn​(en​)n における ≒\fallingdotseq≒ は「だいたい同じ」という大雑把な意味で使われています。e=2.718⋯e=2.718\cdotse=2.718⋯ はネイピア数です。 スターリングの公式を数学的にきちんと書くと,lim⁡n→∞n!en2πnnn=1\displaystyle\lim_{n\to\infty}\dfrac{n!e^n}{\sqrt{2\pi n}n^n}=1n→∞lim​2πn​nnn!en​=1 となります。紫の式の両辺の比が

    スターリングの公式とその証明 | 高校数学の美しい物語
  • スーパーマリオメーカー2の通信は解析済みで全データを取得するためのAPIが構築済み、任意のコースをウェブ上で閲覧可能

    スーパーマリオメーカー2は2019年6月28日にNintendo Switch向けに発売されたゲームで、全世界で842万を売り上げるほどの大ヒットを記録しました。Nintendo Switch Onlineを利用することで世界中のユーザーに向けてコースを投稿したり、投稿されたコースを遊んだりすることが可能ですが、そうした通信に用いられるAPIは全て解析済みであることが明らかになっています。 Mario Maker 2 API https://tgrcode.com/posts/mario_maker_2_api Mario Maker 2 Datasets https://tgrcode.com/posts/mario_maker_2_datasets 任天堂はマリオカート8やスプラトゥーン2などWii U以降のゲームの多くでゲームとサーバーとの通信にNEXと呼ばれるプロトコルを使用して

    スーパーマリオメーカー2の通信は解析済みで全データを取得するためのAPIが構築済み、任意のコースをウェブ上で閲覧可能
    yudukikun5120
    yudukikun5120 2024/01/14
    マリオメーカー2
  • Ralph Hartley - Wikipedia

  • Scientific American

    Mpox Is a Global Health Emergency. Here’s What We Know A new type of mpox has infected thousands in the Democratic Republic of the Congo and other African countries, but vaccines and treatments are hard to come by

    Scientific American
  • RF | Home

    RF | Home
  • Ergodicity - Wikipedia

    In mathematics, ergodicity expresses the idea that a point of a moving system, either a dynamical system or a stochastic process, will eventually visit all parts of the space that the system moves in, in a uniform and random sense. This implies that the average behavior of the system can be deduced from the trajectory of a "typical" point. Equivalently, a sufficiently large collection of random sa

    yudukikun5120
    yudukikun5120 2024/01/14
    エルゴード性
  • アーサー・エディントン - Wikipedia

    サー・アーサー・スタンレー・エディントン(英語: Sir Arthur Stanley Eddington、1882年12月28日 - 1944年11月22日)は、イギリスの天文学者。20世紀前半における最も重要な天体物理学者の一人である。コンパクトな天体に降着する物質から放射される光度の上限を与えるエディントン限界の導出は彼の代表的な業績の一つである。 エディントンは相対性理論に関する業績で特に知られている。彼は Report on the relativity theory of gravitation(『重力の相対性理論に関するレポート』)という論文を書き、1915年から1916年にかけて発表されたアルベルト・アインシュタインの一般相対性理論を英語圏に紹介した。当時は第一次世界大戦のためにドイツの科学界でなされた新たな発展がイギリスであまり知られていなかった。 月のエディントンクレー

    アーサー・エディントン - Wikipedia
  • Roccano

  • 時空の哲学 - Wikipedia

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

    yudukikun5120
    yudukikun5120 2024/01/14
    “熱力学の第二法則を使って時間の向きを定義する考え方”
  • ギブズの相律 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ギブズの相律" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年11月) ギブズの相律(ギブズのそうりつ、英: Gibbs' phase rule)は、系の自由度を規定する式で、相と成分で次のように規定される。ギブズが発見した式で、単に「相律」ともいう。 F は(示強性変数の)自由度、C は成分の数、P は相の数をいう。 相律の式の中の定数“2”は、温度T と圧力P の二つの示強性の変数から来ている。 なお、相律を相図における幾何学的法則とみれば、三次元におけるオイラーの多面体定理に対応することがわかる。[要出典]