ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

組合せ爆発

索引 組合せ爆発

組合せ爆発(くみあわせばくはつ、Combinatorial explosion)は、計算機科学、応用数学、情報工学、人工知能などの分野では、解が組合せ(combination)的な条件で定義される離散最適化問題で、問題の大きさn に対して解の数が指数関数や階乗などのオーダーで急激に大きくなってしまうために、有限時間で解あるいは最適解を発見することが困難になることをいう。.

54 関係: 力まかせ探索多項式巨大数人工知能仕様仕様記述言語伝送路彦一応用数学ミドルウェアネットワーク・トポロジーハードウェアバッチ処理バイオコンピュータモデリング言語ランダウの記号プログラミング言語データベース管理システムデザインパターンアルゴリズムアッカーマン関数アスペクト指向プログラミングインターネット・プロトコル・スイートオペレーティングシステムオブジェクト指向プログラミンググラフ理論コンピュータコンピュータネットワークスーパーコンピュータ公開鍵暗号素因数分解総当たり攻撃組合せ (数学)生産性階乗複雑性クラス計算複雑性理論計算機科学超並列マシン閏年量子コンピュータ自動プログラミング通信プロトコルRSA暗号Simple Mail Transfer Protocol構造化プログラミング次元の呪い欧州連合の言語指数関数...最適化問題情報工学曽呂利新左衛門24時制 インデックスを展開 (4 もっと) »

力まかせ探索

力まかせ探索(ちからまかせたんさく、Brute-force search)またはしらみつぶし探索(Exhaustive search)は、単純だが非常に汎用的な計算機科学の問題解決法であり、全ての可能性のある解の候補を体系的に数えあげ、それぞれの解候補が問題の解となるかをチェックする方法である。 バックトラッキングと混同されやすいが、バックトラッキングでは解候補の大部分を明示的に探索することなく捨てることができる。例えば、エイト・クイーンは、8個のクイーンをチェスボード上で互いに取り合えない状態で配置するものである。力まかせ探索では 64! / 56!.

新しい!!: 組合せ爆発と力まかせ探索 · 続きを見る »

多項式

数学における多項式(たこうしき、poly­nomial)は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元(略式ではしばしば変数と呼ぶ)の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項(こう、)と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数(あるいは必要に応じてより狭く有理数、整数、自然数)を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.

新しい!!: 組合せ爆発と多項式 · 続きを見る »

巨大数

巨大数(きょだいすう)とは、日常生活において使用される数よりも巨大な数(実数)のことである。非常に巨大な数は、数学、天文学、宇宙論、暗号理論、インターネットやコンピュータなどの分野でしばしば登場する。天文学的数字(てんもんがくてきすうじ)と呼ばれることもある。 なお、巨大数に対して、0ではないが0に限りなく近い正の実数のことを微小数(びしょうすう)という。 後述のように、巨大な数(や微小な数)を処理するために特殊な数学記号が使われている。.

新しい!!: 組合せ爆発と巨大数 · 続きを見る »

人工知能

250px 人工知能(じんこうちのう、artificial intelligence、AI)とは、「計算機(コンピュータ)による知的な情報処理システムの設計や実現に関する研究分野」を指す。.

新しい!!: 組合せ爆発と人工知能 · 続きを見る »

仕様

仕様(しよう、英: specification スペシフィケーション)とは、材料・製品・サービスなどが明確に満たさなければならない要求事項の集まりである。日常的には英語を短縮して「スペック」とも。.

新しい!!: 組合せ爆発と仕様 · 続きを見る »

仕様記述言語

仕様記述言語(しようきじゅつげんご)は、システムなどの仕様を記述する、コンピュータ言語(すなわち形式言語)である。形式的でない仕様記述もあるが(後述)、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する(形式仕様記述)。検証では、論理学や代数学に基づき(すなわち「機械的」に)、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する(あるいは存在することを示し、修正を促す)。代表的な形式的仕様記述言語としてZ言語やLOTOSなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。 また、検証ではない方法もある。たとえば、完全な妥当性は保証できないが、シミュレーションを行うことで、ある限られた場合においての動作を模擬して確かめる方法もある。SpecCはこの立場を取る。プロトタイピングもこの範疇にある。.

