万能数値表現法 ＵＲＲ
━─────────────────────────────────── アセンブラ講座（番外編） 《万能数値表現法 ＵＲＲ》 鎌田 誠 ──────────────────────────────────── IEEE 754 で規格化されている浮動小数点数の表現方法は符号と指数部と仮数 部に整然と分けられていてわかりやすく、実装も容易なのですが、指数部と仮数 部を区切る位置を固定してしまったために、大きな数を扱いたい技術者には指数 部の範囲が狭すぎ、精度を要求する技術者には仮数部のビット数が少なすぎると いう問題点があります。 しかし、かつて日本人によって IEEE 754 よりも算術的に優れている浮動小数 点数の表現方法が考案されていたことを知る人はほとんどいないでしょう。その 数値表現法は考案された当時の技術では実装が困難だったために規格化されなか ったようですが、非常に興味深い数
連載：はじめMath! Javaでコンピュータ数学｜gihyo.jp … 技術評論社
運営元のロゴ Copyright © 2007-2026 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
素数列挙について - MugiCha
Competitive Programming Advent Calendar 3日目は、数学っぽい話をしたいと思います。 N以下の素数をすべて求めよ。 N以下の素数の個数を求めよ。 A以上B以下の素数の個数を求めよ。 こんな感じの問題を見たことがあると思います。また問題としてでなくても、解く過程にこのようなサブ問題を解かなければいけない場合もよくあると思います。素数については説明しなくてもいいですよね？ このような問題を素数列挙と呼ぶことにします。素数列挙ができれば、大きい数の素数判定や素因数分解をめっちゃ高速化したり、トーティエント関数、メビウス関数等、数学系のいろんな関数を求めたりできます。最近のもので素数列挙がほぼ必須のものだと Codeforces Beta Round #86 (Div. 1 Only) C. Double Happiness ICPC 国内予選 2011 A
ライフゲーム - Wikipedia
この項目では、簡易的な生物のシミュレーションゲームについて説明しています。 ゲーム上での残り機体数などの表示については「ライフ (コンピュータゲーム)」をご覧ください。 ライブ中継のカジノゲームについては「ライブゲーム」をご覧ください。 ボードゲームについては「人生ゲーム」をご覧ください。 この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2018年8月） ペンタデカスロンと呼ばれる循環パターン（振動子）のひとつ（GIFアニメ） ライフゲーム (Conway's Game of Life[1]) は1970年にイギリスの数学者ジョン・ホートン・コンウェイ (John Horton Conway) が考案した数理モデルである。単純なルールから複雑な結果が生成され
腰も砕けよ 膝も折れよ：So-net blog
去年の春に個人的な問題が発生して、その対応のせいで仕事が押してしまって、このブログの更新が止まってしまった。平常運転にはまだもう少し時間がかかるけど、年始なので仕切り直ししておこうと。 恒例今年の年賀状は： 3ヶ月サボっていた反動が現れている。先送りしていたいろんな仕事が襲ってきて忙しい。めんどくさい。まあでもやらなきゃな、仕事だし。 このところウクライナがいったいどうなるのかと心配でテレビのニュースを見るんだけど、そのたびに突然爆発するアパートとか、瓦礫の山になった街とか、怪我をしてぐったりしてる子供とか、目を覆って泣いている女とか、担架に乗せられて運ばれる男とか、そんなのばかり見ることになって、辛くていやになる。 今のロシアはショスタコーヴィチが生きていた頃のソビエト連邦のような、今で言うなら中国や北朝鮮並みの情報統制が敷かれた独裁国家になっているらしい。独裁者の都合のいい情報だけを流
Beautiful differentiation
March 2009 Appeared in ICFP 2009 Abstract Automatic differentiation (AD) is a precise, efficient, and convenient method for computing derivatives of functions. Its forward-mode implementation can be quite simple even when extended to compute all of the higher-order derivatives as well. The higher-dimensional case has also been tackled, though with extra complexity. This paper develops an implement
>Self-Validation
本文の構成は次のようである． 1. はじめに 2. 構成的数学 2.1 計算可能実数 2.2 区間演算と計算可能実数の四則演算 2.3 区間解析の発展 2.4 自動微分 3. 精度保証付き数値計算と構成的数学 3.1 ニュートン法と区間解析 3.2 構成的数学との関係 4. 精度保証付き数値計算で微分方程式を解く 4.1 ダフィング方程式の周期解の分岐 4.2 ホモクリニック分岐 5. むすび 参考文献 1.はじめに(目次に戻る) 組み合わせ数学や離散数学などに現れる，整数演算の有限回の操作で正解 が得られる問題は計算機で厳密に解けるが，微分方程式の境界値問題などの 連続数学の問題は計算機では厳密に解くことはできない．連続数学の問題 が解けるとしても，記号処理による代数的な問題に限られる． このような考え方は一般に広く信じられているものではなかろうか． これに対して，近年，精度保証付き数値
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CodeProject
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
