ワイエルシュトラス関数 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2012年12月） ワイエルシュトラス関数(区間 [−2, 2])。 この関数はフラクタル挙動を示す: スケールを変えると似た構造が現れる(赤色の円)自己相似性をもつ。 ワイエルシュトラス関数（ワイエルシュトラスかんすう、英: Weierstrass function）は、1872年にカール・ワイエルシュトラスにより提示された実数関数で、連続関数であるにもかかわらず至るところ微分不可能な関数である。病的な関数（英語版）の例として取り上げられることがある。 「孤立点を除くと連続関数は微分可能である」という認識を変えた出版された初めての例として、ワイエルシュトラス関数は歴史的に重要である。 ワイエルシュトラス関数[編
マーチングキューブ法 - Wikipedia
（図1）150枚のMRIスライス画像からMarching Cube法でポリゴンに変換された頭部画像（約150,000枚のポリゴンから構成されている）。 マーチングキューブ法（マーチングキューブほう、英: Marching cubes）は、コンピュータグラフィックスのアルゴリズムである。3次元の離散スカラーフィールド（その要素はボクセルと呼ばれることもある）から等値面（英語版）のポリゴンメッシュを抽出するためのアルゴリズムである。1987年のSIGGRAPHにおいて、 ゼネラル・エレクトリック社のウィリアム・E・ロレンセン（William E. Lorensen,、1946-2019年）[1] と ハーベイ・E・クライン（Harvey E. Cline）[2] によって発表された[3]。 主にコンピュータ断層撮影（CT）や核磁気共鳴画像法（MRI）スキャンデータ画像などの医療用画像診断に利用
自動推論 - Wikipedia
自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明（および完全自動ではないがより現実的な対話型定理証明（英語版））と自動定理検証（英語版）（固定の前提条件下での推論と見なすことができる）であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。Joh
三重点 - Wikipedia
純物質の三重点（さんじゅうてん、英: triple point）とは、その物質の三つの相が共存して熱力学的平衡状態にある温度と圧力である[1][2]。三相を指定しないで単に三重点というときには、気相、液相、固相の三相が共存して平衡状態にあるときの三重点を指す。水を例にとるならば、水蒸気、水、氷が共存する温度、圧力が水の三重点である。 相律と相図[編集] 相図の例。 三重点にある純物質は1成分3相系なので、ギブズの相律により自由度は 0 となる。そのため、1成分2相系である沸点や融点とは異なり、純物質の三重点はただ1点に決まる。すなわち三重点は、その物質に固有の温度および圧力となる。右図のように温度 — 圧力で表した相図上では、蒸気圧曲線（青）、融解曲線（緑）、昇華曲線（赤）の3本の線が合致する点が三重点である。蒸気圧曲線と昇華曲線に注目すると、液体と固体の蒸気圧が一致する温度が三重点の温度
フェルマー数 - Wikipedia
フェルマー数（フェルマーすう、英: Fermat number）とは、22n + 1（n は非負整数）で表される自然数のことである。n 番目のフェルマー数はしばしば Fn と記される。 概要[編集] その名の由来であるピエール・ド・フェルマーは、この式の n に非負整数を代入したとき常に素数を生成すると主張（予測）したが、1732年にレオンハルト・オイラーが n = 5 の場合に素数でないことを示し、フェルマーの主張は誤りと確認された[1]。素数であるフェルマー数はフェルマー素数と呼ばれる。 実際にフェルマー数の値の最初の方をいくつか計算してみると、 F0 = 21 + 1 = 3 F1 = 22 + 1 = 5 F2 = 24 + 1 = 17 F3 = 28 + 1 = 257 F4 = 216 + 1 = 65537 F5 = 232 + 1 = 4294967297 F6 = 26
Fire OS - Wikipedia
Fire OS（ファイアオーエス）はAmazon.comによって制作されたAndroidベースのモバイルオペレーティングシステム。Fire PhoneやKindle Fire、Fire TVやKindle電子書籍リーダーのタブレット版、Amazon Echoにも導入されている。Fire OSはAndroidのフォーク[1] である。 Fire OSはコンテンツ消費に重きを置いており、カスタマイズされたユーザーインターフェースと、アマゾン独自のストアフロントやサービスから利用可能なコンテンツと強く結びついている。デフォルトブラウザは、Silkブラウザが搭載されている(表示デバイスを持つモデルのみ)。 Kindle Fireは、カスタマイズされたAndroidのディストリビューション2.3.3 (API level 10) (Kindle Fire)と4.0.3 (API level 15)
ベンフォードの法則 - ｛ 適用と制限 ｝Wikipedia
上に示した2つの図は、対数スケールの上にプロットした2つの確率分布である[注 1]。どちらの図でも、赤で示した部分の面積が最初の桁が1である確率に比例しており、青で示した部分の面積が最初の桁が8である確率に比例している。 左側の分布では、赤と青の領域の面積比はおおよそそれぞれの幅の比に等しくなっている。幅の比は普遍的で、ベンフォードの法則によって厳密に与えられる。したがって、こうした確率分布に従う数値はおおむねベンフォードの法則に従う。 一方、右の分布では、赤と青の領域の面積比はその幅の比から大きく外れている。右の図でも幅の比は左側の分布と同じになっている。赤と青の領域の面積比は、その幅よりもむしろ高さの比に依存して決定されている。幅と異なり高さはベンフォードの法則に普遍的な関係を満たさない。代わりにその数値の分布の形によって完全に決定される。したがって、1桁目の数値の分布はベンフォードの
メッセージ指向ミドルウェア - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "メッセージ指向ミドルウェア" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） メッセージ指向ミドルウェア（メッセージしこうミドルウェア、英: Message-oriented middleware、MOM）とは、アプリケーションソフトウェア間のデータ通信ソフトウェアであり、一般に非同期メッセージパッシングに基づいたものを指す。 多くのメッセージ指向ミドルウェアはメッセージキューシステムに基づくが、他にもブロードキャスト型のメッセージシステムやマルチキャスト型のメッセージシステムに基づくものもある。 起源[編集] ミドルウェ
エフェメラルポート - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "エフェメラルポート" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年8月） エフェメラルポート（英: ephemeral port）とは、インターネットプロトコル (IP) を用いた通信を行うため、TCP/IPプロトコルスタックが事前に定義されている範囲内から自動的に割り当てるポートである。日本語に直訳すると「短命なポート」「一時的なポート」という意味になる。Transmission Control Protocol (TCP)、User Datagram Protocol (UDP)、Stream Control Transm
揺動散逸定理 - Wikipedia
揺動散逸定理（ようどうさんいつていり、英: fluctuation-dissipation theorem, FDT）とは、「熱力学的平衡状態にある系が外部から受けたわずかな摂動に対する応答（線形近似できるとする）が、自発的なゆらぎに対する応答と同じである」という仮定から導かれる統計力学の定理である。つまり、熱力学系の平衡におけるゆらぎと抵抗（抗力）の間にある関係を示すものである。 概要[編集] 一般的な揺動散逸定理は、熱平衡状態における微視的な分子運動と巨視的に観測できる応答との関係を示すものであり、線形モデルで物質の微視的性質を説明する線形応答理論によって説明される。 この仮定は外力が分子間力に比較して小さく、緩和速度に与える影響が無視できる、ということに当たる。 具体例[編集] 揺動散逸定理は古くから特殊な場合について知られており、その例を以下に挙げる。 ブラウン運動[編集] 190
ジェームズ・ゴスリン - Wikipedia
2005年夏 JavaOne カンファレンス にて (duke-rockstarのシャツ) ジェームズ・アーサー・ゴスリン（James Arthur Gosling、1955年5月19日 - ）は、カナダ出身の計算機科学者である。オブジェクト指向プログラミング言語Javaの生みの親・リードデザイナーとして広く知られており、"Dr. Java"の異名を持つ[3]。 教育とキャリア[編集] 計算機科学を専攻し、1977年にカルガリー大学で学士号[4]、カーネギーメロン大学で修士号とPh.D.を取得した[2][5][6]。博士課程在籍中に、UNIXで動作する最初のEmacs風エディタであるGosling Emacs(Gosmacs)を開発した。また、カーネギーメロン大学在学中に、UNIXのマルチプロセサ版[7]や、いくつかのコンパイラとメール転送エージェント(MTA)を開発した。 大学卒業後、サ
ブルックスの法則 - Wikipedia
ブルックスの法則（ブルックスのほうそく）は、「遅れているソフトウェアプロジェクトへの要員追加は、プロジェクトをさらに遅らせるだけである」という、ソフトウェア開発のプロジェクトマネジメントに関する法則である。 これは1975年にフレデリック・ブルックスによって出版された著書『人月の神話』[1]に登場した。 根拠[編集] ブルックスによれば、この法則が成り立つ主な理由は以下の通りである。 新たに投入された開発者が生産性の向上に貢献するまでには、時間がかかる ソフトウェアプロジェクトは、複雑な作業である。また、新たにプロジェクトに参加した人は、仕事に取りかかる前に、まず開発の現状や設計の詳細などを理解しなければならない。つまり、新たに人員を追加するには、その人員を教育するために、リソースを割かなければならないのである。したがって、人員の増加がチームの生産性に与える効果は、短期的にはマイナスになる
線形合同法 - Wikipedia
線形合同法（せんけいごうどうほう、英: Linear congruential generators, LCGs）とは、擬似乱数列の生成式の一つ。 漸化式 によって与えられる。A、B、Mは定数で、M>A、M>B、A>0、B≥0である。 生成[編集] 上の式で、が、乱数の種であり、これに数を代入すると、が得られる。さらにを生成する場合には、を使う。以後、同様に行う。 例えば、定数をそれぞれ、A=3、B=5、M=13、乱数の種=8とすると、（上の式においてはXn+1を左辺に置いたが、今回は便宜上、右辺に置く） 次に乱数を生成する際は前回生成された乱数（今回は3）を使って、 以下、同じように、 となる。 周期性[編集] 生成される乱数列は周期性を持ち、上の例では8→3→1→8→3→……、を繰り返す。この周期は最大でMであり、以下の条件が満たされたときに最大周期Mをもつ。 BとMが互いに素である。
グレブナー基底 - Wikipedia
グレブナー基底（グレブナーきてい、英: Gröbner basis）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。 グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（英: Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。 概要[編集] グレブナー基底の基本的な考え方は、多項式の集合 F を以下の特性を持つ "性質の良い"（グレブナー基底と呼ばれる）多項式の集合 G に変換することである[1]。 F と G は "等価"（つまり同じイデアルを生成する） さらに、グレブナー基底についての理論から以下のことが分かっ
リアプノフ指数 - Wikipedia
離れていく2つの軌道とリアプノフ指数の関係 リアプノフ指数（リアプノフしすう、英: Lyapunov exponent）とは、力学系においてごく接近した軌道が離れていく度合いを表す量である。リャプノフ指数とも表記される[1]。ロシア人科学者 Алекса́ндр Ляпуно́в（アレクサンドル・リプノーフ、Aleksandr Lyapunov）にその名をちなむ[2]。 系の相空間上の2つの軌道について考える。2つの軌道上の時刻 t における点の距離をベクトル δ(t) として、初期状態 t = 0 には、これらの軌道は距離 δ(0) だけ離れているとする。δ(t) を近似的に次のように表す[3][4][5]。 ここで はユークリッドノルムを意味する。上式で λ > 0 の場合は軌道は離れていき、 λ < 0 の場合は軌道は近づいていく。よって、軌道が離れていく度合いは λ の値により決定
Tera Term - Wikipedia
Tera Term（テラターム）は、Windowsプラットフォームで動作するリモートログオンクライアントで、SSH・telnet・シリアルの各通信プロトコルに対応する。 本ソフトウェアは、元々は寺西高により開発されていたが、現在ではTeraTerm Projectによってオープンソースライセンスである修正BSDライセンスの下で開発されている。 沿革[編集] オリジナルの開発と公開[編集] 寺西高によるオリジナルのTera Termは1994年から1998年にかけて開発された。 16ビット版の「Tera Term」と32ビット版の「Tera Term Pro」が公開された。 以降では、明記しない限りは16ビット版と32ビット版を明確に区別せずに「Tera Term」と記述する。 telnetやシリアルポートによるリモートホストへの接続を可能とし、マクロ機能を備えているのが特徴であった。 XM
ボース＝アインシュタイン凝縮 - Wikipedia
ルビジウム原子の気体の速度分布データ：物質の新しい相であるボース＝アインシュタイン凝縮の発見を確証した。 左：ボースアインシュタイン凝縮が現れる直前。中央：凝縮が現れた直後。右：さらに蒸発させても、ほぼ純粋な凝縮が残る。 ボース＝アインシュタイン凝縮（ボース＝アインシュタインぎょうしゅく、英: Bose–Einstein condensation[注 1]）、または略してBECとは、ある転移温度以下で巨視的な数のボース粒子がある1つの１粒子状態に落ち込む相転移現象[1][2][3][4]。量子力学的なボース粒子の満たす統計性であるボース＝アインシュタイン統計の性質から導かれる。BECの存在はアルベルト・アインシュタインの1925年の論文の中で予言された[5][6]。粒子間の相互作用による他の相転移現象とは異なり、純粋に量子統計性から引き起こされる相転移であり、アインシュタインは「引力なしの
加算器 - Wikipedia
複数ビットの加算器[編集] 前述の半加算器1個を最下位桁用に、この全加算器を他の上位桁用に桁数分だけ組み合わせる事によって、任意の桁数の2進数加算器が構成できる。下図は6桁の加算器の回路図である。（A5A4A3A2A1A0+B5B4B3B2B1B0→CS5S4S3S2S1S0） 最上位桁から出るCは、単純には「桁あふれ、オーバーフロー、Overflow、Overflow Carry」とは判定できない（解釈による）ことに注意が必要である。敢えて呼ぶなら、「エンドキャリー、End Carry」となる。 6桁の加算器、左が最下位桁（最下位ビット) 右が最上位桁（最上位ビット） キャリー先読み加算器[編集] 加算は情報処理の基本であるため、高速な情報処理のためにはまず加算器の動作の高速性が求められる。論理回路の動作速度は、入力から出力までの間にある基本論理素子（ANDまたはOR回路）の個数が大きく
ナップサック問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ナップサック問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年9月） ナップサック問題 ナップサック問題（ナップサックもんだい、Knapsack problem）は、計算複雑性理論における計算の難しさの議論の対象となる問題の一つで、n 種類の品物（各々、価値 vi、重量 wi）が与えられたとき、重量の合計が W を超えない範囲で品物のいくつかをナップサックに入れて、その入れた品物の価値の合計を最大化するには入れる品物の組み合わせをどのように選べばよいか」という整数計画問題である。同じ種類の品物を1つまでしか入れられない場合（
リーマンの素数公式 - Wikipedia
リーマンの素数公式（Riemann's prime number formula）とは、ドイツの数学者ベルンハルト・リーマンが1859年に自身の論文「与えられた数より小さい素数の個数について」において発表した、素数の個数関数 π(x) をゼータ関数の非自明な零点を用いて表示する公式である。素数公式のリーマン自身の証明は同論文の他のいくつかの結果同様不完全だったが、ハンス・フォン・マンゴルドによって1895年に厳密に証明された。 概要[編集] リーマンの定義した素数の個数関数とは、大きさが x 以下の素数の個数を表す関数で、厳密には下のように定義される。 ここで p は素数を表し、Σ' はちょうど x が項数が増える整数のときは和の最後の項を半分にして足すことを示す。すなわち、不連続点における値を左右両極限値の平均として定めることを意味する。参考のためいくつかの特殊値を書けば π(1) =
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