新しい!!: 組合せ爆発と仕様記述言語 · 続きを見る »

伝送路

伝送路(でんそうろ)は、情報や電力の伝送のために使用される媒体(メディア)である。配線の一部として用いる場合には伝送線路ともいう。高周波信号を通す伝送線路は導波路とも呼ばれ、特性インピーダンスが規定され厳しく管理される(→伝送線路参照)。通信路(つうしんろ)または伝送路(英: Channel)とは、情報源(送信者)から受信者への情報伝達用媒体を指す。.

新しい!!: 組合せ爆発と伝送路 · 続きを見る »

彦一

彦一(ひこいち)は昔話、民話などで知られる歴史上の人物。.

新しい!!: 組合せ爆発と彦一 · 続きを見る »

応用数学

応用数学(おうようすうがく、英語:applied mathematics)とは、数学的知識を他分野に適用することを主眼とした数学の分野の総称である。 数学のさまざまな分野のどれが応用数学であるかというはっきりした合意があるわけではなく、しばしば純粋数学と対置されるものとして、大まかには他の科学や技術への応用に歴史的に密接に関連してきた分野がこう呼ばれている。なお、過去の高等学校学習指導要領において、科目「応用数学」が存在した。.

新しい!!: 組合せ爆発と応用数学 · 続きを見る »

ミドルウェア

ミドルウェア(Middleware)は、コンピュータの分野で、コンピュータの基本的な制御を行うオペレーティングシステム(OS)と、各業務処理を行うアプリケーションソフトウェアとの中間に入るソフトウェアのこと。 通常はオペレーティングシステムの機能の拡張、あるいはアプリケーションソフトウェアの汎用的(共通的)な機能を集めたものである。アプリケーションソフトウェアはミドルウェアに要求を出すと、ミドルウェアがオペレーティングシステムに必要な要求を出し、結果をアプリケーションソフトウェアに返す。あるいはミドルウェア自体が各アプリケーションソフトウェアの起動・停止・監視などを含めた制御を行う。 代表的なミドルウェアには、データベース管理システム(DBMS)やトランザクションモニターなどがある。.

新しい!!: 組合せ爆発とミドルウェア · 続きを見る »

ネットワーク・トポロジー

ネットワーク・トポロジー は、コンピュータネットワークのトポロジー。数学的にはグラフ理論の応用として研究されている。一般的には、ネットワーク上のノード(英: node、「節点」あるいは「頂点」を意味し、具体的にはコンピュータやネットワーク機器など端末のこと)と、ネットワークの経路(エッジ、英: edge、「枝」や「辺」を意味する)との相関をダイアグラムで抽象化した概念のことである。 「ネットワーク構成」や「網構成」とも言う。論理的な意味のほか、物理的な実装形態でも用いられ、例えばFTTHの幹線網の網構成)も同様にネットワーク構成と言う場合がある。.

新しい!!: 組合せ爆発とネットワーク・トポロジー · 続きを見る »

ハードウェア

ハードウェア (hardware) とは、システムの物理的な構成要素を指す一般用語である。日本語では機械、装置、設備のことを指す。ソフトウェアとの対比語であり、単に「ハード」とも呼ばれる。.

新しい!!: 組合せ爆発とハードウェア · 続きを見る »

バッチ処理

バッチ処理(バッチしょり)とは、.

新しい!!: 組合せ爆発とバッチ処理 · 続きを見る »

バイオコンピュータ

バイオコンピュータ (Biocomputer) とは、.

新しい!!: 組合せ爆発とバイオコンピュータ · 続きを見る »

モデリング言語

モデリング言語は、ルールの一貫したセットで定義された構造によって情報、知識あるいはシステムを表現するため使われるあらゆる人工言語である。そのルールは、その構造における構成要素の意味を解釈するため使われる。.

