语言
没有数据
通知
无通知
型を分類することができる。 単純型/複合型 最小単位の型かその組み合わせによる型か（cf. 代数的データ型） 言語定義型/ユーザ定義型 言語によって最初から提供されている型か、ユーザーが自分で定義した型か first-class/non-first-class 関数の実引数/返値として利用できる型か否か（cf
(1)再び帰ること。
（計算時間）やメモリ上に占める空間的特性などが異なるものがある。例えばリストには主に動的配列によるリストと連結リストがあり、それぞれ場面によって向き不向きがある。 コンテナクラスは一般的に以下のような操作を実装している。 新しい空のコンテナを作成する 格納しているオブジェクト（要素）の数を得る すべての要素を取り除く（空にする）
再帰性（さいきせい）とは、以下のような意味に用いられる。それぞれ全く別個の概念ではなく、一部重なる部分もある。 （英語Recursivity、再帰）数学・哲学・言語学・コンピュータ科学等で、「『「絵を描く人の絵」を描く人の絵』を描く人の絵を…」のように同じ構造（例では「絵を描く人の」）を繰り返しあて
左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を展開した結果、その先頭（最も左）にその非終端記号自身があらわれるような再帰のことである。
抽象データ型（ちゅうしょうデータがた、英: abstract data type、ADT）とは、データ構造とその操作手続きを定義したデータ型、またはデータ抽象の方法の1つ。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作のまとまりである。
〖data〗
それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値（またはm-同値）であるという。 多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A
搜索 
