1+2+3+4+… - Wikipedia
級数 1 + 2 + 3 + 4 + … の部分和の最初の四項。放物線はその平滑化漸近線であり、実はその y-切片の値が −1/12 に等しい 自然数すべての総和 1 + 2 + 3 + 4 + … は、その n-次の部分和 が三角数によって与えられる無限級数。これは n を無限大に飛ばすとき際限なく増加するため、この級数は（正の無限大に）発散し、通常の意味での「和」を持たない。 一見するとこの級数が意味のある値を持つことは全くないように思われるが、これに数学的に意味のある値を結びつける方法があり、そうして得られた値は複素解析や、物理学における場の量子論、特に弦理論などの分野において応用がある。様々な総和法を用いることで、上記のごとき発散級数にさえ有限な数値を割り当てることができ、特にゼータ関数正規化やラマヌジャン総和法では件の級数に −1/12 を値として割り当てる。この事実をよく知られ
順序数 - Wikipedia
この項目では、数学的な観点からの順序数について説明しています。言語学的な観点での順序数については「序数詞」をご覧ください。 数学の特に集合論において、順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。 定義[編集] 整列集合 (A, <) に対して、A を定義域とする写像 GA, < を超限帰納法によって と定義したとき、GA, < の値域 ran(GA, <) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。 例[編集] <ω は自然数の通常の大小関係（を各集合に制限したもの）を表すものとすると、 この例から推測されるように、一般に有限の整列集合 (A, <) に対して ord(A, <) は A の要素の個数に等しい
ロジバン - Wikipedia
ロジバン ( lojban [ˈloʒban] ( 音声ファイル) ) は、ログランを元に、さらなる機能性を追求して LLG が開発を引率してきた人工言語である。1987年に公表され、1997年に文法が暫定的に完成、2002年から実用段階に入った。主にインターネットを中心とする国際的な研鑽が進んでいる。 特徴[編集] ログランから継承したものも含め、ロジバンは以下の性格を有する。 言語表現の論理的な構造を正確に（そしてしばしば簡潔に）記述するために開発されてきた述語論理を文法の基盤としている。そのため、自然言語では表現が困難であるような複雑な構造をごく明晰に記述できる一方で、文芸的理由から敢えて多義的な表現を織ることもでき、自然言語と同様、話者の自在に任せた表現が可能である。『In the Land of Invented Languages』の著者でありエスペラントやクリンゴン語に精通し
修辞技法 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2014年6月） 修辞技法（しゅうじぎほう）とは、文章やスピーチなどに豊かな表現を与えるための一連の表現技法のこと。英語の「figure of speech」やフランス語の「figure de style」などから翻訳された現代語的表現で、かつての日本語では文彩（ぶんさい）、また単に彩（あや）などといっていた。 概説[編集] 修辞技法はギリシア・ローマ時代から学問的な対象として扱われており、修辞学（レトリック、Rhetoric）という学問的存在の領域となっている。 西洋の古典修辞学者らによって Scheme（配列を変えること）と Trope（転義、比喩）に大別された。 分類[編集] 西洋の古典修辞学者たちは修辞技法を大きく次の2つに分類した。 Scheme -
アブストラクト・ナンセンス - Wikipedia
アブストラクト・ナンセンス（英：abstract nonsense、抽象的ナンセンス）とは、圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。 この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。なおスティーンロッド自身、圏論的視点を築いた一人である。この表現は軽蔑的な称号というよりは、数学的（特に圏論的）にいかに洗練されているか、クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。 数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義
ド・ブラウン・インデックス - Wikipedia
ド・ブラウン・インデックス（英語: de Bruijn Index）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。 解説[編集] この記法では、それぞれのλでは引数の名前を書かない。引数は、通常の記法でその引数を宣言するλが、何階層外側にあるかを表す自然数の番号で表記する。 例えば、λz. (λy. y (λx. x)) (λx. z x) は λ (λ 1 (λ 1)) (λ 2 1) となる。 ド・ブラウン・レベルは絶対的な位置を表すが、ド・ブラウン・インデックスは相対的な位置を表す。 参考文献[編集] De Bruijn, Nicolaas Govert (1972). “Lambda Calculus Notation with Nameless Dummies: A T
公理的集合論 - Wikipedia
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 集合の公理系[編集] ツェルメロ＝フレンケル集合論（ZF公理系）[編集] 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z-, ZF-, ZC-, ZFC- で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC-での中でなされる」と述べている[1]。 基本的なZFの公理[編集]
チョムスキー階層 - Wikipedia
チョムスキー階層（チョムスキーかいそう、Chomsky Hierarchy）は、形式言語を生成する形式文法の包含階層（「形式言語の階層」）で、「句構造文法（Phrase Structure Grammars）の階層」などとも言う。1956年にノーム・チョムスキーが発表した。 形式文法[編集] 形式文法の構成要素は、「終端記号」（Terminal Symbols）の有限集合（形式言語の単語で使われる文字）、「非終端記号」（Nonterminal Symbols）の有限集合、「生成規則」（Production Rules）の有限集合（各生成規則は右側と左側に記号列で構成される単語を含む）、「開始記号」（Start Symbol）から構成される。生成規則はある単語に適用され、規則の左側にある単語を右側にある記号列で置換する。導出は一連の規則適用過程である。このような文法で開始記号から始めて生成規
)
透過性 (情報工学) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "透過性" 情報工学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年9月） 以下はヒトとコンピュータとのインタラクションにおける透過性（とうかせい、transparency）の説明である。プログラミングにおける透過性は参照透過性を参照。 ヒューマンマシンインターフェースにおいてユーザーが技術的詳細に悩まずに済む使い易さの側面であり、例えば、プログラムがディスプレイの解像度を自動認識する方がユーザーにいちいち質問するものよりも「透過的」であると言える。 ネットワークにおいては、同一のユーザーインターフェイスやアプリケーションインター
命令レベルの並列性 - Wikipedia
命令レベルの並列性（めいれいレベルのへいれつせい、Instruction-level parallelism、ILP）とは、プログラムの中で並列して実行できる処理がいくつあるかの尺度である。 概要[編集] 例として以下のようなプログラムを考える。 1. e = a + b 2. f = c + d 3. g = e * f 処理3は、処理1と処理2の結果に依存している。したがって、処理3は処理1と処理2が完了してからでないと計算を開始できない。 しかし、処理1と処理2は何にも依存していないので並列して実行できる。 それぞれの処理にかかる時間が同じだとして、それを1とすると、これら3命令が完了するのにかかる時間は2となり、結局ILPは3/2となる。 コンパイラとCPUの設計者の目標のひとつは、可能な限りILPを高めることである。通常のプログラムは逐次実行モデルで書かれており、命令はプログラマ
エルデシュ数 - Wikipedia
エルデシュ数（エルデシュすう、Erdős number）またはエルデシュ番号とは、数学者同士、あるいはもっと広く科学者同士の、共著論文による結び付きにおいて、ハンガリー出身の数学者ポール・エルデシュとどれだけ近いかを表す概念である。エルデシュに共著論文が非常に多いことから、その友人たちによって、敬意とユーモアを込めて考え出された。今日では科学者のコミュニティにおいてよく知られており、エルデシュと近いことが名誉であるかのように半ば冗談めいて語られる。 定義[編集] アリスはエルデシュと共著で論文を書き、ボブとも共著で論文を書いているとする。そして、ボブとエルデシュには直接の共著論文がないとする。ボブが共著論文をたどってエルデシュに行き着くためには2回のステップが必要であるため、ボブにはエルデシュ数2が与えられる。 ある者が新たにエルデシュ数を得るためには、すでにエルデシュ数が与えられている者
リチャード・ソール・ワーマン - Wikipedia
リチャード・ソール・ワーマン（Richard Saul Wurman、1935年3月26日 - ）は、アメリカ合衆国の建築家でグラフィック・デザイナーである。 情報デザインや情報アーキテクチャといった、情報を分かりやすく表現する技術における先駆者とされている[1][2]。多数の書籍の執筆やデザインに携わり、TEDカンファレンスを創立した（ただし現在はTEDMEDにのみ関わっている）[1]。 経歴[編集] 1959年にペンシルバニア大学大学院にて建築の学位を取得[2]。 1962年に自著を初めて出版し、情報アーキテクチャという語を生み出す。[要出典] 1981年、ロサンゼルスでAccess Pressを設立し、旅行ガイド作りに従事する。 1987年、サンフランシスコでThe Understanding Businessを結成し、電話帳、道路地図、航空会社ガイドのリニューアルを試みる。 198
R木 - Wikipedia
2次元矩形のR木の例 R木（英: R-tree）は、B木に似た木構造のデータ構造であり、多次元情報（例えば、二次元座標データなど）のインデックス付け、すなわち空間インデックスに使われる。それは例えば、「現在位置から2km以内の全ての美術館を探す」といった用途に使われる。 概要[編集] R木は、階層的に入れ子になった相互に重なり合う最小外接矩形 (MBR) で空間を分割する。R木のRは矩形 (Rectangle) を意味する。 R木の各ノードのエントリ数は可変である（事前に定義された上限がある）。葉ノード以外の各エントリには2つのデータが格納される。1つは子ノードへの参照であり、もう1つはその子ノードの全エントリを囲む外接矩形のデータである。 挿入および削除のアルゴリズムはこれらの外接矩形を使い、近い要素が同じ葉ノードに属するようにする（特に、新たな要素を挿入する際に、どの最下層の外接矩形に
COBOL - Wikipedia
COBOL（コボル）は、1959年に事務処理用に開発されたプログラミング言語である。名前は「Common Business Oriented Language」（共通事務処理用言語）に由来する[1]。 概要[編集] 非理系の事務員や官吏でもプログラミングできる言語として設計されたため、自然言語である英語に近い記述をめざしたコマンド語彙や構文（シンタックス）が採用されている。特に金額計算など事務処理用に広く使われている。COBOLは自然言語（英語）に近い構文を持つため、そのソースコードは記述が冗長にはなるが、可読性が高い。本のように、部、節、段落、文という階層で記述される。人によっては関数や数式だらけの言語よりもハードルが低い。リフレクションができないなど、モダンなプログラミング言語に比べて論理制御機能は貧弱である。一方、文字列解析や文字列編集、帳票、画面編集などの事務処理機能は豊富である。
乱択アルゴリズム - Wikipedia
乱択アルゴリズム（らんたくアルゴリズム）、ランダム・アルゴリズム（英: randomized algorithm）または確率的アルゴリズム（かくりつてきアルゴリズム、（英: probabilistic algorithm）は、その論理の一部に無作為性を導入したアルゴリズムである。通常のアルゴリズムでは自然数を順番にあてはめるような決定的な部分で、乱数による非決定的な選択を入れることで、「平均的に」よい性能を実現することを目的とすることがある。形式的には、乱択アルゴリズムの性能はランダムビット列で決定される確率変数となる。その期待値を期待実行時間[1]と呼ぶ。最悪の場合に関して「無視できる」ほどに低い確率であることが、一般に、この類のアルゴリズムが効果的である要件となる。 乱択アルゴリズムが使われる背景[編集] n 個の要素からなる配列から「a」という要素を探す問題を考える。この配列の各要素
Erlang - Wikipedia
Erlang（アーラン）は、コンピュータにおいて汎用的な用途に使うことができる並行処理指向のオープンソースソフトウェア（英：Open Source Software、略：OSS）プログラミング言語および実行環境。 概要[編集] Erlangの直列処理のサブセットの言語は、関数型言語であり、先行評価を行い、変数への代入は1回限りであり、動的型付けである。 Erlangはエリクソンにより次の条件のシステムを構築できるよう設計された。 分散化された環境 障害に耐性をもつ（IT用語における「フォルトトレラント」（英：Fault tolerant））。 ある程度のリアルタイム性を備える 無停止で稼働する ホットスワップが可能であり、稼働中のシステムを停止すること無くErlangのプログラムを変更することができる。Erlangは、当初はエリクソン社内部だけで使われる非公開の技術であったが、1998年に
カフェイン中毒 - Wikipedia
カフェイン中毒の主な症状 カフェイン中毒（カフェインちゅうどく、英語: caffeine Poisoning）、カフェイニズム（Caffeinism）とは、カフェインを過剰摂取した結果として引き起こされた薬物中毒である。この中毒は、カフェインの過剰摂取に伴う様々な心身の不快な症状を対象としている[1]。血中に入ったカフェインは血液脳関門も突破するため、末梢だけでなく中枢神経系にも影響を及ぼす。 精神障害の診断と統計マニュアル（DSM）においては、カフェイン中毒（intoxication）、カフェイン離脱症状（withdrawal）、カフェイン誘発性不安神経症、カフェイン誘発性睡眠障害など、カフェインに関連する4つの障害が記載されている[2]。DSM-IV-TRでは、カフェイン中毒（caffeine intoxication）として診断コード305.90に分類される[3]。 カフェインは経口
不知火 - Wikipedia
不知火（しらぬい、しらぬひ） 有明海・八代海にまつわるもの[編集] 八代海や有明海で旧暦8月1日前後に現れる蜃気楼の一種。 不知火 (妖怪) - 九州に伝わる妖怪。上記現象がその実体。 不知火海 - 八代海のこと。上記妖怪および蜃気楼現象に因む。 不知火町（しらぬひまち） - 熊本県宇土郡にあった自治体。2005年1月15日の市町村合併により、宇城市となった。 和歌における、筑紫にかかる枕詞。 交通・乗物[編集] 道の駅不知火 - 国道266号沿いにある道の駅。 不知火号 - 名鉄バスと九州産交バスが共同運行していた高速バス。 しらぬい (列車) - 日本国有鉄道が運行していた急行列車。 ⇒ 山陽本線優等列車沿革 不知火 (陽炎型駆逐艦) - 大日本帝国海軍の駆逐艦。 不知火 (東雲型駆逐艦) - 同上 しらぬい (護衛艦) (あさひ型護衛艦 (2代)) - 海上自衛隊の護衛艦。 相撲[編
ヒープ領域 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ヒープ領域" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年10月） ヒープ領域（英: heap area, heap memory）はコンピュータープログラミングにおいて、動的に確保可能なメモリの領域。ヒープ (heap) とは、『山積み』という言葉の中の『山』をさす英単語である。 データ構造のヒープと直接的な関係があるかどうかは、ヒープ領域の構造の設計、保守にデータ構造のヒープの技術を使うかどうかに依る（あらゆるデータ構造とヒープ領域の関係について「直接的な関係があるかどうかは、ヒープ領域の構造の設計、保守にそのデータ構造の
レーザー核融合 - Wikipedia
レーザー核融合（レーザーかくゆうごう、英: Laser fusion）は、非常に高い出力のレーザーの光を用いた核融合のこと。 核融合反応でエネルギーを取り出すためには、燃料プラズマを高温に加熱し、かつ、十分な反応を起こすために密度と時間の積がある一定値以上でなければならないという、ローソン条件を満たす必要がある。磁気閉じ込め方式の核融合では低密度のプラズマを長時間（1秒以上）保持することを目指すのに対し、燃料プラズマを固体密度よりもさらに高密度に圧縮、加熱し、プラズマが飛散してしまう以前、すなわちプラズマがそれ自体の慣性でその場所に留まっている間に核融合反応を起こしてエネルギーを取り出すことを目指した慣性核融合が考えられ、研究が進められている。レーザー核融合は、燃料の圧縮と加熱のために大出力のレーザーを用いる慣性核融合の一方式である。 NOVAレーザー これに加え、レーザーを用いて発生させ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