新しい!!: 組合せ爆発とモデリング言語 · 続きを見る »

ランダウの記号

ランダウの記号(ランダウのきごう、Landau symbol)は、関数の極限における値の変化度合いに、おおよその評価を与えるための記法である。 ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O (オーもしくはオミクロン Ο。数字の0ではない)を用いることから(ランダウの)O-記法、ランダウのオミクロンなどともいう。 記号 O は「程度」の意味のオーダー(Order)から。 なおここでいうランダウはエドムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。 ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。.

新しい!!: 組合せ爆発とランダウの記号 · 続きを見る »

プログラミング言語

プログラミング言語(プログラミングげんご、programming language)とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」(computer programming language)に限定されている。.

新しい!!: 組合せ爆発とプログラミング言語 · 続きを見る »

データベース管理システム

right データベース管理システム(データベースかんりシステム、DBMS; )とは、コンピュータのデータベースを構築するために必要なデータベース運用、管理のためのシステム、およびそのソフトウェアのことである。データベースマネジメントシステムとも呼ばれる。.

新しい!!: 組合せ爆発とデータベース管理システム · 続きを見る »

デザインパターン

デザインパターン.

新しい!!: 組合せ爆発とデザインパターン · 続きを見る »

アルゴリズム

フローチャートはアルゴリズムの視覚的表現としてよく使われる。これはランプがつかない時のフローチャート。 アルゴリズム(algorithm )とは、数学、コンピューティング、言語学、あるいは関連する分野において、問題を解くための手順を定式化した形で表現したものを言う。算法と訳されることもある。 「問題」はその「解」を持っているが、アルゴリズムは正しくその解を得るための具体的手順および根拠を与える。さらに多くの場合において効率性が重要となる。 コンピュータにアルゴリズムをソフトウェア的に実装するものがコンピュータプログラムである。人間より速く大量に計算ができるのがコンピュータの強みであるが、その計算が正しく効率的であるためには、正しく効率的なアルゴリズムに基づいたものでなければならない。.

新しい!!: 組合せ爆発とアルゴリズム · 続きを見る »

アッカーマン関数

アッカーマン関数(アッカーマンかんすう、Ackermann function、Ackermannfunktion)とは、非負整数 m と n に対し、 \end によって定義される関数のことである。 与える数が大きくなると爆発的に計算量が大きくなるという特徴があり、性能測定などに用いられることもある。 また、数学的な意味として、原始再帰関数でないμ再帰関数の実例として有名である。これを(再帰のない手続き型の)プログラミング言語の言葉で言えば、whileループを使えばアッカーマン関数をプログラミングできるが、whileを使わずにforループだけでは実現不能だということである。 なお、アッカーマン関数のグラフは原始再帰的である。.

新しい!!: 組合せ爆発とアッカーマン関数 · 続きを見る »

アスペクト指向プログラミング

アスペクト指向プログラミング(アスペクトしこうプログラミング、Aspect Oriented Programming、AOP)は、オブジェクト指向ではうまく分離できない特徴(クラス間を横断 (cross-cutting) するような機能)を「アスペクト」とみなし、アスペクト記述言語をもちいて分離して記述することでプログラムに柔軟性をもたせようとする試み。アスペクトの例としては、データ転送帯域の制限や例外の処理などがある。Java にアスペクト指向的要素を追加したAspectJ が実験的に実装されている。 オブジェクト指向プログラミングとは直交するプログラミングパラダイムである。 既存のプログラミングパラダイムを置き換えるものではなく、あくまで既存の言語の補助機能として利用されることを目的としている。.

新しい!!: 組合せ爆発とアスペクト指向プログラミング · 続きを見る »

インターネット・プロトコル・スイート

