検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- …}）とは[[プログラミング (コンピュータ)|プログラミング]]、特に[[関数型言語|関数型プログラミング]]や[[型システム]]において使われる[[データ型]]である。それぞれの代数的データ型の[[値 (情報工学)|値]]には、1個以上の[[コンストラクタ]]があり、各コンストラクタには0個以上の[[引数] {{データ型}} …8キロバイト (291 語) - 2024年2月21日 (水) 15:04
- …ゅうしょうデータがた、{{lang-en-short|abstract data type}}、ADT）とは、データ構造とその操作手続きを定義した[[データ型]]、またはデータ抽象<ref group="注釈">データ抽象（{{lang-en-short|data abstraction}}）とは、データ型の [[Category:データ型]] …8キロバイト (285 語) - 2024年10月25日 (金) 12:56
- …帰]]により直接は現れないものもある。'''再帰データ型'''（{{lang-en-short|recursive data type}}）とは、[[データ型]]における再帰型のこと。 {{データ型}} …8キロバイト (286 語) - 2022年2月17日 (木) 17:10
ページ本文と一致
- …記され「型」と呼ばれる型を持っている「一階上の」[[単純型付きラムダ計算]]で、基本型とは[[パラメータ多相|型パラメータ]]を必要としない任意の[[データ型]]のカインドである。 カインドは「[[データ型|（データ）型]]の型」という紛らわしい説明がされることもある{{誰によって|date=2018年10月23日 (火) 12:39 (UTC)}}が、実 …8キロバイト (353 語) - 2022年5月5日 (木) 00:59
- …ゅうしょうデータがた、{{lang-en-short|abstract data type}}、ADT）とは、データ構造とその操作手続きを定義した[[データ型]]、またはデータ抽象<ref group="注釈">データ抽象（{{lang-en-short|data abstraction}}）とは、データ型の [[Category:データ型]] …8キロバイト (285 語) - 2024年10月25日 (金) 12:56
- …}）とは[[プログラミング (コンピュータ)|プログラミング]]、特に[[関数型言語|関数型プログラミング]]や[[型システム]]において使われる[[データ型]]である。それぞれの代数的データ型の[[値 (情報工学)|値]]には、1個以上の[[コンストラクタ]]があり、各コンストラクタには0個以上の[[引数] {{データ型}} …8キロバイト (291 語) - 2024年2月21日 (水) 15:04
- …帰]]により直接は現れないものもある。'''再帰データ型'''（{{lang-en-short|recursive data type}}）とは、[[データ型]]における再帰型のこと。 {{データ型}} …8キロバイト (286 語) - 2022年2月17日 (木) 17:10
- 5キロバイト (287 語) - 2023年10月11日 (水) 16:51
- 3キロバイト (259 語) - 2024年6月22日 (土) 17:02
- …al access}}) とは、[[データ構造]]や[[記憶装置]]などにおける[[データ]]への[[アクセス]]方式のひとつであり、[[コンテナ (データ型)|コンテナ]]（コレクション）または[[記憶媒体]]の先頭から順に検索しアクセスしていく。そのため、後ろに格納または記録されたデータに辿り着くまで時間 …5キロバイト (133 語) - 2024年2月10日 (土) 21:08
- 9キロバイト (438 語) - 2017年10月1日 (日) 09:19
- ここで、<code>foldTree (''f'', ''g'')</code> は[[抽象データ型|データ型]]<code>Tree ''a''</code> の catamorphism で、 <code>treeDepth</code> と<code>su …7キロバイト (489 語) - 2024年8月19日 (月) 00:45
- {{データ型}} [[Category:データ型]] …13キロバイト (1,203 語) - 2024年6月25日 (火) 13:52
- {{データ型}} [[Category:データ型]] …12キロバイト (480 語) - 2021年9月29日 (水) 04:08
- 以上の諸概念は、[[理論計算機科学]]における計算手続きの抽象化に重要な役割を果たす。データ型 {{mvar|Y}} と {{mvar|Z}} に対し、{{mvar|Z{{sup|Y}}}} は {{mvar|Y}} の型のデータを入力とし、{{ …7キロバイト (440 語) - 2023年8月11日 (金) 15:22
- …変性'''と'''反変性'''（きょうへんせいとはんぺんせい、covariance and contravariance）とは、データ[[コンテナ (データ型)|コンテナ]]のサブタイプ関係が、そのデータ要素のサブタイプ関係に連動して定義されるという概念を指す。また、関数の型のサブタイプ関係での、引数型と返り [[ジェネリックプログラミング|総称化]][[データ構造]]での共変性と反変性は、総称化されたデータ要素のサブタイプ関係を、その[[コンテナ (データ型)|コンテナ]]であるデータ構造のサブタイプ関係にどのように反映させるのかを定義するものである。総称化データ構造は、[[ジェネリックプログラミング|ジェ …18キロバイト (659 語) - 2024年3月9日 (土) 10:07
- …''（かたりろん、{{lang-en-short|Type theory}}）とは、[[プログラミング]]・[[数学]]・[[言語学]]等に現れる[[データ型|型]]の概念及びそれらが成す[[型システム]]を研究対象とする[[数学]]・[[計算機科学]]の分野である。特定の[[型システム]]のことを型理論と呼 * [[データ型]] …11キロバイト (326 語) - 2024年7月16日 (火) 03:59
- 10キロバイト (472 語) - 2024年9月7日 (土) 13:22
- * 1次元の動的[[配列]]（[[コンテナ (データ型)|コンテナ]]）として表現されるデータ構造。<!--{{see|[[数列#数列とベクトル]]}}--> …11キロバイト (293 語) - 2025年2月22日 (土) 19:29
- 5キロバイト (126 語) - 2021年12月22日 (水) 07:36
- 7キロバイト (221 語) - 2025年2月8日 (土) 23:57
- 二分木は[[プログラミング言語]]の基本的な要素を用いて構築することができる。[[データ型]]としてレコード型とポインタ型（参照型）をもったプログラミング言語では、典型的な方法では、何らかのデータと左右の子へのポインタからなるノードを組み合わ …16キロバイト (387 語) - 2024年1月25日 (木) 06:21
- {{データ型}} [[Category:データ型]] …13キロバイト (666 語) - 2023年7月28日 (金) 07:44