目次
15 関係: 双子素数、多重集合、三つ子素数、バックトラッキング、リーマン曲率テンソル、アインシュタインの縮約記法、カリー化、動的型付け、関数型プログラミング、集合、逆ポーランド記法、Haskell、Scheme、添字表記法、数式処理システム。
双子素数
双子素数（ふたごそすう、twin prime）とは、差が 2 である二つの素数の組を構成する各素数のことである。双子素数の組は、(2, 3) を除いた、最も近い素数の組である。双子素数を小さい順に並べた列は、次の通りである。 各組の2素数の平均値（中間の偶数）は、次の通りである。3連続した数 は2と3双方の倍数を含むことから、3の倍数で唯一素数である 3 を含む (3, 5) の組である 4 以外は全て 6 (。
見る Egisonと双子素数
多重集合
数学における多重集合（たじゅうしゅうごう、multiset）あるいはバッグ（bag; かばん）は、集合に同じ値の元がいくつも含まれるとき、各元がそれぞれいくつ含まれるかという重複度を考え合わせた集合概念である。非順序対、非順序組 (unordered tuple) ともいう。 クヌースによれば、1970年代に最初に多重集合 (multiset) という言葉を提案したのは、オランダ人数学者のニコラース・ホーバート・ド・ブラン (IPA) であるという クヌースは同書で、多重集合に対して提案された他の名前（例えば,リスト(list)、まとまり(bunch)、バッグ(bag)、堆積(heap)、標本(sample)、重みつき集合(weighted set)、コレクション(collection)、組(suite).など）も提示している。
見る Egisonと多重集合
三つ子素数
三つ子素数（みつごそすう、prime triplet）もしくは三つ組素数とは、3個の素数の組で、 または のタイプのもののことである。
見る Egisonと三つ子素数
バックトラッキング
バックトラッキング （backtracking）は、制約充足問題の解を探索する戦略の一種で、力まかせ探索を改良したもの。「バックトラック」という用語は、アメリカの数学者が1950年代に作った造語である。
リーマン曲率テンソル
リーマン幾何学においてリーマン曲率テンソル（リーマンきょくりつテンソル、Riemann curvature tensor）あるいはリーマン-クリストッフェルのテンソル（Riemann–Christoffel tensor）とは、リーマン多様体の曲率を表す4階のテンソルを言う。名称は、ベルンハルト・リーマンおよびエルウィン・ブルーノ・クリストッフェルに因む。 リーマン-クリストッフェルのテンソル（リーマン曲率テンソル）は重力の現代的理論である一般相対性理論における数学的な道具の中心となるものである。
アインシュタインの縮約記法
アインシュタインの縮約記法（アインシュタインのしゅくやくきほう、Einstein summation convention）またはアインシュタインの記法（アインシュタインのきほう、Einstein notation）、アインシュタインの規約（アインシュタインのきやく、Einstein convention）または総和規約は、添字 の和の記法であり、同じ項で添字が重なる場合はその添字について和を取るというルールである。この重なる指標を擬標（またはダミーの添字、）、重ならない指標を自由標（またはフリーの添字、）と呼ぶ。 一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。この記法が有用なのは、上下に同じ添字がついているときその添字に対する和（縮約）は座標変換によらないという点である。
カリー化
カリー化 (currying, カリー化された。
見る Egisonとカリー化
動的型付け
動的型付け（どうてきかたづけ、Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。 対義語は静的型付けであり、こちらでは値やオブジェクトの型安全性をコンパイル時に検証する。型の検査はソースコードの解析によって行われる。
見る Egisonと動的型付け
関数型プログラミング
関数型プログラミング（かんすうがたプログラミング、functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。 （functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（functional language）ともいう。
集合
集合（しゅうごう、set, ensemble, Menge）とは数学における概念の1つで、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。
見る Egisonと集合
逆ポーランド記法
逆ポーランド記法（ぎゃくポーランドきほう、）は、数式やプログラムの記法の一種。演算子を被演算子の後にすることから、後置記法 (Postfix Notation) とも言う。 その他の記法として、演算子を被演算子の中間に記述する中置記法、前に記述する前置記法（ポーランド記法）がある。 名称の由来は、演算子と被演算子の順序がポーランド記法の逆になっていることによる。
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。
Scheme
Scheme（スキーム）はコンピュータ・プログラミング言語 LISPの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、LISP方言に静的スコープが広められた。
添字表記法
数学およびプログラミングにおける添字表記法（そえじひょうきほう、index notation; 指数記法）あるいは添字記法とは、行列のような配列の特定の要素を示すために用いられる記法である。添字の用い方はそれを与える対象によって異なる。リスト、ベクトル、行列などデータ構造の違いによって、あるいは数学の論文を書くか、計算機のプログラムを書くかによってもその用法は異なる。
見る Egisonと添字表記法
数式処理システム
数式処理システム（すうしきしょりシステム、英文名称:Formula Manipulation System）は、コンピュータを用いて数式を記号的に処理するソフトウェアである。 例えば式の展開として (x + 1)(x + 2)。