インターネット・プロトコル・スイート(Internet protocol suite)は、インターネットおよびインターネットに接続する大多数の商用ネットワークで利用できる通信規約(通信プロトコル)一式である。インターネット・プロトコル・スイートは、インターネットの黎明期に定義され、現在でも標準的に用いられている2つのプロトコル、Transmission Control Protocol (TCP) とInternet Protocol (IP) にちなんで、TCP/IPプロトコル・スイートとも呼ばれる。今日のIPネットワーキングは、1960年代と1970年代に発展し始めたLocal Area Network (LAN) とインターネットの開発が統合されたものである。それは1989年のティム・バーナーズ=リーによるWorld Wide Webの発明と共にコンピュータ及びコンピュータネットワークに革命をもたらした。 インターネット・プロトコル・スイート(類似した多くのプロトコル群)は、階層の一式として見ることができる。各層はデータ転送に伴い生じる一連の問題を解決し、下位層プロトコルのサービスを使用する上位層プロトコルに明確なサービスを提供する。上位層は利用者と論理的に近く、より理論的なデータを処理する。また最終的に物理的に転送できる形式へデータを変換するため、下位層プロトコルに依存する。そのデータ通信モデルは、TCP/IPモデル(TCP/IP参照モデル・DARPAモデル)と呼ばれ、4つの階層で構成している。この階層的な通信規約の設計をプロトコルスタックと呼ぶことがある。.

新しい!!: 組合せ爆発とインターネット・プロトコル・スイート · 続きを見る »

オペレーティングシステム

ペレーティングシステム(Operating System、OS、オーエス)とは、コンピュータのオペレーション(操作・運用・運転)のために、ソフトウェアの中でも基本的、中核的位置づけのシステムソフトウェアである。通常、OSメーカーが組み上げたコンピュータプログラムの集合として、作成され提供されている。 オペレーティングシステムは通常、ユーザーやアプリケーションプログラムとハードウェアの中間に位置し、ユーザーやアプリケーションプログラムに対して標準的なインターフェースを提供すると同時に、ハードウェアなどの各リソースに対して効率的な管理を行う。現代のオペレーティングシステムの主な機能は、ファイルシステムなどの補助記憶装置管理、仮想記憶などのメモリ管理、マルチタスクなどのプロセス管理、更にはGUIなどのユーザインタフェース、TCP/IPなどのネットワーク、などがある。オペレーティングシステムは、パーソナルコンピュータからスーパーコンピュータまでの各種のコンピュータや、更にはスマートフォンやゲーム機などを含む各種の組み込みシステムで、内部的に使用されている。 製品としてのOSには、デスクトップ環境やウィンドウシステムなど、あるいはデータベース管理システム (DBMS) などのミドルウェア、ファイル管理ソフトウェアやエディタや各種設定ツールなどのユーティリティ、基本的なアプリケーションソフトウェア(ウェブブラウザや時計などのアクセサリ)が、マーケティング上の理由などから一緒に含められていることもある。 OSの中で、タスク管理やメモリ管理など特に中核的な機能の部分をカーネル、カーネル以外の部分(シェルなど)をユーザランドと呼ぶ事もある。 現代の主なOSには、Microsoft Windows、Windows Phone、IBM z/OS、Android、macOS(OS X)、iOS、Linux、FreeBSD などがある。.

新しい!!: 組合せ爆発とオペレーティングシステム · 続きを見る »

オブジェクト指向プログラミング

ブジェクト指向プログラミング(オブジェクトしこうプログラミング、)は、コンピュータ・プログラミングのパラダイムのひとつで、オブジェクト指向の概念や手法を取り入れたものである。プログラムを、データとその振舞が結び付けられたオブジェクトの集まりとして構成する、などといった特徴がある。このパラダイムを指向しているプログラミング言語がオブジェクト指向プログラミング言語である。.

新しい!!: 組合せ爆発とオブジェクト指向プログラミング · 続きを見る »

グラフ理論

ラフ理論(グラフりろん、graph theory)は、ノード(節点・頂点)の集合とエッジ(枝・辺)の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.

新しい!!: 組合せ爆発とグラフ理論 · 続きを見る »

コンピュータ

ンピュータ(Computer)とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.

新しい!!: 組合せ爆発とコンピュータ · 続きを見る »

コンピュータネットワーク

