検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- * [[計算機科学]] …1キロバイト (31 語) - 2024年2月21日 (水) 15:05
- …念でもある。[[ジェネリックプログラミング|ジェネリック]]な[[データ構造]]、関数の型、[[クラス (コンピュータ)|クラス]]の[[メソッド (計算機科学)|メソッド]]、[[ジェネリックプログラミング|ジェネリック]]な[[クラス (コンピュータ)|クラス]]、ジェネリック関数などに適用されている。 …ode>List<Animal></code>型の変数に、<code>List<Cat></code>型のインスタンスを代入する[[サブタイピング (計算機科学)|サブタイピング]]などは出来ない。 …18キロバイト (659 語) - 2024年3月9日 (土) 10:07
ページ本文と一致
- === 計算機科学 === …4キロバイト (160 語) - 2023年10月13日 (金) 13:23
- * [[計算機科学]] …1キロバイト (31 語) - 2024年2月21日 (水) 15:05
- {{Otheruses||計算機科学の用語|衝突 (計算機科学)}} …4キロバイト (91 語) - 2024年8月31日 (土) 22:57
- '''組合せ爆発'''（くみあわせばくはつ、{{lang-en-short|combinatorial explosion}}）は、[[計算機科学]]、[[応用数学]]、[[情報工学]]、[[人工知能]]などの分野では、[[解]]が[[組合せ]]（combination）的な条件で定義される離散[ …8キロバイト (131 語) - 2025年2月25日 (火) 00:46
- …おける'''構成規則'''（こうせいきそく、[[英語|英]]: Formation rule）もしくは'''形成規則'''とは、[[アルファベット (計算機科学)|アルファベット]]からなる記号列のうち、どれが当該言語で[[統語論]]的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作とい …2キロバイト (73 語) - 2022年7月21日 (木) 07:49
- …メータの比較的大雑把な限界値を指す。符号 ''C'' のパラメータとは、符号語の長さ <math>n</math>、シンボル数（[[アルファベット (計算機科学)|アルファベット]]）<math>r</math>、最小[[ハミング距離]] <math>d</math> である。 …2キロバイト (100 語) - 2023年5月11日 (木) 16:40
- 5キロバイト (232 語) - 2024年5月24日 (金) 20:26
- 文字列書き換え系の基本的形式は[[項書き換え]]系と本質的に等価である。ある[[アルファベット (計算機科学)|アルファベット]] ''A'' による文字列があり、次のような形式の部分文字列置換規則のみがあるとする。 …2キロバイト (97 語) - 2023年2月27日 (月) 11:59
- …こで ''n'' は符号語の長さ、''k'' は情報ビット数、''d'' は符号における最小[[ハミング距離]]、''q'' は[[アルファベット (計算機科学)|アルファベット]]におけるシンボル数（例えば q = 2 なら、[[バイナリ]]符号）である。[[冗長性 (情報理論)|冗長ビット]]数は ''r' …2キロバイト (84 語) - 2021年11月29日 (月) 02:55
- '''フロイドの三角形'''（フロイドのさんかっけい）は、[[計算機科学]]の教育で使用される[[自然数]]に関する配列の一種。[[イギリス]]の計算機科学者[[ロバート・フロイド]]にちなんで名付けられた。これは、階段状の …3キロバイト (175 語) - 2024年11月28日 (木) 07:02
- '''マージ''' (merge) は、「併合する」「合併する」という意味合いの英単語である。日本語では、[[計算機科学]]や[[情報工学]]の文脈でよく用いられる。これらの分野における「マージ」とは、複数の[[データベース]]や[[ファイル_(コンピュータ)|ファイル] …2キロバイト (73 語) - 2022年4月29日 (金) 21:26
- '''帰納言語'''（きのうげんご、{{lang-en-short|Recursive language}}）は、[[数学]]・[[論理学]]・[[計算機科学]]における[[形式言語]]の一種である。'''決定性言語'''(Decidable Language)、'''チューリング決定性言語'''(Turin …3キロバイト (107 語) - 2015年4月29日 (水) 05:57
- 3キロバイト (71 語) - 2024年5月17日 (金) 00:27
- 7キロバイト (489 語) - 2024年8月19日 (月) 00:45
- 6キロバイト (362 語) - 2017年11月12日 (日) 01:48
- 9キロバイト (438 語) - 2017年10月1日 (日) 09:19
- …数引数 ''n'' ≤ 101 に対して 91 を返し、''n'' > 101 に対しては <math>n - 10</math> を返す。[[計算機科学|計算機科学者]][[ジョン・マッカーシー]]が考案した<ref>{{Cite web |url=https://mathworld.wolfram.c …3キロバイト (201 語) - 2023年6月27日 (火) 12:24
- …いる記号が'''非終端記号'''で、ある種の変数名のようなものとも言える。それに対し、右辺の記号列中のみにあらわれる、いわゆる「[[アルファベット (計算機科学)|アルファベット]]」の1文字から成る記号が'''終端記号'''である。実用上は（[[プログラミング言語]]などでは）終端記号は文字そのものではなく、 * ''終端記号''([[アルファベット (計算機科学)|アルファベット]]) の集合 <math>\Sigma</math> …6キロバイト (274 語) - 2017年1月15日 (日) 14:46
- [[数学]]や[[形式言語]]に関連する分野（[[数理論理学]]と[[計算機科学]]）において、'''自由変数'''（または'''自由変項'''、{{lang-en-short|free variable}}）は[[数式]]や[[論 …7キロバイト (289 語) - 2022年8月1日 (月) 11:09
- …さんげんご、{{lang-en-short|Recursively enumerable language}}）は、[[数学]]・[[論理学]]・[[計算機科学]]における[[形式言語]]の一種である。'''部分決定性言語'''（Partially Decidable Language）、'''チューリング受理 …3キロバイト (89 語) - 2015年4月29日 (水) 05:58