ブラウザよりも高速アクセス！
119 関係: 単体 (数学)、反復補題、多項式列、学問の一覧、孫智偉、実用数学技能検定、実験計画法、完全順列、完全被覆問題、小林みどり、巨大数、中村義作、一般化多角形、二項型多項式列、二項定理、二項係数、二重確率行列、二重階乗、応用数学、ペーター・グスタフ・ディリクレ、マハーヴィーラ (数学者)、マリアン・レイェフスキ、マルコフの不等式、マインスイーパ、ネックレス多項式、バースカラ2世、ポーヤの計数定理、ポール・エルデシュ、ポッホハマー記号、メビウスの反転公式、メビウス関数、モジュラー表現論、ヤング図形、ヤング束、ラムゼーの定理、ラムゼー理論、ランベルトのW関数、ラースロー・ロヴァース、リチャード・ガーフィールド、リーマー符合、ルート系、レーニ・アルフレード、レオナルト・カルレソン、ブロックデザイン (数学)、パスカルの三角形、ビンパッキング問題、ピッチクラス・セット理論、テレンス・タオ、フィールズ賞、フィッシャー–イェーツのシャッフル、...、ニム、ニール・スローン、ホールの定理、ベラ・バラバシ、ベル多項式、和算、アラン・ソーカル、アルキメデス、アルゴリズム、インドの数学、イサイ・シューア、ウィリアム・ティモシー・ガワーズ、ウォータールー大学、オンライン整数列大辞典、オイラーの分割恒等式、グリーン関数、コンビナトリアルケミストリー、ジャン・ブルガン、ジャン・カルロ・ロタ、ジョン・エデンサー・リトルウッド、ジョージ・ポリア、スーパースカラー、スキップジャック (暗号)、スターリング数、ソロモン・ゴロム、冪級数、置換 (数学)、群論、結合多元環、組合せ (数学)、組合せ最適化、階乗、階乗冪、階乗番号システム、隣接代数 (順序理論)、順序組、表現 (数学)、表現論、複体、解析的、解析的整数論、角谷の不動点定理、計算機科学、鳩の巣原理、重複組合せ、自然数の分割、離散数学、陰計算、Magma (数式処理システム)、NUMBERS 天才数学者の事件ファイル、Sequence-pair、Small set (組み合わせ論)、松本眞、母関数、準多項式、有限幾何学、数え上げの和の法則、数え上げの積の法則、数え上げ数学、数学、数学における統一理論、数学の年表、数学史、数学定数、数学上の未解決問題、数理生物学、数理物理学、数論、整数行列。 インデックスを展開 (69 もっと) »
単体 (数学)
数学、とくに位相幾何学において、n 次元の単体（たんたい、simplex）とは、「r ≤ n ならばどの r + 1 個の点も r − 1 次元の超平面に同時に含まれることのない」ような n + 1 個の点からなる集合の凸包のことで、点・線分・三角形・四面体といった基本的な図形の n 次元への一般化である。 単体は、頂点の位置さえ決めればそれのみによって一意的に決定される。さらに単体は単体的複体や鎖複体などの概念を与えるが、これらはさらに抽象化されて、幾何学を組合せ論的あるいは代数的に扱う道具となる。また逆に、抽象化された複体の概念から単体が定義される。.
新しい！!: 組合せ数学と単体 (数学) · 続きを見る »
反復補題
反復補題（英: Pumping lemma）とは、計算可能性理論において、あるクラスの形式言語に反復を施してもそのクラスに依然として属することを示すものである。ここでいう「反復」とは、その言語に含まれる十分に長い文字列が部分に分割可能で、その一部分を繰り返したさらに長い文字列も同じ言語に含まれるようにすることである。この補題の証明には、鳩の巣原理のような組合せ数学が必要とされる。 反復補題の重要な具体例として、正規言語の反復補題と文脈自由言語の反復補題がある。文脈自由言語の反復補題の一種として、オグデンの補題もある。 これらの補題は、ある言語が特定の言語クラスに属さないことを示すのに使われる。しかし逆に、反復補題を満たすことは必要条件ではあっても十分条件ではないので、ある言語があるクラスに属することを示すのには使えない。.
新しい！!: 組合せ数学と反復補題 · 続きを見る »
多項式列
数学における多項式列（たこうしきれつ、）は、非負の整数 によって添字付けられた多項式の列であって、各添字が対応する多項式の次数と等しいものを言う。多項式列は、数え上げ組合せ論やの他、応用数学において興味の持たれているトピックの一つである。.
新しい！!: 組合せ数学と多項式列 · 続きを見る »
学問の一覧
学問の一覧（がくもんのいちらん）は、大学・大学院レベルで学ばれる学問分野を分類したものである。それぞれの分野には下位分野があり「（例）物理学→素粒子物理学」、この下位分野にはそれぞれ学術雑誌、学会があることが多い。 学問の分類には図書分類法のような分類法がなく、日本とアメリカ、ヨーロッパなど地域や教育機関ごとに差異がある。例えば法学を社会科学に含める場合もあればそうでない場合もある。 今日ますます各学問に分野横断的な傾向が強まるなかで、ある学問を単一の分野に分類することが困難な場合が多くなっている（学際研究）。.
新しい！!: 組合せ数学と学問の一覧 · 続きを見る »
孫智偉
孫智偉（そん ちえい）は中華人民共和国の数学者。専門は数論、組み合わせ論、群論、数理論理学等。 1987年に南京大学を卒業したのち、1992年、同大学院で博士号を取得。1994年から1998年にかけて南京大学数学部助教授、1998年以降は同教授を務めている。 1992年、双子の兄弟である孫智宏と共同で、いわゆるに関する定理を証明したことで知られる。また、2003年には組み合わせ数論において、covering systems、restricted sumsets、zero-sum problems の三つのトピックを統一するアプローチを発表。.
実用数学技能検定
実用数学技能検定（じつようすうがくぎのうけんてい）は、公益財団法人日本数学検定協会が実施する数学・算数の検定であり、一般に数学検定または算数検定と呼ばれる。 計算には単純計算・複雑計算・抽象計算等がある。単純計算では正思考（順思考）による３回程度の計算で結果を導くことができる問題で構成、複雑計算では３回以上の計算や逆思考を伴う計算問題で構成、抽象計算では置き換えや仮定を伴う思考計算の問題で構成されるなど、検定階級ごとに割り振られている。 実用的数学技能の研究から、数学計算時の脳の活性部位と数理思考時の脳の活性部位は大きく異なっていることが判明した。実用数学技能検定で計算技能検定（１次）と数理技能検定（２次）を分けて実施するのは、脳のはたらき方の違いがその根拠となっている。その結果として、計算技能検定と数理技能検定を分けて実施するほうが、受検者の獲得点数が２０％程度向上することも分かっている。「数理」とは「数学理論」の略称である。.
新しい！!: 組合せ数学と実用数学技能検定 · 続きを見る »
実験計画法
実験計画法（じっけんけいかくほう、Experimental design、Design of experiments）は、効率のよい実験方法を設計（デザイン）し、結果を適切に解析することを目的とする統計学の応用分野である。R・A・フィッシャーが1920年代に農学試験から着想して発展させた。特に1950年G・M・コックスとW・G・コクランが標準的教科書を出版し、以後医学、工学、実験心理学や社会調査へ広く応用された。またこれを基にして田口玄一による品質工学という新たな分野も生まれた。 他にも、マーケティングや新しい商品・サービスのコンセプトや仕様を考える場合などに用いられる、コンジョイント分析も有用である。.
新しい！!: 組合せ数学と実験計画法 · 続きを見る »
完全順列
完全順列（かんぜんじゅんれつ、derangement）、もしくは攪乱順列（かくらんじゅんれつ）とは、整数 1, 2, 3, …, n を要素とする順列において、i 番目 (i ≤ n) が i でない順列である。 順列を置換とみると、完全順列は不動点の個数が0の置換に対応している。乱列、混乱順列ともいう。.
新しい！!: 組合せ数学と完全順列 · 続きを見る »
完全被覆問題
完全被覆 (perfect matching) に関する問題の多くは組合せ論やグラフ理論などの離散数学と関わりがある。.
新しい！!: 組合せ数学と完全被覆問題 · 続きを見る »
小林みどり
小林 みどり（こばやし みどり、1951年1月 - ）は、日本の数学者（組合せ論・グラフ理論）。学位は博士（理学）（慶應義塾大学・1991年）。 長崎大学経済学部助教授、静岡県立大学経営情報学部教授、静岡県立大学経営情報学部学部長、静岡県立大学附属図書館館長などを歴任した。.
新しい！!: 組合せ数学と小林みどり · 続きを見る »
巨大数
巨大数（きょだいすう）とは、日常生活において使用される数よりも巨大な数（実数）のことである。非常に巨大な数は、数学、天文学、宇宙論、暗号理論、インターネットやコンピュータなどの分野でしばしば登場する。天文学的数字（てんもんがくてきすうじ）と呼ばれることもある。 なお、巨大数に対して、0ではないが0に限りなく近い正の実数のことを微小数（びしょうすう）という。 後述のように、巨大な数（や微小な数）を処理するために特殊な数学記号が使われている。.
中村義作
中村 義作（なかむら ぎさく、1928年1月22日 - ）は、日本の電通官僚、数学者（組み合わせ数学・有限数学・経営数学）、工学者（情報工学・ソフトウェア工学）。学位は工学博士（東北大学）。東海大学教育開発研究所教授、静岡県立大学名誉教授。 電気通信省、日本電信電話公社での勤務を経て、信州大学工学部教授、静岡県立大学経営情報学部教授、静岡県立大学経営情報学部学部長（第3代）などを歴任した。 2017年4月、日本数学会出版賞を受賞した。.
新しい！!: 組合せ数学と中村義作 · 続きを見る »
一般化多角形
数学の一分野、組合せ論における一般化された多角形（いっぱんかされたたかっけい、generalized polygon）は、ジャック・ティッツによって導入されたある種の接続構造である。一般化された多角形は、その特別の場合として、射影平面（n.
新しい！!: 組合せ数学と一般化多角形 · 続きを見る »
二項型多項式列
数学における多項式列（つまり、自然数の集合 で添字付けられた多項式の成す列であって、かつ各多項式の添字がその多項式の次数に等しいもの） が二項型（にこうがた、binomial type）であるとは、この列が恒等式 を満足するときに言う。このような数列は無数に存在し、二項型多項式列をすべて集めて得られる集合は後述のように陰合成のもとで群を成す。任意の二項型多項式列はベル多項式で表すことができる。任意の二項型多項式列はシェファー列だが、逆は必ずしも成り立たない。多項式列は19世紀の漠然とした umbral calculus の概念を下敷きにしている。 二項型多項式列の概念は組合せ論、確率論、統計学、その他さまざまな分野に応用を持つ。.
新しい！!: 組合せ数学と二項型多項式列 · 続きを見る »
二項定理
初等代数学における二項定理（にこうていり、binomial theorem）または二項展開 (binomial expansion) は二項式の冪の代数的な展開を記述するものである。定理によれば、冪 は の形の項の和に展開できる。ただし、冪指数 は を満たす非負整数で、各項の係数 は と に依存して決まる特定の正整数である。例えば の項の係数 は二項係数 \tbinom (.
新しい！!: 組合せ数学と二項定理 · 続きを見る »
二項係数
数学における二項係数（にこうけいすう、binomial coefficients）は二項展開において係数として現れる正の整数の族である。二項係数は二つの非負整数で添字付けられ、添字 を持つ二項係数はふつう \tbinom と書かれる（これは二項冪 の展開における の項の係数である。適当な状況の下で、この係数の値は \tfrac で与えられる）。二項係数を、連続する整数 に対する各行に を から まで順に並べて得られる三角形状の数の並びをパスカルの三角形と呼ぶ。 この整数族は代数学のみならず数学の他の多くの分野、特に組合せ論において現れる。-元集合から -個の元を（その順番を無視して）選ぶ方法が \tbinom nk 通りである。二項係数の性質を用いて、記号 \tbinom nk の意味を、もともとの および が なる非負整数であった場合を超えて拡張することが可能で、そのような場合もやはり二項係数と称する。.
新しい！!: 組合せ数学と二項係数 · 続きを見る »
二重確率行列
数学の確率論や組合せ論の分野における二重確率行列（にじゅうかくりつぎょうれつ、）とは、各行の和および各列の和がそれぞれ 1 となるような非負の実正方行列 A.
新しい！!: 組合せ数学と二重確率行列 · 続きを見る »
二重階乗
数学における階乗類似の組合せ論的函数の一つとして、二重階乗（にじゅうかいじょう、double factorial）または半階乗 (semifactorial) は、与えられた自然数 に対し、 から まで と同じ偶奇性を持つものだけを全て掛けた積を言う。すなわち、 さらに のときは、空積と見て と定義する。 この定義に従えば、偶数 に対する二重階乗は で与えられ、また奇数 に対しては で与えられる。例えば.
新しい！!: 組合せ数学と二重階乗 · 続きを見る »
応用数学
応用数学（おうようすうがく、英語：applied mathematics）とは、数学的知識を他分野に適用することを主眼とした数学の分野の総称である。 数学のさまざまな分野のどれが応用数学であるかというはっきりした合意があるわけではなく、しばしば純粋数学と対置されるものとして、大まかには他の科学や技術への応用に歴史的に密接に関連してきた分野がこう呼ばれている。なお、過去の高等学校学習指導要領において、科目「応用数学」が存在した。.
新しい！!: 組合せ数学と応用数学 · 続きを見る »
ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ（Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日）はドイツの数学者で、現代的形式の関数の定義を与えたことで知られている。.
新しい！!: 組合せ数学とペーター・グスタフ・ディリクレ · 続きを見る »
マハーヴィーラ (数学者)
マハーヴィーラ（Mahavira、ヒンディー語:महावीर）は、インドの数学者、ジャイナ教徒。9世紀にかけて活動した。.
新しい！!: 組合せ数学とマハーヴィーラ (数学者) · 続きを見る »
マリアン・レイェフスキ
マリアン・アダム・レイェフスキ（波：Marian Adam Rejewski, 1905年8月16日 - 1980年2月13日）は、ポーランドの数学者・暗号研究者。1932年にエニグマ暗号を破った。エニグマとは、ナチス・ドイツで使用された最も重要な暗号機である。レイェフスキとポーランド軍参謀本部第2部暗号局の同僚たち（特にヘンリク・ジガルスキやイェジ・ルジェツキ）の成果は、第二次世界大戦中、イギリスがドイツの暗号化された通信を解読することを可能にした。このことは連合国側の勝利の要因のひとつともなる。.
新しい！!: 組合せ数学とマリアン・レイェフスキ · 続きを見る »
マルコフの不等式
マルコフの不等式は確率論で、確率変数の非負値関数の値が、ある正の定数以上になる確率の上限を与える不等式である。アンドレイ・マルコフが証明した。 マルコフの不等式は確率と期待値の関係を述べたもので、ランダム変数の累積分布関数に関して大まかではあるが有用な限界を与える。.
新しい！!: 組合せ数学とマルコフの不等式 · 続きを見る »
マインスイーパ
マインスイーパ（Minesweeper）は1980年代に発明された、一人用のコンピュータゲームである。ゲームの目的は地雷原から地雷を取り除くことである。.
新しい！!: 組合せ数学とマインスイーパ · 続きを見る »
ネックレス多項式
組合せ数学において、ネックレス多項式 (necklace polynomial) あるいは（モロー (Moreau) の）ネックレス数え上げ関数 (necklace-counting function) は、以下の式が成り立つような の多項式 である。 メビウスの反転公式によって、ネックレス多項式は となる。ここで は古典的なメビウス関数である。 ネックレス多項式は によって研究された関数と密接な関係にあるが、同じというわけではない。モローはネックレスの個数を数えたが、ネックレス多項式は非周期的なネックレスの個数を数える。 ネックレス多項式は以下のように現れる。.
新しい！!: 組合せ数学とネックレス多項式 · 続きを見る »
バースカラ2世
バースカラ（Bhāskara、カンナダ語: ಭಾಸ್ಕರಾಚಾರ್ಯ、1114年 - 1185年）は、インドの数学者で天文学者。7世紀の数学者バースカラ1世と区別するためバースカラ2世 (Bhaskara II) またはバースカラーチャーリヤ（Bhaskara Achārya、バースカラ先生の意）とも呼ばれる。南インドの現在のカルナータカ州ビジャープラ県にあたる Bijjada Bida でバラモン階級の家に生まれる。当時のインド数学の中心地であったウッジャインの天文台の天文台長を務めた。前任者には、ブラーマグプタ（598年 - 665年）やヴァラーハミヒラがいる。西ガーツ山脈地方に住んでいた。 代々、宮廷学者の地位を世襲しており、バースカラの息子やその子孫もその地位を継承していることが記録に残っている。父マヘーシュヴァラ（Mahesvara）は占星術師で、バースカラに数学を教え、バースカラはそれを息子 Loksamudra に継承させた。Loksamudra の息子は1207年に学校設立を助け、そこでバースカラの書いた文書の研究を行った。 バースカラは、12世紀の数学および天文学の発展に大きな業績を残した。主な著書として、『リーラーヴァティ』（主に算術を扱っている）、『ビージャガニタ』（代数学）、『シッダーンタ・シローマニ』（1150年）がある。『シッダーンタ・シローマニ』は Goladhyaya（球面）と Grahaganita（惑星の数学）の2部構成になっている。.
新しい！!: 組合せ数学とバースカラ2世 · 続きを見る »
ポーヤの計数定理
組合せ論におけるポーヤの計数定理（ポーヤのけいすうていり、Pólya enumeration theorem; 数え上げ定理、枚挙定理）あるいはレッドフィールド–ポーヤの定理 (Redfield–Pólya Theorem) は、集合への群作用の軌道の総数を求めるバーンサイドの補題の極めて一般化するものである。定理が最初に公になるのは1927年のによるものだが、それとは独立にジョージ・ポリア（ポーヤ）が1937年に再発見し、ポーヤはその結果を多くの数え上げ問題、特に化合物の枚挙に適用して大いに普及させた。 ポーヤの計数定理はやに組み込むこともできる。.
新しい！!: 組合せ数学とポーヤの計数定理 · 続きを見る »
ポール・エルデシュ
ポール・エルデシュ、エルデーシュ・パール（Erdős Pál, Paul Erdős; （本姓: Engländer）, 1913年3月26日 - 1996年9月20日）は、ハンガリー・ブダペスト出身のユダヤ系ハンガリー人の数学者である。20世紀で最も多くの論文を書いた数学者である。彼は、生涯で500人以上という数多くの数学者との共同研究を行ったことと、その奇妙なライフスタイルで知られていた（タイム誌は彼を「変わり者中の変わり者」(The Oddball's Oddball)と称した）。彼は、晩年になってさえも、起きている時間を全て数学に捧げた。彼が亡くなったのは、ワルシャワで開催された会議で幾何学の問題を解いた数時間後のことだった。 数論、組合せ論、グラフ理論をはじめ、集合論、確率論、級数論など幅広い分野で膨大な結果を残した。グラフ理論・数論などにおける確率論的方法、組合せ論の種々のテクニックは著しく、特にセルバーグと共に素数定理の初等的な証明を発見したことは有名である。彼はラムゼー理論を擁護し、貢献し、秩序が必ず現れる条件を研究した。彼の数学は、次々に問題を考えてはそれを解くという独特のスタイルであったが、彼が発する散発的な問題が実際には理論的に重要なものであったり、あるいは新しい理論の発展に非常に重要な貢献をした例も少なくない。 エルデシュは生涯に約1500篇の論文（多くは共著）を発表した。これ以上の論文を発表した数学者は、18世紀のレオンハルト・オイラーのみである。 彼は数学は社会活動であるという信念を持っており、他の数学者と数学論文を書くという目的のためだけに巡回生活を営んでいた。エルデシュが多くの研究者と論文を執筆したことから、エルデシュ数が生まれた。これは、論文の共著者同士で研究者をつないだときに、エルデシュとの間の最短経路上の人数を表したものである。.
新しい！!: 組合せ数学とポール・エルデシュ · 続きを見る »
ポッホハマー記号
解析学におけるポッホハマー記号（ポッホハマーきごう、Pochhammer symbol）はの名に因む特殊函数で、組合せ論および超幾何級数論にも応用を持つ。.
新しい！!: 組合せ数学とポッホハマー記号 · 続きを見る »
メビウスの反転公式
数学において、古典的なメビウスの反転公式 (Möbius inversion formula) はアウグスト・フェルディナント・メビウス (August Ferdinand Möbius) によって19世紀に数論に導入された。 整除関係によって順序付けられた自然数という古典的な場合に、別のが取って代わると、他のメビウス反転公式が得られる。説明は隣接代数を参照。.
新しい！!: 組合せ数学とメビウスの反転公式 · 続きを見る »
メビウス関数
メビウス関数（メビウスかんすう）は、数論や組合せ論における重要な関数である。メビウスの輪で有名なドイツの数学者アウグスト・フェルディナント・メビウス (August Ferdinand Möbius) が1831年に紹介したことから、この名が付けられた。.
新しい！!: 組合せ数学とメビウス関数 · 続きを見る »
モジュラー表現論
数学の一分野としてのモジュラー表現論（モジュラーひょうげんろん、modular representation theory）は表現論の一部として、有限群 G の正標数の体 K 上での線型表現を研究する。群論への応用を持つのみならず、モジュラー表現論は代数幾何学、符号理論、組合せ論、数論など他の数学分野においても自然に生じてくる。 有限群論において、ブラウアーがモジュラー表現論を用いて証明した指標理論的な結果は、有限単純群の分類の過程で、特にそのシロー 2-群が適当な意味において小さすぎるために純群論的手法では従順でないと特徴付けられる単純群に対して、重要な役割を果たした。また、グローバーマンがブラウアーの展開した理論を用いて示した、有限群の位数 2 の元の埋め込みに関する一般的な結果は、''Z''∗-定理と呼ばれ、分類を進めるうえで特に有効であった。 係数体 K の標数が群 G の位数を整除しないならば、マシュケの定理によりモジュラー表現は完全可約となり、これは通常表現（標数 0 の表現）と同様である。マシュケの定理の証明は群の位数が割れないことに依拠しており、これは K の標数が G の位数を整除するときには意味を成さない。この場合、表現は必ずしも完全可約に限らず、通常表現の場合あるいは標数が群の位数と互いに素の場合とは対照的である。以下ではほとんどの場合、体 K は十分大きい（例えば K が代数閉体ならば十分）ものと暗黙に仮定する（さもなくば、主張をもう少し仔細に込み入ったものとせねばならないであろう）。.
新しい！!: 組合せ数学とモジュラー表現論 · 続きを見る »
ヤング図形
数学において、ヤング盤（ヤングばん、Young tableau） および ヤング図形（ヤングずけい、Young diagram）とは、表現論で使われる組合せ論的図式である。 これは、対称群の群表現を記述しその性質を調べるのに便利である。 ヤング盤は、ケンブリッジ大学の英国人牧師・数学者アルフレッド・ヤング（Alfred Young、1873–1940） により 1900 年に導入された。 その理論は、アルフレッド・ヤング自身およびアラン・ラスクー（Alain Lascoux）、パーシー・マクマホン（Percy Alexander MacMahon）、ギルバート・ロビンソン（Gilbert de Beauregard Robinson）、ジァン・カルロ・ロータ（Gian-Carlo Rota）、マルセル・ポール・シュッツェンベルジェ（Marcel-Paul Schützenberger）、リチャード・スタンレー（Richard P. Stanley）その他の数学者により、更に発展した。.
新しい！!: 組合せ数学とヤング図形 · 続きを見る »
ヤング束
ヤング束のハッセ図 数学において、ヤング束は全ての自然数の分割からなる束である。「On quantitative substitutional analysis」などで対称群の表現論を発展させた、にちなんで名付けられた。ヤングの理論において、現在ではヤング図形と呼ばれる対象やその半順序は、決定的な重要な役割を果たした。によって、ヤング束は差分半順序集合の最も単純な例とされるなど、ヤング束は代数的組合せ論においてよく現れる。そして、アフィンリー代数の結晶基底とも密接に関連している。.
新しい！!: 組合せ数学とヤング束 · 続きを見る »
ラムゼーの定理
ラムゼーの定理（ラムゼーのていり）とは、数学の組合せ論における次の二つの定理のことである(フランク・ラムゼイ, 1930)。;無限ラムゼーの定理;有限ラムゼーの定理 以下、これを満たす最小のR をRr (s; k1, k2,..., kr)とおく。 有限ラムゼーの定理は無限ラムゼーの定理から従う。その証明は英語版を参照のこと。 鳩の巣原理から、s.
新しい！!: 組合せ数学とラムゼーの定理 · 続きを見る »
ラムゼー理論
ラムゼー理論（ラムゼーりろん、Ramsey theory）は、一定の秩序がどのような条件の下で必ず現れるかを研究する数学の一分野である。名前はイギリスの数学者・哲学者であるフランク・ラムゼイ に因んでいる。ラムゼー理論の問題は、典型的には「ある構造がある性質を持つことを保証するには、その構造にはどのくらい元が必要か」という形のものである。.
新しい！!: 組合せ数学とラムゼー理論 · 続きを見る »
ランベルトのW関数
数学におけるランベルト W 函数（ランベルトWかんすう、Lambert W function）あるいはオメガ函数 (ω function), 対数積（product logarithm; 乗積対数）は、函数 の逆関係の分枝として得られる函数 の総称である。ここに は指数函数で は任意の複素数とする。すなわち は を満たす。 上記の方程式で と置きかえれば、任意の複素数 に対する 函数（一般には 関係）の定義方程式 を得る。 函数 は単射ではないから、関係 は（ を除いて）多価である。仮に実数値の に注意を制限するとすれば、複素変数 は実変数 に取り換えられ、関係の定義域は区間 に限られ、また開区間 上で二価の函数になる。さらに制約条件として を追加すれば一価函数 が定義されて、 および を得る。それと同時に、下側の枝は であって、 と書かれる。これは から まで単調減少する。 ランベルト 関係は初等函数では表すことができない。ランベルト は組合せ論において有用で、例えば木の数え上げに用いられる。指数函数を含む様々な方程式（例えばプランク分布、ボーズ–アインシュタイン分布、フェルミ–ディラック分布などの最大値）を解くのに用いられ、また のような の解としても生じる。生化学において、また特に酵素動力学において、ミカエリス–メンテン動力学の経時動力学解析に対する閉じた形の解はランベルト 函数によって記述される。 W の絶対値で決定している。.
新しい！!: 組合せ数学とランベルトのW関数 · 続きを見る »
ラースロー・ロヴァース
ラースロー・ロヴァース（, 、1948年3月9日 - ）は、ハンガリー生まれの数学者である。 組合せ論に貢献した。2007年から2010年まで国際数学連合の総裁を務めた。.
新しい！!: 組合せ数学とラースロー・ロヴァース · 続きを見る »
リチャード・ガーフィールド
リチャード・ガーフィールド（Richard Garfield PhD、1963年6月26日-）は、「マジック:ザ・ギャザリング」や「デュエル・マスターズ」、:en:Netrunner、:en:BattleTech CCG、:en:Vampire: The Eternal Struggle、:en:The Great Dalmuti、:en:Star Wars Trading Card Gameといったカードゲームや、:en:RoboRallyボードゲームのゲームデザイナーである。彼はまたハーツのバリエーションである複素数ハーツを生み出した。彼が開発した「マジック:ザ・ギャザリング」はトレーディングカードゲームを普及させる功績を立てた。.
新しい！!: 組合せ数学とリチャード・ガーフィールド · 続きを見る »
リーマー符合
数学とくに組合せ数学において、リーマー符合（リーマーふごう）とはn個の数のすべての置換を符号化する方法である。 リーマー符合という名前は Derrick Henry Lehmerから来ているが、この符号は少なくとも1888年以来すでに知られている。.
新しい！!: 組合せ数学とリーマー符合 · 続きを見る »
ルート系
数学において，ルート系（root system，système de racines）とはある幾何学的な性質を満たすユークリッド空間のベクトルの配置である．これはリー群やリー環の理論において基本的な概念である．リー群（や代数群のような類似物）やリー環は20世紀の間に数学の多くの部分で重要になってきたから，ルート系の一見すると特別な性質に反してそれらは多くの分野に応用される．さらに，ディンキン図形によるルート系の分類体系は（のような）リー理論とあからさまなつながりの全くない数学の分野において現れる．最後に，ルート系はにおけるように，それ自身重要である．.
新しい！!: 組合せ数学とルート系 · 続きを見る »
レーニ・アルフレード
レーニ・アルフレード（Rényi Alfréd、1921年3月20日 - 1970年2月1日）は、ハンガリーの数学者である。組合せ数学、グラフ理論、数論のほか、特に確率論で大きな貢献をした。.
新しい！!: 組合せ数学とレーニ・アルフレード · 続きを見る »
レオナルト・カルレソン
レンナルト・カルレソン（Lennart Axel Edvard Carleson、1928年3月18日 - ）はスウェーデンの数学者で、調和解析の分野の第一人者として知られる。.
新しい！!: 組合せ数学とレオナルト・カルレソン · 続きを見る »
ブロックデザイン (数学)
組合せ数学において、ブロックデザイン (block design) とは、実験計画法、ソフトウェアテスト、符号理論、暗号理論、有限幾何、代数幾何学などに広範な応用を持つハイパーグラフの一種である。ブロックデザインであることが文脈から明らかな場合、しばしば単に「デザイン」と呼ばれる。「デザイン」は「計画」と表記されることもある。.
新しい！!: 組合せ数学とブロックデザイン (数学) · 続きを見る »
パスカルの三角形
パスカルの三角形（パスカルのさんかくけい、英語：Pascal's triangle）は、二項展開における係数を三角形状に並べたものである。ブレーズ・パスカル（1623年 - 1662年）の名前がついているが、実際にはパスカルより何世紀も前の数学者たちも研究していた。 この三角形の作り方は単純なルールに基づいている。まず最上段に1を配置する。それより下の行はその位置の右上の数と左上の数の和を配置する。例えば、5段目の左から2番目には、左上の1と右上の3の合計である4が入る。このようにして数を並べると、上から n 段目、左から k 番目の数は、二項係数 に等しい（n-1Ck-1 と表すこともある）。これは、パスカルによって示された以下の式に基づいている。 負でない整数 n ≥ k に対して が成り立つ。 パスカルの三角形は三次元以上に拡張が可能である。3次の物は「パスカルのピラミッド」「パスカルの四面体」と呼ばれる。4次以上のものは一般に「パスカルの単体」と呼ばれる。.
新しい！!: 組合せ数学とパスカルの三角形 · 続きを見る »
ビンパッキング問題
ビンパッキング問題（ビンパッキングもんだい）とは、離散数学の組合せ論の中のNP困難問題で、与えられた「荷物（重さや個数がついている）」をつめる「箱（ビンやコンテナなど）」の最小数を見つけるものである。問題を解くためにビン型（筒状型）の模型を使うのでこのように呼ばれる。 様々な解決方法（アルゴリズム）が考案されているが、あらゆる場合の箱の最小数を効率的に見つけることができるような万能なアルゴリズムはない（NP困難問題）。.
新しい！!: 組合せ数学とビンパッキング問題 · 続きを見る »
ピッチクラス・セット理論
ピッチクラス・セット理論（Musical set theory）は、12音音列の組み合わせに関する理論。セット理論とも呼ばれるが、日本においては専らこの名称で呼ばれることが多い。.
新しい！!: 組合せ数学とピッチクラス・セット理論 · 続きを見る »
テレンス・タオ
テレンス・タオ（Terence Tao、陶哲軒、1975年7月17日 - ）はオーストラリア人数学者。カリフォルニア大学ロサンゼルス校教授。専門は実解析、調和解析、微分方程式、組合せ論、整数論、表現論。 2004年に長い間の整数論の難問（素数の集合の中には任意の長さの等差数列が存在すること）を解決し（ベン・グリーンとの共同研究）、その成果により2006年にフィールズ賞を受賞した。他に掛谷予想への貢献。KdV方程式が大域解を持つことを示した。表現論とシンプレクティック幾何学に組合せ論的手法を持ち込みエルミート計量に関するHorn予想を解決（Allen Knutsonとの共同研究）。2012年、弱いゴールドバッハ予想にも貢献した。.
新しい！!: 組合せ数学とテレンス・タオ · 続きを見る »
フィールズ賞
フィールズ賞（フィールズしょう）は、若い数学者のすぐれた業績を顕彰し、その後の研究を励ますことを目的に、カナダ人数学者ジョン・チャールズ・フィールズ (John Charles Fields, 1863–1932) の提唱によって1936年に作られた賞のことである。.
新しい！!: 組合せ数学とフィールズ賞 · 続きを見る »
フィッシャー–イェーツのシャッフル
フィッシャー–イェーツのシャッフル (Fisher–Yates shuffle) は、有限集合からランダムな順列を生成するアルゴリズムである。言い換えると、有限列をランダムな別の（シャッフルされた）順序の有限列に並べ直す方法である。この名前はロナルド・フィッシャーおよびフランク・イェーツから名付けられた。また、クヌースのシャッフル(ドナルド・クヌースから)とも呼ばれる。フィッシャー–イェーツのシャッフルは、全ての順列の組み合わせが等しく存在しうるため、偏りがない。このアルゴリズムの改良されたバージョンはさらに効果的であり、処理時間はシャッフルされる要素数に比例するのみで、余分な時間はかからず、また追加の保持領域を必要としない。フィッシャー–イェーツのシャッフルの派生にサットロのアルゴリズムがあり、こちらは長さ n のランダムなを生成する。 フィッシャー–イェーツのシャッフルは、帽子に入れた数字の書かれたくじ（組合せ数学的に区別可能なもの）をなくなるまで取り出して並べていく手順に似ている。.
新しい！!: 組合せ数学とフィッシャー–イェーツのシャッフル · 続きを見る »
ニム
ニム (nim) は、2人で行うレクリエーション数学ゲームの1つである。ルーツは古代中国からあるとされ、16世紀初めの西欧で基本ルールが完成したが、名前については、一般的に1901年にハーバード大学のチャールズ・L.バウトン (Charles L. Bouton) によって名付けられたとされる。 このゲームの必勝法は、組合せ論による。組合せ論的には先手と後手どちらが勝つか、勝ちが保証されるためにはどのようにコインを取ればよいか、その勝利の戦略を決めることにある。.
ニール・スローン
ニール・ジェームズ・アレクサンダー・スローン（Neil James Alexander Sloane、1939年 - ）はアメリカの数学者である。主な研究分野は、組合せ論、誤り訂正符号および球の詰め込みである。また、オンライン整数列大辞典の創始者であることで有名である。.
新しい！!: 組合せ数学とニール・スローン · 続きを見る »
ホールの定理
ホールの定理（Hall's theorem）または結婚定理（marriage theorem）は、組合せ数学の帰結の1つで、有限集合の集まりのそれぞれから別個の元を選択できる条件を与える。名称の由来は数学者のフィリップ・ホール（1904年-1982年）。.
新しい！!: 組合せ数学とホールの定理 · 続きを見る »
ベラ・バラバシ
ベラ・バラバシ（Béla Bollobás, 1943年8月3日 - ）はハンガリー生まれの英国人数学者。専門は函数解析学、組合せ論、グラフ理論、パーコレーション理論。.
新しい！!: 組合せ数学とベラ・バラバシ · 続きを見る »
ベル多項式
組合せ数学におけるベル多項式（ベルたこうしき、）とは、の名にちなむ、次の多項式で与えられる三角形配列のことである。 \left(\right)^\left(\right)^\cdots\left(\right)^.
新しい！!: 組合せ数学とベル多項式 · 続きを見る »
和算
和算（わさん）は、日本独自に発達した数学である。狭義には大いに発展した江戸時代の関孝和以降のそれを指すが、西洋数学導入以前の数学全体を指すこともある。.
アラン・ソーカル
アラン・デイヴィッド・ソーカル（Alan David Sokal、1955年1月24日 - ）は、ユニヴァーシティ・カレッジ・ロンドンの数学教授とニューヨーク大学の物理学教授を兼任する学者。専門は統計力学と組合せ数学。一般には、ポストモダニズムへの批判者として最もよく知られる。1996年、が発行する『』誌に、意図的に無意味な論文を投稿し、実際に掲載されるというソーカル事件を起こしたことで有名になった。また、疑似科学的な推論に対する非難も行っており、ポジティブ心理学で用いられる概念を批判している。.
新しい！!: 組合せ数学とアラン・ソーカル · 続きを見る »
アルキメデス
アルキメデス（Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年）は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.
新しい！!: 組合せ数学とアルキメデス · 続きを見る »
アルゴリズム
フローチャートはアルゴリズムの視覚的表現としてよく使われる。これはランプがつかない時のフローチャート。 アルゴリズム（algorithm ）とは、数学、コンピューティング、言語学、あるいは関連する分野において、問題を解くための手順を定式化した形で表現したものを言う。算法と訳されることもある。 「問題」はその「解」を持っているが、アルゴリズムは正しくその解を得るための具体的手順および根拠を与える。さらに多くの場合において効率性が重要となる。 コンピュータにアルゴリズムをソフトウェア的に実装するものがコンピュータプログラムである。人間より速く大量に計算ができるのがコンピュータの強みであるが、その計算が正しく効率的であるためには、正しく効率的なアルゴリズムに基づいたものでなければならない。.
新しい！!: 組合せ数学とアルゴリズム · 続きを見る »
インドの数学
インドの数学（インドのすうがく、Indian mathematics）とは、紀元前1200年頃から19世紀頃までのインド亜大陸において行われた数学全般を指す。.
新しい！!: 組合せ数学とインドの数学 · 続きを見る »
イサイ・シューア
イサイ・シューア（Issaj Schur, Issai Schur, יִשַׁי שׁוּר‎ Yiššáy Šūr, Иса́й "Шая" Мо́вшевич Шур, 1875年1月10日1941年1月10日）は、ドイツとイスラエルの地で活動したユダヤ系の数学者。ヘブライ語での発音はイッシャイ・シュール。 ポーランド（ベラルーシ）のモギリョフ県モギリョフ（マヒリョウ）でユダヤ系ドイツ人の子として生まれる。ベルリンで学び、1901年に博士号を取得。1903年に講師となり、ボン滞在を経て、1919年に教授となる。 現在ベラルーシ領となっているロシア帝国の一部で生まれ、ラトヴィアでも育ったが、自分自身をユダヤ人というよりはむしろドイツ人と考えていた。このため、1934年に英米の大学に招かれた時もドイツからの出国を拒んだ。 にもかかわらず、1935年、彼はユダヤ人として教職を追われ、1938年には親ナチの数学者ビーベルバッハの煽動によってプロイセン学士院から追放された。このため1939年にパレスチナへ移住し、貧困と屈辱を忍びつつ晩年を送った。彼は66歳の誕生日にテルアヴィヴで死んだ。 フロベニウスに師事し、（最も関係深い対象として）群の表現について取り組んだが組合せ論やにも、あるいは理論物理学にまでも手掛けた。今日おそらくシューアの業績として最もよく知られたものは、シューア分解の存在に関することと、群表現論に関するシューアの補題であろう。 リヒャルト・バウアー、ベルンハルト・ノイマン、ハインツ・プリューファー、リヒャルト・ラードなどの弟子がいる。シューアの講義は学生たちに非常に人気であった。1929年、ソヴィエト連邦科学アカデミーの外国人客員として選出された。 出版に際してシューアは、"I.
新しい！!: 組合せ数学とイサイ・シューア · 続きを見る »
ウィリアム・ティモシー・ガワーズ
ウィリアム・ティモシー・ガワーズ ウィリアム・ティモシー・ガワーズ (William Timothy Gowers, 1963年11月20日 -)はイギリスの数学者。ケンブリッジ大学トリニティ・カレッジ教授(Rouse Ball Professor of Mathematics)。専門は関数解析学（特にバナッハ空間論）と組み合わせ論。 業績として、組み合わせ論を関数解析学に応用し、多くの問題を解決した。特にバナッハ空間に関する等質問題の解決。シュレーダー・バーンシュタイン問題の解決。超平面問題の解決など。 バナッハ空間における業績では類を見ないほどの業績を上げている。.
新しい！!: 組合せ数学とウィリアム・ティモシー・ガワーズ · 続きを見る »
ウォータールー大学
ナダにある理工系中心の大学である。.
新しい！!: 組合せ数学とウォータールー大学 · 続きを見る »
オンライン整数列大辞典
ンライン整数列大辞典（オンラインせいすうれつだいじてん、On-Line Encyclopedia of Integer Sequences, 以下 OEIS）は、無料で利用可能な整数列（各項が整数である数列）のオンラインデータベースである。 2018年3月時点で30万を超える整数列の情報が収められており、この種のデータベースとしては最大のものである。英単語や数列の一部分を入力することにより検索ができる。各々の項目は数列の名前に始まり、由来、参考文献、公式、キーワードなどの情報を含む。その他、数列を一定の規則で変換した音楽を聞くことができるといった遊び心もあり、数学の専門家から数学パズル愛好者まで幅広い利用者の興味を集めている。 コンテンツは基本的に全て英語である（各言語版も用意されているが、一部のごく簡単なメッセージが翻訳されているに過ぎない）。.
新しい！!: 組合せ数学とオンライン整数列大辞典 · 続きを見る »
オイラーの分割恒等式
数論、組合せ論におけるオイラーの分割恒等式（オイラーのぶんかつこうとうしき）は、自然数（正の整数）を「互いに異なる自然数に分割する方法の個数」(distinct partition; 異分割) と「奇数の自然数に分割する方法の個数」(odd partotion; 奇分割) が等しいことを示す恒等式である。.
新しい！!: 組合せ数学とオイラーの分割恒等式 · 続きを見る »
グリーン関数
リーン関数（グリーンかんすう）は.
新しい！!: 組合せ数学とグリーン関数 · 続きを見る »
コンビナトリアルケミストリー
ンビナトリアルケミストリー あるいはコンビナトリアル化学（コンビナトリアルかがく、英語：combinatorial chemistry）とは、化合物誘導体群（ケミカルライブラリー、化合物ライブラリー）の合成技術と方法論に関する有機化学の一分野である。すなわち組み合わせ論に基づいて列挙し設計された一連のケミカルライブラリーを系統的な合成経路で効率的に多品種合成する為の実験手法とそれに関する研究分野である。言い換えると、一般的な合成化学は特定の目標化合物を合成する為に最適な合成方法を探究することに主眼が置かれるが、コンビナトリアルケミストリーでは一連のケミカルライブラリー全てを合成する為に最適な方法を探究する。 広義には計算化学の手法を応用し、実際に化合物を作らずに全てコンピューター上で自動発生させた構造式から成るケミカルライブラリー（バーチャルライブラリー）をシミュレーション評価（in silico実験）する場合も含む。それをバーチャルスクリーニングともいう。.
新しい！!: 組合せ数学とコンビナトリアルケミストリー · 続きを見る »
ジャン・ブルガン
ャン・ブルガン（Jean Bourgain、1954年2月28日 - ）はベルギーの数学者。専門は実解析、微分方程式、関数解析。 オーステンデ生まれ。IHÉS、イリノイ大学アーバナ・シャンペーン校などを経て、現在はニュージャージー州のプリンストン高等研究所で研究を行っている。1977年にブリュッセル自由大学で博士号を取得した。 彼の研究は解析学の様々な分野に及び、バナッハ空間の幾何学から調和解析、解析的整数論、組合せ数学、エルゴード理論、偏微分方程式までを手がけた。業績にFourier restriction norm、集約波動分離法の創始、非線形シュレディンガー方程式の球対称解、有限次元バナッハ空間の調和解析での業績がある。.
新しい！!: 組合せ数学とジャン・ブルガン · 続きを見る »
ジャン・カルロ・ロタ
ャン・カルロ・ロタ（Gian-Carlo Rota またはスペイン語で Juan Carlos Rota、1932年4月27日 - 1999年4月18日）はイタリア出身のアメリカ人数学者・哲学者。専門は函数解析学、作用素論、組合せ論。組合せ論の研究を大きく進展させたことで知られる。.
新しい！!: 組合せ数学とジャン・カルロ・ロタ · 続きを見る »
ジョン・エデンサー・リトルウッド
ョン・エデンサー・リトルウッド（John Edensor Littlewood, 1885年6月9日 - 1977年9月6日）は、イギリスの数学者。ゴッドフレイ・ハロルド・ハーディとの共同研究でよく知られる。.
新しい！!: 組合せ数学とジョン・エデンサー・リトルウッド · 続きを見る »
ジョージ・ポリア
| name.
新しい！!: 組合せ数学とジョージ・ポリア · 続きを見る »
スーパースカラー
パイプライン概念図 Alpha プロセッサを搭載 スーパースカラー(superscalar，スーパースケーラ)とは、プロセッサのマイクロアーキテクチャにおける用語で、複数の命令を同時にフェッチし、複数の同種のあるいは異種の実行ユニットを並列に動作させ、プログラムの持つ命令レベルの並列性を利用して性能の向上を図るアーキテクチャである。.
新しい！!: 組合せ数学とスーパースカラー · 続きを見る »
スキップジャック (暗号)
ップジャック（skipjack）は、アメリカ国家安全保障局(NSA)によって開発されたブロック暗号である。クリッパーチップでの使用を意図しており、当初は国家機密に分類されていた。その後、アルゴリズムは機密解除された。.
新しい！!: 組合せ数学とスキップジャック (暗号) · 続きを見る »
スターリング数
ターリング数（スターリングすう、Stirling number）は、上昇階乗冪 や 下降階乗冪 を数値の冪乗と関係づけるための級数の展開係数として、イギリスの数学者が1730年に彼の著書 Methodus Differentialis で導入した数である。スターリング数は第1種スターリング数と、第2種スターリング数に分類される。 第1種スターリング数はべき乗から階乗への変換に、第2種スターリング数は階乗からべき乗への変換に現れる。また、スターリング数は組合せ数学において意味をもった数値を与える。.
新しい！!: 組合せ数学とスターリング数 · 続きを見る »
ソロモン・ゴロム
モン・ウォルフ・ゴロム（Solomon Wolf Golomb、1932年5月30日 - 2016年5月1日 ）は、アメリカ合衆国の数学者にして工学者であり、南カリフォルニア大学電気工学教授であった。専門は、組み合わせ数学、数論、符号理論、通信など。メリーランド州ボルチモア生まれ。.
新しい！!: 組合せ数学とソロモン・ゴロム · 続きを見る »
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
置換 (数学)
数学における置換（ちかん、permutation）の概念は、いくつか僅かに異なった意味で用いられるが、いずれも対象や値を「並べ替える」ことに関するものである。有り体に言えば、対象からなる集合の置換というのは、それらの対象に適当な順番を与えて並べることを言う。例えば、集合 の置換は、 の全部で六種類ある順序組である。単語のアナグラムは、単語を構成する文字列に対する置換として定められる。そういった意味での置換の研究は、一般には組合せ論に属する話題である。 相異なる n 個の対象の置換の総数は 通りであり、これは "n!" と書いて n の階乗と呼ばれる。 置換の概念は、多かれ少なかれ（あるいは陰に陽に）、数学のほとんどすべての領域に現れる。たとえばある有限集合上に異なる順序付けが考えられる場合に、単にそれらの順番を無視したいとか、無視した時にどれほどの配置が同一視されるかを知る必要があるなどの理由で、置換が行われることも多い。同様の理由で、置換は計算機科学におけるソートアルゴリズムの研究において生じる。 代数学、特に群論において、集合 S 上の置換は S から自身への全単射（つまり写像 で S の各元が像としてちょうど一つずつ現れるもの）として定義される。これは各元 s を対応する f(s) と入れ替えるという意味での S の並び替え (rearrangement) と関連する。このような置換の全体は対称群と呼ばれる群を成す。重要なことは、置換の合成が定義できること、つまり二つの並び替えを続けて行うと、それは全体として別の並べ替えになっているということである。S 上の置換は、S の元（あるいはそれを特定の記号によって置き換えたもの）を対象として、それらに対象の並び替えとして作用する。 初等組合せ論において、「」はともに n 元集合から k 個の元を取り出す方法として可能なものを数え上げる問題に関するもので、取り出す順番を勘案するのが k-順列、順番を無視するのが k-組合せである。k.
新しい！!: 組合せ数学と置換 (数学) · 続きを見る »
群論
群論（ぐんろん、group theory）とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代～80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.
結合多元環
数学における（結合）線型環あるいは結合的代数または結合多元環（けつごうたげんかん、associative algebra）は、結合的な環であって、かつそれと両立するような、何らかの体上の線型空間（若しくはもっと一般の可換環上の加群）の構造を備えたものである。即ち、線型環 A は（結合律や分配律を含む）幾つかの公理を満足する二項演算（内部演算）としての加法と乗法を備え、同時に乗法と両立するスカラー（体 K や環 R の元）による乗法（外部演算）を備える。 分野によっては、線型環が乗法単位元 1 を持つと仮定することが典型的である場合もある。このような余分の仮定を満たすことを明らかにする場合には、そのような線型環を単型線型環（単位的（結合）多元環）と呼ぶ。.
新しい！!: 組合せ数学と結合多元環 · 続きを見る »
組合せ (数学)
数学において、組合せ（くみあわせ、combination, choose）とは、相異なる（あるいは区別可能な）いくつかの要素の集まりからいくつかの要素を（重複無く）選び出す方法である。あるいは選び出した要素をその“並べる順番の違いを区別せずに”並べたもののことである。組合せは組合せ論と呼ばれる数学の分野で研究される。卑近な例でいえば、デッキ（山札）から決まった数のカード（手札）を引くことや、ロトくじなどがその例である。.
新しい！!: 組合せ数学と組合せ (数学) · 続きを見る »
組合せ最適化
組合せ最適化（くみあわせさいてきか、combinatorial optimization、組み合わせ最適化、または組み合せ最適化とも表記される）は、応用数学や情報工学での組合せ論の最適化問題である。オペレーションズリサーチ、アルゴリズム理論、計算複雑性理論と関連していて、人工知能、数学、およびソフトウェア工学などの交差する位置にある。組合せ最適化では、厳密解が簡単に求まる場合もあれば、そうでない場合もある。厳密解を求めるのが難しいと思われる問題を解くために、その問題の解空間を探索する場合もあり、そのためのアルゴリズムでは、効率的に探索するために解空間を狭めたりすることもある。.
新しい！!: 組合せ数学と組合せ最適化 · 続きを見る »
階乗
数学において非負整数 の階乗（かいじょう、factorial） は、1 から までのすべての整数の積である。例えば、 である。空積の規約のもと と定義する。 階乗は数学の様々な場面に出現するが、特に組合せ論、代数学、解析学などが著しい。階乗の最も基本的な出自は 個の相異なる対象を一列に並べる方法（対象の置換）の総数が 通りであるという事実である。この事実は少なくとも12世紀にはインドの学者によって知られていた。は1677年にへの応用として階乗を記述した。再帰的な手法による記述の後、Stedman は（独自の言葉を用いて）階乗に関しての記述を与えている: 感嘆符(!)を用いた、この "" という表記は1808年にによって発明された。 階乗の定義は、最も重要な性質を残したまま、非整数を引数とする函数に拡張することができる。そうすれば解析学における著しい手法などの進んだ数学を利用できるようになる。.
階乗冪
数学、とくに離散数学の各分野における階乗冪（かいじょうべき、factorial powerKnuth, The Art of Computer Programming, Vol. は、冪乗によく似た演算だが、階乗のように因子が 1 ずつずれていく。階乗冪には下降階乗冪 (falling factorial) 降冪、下方階乗冪とも。と上昇階乗冪 (rising factorial) 昇冪、上方階乗冪とも。とがある。また、両方向へずらしながら積をとる類似の概念に、中心階乗冪 (central factorial) がある。 階乗冪は冪あるいは冪函数の類似であり、特殊函数論あるいは組合せ論に広く応用を持つ。.
階乗番号システム
組み合わせ論において、階乗番号システム（かいじょうばんごうシステム、factorial number systemまたfactoradic）とは、置換に番号を振るための混在基数システムである。n!未満の数を階乗番号システムに変換すると、n個の数の列が得られる。この列は、置換とみなすことができる。この変換にはLeher codeを用いても、逆引きテーブル表現として行ってもよい。 一般的な混合基数システムはゲオルク・カントールによって研究された。「階乗番号システム」という用語はドナルド・クヌースによって使用された。.
新しい！!: 組合せ数学と階乗番号システム · 続きを見る »
隣接代数 (順序理論)
数学の順序集合論において隣接代数（りんせつだいすう、incidence algebra）または接合環（せつごうかん）とは、任意の局所有限な半順序集合と単位元を持つ可換環に対して定義される結合多元環である。局所有界半順序集合の接続代数は、1964年のジャン・カルロ・ロタ(Gian-Carlo Rota)による論文に始まり、多くの組合せ論研究者により発展した。.
新しい！!: 組合せ数学と隣接代数 (順序理論) · 続きを見る »
順序組
数学における順序組（じゅんじょぐみ、ordered tuplet, ordered list etc.）あるいは単に組 とは、通常は有限な長さの列を言う。特に非負整数 に対して、 個の要素や成分などとも呼ばれる元あるいは対象を順番に並べたもは -組 と呼ぶ。.
表現 (数学)
数学における表現（ひょうげん、representation, Darstellung）とは、ある体系に対してそれを類型的に書き表すことのできる数理モデルを構成すること、あるいは構成されたモデルそのもののことを言う。公理によって定義される抽象空間、たとえばユークリッド空間のようなものに座標を入れて数の組からなる空間 Rn と見なしたり、たとえば抽象群のようなものをある具体的な空間上の変換群として表すような、扱いやすさ・具体性を増すようなものが通常は扱われる。 線型写像の行列による表現（行列表現）や、群の置換による表現（置換表現）などは典型的な表現の例である。とくに、ガロア理論（ガロアの逆問題）はガロア群を根の置換として表すという意味で表現の理論の一つであるということができる。また ''p'' 進数の概念は類体論の研究において代数関数の類似物として有理数を“表現”することによってクルト・ヘンゼルが得たものである。 構成される表現は多くの場合、もとの体系に対して何らかの意味で「潰れている」。潰れていない表現は忠実 (faithful) であるとか同型的 (isomorphic) であるなどという。忠実な表現はもちろん重要であるが、一般にはある体系の表現の全体というものを考えることによってもとの体系を「復元」することが興味の対象となる。したがって、表現の分類によってもとの体系を特徴付けることが、表現に関する理論の研究の大きな指針の一つとなる。あるいは表現の仕方に依らずに決まる性質を抽出することによって元の体系の分類を与えるようなことも考えられる。 一般に表現論と呼ばれる分野では、典型的に群や環などといった代数系（一般にはリー群やリー環のような位相を伴う系）の線型空間・射影空間あるいはもっと一般の加群などにおける表現（線型表現・射影表現）が取り扱われる。これはつまり、作用を持つ加群の理論である。そこでは抽象的な群・環を線型写像の成す群・環として、とくに有限次元空間における表現はさらに行列によって、書き表されることになり、古典群と呼ばれる一般線型群の代数的な部分群・商群たちやその上の調和解析が、関数解析学や組合せ論などの言葉を用いて展開される。線型表現などでは特に、空間に係数が考えられるため、係数の取替えによる類似の議論や類似物の構成がしばしば行われるが、標数 0 の場合の通常表現や正標数の場合のモジュラー表現などを比較すると、それらの様子は大きく変わってくる。.
新しい！!: 組合せ数学と表現 (数学) · 続きを見る »
表現論
表現論（ひょうげんろん、representation theory）とは、ベクトル空間の線型変換として代数構造を表現することにより研究し、代数構造上の加群を研究する数学の一分野である。本質的には、表現は抽象的な代数的構造を、その元と演算を行列と行列の和や行列の積で記述することで、より具体的にする。この記述で扱われる代数的対象は、群や結合代数やリー代数がある。これらの中で最も優れているものは、歴史的にも最初に現れた群の表現論であり、群の演算が群の要素が行列の積により正則行列で表現されている。 Classic texts on representation theory include and.
複体
単体複体（たんたいふくたい、simplicial complex）（略して複体（ふくたい、complex）ということもある）とは、複数の単体を、同じ次元の面（部分単体）同士で貼り合わせてできる図形である。代数的位相幾何学における単体集合は単体複体と混同されやすいが、単体集合は単体複体の圏論的な抽象化であり、単体圏からの関手として定義される概念として区別されるべきである。むしろ単体複体の性質から、各々の単体はその頂点の集合で完全に決定され、複体を頂点全体の集合とその部分集合の族の組として組合せ論的に表示することができる。この様に組合せ論的に表示された複体を抽象単体複体と呼ぶ。.
解析的
数学において解析的 (analytic) という単語は多義であり、例えば以下で用いられる：.
解析的整数論
数学において、解析的整数論（かいせきてきせいすうろん、analytic number theory）あるいは解析的数論、解析数論とは、整数についての問題を解くために解析学の手法を用いる、数論の一分野である。解析数論の始まりはペーター・グスタフ・ディリクレ (Peter Gustav Lejeune Dirichlet) がディリクレの算術級数定理の最初の証明を与えるためにディリクレの ''L''-関数を導入したときであるとしばしば言われている。（素数定理やリーマンのゼータ関数を含む）素数に関する結果や（ゴールドバッハの予想やウェアリングの問題のような）の結果が広く知られている。.
新しい！!: 組合せ数学と解析的整数論 · 続きを見る »
角谷の不動点定理
数学の解析学の分野における角谷の不動点定理（かくたにのふどうてんていり、）は、集合値函数に対する不動点定理である。ユークリッド空間のあるコンパクトな凸部分集合が不動点（すなわちそれを含む集合へ写像される点）を持つための十分条件を与える定理である。角谷の不動点定理は、ブラウワーの不動点定理の一般化である。ブラウワーの不動点定理は、ユークリッド空間のコンパクトな凸部分集合上で定義される連続函数の不動点の存在を示すものであった。角谷の定理はこれを集合値函数に拡張したものである。 この定理は角谷静夫によって1941年に証明され 、ジョン・ナッシュによりナッシュ均衡を表現するために用いられた 。その後、ゲーム理論や経済学における幅広い分野で応用されている。.
新しい！!: 組合せ数学と角谷の不動点定理 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: 組合せ数学と計算機科学 · 続きを見る »
鳩の巣原理
''n''.
新しい！!: 組合せ数学と鳩の巣原理 · 続きを見る »
重複組合せ
数学の一分野である組合せ論における重複組合せ（ちょうふくくみあわせ、じゅうふくくみあわせ、combination with repetition, multi-choose; 重複選択）は、取り出した元の並びは考慮しないが、（通常の（非重複）組合せと異なり）同じ元を複数取り出すことが許される「組合せ」を言う。例えば、（ から までの）六面サイコロを10回投げるとき、各出目が何回目に振ったときに出たものか考えなければ、サイコロの出目の「組合せ」となるが、各面のうちには複数回現れるものが存在することになる（たとえば、出目 が一回、 が三回、 が二回、 が四回であるときがその一例である）。.
新しい！!: 組合せ数学と重複組合せ · 続きを見る »
自然数の分割
数学の各分野、特に数論および組合せ論 において、正の整数 n の分割（ぶんかつ、partition）あるいは整分割 (integer partition) とは、与えられた正整数 n を正整数の和として表す方法をいう。ただし、和の因子（summand; 被加数）の順番のみが異なる分割は同じ分割とみなされる（順序をも考慮する場合は、順序つき分割または、分割ではなく合成あるいは結合 (composition) と呼ばれる概念となる）。 例えば 4 の異なる分割は次の五通りである。 このとき、順序を考慮した合成 1 + 3 は分割としては 3 + 1 と同じであり、同様に合成としては異なる 1 + 2 + 1 および 1 + 1 + 2 は分割としては 2 + 1 + 1 と同じである。 分割の各因子は部分または成分 (part) などとも呼ばれる。また、各正整数 n に対して n の分割の総数を与える函数を p(n) であらわし、n の分割数 (partition function) と呼ぶ。これによれば上記は p(4).
新しい！!: 組合せ数学と自然数の分割 · 続きを見る »
離散数学
離散数学（りさんすうがく、英語：discrete mathematics）とは、原則として離散的な（言い換えると連続でない、とびとびの）対象をあつかう数学のことである。有限数学あるいは離散数理と呼ばれることもある。 グラフ理論、組み合わせ理論、最適化問題、計算幾何学、プログラミング、アルゴリズム論が絡む応用分野で、その領域を包括的・抽象的に表現する際に用いられることが多い。またもちろん離散数学には整数論が含まれるが、初等整数論を超えると解析学などとも関係し（解析的整数論）、離散数学の範疇を超える。.
新しい！!: 組合せ数学と離散数学 · 続きを見る »
陰計算
1970年代以前の数学において "umbral calculus"（陰影の算法、陰計算（いんけいさん））は、ある種の「証明」に用いられるある種の暗喩的手法と、それとは一見して無関係のはずの多項式方程式との間に横たわる驚くべき関係についていうものであった。これらの手法は で導入されたもので、ブリサードの記号法 (Blissard's symbolic method) と呼ばれることもある。理論の展開には、この手法を広く用いたリュカ（やシルヴェスター）の貢献もある。 1930-40年代には umbral calculus に厳格な足場を築くことを試みた。 1970年代に、、ジャン・カルロ・ロタらは、多項式からなる空間上の線型汎函数を用いて umbral calculus を展開した。現在においては、umbral calculus とは（二項型およびアペル多項式列を含む）シェファー列の研究を指す言葉になっているが、それらもまた対応する系統的な和分差分学周辺の手法に包摂される。.
Magma (数式処理システム)
Magma は代数学、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。Magma という名前は代数的構造のマグマから取られている。Magma は Unix 系あるいは Linux で実行できる。または Windows でも利用することができる。.
新しい！!: 組合せ数学とMagma (数式処理システム) · 続きを見る »
NUMBERS 天才数学者の事件ファイル
『NUMBERS 天才数学者の事件ファイル』（ナンバーズ てんさいすうがくしゃのじけんファイル、原題Numb3rs、Numbers、公式にはNUMB3RS）は、アメリカ合衆国で2005年から2010年にかけて放送されていたテレビドラマである。.
新しい！!: 組合せ数学とNUMBERS 天才数学者の事件ファイル · 続きを見る »
Sequence-pair
Sequence-pair（シーケンスペア）は、矩形配置の表現方法のこと。矩形同士の相対位置関係を矩形名の順列の対により表すことができる。集積回路設計の一工程である配置計画（フロアプラン）での利用を目的として開発されたが、発見的探索法（メタヒューリスティックアルゴリズム）である焼きなまし法と組合わせて用いると、離散数学の組合せ論でNP困難な問題である矩形パッキング問題に有効なことが知られている。.
新しい！!: 組合せ数学とSequence-pair · 続きを見る »
Small set (組み合わせ論)
数学における組合せ論において small set は自然数の集合 で、次の級数 が収束するもののことである。large setとは、それ以外の集合(すなわち、件の級数が発散するもの)のことである。.
新しい！!: 組合せ数学とSmall set (組み合わせ論) · 続きを見る »
松本眞
松本 眞（まつもと まこと、1965年2月18日『読売年鑑 2016年版』（読売新聞東京本社、2016年）p. 431.
母関数
数学において、母関数（ぼかんすう、generating function; 生成関数）は、（自然数で添字付けられた）数列 に関する情報を内包した係数を持つ、形式的冪級数である。母関数は、一般線型回帰問題の解決のためにド・モアブルによって1730年に初めて用いられた。複数の自然数で添字付けられる数の配列（多重数列）の情報を取り込んだ多変数冪級数を同様に考えることもできる。 母関数には、通常型母関数、指数型母関数、ランベルト級数、ベル級数、ディリクレ級数 など様々なものがある。これらについては定義と例を後述する。原理的にはあらゆる列についてそれぞれの種類の母関数が存在する（ただし、ランベルト級数とディリクレ型は添字を 1 から始めることが必要）が、扱い易さについてはそれぞれの種類で相当異なるかもしれない。どの母関数が最も有効かは、その列の性質と解くべき問題の詳細に依存する。 母関数を、形式的冪級数に対する演算・操作を用いるなどして（級数の形ではなく）の式で表すこともよく行われる。このような母関数の表示は、母関数の不定元を x とすれば、四則演算、母関数のx に関する微分、他の母関数へ代入すること、などを行った結果として得られる。これらの操作は関数に対しても定義されるものであるし、結果として得られる式もやはり x の関数であるかのように見える。実際、母関数を x の（十分小さい）具体的な値で評価することのできる関数として解釈することができる場合も少なくない（このとき、母関数の冪級数表示は、母関数の閉じた形の式のテイラー級数と解釈される）のであり、それがこの式が「母関数」と呼ばれる所以でもある。しかし、形式的冪級数は x に何らかの数値を代入したときに収束するかどうかは問題にしないのであって、母関数についてそのような関数としての解釈が可能であるということは必ずしも要求されるものではないし、同様に x の関数として意味を持つ式がいずれも形式的冪級数に対して意味を持つわけではない。 慣例的に母「関数」と呼ばれてはいるが、始域から終域への写像という関数の厳密な意味に照らして言えば母関数は関数ではなく、今日的には生成級数（母級数）と呼ぶこともしばしばである。.
準多項式
準多項式（じゅんたこうしき、quasi-polynomial、pseudo-polynomial）は多項式を一般化したものである。多項式の係数は環の元になっているが、準多項式の係数は整数周期を持つ周期関数である。準多項式は組合せ数学の多くの理論でさまざまな対象の列挙子として用いられる。 準多項式は q(k).
新しい！!: 組合せ数学と準多項式 · 続きを見る »
有限幾何学
有限幾何学（ゆうげんきかがく）とは有限個の点から構成される幾何学の体系である。例えばユークリッド幾何学は有限幾何学でない。ユークリッド空間における「線」は無限に多くの（実際は実数と同じ濃度の)「点」を含むからである。 ユークリッド幾何は任意の次元で存在することと同様に、有限幾何も任意の(有限)次元で存在する。ただし、ユークリッド幾何とは異なり、有限幾何の場合は同じ次元でも各種の異なった(幾何学的)構造が存在し得る。.
新しい！!: 組合せ数学と有限幾何学 · 続きを見る »
数え上げの和の法則
初等組合せ論における和の法則（わのほうそく、rule of sum）あるいは加法原理 (addition principle) は基本的なの一つである。簡単に言えば、「ある試行に関する場合が 通りと別のある場合が 通りあり、それらが同時に起こることがないならば、それらの場合の選び方は 通りある」ということを述べるものである。 より厳密には、和の法則は集合に関する一つの事実「どの二つも互いに素な集合の有限個の集まりの大きさの和が、それら集合の合併の大きさに等しい」を言うものである。式で書けば が成り立つ（右辺は、族の非交和の濃度である）。.
新しい！!: 組合せ数学と数え上げの和の法則 · 続きを見る »
数え上げの積の法則
初等組合せ論における積の法則（せきのほうそく、rule of product）あるいは乗法原理 (multiplication principle) は基本的な（数え上げの基本原理）の一つである。それは、簡単に言えば「ある場合が 通り、別のある場合が 通りあるとき、それらを同時に行う場合は 通りある」ことを述べるものであるJohnston, William, and Alex McAllister.
新しい！!: 組合せ数学と数え上げの積の法則 · 続きを見る »
数え上げ数学
数学における初等組合せ論 (elementary combinatorics), 有限組合せ論 (finite combinatorics), 数え上げ組合せ論 (enumerative combinatorics) あるいは数え上げの数学（かぞえあげのすうがく、mathematics of counting）とは、一定のパターンに従って形作られる方法の総数を扱う組合せ論の一分野を言う。この種の問題の代表例が組合せと順列の総数を算えることである。より一般には、自然数で添字付けられた有限集合 の無限族が与えられたとき、各 に対する に属する元の総数を数える「計数函数」(counting function) を記述することを模索するのが数え上げ数学の主題である。特定の集合に属する元の数を算えるというのはより広汎なであるにも拘らず、そのような問題の多くは単純な組合せ論的記述に関連した応用から生じてくるのである。は順列、組合せおよび分割の数え上げに対する統一的な枠組みを与える。 最も単純な種類のパターンではそのような計数函数が、四則演算や冪あるいは階乗などの初等的な函数の合成となるような、として与えられる。例えば、 枚のカードからなる山札に対して、可能なすべての相異なる並べ方の総数は で与えられる。このような閉じた式を求める問題はとも呼ばれ、しばしば漸化式や母函数を導いてそれらを適切に解くことにより所望の閉じた形へ到達する。 閉じた形の式が複雑になると、算える対象の数の増加に伴って計数函数がどのように振る舞うかが洞察しづらくなることがよく起きる。そのような場合においては、単純な近似が有効となりうる。ここで函数 が の漸近近似である: とは、 が成り立つことを言う。.
新しい！!: 組合せ数学と数え上げ数学 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学における統一理論
数学の統一理論（すうがくのとういつりろん、unified theory of mathematics）に到達するためのいくつかの試みが歴史的に行われてきた。は、すべての主題（科目）は一つの理論に収まるべきであるという明確な展望を抱いている。.
新しい！!: 組合せ数学と数学における統一理論 · 続きを見る »
数学の年表
本項目は、純粋数学と応用数学の歴史に関する年表である。.
新しい！!: 組合せ数学と数学の年表 · 続きを見る »
数学史
数学史（すうがくし、英語：history of mathematics）とは、数学の歴史のこと。第一には、数学上の発見の起源についての研究であり、副次的な興味として、過去の数学においてどのような手法が一般的であったかや、どのような記号が使われたかなども調べられている。.
数学定数
数学定数（すうがくていすう）とは、なんらかの"面白い"性質を持った定数である。 数学定数は、ふつうは実数体か複素数体の元である。数学定数と呼ばれうるものは、一つの変項を持ち、ZFC 集合論により証明可能な論理式により、それを満足するただ一つの数として決定可能 (definable) であり、ほとんどの場合はその値が計算可能 (computable) である。 変数を斜体で表すのに対し、定数であることを明示するために、立体を使うことがある。.
新しい！!: 組合せ数学と数学定数 · 続きを見る »
数学上の未解決問題
数学上の未解決問題（すうがくじょうのみかいけつもんだい）とは未だ解決されていない数学上の問題のことである。 未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学・技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家達が証明を試みてきたような有名な命題を列挙する。.
新しい！!: 組合せ数学と数学上の未解決問題 · 続きを見る »
数理生物学
数理理論生物学(すうりりろんせいぶつがく、mathematical and theoretical biology)とは、生物学、バイオテクノロジーおよび医学にまたがる学際的な研究分野の一つである。 数理生物学（すうりせいぶつがく、mathematical biology）、または生物数学（せいぶつすうがく、biomathematics）と呼ばれることもあり、その場合は、数学的側面を強調している。また、理論生物学(理論生物学、theoretical biology)と呼ばれることもあり、その場合には、生物学的側面を強調している。 少なくとも4つの主要な亜領域、生物数学モデリング(biological mathematical modeling)、複雑システムバイオロジー(relational biology/complex systems biology(CBS))、バイオインフォマティクス(bioinformatics)、および計算機数学モデリング(computational biomodeling/biocomputing)を含む。.
新しい！!: 組合せ数学と数理生物学 · 続きを見る »
数理物理学
数理物理学（すうりぶつりがく、Mathematical physics）は、数学と物理学の境界を成す科学の一分野である。数理物理学が何から構成されるかについては、いろいろな考え方がある。典型的な定義は、Journal of Mathematical Physicsで与えているように、「物理学における問題への数学の応用と、そのような応用と物理学の定式化に適した数学的手法の構築」である。 しかしながら、この定義は、それ自体は特に関連のない抽象的な数学的事実の証明にも物理学の成果が用いられている現状を反映していない。このような現象は、弦理論の研究が数学の新地平を切り拓きつつある現在、ますます重要になっている。 数理物理には、関数解析学／量子力学、幾何学／一般相対性理論、組み合わせ論／確率論／統計力学などが含まれる。最近では弦理論が、代数幾何学、トポロジー、複素幾何学などの数学の重要分野と交流を持つようになってきている。.
新しい！!: 組合せ数学と数理物理学 · 続きを見る »
数論
数論（すうろん、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.
整数行列
数学の分野において、整数行列（せいすうぎょうれつ、）とは、すべての成分が整数であるような行列のことを言う。や零行列、単位行列、グラフ理論で用いられる隣接行列、その他多くの行列が、整数行列の例として挙げられる。整数行列は、組み合わせ論において頻繁に応用されている。.
新しい！!: 組合せ数学と整数行列 · 続きを見る »