ンピュータネットワーク(computer network)は、複数のコンピュータを接続する技術。または、接続されたシステム全体。コンピュータシステムにおける「通信インフラ」自体、あるいは通信インフラによって実現される接続や通信の総体が(コンピュータ)ネットワークである、とも言える。.

新しい!!: 組合せ爆発とコンピュータネットワーク · 続きを見る »

スーパーコンピュータ

ーパーコンピュータ(supercomputer)は、科学技術計算を主要目的とする大規模コンピュータである。日本国内での略称はスパコン。また、計算科学に必要となる数理からコンピュータシステム技術までの総合的な学問分野を高性能計算と呼ぶ。スーパーコンピュータでは計算性能を最重要視し、最先端の技術が積極的に採用されて作られる。.

新しい!!: 組合せ爆発とスーパーコンピュータ · 続きを見る »

公開鍵暗号

公開鍵暗号(こうかいかぎあんごう、Public-key cryptography)とは、暗号化と復号に別個の鍵(手順)を用い、暗号化の鍵を公開すらできるようにした暗号方式である。 暗号は通信の秘匿性を高めるための手段だが、それに必須の鍵もまた情報なので、鍵を受け渡す過程で盗聴されてしまうというリスクがあった。共通鍵を秘匿して受け渡すには(特使が運搬するというような)コストもかかり、一般人が暗号を用いるための障害であった。この問題に対して、暗号化鍵の配送問題を解決したのが公開鍵暗号である。.

新しい!!: 組合せ爆発と公開鍵暗号 · 続きを見る »

素因数分解

素因数分解 (そいんすうぶんかい、prime factorization) とは、ある正の整数を素数の積の形で表すことである。ただし、1 に対する素因数分解は 1 と定義する。 素因数分解には次のような性質がある。.

新しい!!: 組合せ爆発と素因数分解 · 続きを見る »

総当たり攻撃

総当たり攻撃(そうあたりこうげき)とは、暗号解読方法のひとつで、可能な組合せを全て試すやり方。力任せ攻撃、または片仮名でブルートフォースアタック(Brute-force attack)とも呼ばれる。.

新しい!!: 組合せ爆発と総当たり攻撃 · 続きを見る »

組合せ (数学)

数学において、組合せ(くみあわせ、combination, choose)とは、相異なる(あるいは区別可能な)いくつかの要素の集まりからいくつかの要素を(重複無く)選び出す方法である。あるいは選び出した要素をその“並べる順番の違いを区別せずに”並べたもののことである。組合せは組合せ論と呼ばれる数学の分野で研究される。卑近な例でいえば、デッキ(山札)から決まった数のカード(手札)を引くことや、ロトくじなどがその例である。.

新しい!!: 組合せ爆発と組合せ (数学) · 続きを見る »

生産性

生産性(せいさんせい、Productivity)とは、経済学で生産活動に対する生産要素(労働・資本など)の寄与度、あるいは、資源から付加価値を産み出す際の効率の程度のことを指す。 一定の資源からどれだけ多くの付加価値を産み出せるかという測定法と、一定の付加価値をどれだけ少ない資源で産み出せるかという測定法が在る。.

新しい!!: 組合せ爆発と生産性 · 続きを見る »

階乗

数学において非負整数 の階乗(かいじょう、factorial) は、1 から までのすべての整数の積である。例えば、 である。空積の規約のもと と定義する。 階乗は数学の様々な場面に出現するが、特に組合せ論、代数学、解析学などが著しい。階乗の最も基本的な出自は 個の相異なる対象を一列に並べる方法(対象の置換)の総数が 通りであるという事実である。この事実は少なくとも12世紀にはインドの学者によって知られていた。は1677年にへの応用として階乗を記述した。再帰的な手法による記述の後、Stedman は(独自の言葉を用いて)階乗に関しての記述を与えている: 感嘆符(!)を用いた、この "" という表記は1808年にによって発明された。 階乗の定義は、最も重要な性質を残したまま、非整数を引数とする函数に拡張することができる。そうすれば解析学における著しい手法などの進んだ数学を利用できるようになる。.

新しい!!: 組合せ爆発と階乗 · 続きを見る »

複雑性クラス

複雑性クラス(ふくざつせいクラス、Complexity class)は、計算複雑性理論において関連する複雑性の問題の集合を指す。典型的な複雑性クラスは以下のように定義される。 例えば、クラスNPは非決定性チューリングマシンで多項式時間で解く事が出来る決定問題の集合である。また、クラスPSPACEはチューリングマシンで多項式領域で解く事が出来る決定問題の集合である。一部の複雑性クラスは函数問題の集合である(例えば'''FP''')。 数理論理学では表現の必要に応じて多数の複雑性クラスが定義される(記述計算量)。 ブラムの公理を使うと、完全な計算模型を参照しなくとも複雑性クラスを定義できる。.

新しい!!: 組合せ爆発と複雑性クラス · 続きを見る »

解(かい).

新しい!!: 組合せ爆発と解 · 続きを見る »

計算複雑性理論

計算複雑性理論(けいさんふくざつせいりろん、computational complexity theory)とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性(計算問題の困難さ)などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。.

新しい!!: 組合せ爆発と計算複雑性理論 · 続きを見る »

計算機科学

計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.

新しい!!: 組合せ爆発と計算機科学 · 続きを見る »

超並列マシン

超並列マシン (ちょうへいれつマシン、Massively parallel machine) は1990年代から台頭してきた、並列計算機の中で規模の大きなもの(CPU数の多いもの)を言う。大規模クラスターマシン、大規模ワークステーションクラスター、地球シミュレーターなども超並列マシンの範疇に入れることができる。時代と共に並列度は大きくなり、CPU性能は向上するため、何個以上のCPU数(或いは性能)で超並列であるというはっきりとした定義はない。 超並列マシンは分散メモリ型のコンピュータシステムであり、多数のノードから構成され、各ノードは基本的に独立したコンピュータとなっている。本来の超並列マシンはnCUBEやコネクションマシンなどのように、ほとんどのノードがCPUとメモリとノード間接続用の通信ポートのみで構成されるものであった。ノード間通信にはMPIのような標準的なプロトコルを使用してメッセージをやり取りする。2005年現在のスーパーコンピュータはほとんどが超並列マシンである。超並列マシンの性能は、実行しようとするアプリケーションの並列性と、スレッド間の通信量に左右される。アプリケーションの並列性が高ければ多くのノードに展開して並列実行できるため、性能向上が期待できる。しかし、共有メモリ型と異なり、あるスレッドの実行結果をメモリに置くだけでは他のスレッドからは見えないため、通信が必要となる。したがって、計算途中に他のスレッドの結果を待ち合わせなければならないようなアプリケーションではノード数に比例した性能向上は期待できない。超並列マシンでの計算性能の向上は研究の活発な領域である。.

新しい!!: 組合せ爆発と超並列マシン · 続きを見る »

閏年

閏年のポケットカレンダー。2008年2月29日がある。 1900年2月のカレンダー。西暦年が100で割り切れるが400では割り切れないため、1900年は平年となる(詳細は本文参照)。 閏年(うるうどし、じゅんねん、)とは、閏のある年である。これに対し、閏年ではない年を平年と呼ぶ。 閏年は、太陽暦においては太陽の運行と暦のずれを補正するために、平年より暦日が一つ多く、太陰太陽暦においては、月の運行とのずれを補正するために暦月が一つ多い。その追加された日や月を閏日・閏月、総称して閏と呼ぶ。閏の挿入規則を置閏法(ちじゅんほう)と呼ぶ。なお、「閏」の字が常用漢字表に含まれていないため、うるう年やうるう月、うるう日と書かれる場合もある。.

新しい!!: 組合せ爆発と閏年 · 続きを見る »

量子コンピュータ

量子コンピュータ (りょうしコンピュータ、英語:quantum computer) は、量子力学的な重ね合わせを用いて並列性を実現するとされるコンピュータ。従来のコンピュータの論理ゲートに代えて、「量子ゲート」を用いて量子計算を行う原理のものについて研究がさかんであるが、他の方式についても研究・開発は行われている。 いわゆる電子式など従来の一般的なコンピュータ(以下「古典コンピュータ」)の素子は、情報について、「0か1」などなんらかの2値をあらわすいずれかの状態しか持ち得ない「ビット」で扱う。量子コンピュータは「量子ビット」 (qubit; quantum bit、キュービット) により、重ね合わせ状態によって情報を扱う。 n量子ビットがあれば、2^nの状態を同時に計算できる。もし、数千qubitのハードウェアが実現した場合、この量子ビットを複数利用して、量子コンピュータは古典コンピュータでは実現し得ない規模の並列コンピューティングが実現する。2^以下)で数千年かかっても解けないような計算でも、例えば数十秒といった短い時間でこなすことができる、とされている。--> 量子コンピュータの能力については、計算理論上の議論と、実際に実現されつつある現実の機械についての議論がある。#計算能力の節を参照。.

新しい!!: 組合せ爆発と量子コンピュータ · 続きを見る »

自動プログラミング

自動プログラミング(じどうプログラミング、Automatic programming)は、人間のプログラマがコードを書くのではなく、何らかの機構によってプログラムを生成するプログラミングの一種である。.

新しい!!: 組合せ爆発と自動プログラミング · 続きを見る »

通信プロトコル

通信プロトコル(つうしんプロトコル、Communications protocol)、あるいはネットワーク・プロトコルは、ネットワーク上での通信に関する規約を定めたものである。「通信規約」や「通信手順」と訳す場合もある。.

新しい!!: 組合せ爆発と通信プロトコル · 続きを見る »

RSA暗号

RSA暗号とは、桁数が大きい合成数の素因数分解問題が困難であることを安全性の根拠とした公開鍵暗号の一つである。 暗号とデジタル署名を実現できる方式として最初に公開されたものである。.

新しい!!: 組合せ爆発とRSA暗号 · 続きを見る »

Simple Mail Transfer Protocol

Simple Mail Transfer Protocol(シンプル メール トランスファー プロトコル、SMTP)または簡易メール転送プロトコルは、インターネットで電子メールを転送するプロトコルである。通常 TCP のポート番号 25 を利用する。 転送先のサーバを特定するために、DNS の MXレコードが使われる。RFC 5321 で標準化されている。.

新しい!!: 組合せ爆発とSimple Mail Transfer Protocol · 続きを見る »

構造化プログラミング

構造化プログラミング(こうぞうかプログラミング、structured programming)は、1960年代後半にエドガー・ダイクストラらによって提唱された、構造化されたプログラムの構成要素(制御構造)の利用や、 p.49)-->段階的詳細化などを特徴とするプログラミング手法である。.

新しい!!: 組合せ爆発と構造化プログラミング · 続きを見る »

次元の呪い

次元の呪い(じげんののろい、The curse of dimensionality)という言葉は、リチャード・ベルマンが使ったもので、(数学的)空間の次元が増えるのに対応して問題の算法がなることを表している。 例えば、単位区間をサンプリングするには100個の点を等間隔で、かつ点間の距離を 0.01 以上にならないように配置すれば十分である。同じようなサンプリングを10次元の単位超立方体について行おうとすると、必要な点の数は 1020 にもなる。したがって、10次元の超立方体はある意味では単位区間の1018倍の大きさとも言える。 高次元ユークリッド空間の広大さを示す別の例として、単位球と単位立方体の大きさを次元を上げながら比較してみればよい。次元が高くなると、単位球は単位立方体に比較して小さくなっていく。したがってある意味では、ほとんど全ての高次元空間は中心から遠く、言い換えれば、高次元単位空間はほとんど超立方体の角で構成されており、「中間」がない。このことは、カイ二乗分布を理解する上で重要である。.

新しい!!: 組合せ爆発と次元の呪い · 続きを見る »

欧州連合の言語

欧州連合の言語(おうしゅうれんごうのげんご)は、欧州連合(EU)の加盟国内の市民が用いる言語。多くの言語があるが、とくにEUの公用語とされるのは24の言語である。EUのポータルページであるでは、"Languages: Europe's asset"(言語は貴重な財産である)とされ、欧州委員会にも多言語主義を担当する委員がおり、2007年以降はレオナルド・オルバンが務めている。 EUにおいて言語政策は加盟国にとって大きな課題であり、またEUには共通言語政策というものがない。このためEUの機構において、補完性原理に基づき、言語に関する分野を支える役割を担っている。EU諸機関の役割は加盟国間の協力を促し、またヨーロッパという範囲において加盟国の言語政策の促進を図るものである。EUは域内の市民に対して複数の言語を話すことができるように努めており、とくに母語に加え2つの言語が話せるようになることに力を入れている。EUでは教育制度に関しては加盟国個別で政策が実施されていて、EU自体の影響力は限られたものであるが、多くのEUの財政計画では言語学習や言語の多様性の促進に重点が置かれている。.

新しい!!: 組合せ爆発と欧州連合の言語 · 続きを見る »

指数関数

実解析における指数関数(しすうかんすう、exponential function)は、冪における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる(や指数関数的減衰の項を参照)。 一般に、 かつ なる定数 に関して、(主に実数の上を亙る)変数 を へ送る関数は、「a を'''底'''とする指数函数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数とは対照的である。 しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数(あるいはより明示的に「自然指数関数」)はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式 を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。.

新しい!!: 組合せ爆発と指数関数 · 続きを見る »

最適化問題

最適化問題(さいてきかもんだい、optimization problem)とは、特定の集合上で定義された実数値関数または整数値関数についてその値が最小(もしくは最大)となる状態を解析する問題である。数理計画問題(すうりけいかくもんだい、mathematical programming problem, mathematical program)、数理計画とも呼ばれる。実世界の現象の数理的な解析に関わる問題や抽象的な理論の多くをこの最適化問題という一般的なくくりに入れることができる。物理学やコンピュータビジョンにおける最適化問題は、考えている関数をモデル化された系のエネルギーを表すものと見なすことによって、エネルギー最小化問題と呼ばれることもある。.

新しい!!: 組合せ爆発と最適化問題 · 続きを見る »

情報工学

情報工学(じょうほうこうがく)は情報分野についての工学である。語感としては、情報科学という語がもっぱらおおまかに「科学」という語が指す範囲を中心としているのに対し、「工学」的な分野に重心があるが、内実としてはどれもたいして変わらないことが多い(たとえば、大学の学部学科名などに関しては、個々の大学の個性による違いのほうが、名前による違いより大きい)。日本で、大学の工学部などにコンピュータ科学ないし情報関係の学科を設置する際に、「工学」部という語との整合のためだけに便利に使われた、という面が大きい(情報工学科の記事を参照)。 なお英語の information engineering はソフトウェア工学における一手法であり、日本語の「情報工学」とは対応しない。また似た言葉に情報学がある。.

新しい!!: 組合せ爆発と情報工学 · 続きを見る »

曽呂利新左衛門

曽呂利 新左衛門(そろり しんざえもん)は、落語家の名跡。2代目の死後は空き名跡となっている。.

新しい!!: 組合せ爆発と曽呂利新左衛門 · 続きを見る »

24時制

24時制(にじゅうよじせい)は、時刻表示の方法の一種である。正子にあたる午前0時から翌日の午前0時までの時刻を、午前0時から経過した時間 (0 - 23) で表現する。航空や鉄道などの交通機関・医療・放送・報道など、時刻認識の錯誤に起因する事故のおそれがある業種では、24時制を用いるのが普通である。「軍事時間」 (military time) ともいい、日常で12時間制を用いる地域ではこのように呼ぶことが多い。.

新しい!!: 組合せ爆発と24時制 · 続きを見る »

ここにリダイレクトされます:

組み合わせ爆発組合せ的爆発組合せ論的爆発組合的爆発組合爆発

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »