コンピュータサイエンス用語集

このコンピュータサイエンス用語集は、コンピュータサイエンス、その下位分野、および関連分野で使用される用語と概念の定義を一覧にしたものです。ソフトウェア、データサイエンス、コンピュータプログラミングに関連する用語も含まれています。。

抽象データ型（ADT）

データ型の数学的モデルであり、データ型は、データの利用者の視点から、その動作（意味論）によって定義されます。具体的には、取りうる値、その型のデータに対する可能な操作、およびこれらの操作の動作によって定義されます。これは、実装者の視点からデータを具体的に表現するデータ構造とは対照的です。

抽象メソッド

署名のみで実装本体を持たないもの。サブクラスがメソッドの実装を提供する必要があることを指定する場合によく使用されます。抽象メソッドは、一部のコンピュータ言語でインターフェースを指定するために使用されます。^{[ 1 ]}

抽象化

1.ソフトウェア工学やコンピュータ科学において、対象やシステムの研究において、物理的、空間的、時間的な詳細^{[ 2 ]}や属性を取り除き、関心のある他の詳細にさらに注意を向けるプロセス^{[ 3 ]}。また、その性質は一般化のプロセスと非常によく似ている。  

2.このプロセスの結果：さまざまな具体的な対象や研究システムに共通の特徴や属性を保持することによって作成された抽象的な概念-オブジェクト。 ^{[ 3 ]}  

エージェントアーキテクチャ

ソフトウェアエージェントとインテリジェント制御システムのコンポーネントの配置を示す設計図。インテリジェントエージェントによって実装されるアーキテクチャは、認知アーキテクチャと呼ばれます。^{[ 4 ]}

エージェントベースモデル（ABM）

自律エージェント（個人または組織やグループなどの集合体）の行動と相互作用をシミュレーションし、システム全体への影響を評価するための計算モデルの一種。ゲーム理論、複雑系、創発、計算社会学、マルチエージェントシステム、進化プログラミングの要素を組み合わせたものである。モンテカルロ法を用いてランダム性を導入する。

集計関数

データベース管理において、複数の行の値をグループ化して、合計、カウント、最大値など、より重要な意味や測定値を持つ単一の値を形成する機能。 ^{[ 5 ]}

アジャイルソフトウェア開発

要件とソリューションが、自己組織化されたクロスファンクショナルチームとその顧客/エンドユーザーの協働作業を通じて進化するソフトウェア開発のアプローチ。^{[ 6 ]}適応的な計画、進化的な開発、早期納品、継続的改善を提唱し、変化への迅速かつ柔軟な対応を奨励する。^{[ 7 ]}

アルゴリズム

アルゴリズムとは、ある種類の問題を解決するための明確な方法を示すものです。アルゴリズムは、計算、データ処理、自動推論などのタスクを実行できます。コンピューター技術において、アルゴリズムは至るところで用いられています。

アルゴリズム設計

問題解決やアルゴリズムの設計のための方法または数学的プロセス。アルゴリズムの設計は、動的計画法や分割統治法など、オペレーションズリサーチの多くの解法理論の一部です。アルゴリズムの設計と実装のためのテクニックは、テンプレートメソッドパターンやデコレータパターンなど、アルゴリズム設計パターンとも呼ばれます^{[ 8 ] 。}

アルゴリズムの効率性

アルゴリズムの特性の一つで、アルゴリズムが使用する計算リソースの数に関係する。アルゴリズムのリソース使用量を把握するには、そのアルゴリズムを分析する必要があり、アルゴリズムの効率は、様々なリソースの使用状況に基づいて測定できる。アルゴリズムの効率は、反復的または連続的なプロセスにおけるエンジニアリング生産性に類似していると考えることができる。

アメリカ情報交換標準コード（ASCII）

電子通信における文字コード規格。ASCIIコードは、コンピュータ、通信機器、その他のデバイスでテキストを表現するために使用されます。現代の文字コード方式のほとんどはASCIIをベースとしていますが、多くの追加文字もサポートしています。

アプリケーションプログラミングインターフェース（API）

ソフトウェア構築のためのサブルーチン定義、通信プロトコル、およびツール群。一般的に言えば、様々なコンポーネント間の通信方法を明確に定義した一連のものです。優れたAPIは、プログラマーがそれらを組み合わせてプログラムを作成するための構成要素をすべて提供することで、コンピュータプログラムの開発を容易にします。

アプリケーションソフトウェア

コンピュータソフトウェアとは、ユーザーの利益のために、一連の協調的な機能、タスク、またはアクティビティを実行するように設計されたものです。アプリケーションの一般的な例としては、ワードプロセッサ、スプレッドシート、会計アプリケーション、ウェブブラウザ、メディアプレーヤー、航空フライトシミュレータ、コンソールゲーム、写真編集ソフトなどがあります。これは、主にコンピュータの最も基本的な実行操作の管理に関与し、多くの場合ユーザーからの直接的な入力を必要としないシステムソフトウェアとは対照的です。集合名詞のアプリケーションソフトウェアは、すべてのアプリケーションをまとめて指します。 ^{[ 9 ]}

配列データ構造

要素（値または変数）の集合からなるデータ構造で、各要素は少なくとも 1 つの配列インデックスまたはキーによって識別されます。配列は、各要素の位置がインデックスタプルから数式によって計算できるように格納されます。^{[ 10 ] [ 11 ] [ 12 ]}最も単純なタイプのデータ構造は、線形配列、または一次元配列です。

アーチファクト

ソフトウェア開発中に生成される、数多くの具体的な副産物の1つ。ユースケース、クラス図、その他の統一モデリング言語（UML）モデル、要件、設計ドキュメントなどの成果物は、ソフトウェアの機能、アーキテクチャ、設計を記述するのに役立ちます。プロジェクト計画、ビジネスケース、リスク評価など、開発プロセス自体に関わる成果物もあります。

人工知能（AI）

人工知能は、人間や他の動物が示す自然知能とは対照的に、機械によって示される知能である。コンピュータ科学では、AI研究は「インテリジェントエージェント」の研究と定義される。インテリジェントエージェントとは、周囲の環境を認識し、目標達成の可能性を最大化する行動をとることができるデバイスのことである。^{[ 13 ]}口語的には、「人工知能」という用語は、機械が「学習」や「問題解決」など、人間が他の人間の心と関連付ける「認知」機能を模倣する場合に用いられる。^{[ 14 ]}

ASCII

米国情報交換標準規格を参照してください。

主張

コンピュータプログラミングにおいて、述語（ブール値関数、つまり真偽式）がコード実行のその時点で常に真であることを示すステートメント。これは、プログラマがコードを読みやすくしたり、コンパイラがコンパイルしやすくしたり、プログラムが自身の欠陥を検出したりするのに役立ちます。後者の場合、一部のプログラムは実行中に実際に述語を評価することでアサーションをチェックし、それが実際には真でない場合（アサーション失敗）、プログラムは自身に問題があると判断し、通常は意図的にクラッシュするか、アサーション失敗例外をスローします。

連想配列

連想配列、マップ、シンボルテーブル、または辞書は、 （キー、値）ペアのコレクションで構成される抽象データ型であり、各可能なキーはコレクション内に最大で 1 回出現します。このデータ型に関連付けられた操作は、次のことを可能にします。^{[ 15 ] [ 16 ]}

• コレクションに一組追加
• コレクションからペアを削除する
• 既存のペアの変更
• 特定のキーに関連付けられた値の検索

オートマタ理論

抽象機械とオートマトン、およびそれらを用いて解決できる計算問題の研究。理論計算機科学および離散数学（数学と計算機科学の両方で研究される分野）における理論である。

自動推論

推論のさまざまな側面を理解することに特化した、コンピュータ科学と数理論理学の一分野。自動推論の研究は、コンピュータが完全に、あるいはほぼ完全に自動的に推論できるプログラムの開発に役立つ。自動推論は人工知能のサブ分野とみなされているが、理論計算機科学や哲学とも関連がある。

帯域幅

特定の経路におけるデータ転送の最大速度。帯域幅は、ネットワーク帯域幅^{[ 17 ]} 、データ帯域幅^{[ 18 ]}、またはデジタル帯域幅^{[ 19 ] [ 20 ]}として特徴付けられることがあります。

ベイズプログラミング

必要な情報が少ない場合に、確率モデルを規定し、問題を解決するための手法を確立するための形式体系と方法論。

ベンチマーク

コンピュータ プログラム、一連のプログラム、またはその他の操作を実行して、通常は多数の標準テストと試行を実行することによって、対象の相対的なパフォーマンスを評価する行為。 ^{[ 21 ]}ベンチマークという用語は、精巧に設計されたベンチマーク プログラム自体の目的でもよく使用されます。

最良の場合、最悪の場合、平均的な場合

与えられたアルゴリズムにおけるリソース使用量が、それぞれ最小、最大、平均でどのくらいであるかを表す式。通常、考慮されるリソースは実行時間、つまり時間計算量ですが、メモリやその他のリソースの場合もあります。最良ケースは、 n個の要素を持つ入力データに対して最小のステップ数を実行する関数です。最悪ケースは、 n個の要素を持つ入力データに対して最大のステップ数を実行する関数です。平均ケースは、 n個の要素を持つ入力データに対して平均的なステップ数を実行する関数です。

ビッグデータ

従来のデータ処理アプリケーションソフトウェアでは適切に処理できないほど大規模または複雑なデータセットを指す用語。ケース（行）が多いデータは統計的検出力が高い一方、複雑度が高いデータ（属性や列が多いデータ）は偽発見率が高くなる可能性がある。^{[ 22 ]}

ビッグオー記法

引数が特定の値または無限大に近づくときの関数の極限挙動を記述する数学的記法。これは、ポール・バッハマン^{[ 23 ]}、エドモンド・ランダウ[ ^{24 ]ら}が考案した記法のファミリーの一員であり、総称してバッハマン・ランダウ記法または漸近記法と呼ばれている。

バイナリ数

数学やデジタルエレクトロニクスでは、2 進数システムまたはバイナリ数システムで表現される数値で、通常は0 (ゼロ)と1 (イチ)の 2 つの記号のみを使用します。

二分探索アルゴリズム

ソートされた配列内で目的の値の位置を見つける検索アルゴリズム。^{[ 28 ]}

二分木

各ノードが 最大で 2 つの子を持つツリーデータ構造。左の子供と右の子。集合論ののみを使用した再帰的な定義は、(空でない)二分木はタプル(L、S、R)であり、LとRは二分木または空集合、S単一要素集合である。 ^{[ 29 ]}一部の著者は、二分木が空集合である場合もあるとしている。 ^{[ 30 ]}

バイオインフォマティクス

生物学、コンピュータ科学、情報工学、数学、統計学を融合させ、生物学的データの分析と解釈のための手法やソフトウェアツールを開発する学際分野。バイオインフォマティクスは、数学的・統計的手法を用いて生物学的疑問をコンピュータ上で解析する際に広く利用されている。

少し

コンピューティングやデジタル通信で使用される情報の基本単位。バイナリ数字の合成語。バイナリ数字は2つの可能な値のいずれかを持つことができ、物理的には2状態デバイスで表現できます。これらの状態値は、最も一般的には0または1で表現されます。^{[ 31 ]}

ビットレート（R）

電気通信およびコンピューティングにおいて、単位時間あたりに伝送または処理されるビット数。 ^{[ 32 ]}

ブラックリスト

コンピューティングにおいて、ホワイトリストとは、禁止要素のリストに明示的に記載されている要素を除き、すべての要素（メールアドレス、ユーザー名、パスワード、URL、IPアドレス、ドメイン名、ファイルハッシュなど）のアクセスを許可する基本的なアクセス制御メカニズムです。リストに記載されている要素はアクセスが拒否されます。その反対はホワイトリストで、使用されているゲートにリストに記載されている要素のみが通過を許可され、その他の要素はすべてブロックされます。グレーリストには、追加の手順が実行されるまで一時的にブロックされる（または一時的に許可される）要素が含まれます。

BMPファイル形式

ビットマップデジタル画像をディスプレイデバイス（グラフィックアダプタなど）とは独立して保存するために使用されるラスターグラフィックス画像ファイル形式で、特にMicrosoft Windows ^{[ 33 ]}およびOS/2 ^{[ 34 ]}オペレーティングシステムで使用されます。

ブール型データ

論理とブール代数の2 つの真偽値を表すことを目的とした、2 つの可能な値 (通常はtrueとfalse で表される) のいずれかを持つデータ型。19世紀半ばに代数的な論理体系を初めて定義したGeorge Booleにちなんで名付けられました。ブールデータ型は主に条件文に関連付けられており、プログラマが指定したブール条件が true か false かに応じて制御フローを変更することで、異なるアクションを実行できます。 ^{[ 35 ]}これは、より一般的な論理データ型(命題論理を参照)の特殊なケースです。つまり、論理は必ずしもブールである必要はありません。

ブール式

プログラミング言語で使用される式で、評価すると真または偽のいずれかのブール値を返します。ブール式は、ブール定数trueまたはfalse、ブール型変数、ブール値演算子、およびブール値関数の組み合わせで構成できます。^{[ 36 ]}

ブール代数

数学および数理論理学において、変数の値が真偽値である代数の分野であり、通常はそれぞれ1と0 で表される。変数の値が数値であり、基本的な演算が加算と乗算である初等代数とは異なり、ブール代数の主な演算は、論理積and (∧ で表される)、論理和or (∨ で表される)、および否定not (¬ で表される) である。^{[ 37 ]}したがって、初等代数が数値関係を記述するのと同様に、論理関係を記述するための形式体系である。

バイト

バイトは、バイナリ数を表す8ビットで構成されるデジタル情報の単位です。歴史的に、バイトはコンピュータでテキストの1文字をエンコードするために使用されるビット数でした^{[ 38 ] [ 39 ]。}そのため、多くのコンピュータアーキテクチャでは、アドレス指定可能な最小のメモリ単位となっています。

起動中

コンピュータまたはコンピュータ機器が使用可能になるまでの起動手順。これは、ボタンを押すなどのハードウェア操作、またはソフトウェアコマンドによって開始されます。電源が投入された直後、コンピュータは比較的単純な状態であり、読み取り専用メモリと呼ばれるストレージの一部しか読み取ることができません。そこには、ファームウェアと呼ばれる小さなプログラムが格納されています。ファームウェアは、電源投入時の自己診断テストを実行し、最も重要なことに、ハードディスクやメインメモリなどの他の種類のメモリへのアクセスを可能にします。ファームウェアは、より大きなプログラムをコンピュータのメインメモリにロードして実行します。

折り返し電話

引数として渡され、指定された時間に引数を「コールバック」（実行）することが期待される実行可能コード。この実行は、同期コールバックのように即座に行われる場合もあれば、非同期コールバックのように後から行われる場合もある。

中央処理装置（CPU）

コンピュータ内部の電子回路で、命令によって指定された基本的な算術演算、論理演算、制御、および入出力（I/O）操作を実行することにより、コンピュータプログラムの命令を実行する。コンピュータ業界では、少なくとも1960年代初頭から「中央処理装置」という用語が使われてきた。 ^{[ 40 ]}従来、「CPU」という用語はプロセッサ、より具体的にはその処理ユニットと制御ユニット（CU）を指し、コンピュータのこれらのコア要素をメインメモリやI/O回路などの外部コンポーネントと区別している。^{[ 41 ]}

キャラクター

自然言語の書き言葉におけるアルファベットや音節文字など、文字素、文字素に似た単位、または記号にほぼ対応する情報単位。^{[ 42 ]}

CI/CD

参照：継続的インテグレーション（CI）／継続的デリバリー（CD）。

暗号

暗号学において、暗号化または復号化を実行するためのアルゴリズムとは、手順として実行できる一連の明確に定義されたステップのことである。

クラス

オブジェクト指向プログラミングでは、オブジェクトを作成するための拡張可能なプログラムコードテンプレートであり、状態（メンバ変数）の初期値と動作（メンバ関数またはメソッド）の実装を提供します。^{[ 43 ] [ 44 ]}多くの言語では、クラス名はクラス（テンプレート自体）の名前、クラスのデフォルトコンストラクタ（オブジェクトを作成するサブルーチン）の名前、およびクラスをインスタンス化することによって生成されるオブジェクトの型として使用されます。これらの異なる概念は混同されやすいです。^{[ 44 ]}

クラスベースプログラミング

オブジェクト指向プログラミング（OOP）の一種で、継承はオブジェクト自体ではなく、オブジェクトの「クラス」を定義することによって行われる（プロトタイプベースプログラミングと比較）。

クライアント

サーバーが提供するサービスにアクセスするコンピュータのハードウェアまたはソフトウェア。サーバーは多くの場合（常にではないが）、別のコンピュータ システム上にあり、その場合、クライアントはネットワーク経由でサービスにアクセスする。^{[ 45 ]}この用語は、クライアント/サーバー モデルでプログラムまたはデバイスが果たす役割に適用される。

クリーンルームソフトウェアエンジニアリング

認証可能なレベルの信頼性を備えたソフトウェアを生成することを目的としたソフトウェア開発プロセス。クリーンルームプロセスは、元々はハーラン・ミルズとIBMのアラン・ヘブナーを含む数人の同僚によって開発されました。^{[ 46 ]}クリーンルームプロセスの焦点は、欠陥の除去ではなく、欠陥の予防にあります。

閉鎖

第一級関数を持つ言語で字句スコープの名前バインディングを実装するための手法。操作的には、クロージャは関数^{[ a ]}と環境を格納するレコードである。 ^{[ 47 ]}

クラウドコンピューティング

クラウドコンピューティングとは、構成可能なコンピュータシステムリソースと上位レベルのサービスを共有プールとして提供し、多くの場合インターネット経由で、最小限の管理作業で迅速にプロビジョニングできるものです。クラウドコンピューティングは、公共事業と同様に、リソースの共有によって一貫性と規模の経済性を実現します。

コードライブラリ

コンピュータプログラムが使用する不揮発性リソースの集合で、多くの場合、ソフトウェア開発に使用されます。これには、構成データ、ドキュメント、ヘルプデータ、メッセージテンプレート、事前に記述されたコードとサブルーチン、クラス、値、型仕様などが含まれます。IBMのOS/360とその後継システムでは、これらはパーティションデータセットと呼ばれます。

コーディング

コンピュータプログラミングとは、特定の計算タスクを実行するための実行可能なコンピュータプログラムを設計および構築するプロセスです。プログラミングには、分析、アルゴリズムの生成、アルゴリズムの精度とリソース消費のプロファイリング、選択したプログラミング言語でのアルゴリズムの実装（一般的にコーディングと呼ばれる）などのタスクが含まれます^{[ 48 ] [ 49 ]}。プログラムのソースコードは、1つ以上のプログラミング言語で記述されます。プログラミングの目的は、与えられた問題を解決するためのタスクの実行を自動化する一連の命令を見つけることです。したがって、プログラミングのプロセスでは、アプリケーションドメインの知識、特殊なアルゴリズム、形式論理など、さまざまな分野の専門知識が必要になることがよくあります。

符号理論

符号の特性と、それぞれの特定の用途への適合性を研究する学問。符号は、データ圧縮、暗号化、誤り検出と訂正、データ伝送、データ保存などに用いられる。情報理論、電気工学、数学、言語学、コンピュータ科学など、様々な科学分野で、効率的で信頼性の高いデータ伝送方法を設計するために符号が研究されている。これには通常、冗長性の除去、伝送データの誤りの訂正または検出が含まれる。

認知科学

心とその過程に関する学際的な科学的研究。 ^{[ 50 ]}認知（広義）の性質、課題、機能を調査する。認知科学者は、神経系が情報をどのように表現、処理、変換するかに焦点を当てて、知能と行動を研究する。認知科学者が関心を持つ精神的機能には、言語、知覚、記憶、注意、推論、感情などがあり、これらの機能を理解するために、認知科学者は言語学、心理学、人工知能、哲学、神経科学、人類学などの分野から知識を借りる。 ^{[ 51 ]}

コレクション

コレクションまたはコンテナとは、解決しようとしている問題に対して何らかの共通の意味を持ち、何らかの制御された方法でまとめて操作する必要がある、可変数（場合によってはゼロ）のデータ項目のグループです。一般的に、データ項目は同じ型であるか、継承をサポートする言語では共通の祖先型から派生しています。コレクションは抽象データ型に適用できる概念であり、具体的なデータ構造としての特定の実装を規定するものではありませんが、多くの場合、慣習的な選択肢が存在します（型理論については「コンテナ」の項を参照）。

カンマ区切り値（CSV）

カンマで値を区切る区切りテキストファイル。CSVファイルは、表形式データ（数値とテキスト）をプレーンテキストで格納します。ファイルの各行はデータレコードです。各レコードは、カンマで区切られた1つ以上のフィールドで構成されます。フィールド区切り文字としてカンマを使用することが、このファイル形式の名前の由来です。

コンパイラ

コンパイラとは、あるプログラミング言語（ソース言語）で書かれたコンピュータコードを別のプログラミング言語（ターゲット言語）に変換するコンピュータプログラムです。コンパイラは、主にコンピュータなどのデジタルデバイスをサポートする翻訳ツールの一種です。コンパイラという名称は、主に高水準プログラミング言語のソースコードを低水準言語（アセンブリ言語、オブジェクトコード、マシンコードなど）に変換して実行可能なプログラムを作成するプログラムに使用されます。^{[ 52 ]}

計算可能性理論

再帰理論とも呼ばれるこの分野は、数理論理学、コンピュータ科学、計算理論の一分野であり、1930年代に計算可能関数とチューリング次数の研究から始まった。その後、この分野は一般化された計算可能性と定義可能性の研究を含むように拡大した。これらの領域において、再帰理論は証明論や有効記述集合論と重なり合う。

計算

^{計算[ 53 ] [ 54 ]}は、算術的ステップと非算術的ステップの両方を含み、明確に定義されたモデル（例えばアルゴリズム）に従うあらゆる種類の計算です。計算の研究は、コンピュータ科学の分野にとって最も重要です。

計算生物学

生物学的、生態学的、行動的、および社会的システムの研究に、データ分析および理論的手法、数理モデル、および計算シミュレーション技術の開発と応用が含まれます。 ^{[ 55 ]}この分野は広く定義されており、生物学、応用数学、統計学、生化学、化学、生物物理学、分子生物学、遺伝学、ゲノミクス、コンピュータ科学、および進化の基礎が含まれます。^{[ 56 ]} 計算生物学は、コンピュータ工学と生物学を使用してコンピュータを構築するコンピュータ科学およびコンピュータ工学のサブ分野である生物学的コンピューティングとは異なります。

計算化学

化学の一分野であり、コンピュータシミュレーションを用いて化学問題を解決する。理論化学の手法を効率的なコンピュータプログラムに組み込み、分子や固体の構造と性質を計算する。

計算複雑性理論

計算科学の一分野であり、計算問題をその固有の難易度に基づいて分類し、それらの分類を相互に関連付けることに焦点を当てています。計算問題とは、コンピュータによって解決されるタスクのことです。計算問題は、アルゴリズムなどの数学的手順を機械的に適用することによって解決できます。

計算モデル

計算科学における数学モデルで、コンピュータシミュレーションによって複雑なシステムの挙動を研究するために膨大な計算リソースを必要とする。^{[ 57 ]}

計算神経科学

神経系の発達、構造、生理機能、認知能力を支配する原理を理解するために、数学モデル、理論分析、脳の抽象化を用いる神経科学の一分野。^{[ 58 ] [ 59 ] [ 60 ] [ 61 ]}

計算物理学

計算物理学は、すでに定量的な理論が存在する物理学の問題を解決するために数値解析を研究し、実装するものです。^{[ 62 ]}歴史的に、計算物理学は科学における現代コンピュータの最初の応用であり、現在では計算科学のサブセットとなっています。

計算科学

高度なコンピューティング能力を用いて複雑な問題を理解し解決する学際的な分野。多くの分野にまたがる科学領域であるが、その核心は、複雑な自然システムを理解するためのコンピュータモデルとシミュレーションの開発にある。

コンピューターによる操舵

本来は自律的に行​​われる計算処理に手動で介入し、その結果を変更する行為。

コンピューター

コンピュータプログラミングによって、算術演算や論理演算のシーケンスを自動的に実行するように指示できる装置。現代のコンピュータは、プログラムと呼ばれる一連の汎用的な操作を実行する能力を備えている。これらのプログラムによって、コンピュータは非常に幅広いタスクを実行できる。

コンピュータアーキテクチャ

コンピュータシステムの機能、構成、実装を記述する一連の規則と方法。アーキテクチャの定義の中には、コンピュータの機能とプログラミングモデルを記述するもので、特定の実装を記述するものではないと定義するものもあります。^{[ 63 ]}また、別の定義では、コンピュータアーキテクチャには、命令セットアーキテクチャ設計、マイクロアーキテクチャ設計、論理設計、実装が含まれます。^{[ 64 ]}

コンピュータデータストレージ

デジタルデータを保存するために使用されるコンピュータ部品と記録媒体からなる技術。データストレージは、現代のすべてのコンピュータシステムのコア機能であり、基本的な構成要素である。^{[ 65 ]： 15-16}

コンピュータ倫理

コンピューター専門家が職業上および社会的な行動に関してどのように意思決定を行うべきかに関する実践哲学の一部。 ^{[ 66 ]}

コンピュータグラフィックス

コンピュータを用いて作成された画像や映像。通常、この用語は、専用のグラフィックハードウェアとソフトウェアを用いて作成されたコンピュータ生成画像データを指します。これは、コンピュータ科学における広範かつ比較的新しい分野です。

コンピュータネットワーク

ノード間で リソースを共有できるデジタル通信ネットワーク。コンピュータネットワークでは、コンピューティングデバイスはノード間の接続（データリンク）を使用して相互にデータを交換します。これらのデータリンクは、有線ケーブルや光ファイバーケーブルなどの有線媒体、またはWi-Fiなどの無線媒体を介して確立されます。

コンピュータプログラム

コンピュータが特定のタスクを実行するために実行できる命令の集合体です^{[ 67 ] 。}

コンピュータプログラミング

特定の計算タスクを実行するための実行可能なコンピュータプログラムを設計および構築するプロセス。プログラミングには、分析、アルゴリズムの生成、アルゴリズムの精度とリソース消費のプロファイリング、選択したプログラミング言語でのアルゴリズムの実装（一般的にコーディングと呼ばれる^{[ 48 ] [ 49 ]}）などのタスクが含まれます。プログラムのソースコードは、1つ以上のプログラミング言語で記述されます。プログラミングの目的は、与えられた問題を解決するためのタスクの実行を自動化する一連の命令を見つけることです。したがって、プログラミングのプロセスでは、アプリケーションドメインの知識、特殊なアルゴリズム、形式論理など、さまざまな分野の専門知識が必要になることがよくあります。

コンピュータサイエンス

コンピュータの設計と使用の基礎となる理論、実験、および工学。デジタル情報を処理、保存、および伝達するアルゴリズムの研究を含む。コンピュータ科学者は、計算理論と計算システムの設計を専門とする。^{[ 68 ]}

コンピュータ科学者

情報と計算の理論的基礎とその応用を研究するコンピュータ科学の知識を習得した人。

コンピュータセキュリティ

コンピュータシステムを、ハードウェア、ソフトウェア、または電子データの盗難や損傷から保護すること、およびコンピュータシステムが提供するサービスの妨害や誤用から保護すること。

コンピュータビジョン

コンピュータがデジタル画像や動画から高度な理解を得る方法を扱う学際的な科学分野。工学的な観点からは、人間の視覚システムが実行できるタスクを自動化することを目指している。^{[ 70 ] [ 71 ] [ 72 ]}

コンピューティング

コンピューティングとは、コンピューター機器を必要とする、コンピューター機器から恩恵を受ける、またはコンピューター機器を作成する、あらゆる目標指向活動を指します。これには、アルゴリズム処理の研究やハードウェアとソフトウェアの両方の開発が含まれます。コンピューティングには、科学的、工学的、数学的、技術的、社会的な側面があります。主要なコンピューティング分野には、コンピューター工学、コンピューター科学、サイバーセキュリティ、データ科学、情報システム、情報技術、ソフトウェア工学などがあります。^{[ 73 ]}

連結

文字通りには「連鎖」または物事を結合するプロセス。形式言語理論とコンピュータプログラミングでは、文字列連結は文字文字列を端から端まで結合する操作です。たとえば、「snow」と「ball」を連結すると「snowball」になります。^{[ 74 ]}文字列理論とも呼ばれる連結理論の特定の形式化では、文字列連結は原始的な概念です。

並行処理

プログラム、アルゴリズム、または問題の異なる部分またはユニットを、最終結果に影響を与えることなく、順不同または部分的な順序で実行できる能力。これにより、並行ユニットの並列実行が可能になり、マルチプロセッサおよびマルチコアシステムでの実行全体の速度を大幅に向上させることができます。より技術的な用語では、並行性とは、プログラム、アルゴリズム、または問題を、順序に依存しない、または部分的に順序付けられたコンポーネントまたはユニットに分解できる特性を指します。^{[ 75 ]}

条件付き

プログラミング言語の機能の一つで、プログラマが指定したブール条件が真か偽かによって、異なる計算や動作を実行する。分岐述語の場合を除き、これは常に何らかの条件に基づいて制御フローを選択的に変更することによって実現される。

容器

は、インスタンスが他のオブジェクトのコレクションであるクラス、データ構造、^{[ 76 ] [ 77 ]}または抽象データ型（ADT）です。言い換えれば、特定のアクセス規則に従ってオブジェクトを整理された方法で格納します。コンテナのサイズは、含まれるオブジェクト（要素）の数によって決まります。さまざまなコンテナタイプの基盤となる（継承された）実装は、サイズと複雑さが異なる場合があり、特定のシナリオに適した実装を選択する際の柔軟性を提供します。

継続的デリバリー（CD）

短サイクルで高速かつ高頻度にソフトウェアを開発することで、信頼性の高いソフトウェアをいつでもリリースでき、展開を決定した際にはシンプルで再現性の高い展開プロセスを実現する。

継続的デプロイメント（CD）

新しいソフトウェア機能の自動展開。

継続的インテグレーション（CI）

ソースコードを統合する作業は頻繁に変更されるため、統合されたコードベースが常に動作可能な状態であることを確認する必要がある。

継続伝達型スタイル（CPS）

継続の形で制御が明示的に渡される関数型プログラミングのスタイル。これは、通常のプログラミングスタイルである直接スタイルとは対照的です。ジェラルド・ジェイ・サスマンとガイ・L・スティール・ジュニアが、Schemeプログラミング言語の最初のバージョンを説明したAI Memo 349 (1975)でこのフレーズを造語しました。^{[ 78 ] [ 79 ]}

制御フロー

命令型プログラムにおける個々のステートメント、命令、または関数呼び出しが実行または評価される順序。明示的な制御フローを重視する点が、命令型プログラミング言語と宣言型プログラミング言語を区別する特徴である。

クリエイティブ・コモンズ（CC）

アメリカの非営利団体で、他の人が合法的に利用したり共有したりできるクリエイティブ作品の範囲を拡大することに専念している。^{[ 80 ]}この団体は、クリエイティブ・コモンズ・ライセンスとして知られるいくつかの著作権ライセンスを一般に無料で公開している。

暗号学

暗号学とは、敵対者と呼ばれる第三者の存在下で安全な通信を行うための技術の実践と研究のことである。^{[ 81 ]}より一般的には、暗号学とは、第三者や一般の人々がプライベートメッセージを読み取ることを防ぐプロトコルの構築と分析に関するものである。 ^{[ 82 ]}データ機密性、データ完全性、認証、否認防止^{[ 83 ]}などの情報セキュリティのさまざまな側面は​​、現代の暗号学の中心である。現代の暗号学は、数学、コンピュータ科学、電気工学、通信科学、物理学の分野の交差点に存在する。暗号学の応用には、電子商取引、チップベースの決済カード、デジタル通貨、コンピュータのパスワード、軍事通信などがある。

CSV

カンマ区切り値を参照してください。

サイバーいじめ

電子的な手段を用いたいじめや嫌がらせの一形態。

サイバースペース

広く普及し、相互接続されたデジタル技術。

デーモン

マルチタスクのコンピュータオペレーティングシステムでは、デーモン（/ ˈdiːmən /または/ ˈdeɪmən /）^{[ 84 ]}は、対話型ユーザーの直接制御下にあるのではなく、バックグラウンドプロセスとして実行されるコンピュータプログラムです。従来、デーモンのプロセス名は、そのプロセスが実際にデーモンであることを明確にし、デーモンと通常のコンピュータプログラムを区別するために、文字dで終わります。たとえば、syslogdはシステムログ機能を実装するデーモンであり、sshdは着信SSH接続を処理するデーモンです。

データ

データセンター

コンピュータシステムおよび通信システムやデータストレージシステムなどの関連コンポーネントを収容するために使用される専用スペース。一般的に、冗長またはバックアップコンポーネント、電源、データ通信接続、環境制御（空調や消火など）、およびさまざまなセキュリティデバイスのためのインフラストラクチャが含まれます。^{[ 85 ]}

データベース

一般的にコンピュータシステムから電子的に保存およびアクセスされる、整理されたデータの集合体。データベースがより複雑な場合、多くの場合、形式的な設計およびモデリング手法を用いて開発される。

データマイニング

データマイニングは、コンピュータサイエンスと統計学の学際的なサブフィールドであり、データセットから（インテリジェントな方法で）情報を抽出し、その情報を理解可能な構造に変換してさらに利用することを全体的な目標としています。^{[ 86 ] [ 87 ] [ 88 ] [ 89 ]}データマイニングは、 「データベースにおける知識発見」プロセス、つまりKDDの分析ステップです。^{[ 90 ]}生の分析ステップの他に、データベースとデータ管理の側面、データ^の前処理、モデルと推論の考慮事項、興味深さの指標、複雑性の考慮事項、発見^{された構造の}後処理、視覚化、およびオンライン更新も含まれます。^{[ 86 ]}

データサイエンス

データサイエンスは、データマイニングと同様に、さまざまな形式の構造化データと非構造化データから知識と洞察を抽出するために、科学的方法、プロセス、アルゴリズム、システムを使用する学際的な分野です。 ^{[ 91 ] [ 92 ]}データサイエンスは、データを使用して「実際の現象を理解し分析する」ために、「統計、データ分析、機械学習、およびそれらに関連する方法を統合する概念」です。^{[ 93 ]}数学、統計学、情報科学、コンピュータ科学のコンテキスト内で、多くの分野から引き出された技術と理論を採用しています。

データ構造

効率的なアクセスと変更を可能にするデータ編成、管理、および保存形式。^{[ 94 ] [ 95 ] [ 96 ]}より正確には、データ構造とは、データ値、それらの間の関係、およびデータに適用できる関数または操作の集合である。^{[ 97 ]}

データ型

コンパイラやインタプリタにプログラマがデータをどのように使用するつもりかを伝えるデータの属性。ほとんどのプログラミング言語は、実数、整数、ブール値といった一般的なデータ型をサポートしています。データ型は、変数や関数などの式が取り得る値を制約します。このデータ型は、データに対して実行できる操作、データの意味、およびその型の値を格納できる方法を定義します。式がその値を取得できる値の型。^{[ 98 ] [ 99 ]}

デバッグ

コンピュータプログラム内の欠陥や問題を発見し、解決するプロセス。これらの欠陥や問題は、コンピュータソフトウェアまたはシステム全体の正常な動作を妨げる。デバッグ手法には、対話型デバッグ、制御フロー解析、単体テスト、統合テスト、ログファイル解析、アプリケーションレベルまたはシステムレベルでの監視、メモリダンプ、プロファイリングなどが含まれる。

宣言

コンピュータプログラミングにおいて、宣言は識別子のプロパティを指定する言語構造であり、単語（識別子）が「何を意味するか」を宣言します。^{[ 100 ]}宣言は、関数、変数、定数、クラスに最も一般的に使用されますが、列挙や型定義などの他のエンティティにも使用できます。^{[ 100 ]}名前（識別子自体）とエンティティの種類（関数、変数など）に加えて、宣言は通常、データ型（変数と定数の場合）または型シグネチャ（関数の場合）を指定します。型には、配列などの次元も含まれる場合があります。宣言は、コンパイラにエンティティの存在を知らせるために使用されます。これは、関数、変数、定数、およびそれらの型を、使用前に宣言で指定する必要がある、厳密に型付けされた言語では重要であり、前方宣言で使用されます。^{[ 101 ]}「宣言」という用語は、「定義」という用語とよく対比されますが、^{[ 100 ]}意味と使用法は言語によって大きく異なります。

デジタルデータ

情報理論および情報システムにおいて、情報または作品の離散的かつ不連続な表現。数字と文字が一般的に用いられる表現方法である。

デジタル信号処理（DSP）

コンピュータやより専門的なデジタル信号プロセッサなどを用いたデジタル処理によって、多種多様な信号処理操作を実行すること。このように処理される信号は、時間、空間、周波数などの領域における連続変数のサンプルを表す一連の数値である。

離散イベントシミュレーション（DES）

システムの動作を、時間的に離散的な一連のイベントとしてモデル化したもの。各イベントは特定の瞬間に発生し、システムの状態変化を示す。 ^{[ 102 ]}連続するイベントの間には、システムの変化は発生しないと想定されるため、シミュレーションは時間的に直接あるイベントから次のイベントにジャンプすることができる。

ディスクストレージ

（ドライブストレージとも呼ばれる）は、1枚または複数枚の回転ディスクの表面層に、電子的、磁気的、光学的、または機械的な変化を加えることでデータを記録するストレージ機構の総称です。ディスクドライブは、このようなストレージ機構を実装した装置です。代表的なものとしては、取り外し不可能なディスクを内蔵したハードディスクドライブ（HDD）、フロッピーディスクドライブ（FDD）とその取り外し可能なフロッピーディスク、そして各種光ディスクドライブ（ODD）とその関連光ディスクメディアなどが挙げられます。

分散コンピューティング

分散システムを研究するコンピュータ科学の分野。分散システムとは、コンポーネントが異なるネットワークコンピュータ上に配置され、メッセージを相互に渡すことで通信し、動作を調整するシステムのことです。 ^{[ 103 ]}コンポーネントは、共通の目標を達成するために相互に作用します。分散システムの 3 つの重要な特徴は、コンポーネントの並行性、グローバルクロックの欠如、およびコンポーネントの独立した障害です。^{[ 103 ]}分散システムの例は、 SOA ベースのシステムから大規模マルチプレイヤーオンラインゲーム、ピアツーピアアプリケーションまで多岐にわたります。

分割統治アルゴリズム

多分岐再帰に基づくアルゴリズム設計パラダイム。分割統治アルゴリズムは、問題を再帰的に同じまたは関連するタイプの2つ以上のサブ問題に分解し、それらが直接解決できるほど単純になるまで分解を繰り返すことで機能します。そして、サブ問題の解を組み合わせることで、元の問題の解が得られます。

DNS

ドメインネームシステムを参照してください。

ドキュメント

コンピュータソフトウェアに付属する、またはソースコードに組み込まれている文章や図。ソフトウェアの動作原理や使用方法を説明するものであり、役割の異なる人々にとっては異なる意味を持つ場合がある。

ドメイン

コンピュータプログラムの対象となる主題領域です。これはソフトウェアエンジニアリングで使用される用語です。正式には、狭義または広義に定義された特定のプログラミングプロジェクトの対象となる主題を表します。^{[ 104 ]}

ドメインネームシステム（DNS）

インターネットまたはプライベートネットワークに接続されたコンピュータ、サービス、その他のリソースのための、階層的かつ分散型の命名システムです。参加する各エンティティに割り当てられたドメイン名に、さまざまな情報を関連付けます。最も重要なのは、覚えやすいドメイン名を、基盤となるネットワークプロトコルを使用してコンピュータサービスやデバイスを特定・識別するために必要な数値IPアドレスに変換することです。世界規模の分散型ディレクトリサービスを提供することで、ドメインネームシステム（DNS）は1985年以来、インターネットの機能に不可欠な要素となっています。

倍精度浮動小数点形式

コンピュータの数値形式の一つ。浮動小数点を用いて、幅広い数値範囲を表現する。

ダウンロード

コンピュータネットワークでは、通常はWebサーバー、FTPサーバー、電子メールサーバー、その他の同様のシステムなどのサーバー^{[ 105 ]}などのリモートシステムからデータを受信することを指します。これは、データをリモートサーバーに送信するアップロードとは対照的です。ダウンロードとは、ダウンロード用に提供されているファイル、またはダウンロードされたファイル、あるいはそのようなファイルを受信するプロセスを指します。

エッジデバイス

企業またはサービスプロバイダの中核ネットワークへの入り口を提供するデバイス。例としては、ルータ、ルーティングスイッチ、統合アクセスデバイス（IAD）、マルチプレクサ、およびさまざまなメトロポリタンエリアネットワーク（MAN）およびワイドエリアネットワーク（WAN）アクセスデバイスが挙げられます。エッジデバイスは、キャリアおよびサービスプロバイダのネットワークへの接続も提供します。ローカルエリアネットワークを高速スイッチまたはバックボーン（ATMスイッチなど）に接続するエッジデバイスは、エッジコンセントレータと呼ばれることがあります。

エミュレータ

あるコンピュータシステム（ホストと呼ばれる）が、別のコンピュータシステムのように動作することを可能にするハードウェアまたはソフトウェア。

暗号化

暗号学において、暗号化とは情報を符号化するプロセスです。このプロセスでは、平文と呼ばれる情報の元の表現を、暗号文と呼ばれる別の形式に変換します。理想的には、許可された者のみが暗号文を平文に復号して元の情報にアクセスできます。暗号化自体は干渉を防ぐものではありませんが、傍受しようとする者に対して理解可能な内容を否定します。技術的な理由から、暗号化方式では通常、アルゴリズムによって生成された擬似乱数暗号鍵を使用します。鍵を持っていなくてもメッセージを復号することは可能ですが、適切に設計された暗号化方式では、相当な計算リソースとスキルが必要です。許可された受信者は、発信者から受信者に提供された鍵を使用してメッセージを容易に復号できますが、許可されていないユーザーにはできません。歴史的に、さまざまな形式の暗号化が暗号学を支援するために使用されてきました。初期の暗号化技術は、軍事メッセージでよく使用されていました。それ以来、新しい技術が登場し、現代のコンピューティングのあらゆる分野で一般的になっています。^{[ 106 ]}現代の暗号化方式は、公開鍵と対称鍵の概念を利用しています。^{[ 106 ]}現代の暗号化技術は、現代のコンピュータが暗号化を解読するのに非効率的であるため、セキュリティを保証します。

イベント

ソフトウェアによって認識される動作または事象であり、多くの場合、外部環境から非同期的に発生し、ソフトウェアによって処理される可能性があります。イベントは、動作と、その動作をトリガーするコンテキスト変数をカプセル化するエンティティであるため、「E xecution Variable E ncapsulating N amed T rigger」（実行変数カプセル化名付きトリガー）という頭文字略語が、この概念を明確にするためによく使用されます。

イベント駆動型プログラミング

プログラムの流れが、ユーザーの操作（マウスのクリック、キーの押下）、センサーの出力、または他のプログラムやスレッドからのメッセージなどのイベントによって決定されるプログラミングパラダイム。イベント駆動型プログラミングは、グラフィカルユーザーインターフェイスや、ユーザー入力に応じて特定のアクションを実行することを中心としたその他のアプリケーション（JavaScript Webアプリケーションなど）で使用される主要なパラダイムです。これは、デバイスドライバのプログラミング（USBデバイスドライバスタックのPなど^{[ 107 ]} ）にも当てはまります。

進化計算

生物進化に着想を得たグローバル最適化アルゴリズム群、およびこれらのアルゴリズムを研究する人工知能とソフトコンピューティングの分野。技術的には、メタヒューリスティックまたは確率的最適化の特性を持つ、集団ベースの試行錯誤型問題解決アルゴリズム群である。

実行可能

コンピュータに「エンコードされた命令に従って指定されたタスクを実行させる」^{[ 108 ]。}これは、プログラムによって解析されて意味を持つデータファイルとは対照的である。正確な解釈は使用法によって異なり、「命令」は従来、物理CPUのマシンコード命令を意味すると解釈されてきたが、一部の文脈では、バイトコードやスクリプト言語命令を含むファイルも実行可能とみなされることがある。

実行

コンピュータおよびソフトウェア工学において、実行とは、コンピュータまたは 仮想マシンがコンピュータプログラムの命令を実行するプロセスを指します。プログラムの各命令は、特定の問題を解決するために実行されるべき特定のアクションを記述したものです。プログラムの命令、ひいてはそれらが記述するアクションが実行マシンによって実行されると、実行される命令の意味論に従って特定の効果が生じます。

例外処理

計算中に例外（異常または例外的な状況で、特別な処理が必要となり、多くの場合、プログラム実行の通常の流れを中断させる）が発生した場合に対応するプロセス。これは、特殊なプログラミング言語の構成要素、割り込みなどのコンピュータハードウェア機構、またはシグナルなどのオペレーティングシステムのIPC機能によって提供される。

存在検出

ファイル読み込み前に存在チェックを行うことで、致命的なエラーを検出したり、防止したりできる。

表現

プログラミング言語において、1つ以上の定数、変数、演算子、関数の組み合わせを、プログラミング言語が（独自の優先順位と関連規則に従って）解釈し、計算して別の値を生成する（状態を持つ環境では「返す」）処理のことです。この処理は、数式の場合と同様に、評価と呼ばれます。

耐障害性コンピュータシステム

耐障害性の概念に基づいて設計されたシステム。つまり、エラーや故障が発生した場合でも、満足のいくレベルで動作を継続できる必要がある。

実現可能性調査

既存の事業または提案された事業の強みと弱み、自然環境に存在する機会と脅威、実行に必要なリソース、そして最終的には成功の見込みを客観的かつ合理的に明らかにすることを目的とした調査。^{[ 109 ] [ 110 ]}最も単純な言い方をすれば、実現可能性を判断する2つの基準は、必要なコストと達成される価値である。^{[ 111 ]}

分野

レコードと呼ばれる複数の部分からなるデータは、フィールドに分割できます。リレーショナルデータベースでは、データはデータベースレコードの集合（行）として整理されます。各レコードは複数のフィールドで構成され、すべてのレコードのフィールドが列を形成します。フィールドの例としては、名前、性別、髪の色などがあります。

ファイル名拡張子

コンピュータファイル名の末尾に付加される識別子。拡張子は、ファイルの内容や用途を示す特徴を表す。

フィルター（ソフトウェア）

ストリームを処理して別のストリームを生成するコンピュータプログラムまたはサブルーチン。単一のフィルタは単独で使用することもできますが、パイプラインを形成するために複数連結されることもよくあります。

浮動小数点演算

コンピュータにおいて、浮動小数点演算 (FP) は、範囲と精度のトレードオフをサポートするために、実数を数式表現で近似的に表す演算です。このため、浮動小数点演算は、非常に小さい実数と非常に大きい実数を含むシステムでよく見られ、高速な処理時間が求められます。一般に、数値は固定数の有効桁数(仮数) で近似的に表され、固定基数での指数を使用してスケーリングされます。スケーリングの基数は通常、2、10、または 16 です。正確に表すことができる数値は、次の形式になります。

${\displaystyle {\text{仮数}}\times {\text{底}}^{\text{指数}},}$

ここで、仮数は整数、底は2以上の整数、指数も整数です。例：

${\displaystyle 1.2345=\underbrace {12345} _{\text{significand}}\times \underbrace {10} _{\text{base}}\!\!\!\!\!\!^{\overbrace {-4} ^{\text{exponent}}}.}$

forループ

繰り返し処理を指定するための制御フロー文で、コードを繰り返し実行できるようにします。この文を指定するにはさまざまなキーワードが使用されます。ALGOLの派生言語では「for」、 Fortranの派生言語では「do」が使用されます。その他にも、 COBOLでは「PERFORM VARYING」など、いくつかの方法があります。

形式手法

ソフトウェアおよびハードウェアシステムの仕様、開発、検証のための数学的手法のセット。^{[ 112 ]}ソフトウェアおよびハードウェア設計に形式手法を使用する動機は、他の工学分野と同様に、適切な数学的解析を実行することで設計の信頼性と堅牢性に貢献できるという期待に基づいている。^{[ 113 ]}

形式検証

特定の形式仕様または特性に関して、システムの根底にある意図されたアルゴリズムの正しさを、形式数学の方法を用いて証明または反証する行為。^{[ 114 ]}

関数型プログラミング

プログラミングパラダイムとは、コンピュータプログラムの構造と要素を構築するスタイルであり、計算を数学関数の評価として扱い、状態や可変データの変更を避けるものです。これは宣言型プログラミングパラダイムであり、ステートメントの代わりに式や宣言^{[ 115 ]}を使用してプログラミングを行います。

ゲーム理論

合理的な意思決定者間の戦略的相互作用の数学的モデルの研究。 ^{[ 116 ]}論理学やコンピュータ科学だけでなく、社会科学のあらゆる分野に応用されている。元々は、各参加者の利益または損失が他の参加者のそれと完全に釣り合うゼロサムゲームを扱っていた。今日では、ゲーム理論は幅広い行動関係に適用され、人間、動物、コンピュータにおける論理的意思決定の科学を包括する用語となっている。

入力がゴミなら出力もゴミ（GIGO）

不完全な入力データや意味不明な入力データからは、意味不明な出力、つまり「ゴミ」が生成されるという概念を表す用語。また、プログラミングの厳しさ、つまり、不適切なプログラムでは意味不明な動作が発生する可能性があるという点も指す。

グラフィック交換フォーマット

ギガバイト

デジタル情報の単位であるバイトの倍数。接頭辞「ギガ」は、国際単位系（SI）において10⁹を意味します。したがって、1ギガバイトは1,000,000,000バイトです。^{ギガバイト}の単位記号はGBです。

グローバル変数

コンピュータプログラミングにおいて、グローバルスコープを持つ変数とは、シャドウイングされていない限り、プログラム全体を通して可視（したがってアクセス可能）な変数のことです。すべてのグローバル変数の集合は、グローバル環境またはグローバル状態と呼ばれます。コンパイル言語では、グローバル変数は一般的に静的変数であり、その範囲（有効期間）はプログラムの実行時間全体です。一方、インタプリタ言語（コマンドラインインタプリタを含む）では、グローバル変数は事前にわからないため、宣言時に動的に割り当てられるのが一般的です。

グラフ理論

数学において、グラフとは、オブジェクト間のペアワイズな関係をモデル化するために使用される数学的構造の研究である。この文脈におけるグラフは、頂点（ノードまたは点とも呼ばれる）と、それらを接続するエッジ（リンクまたは線とも呼ばれる）から構成される。エッジが2つの頂点を対称的に結ぶ無向グラフと、エッジが2つの頂点を非対称的に結ぶ有向グラフとが区別される。

ハンドル

コンピュータプログラミングにおいて、ハンドルとは、アプリケーションソフトウェアがデータベースやオペレーティングシステムなどの別のシステムによって管理されているメモリブロックやオブジェクトを参照する際に使用される、リソースへの抽象的な参照のことです。

難しい問題

計算複雑性理論は、計算問題をその固有の難易度に基づいて分類し、これらの分類間の関係を明らかにすることに焦点を当てています。計算問題とは、コンピュータによって解決されるタスクのことです。計算問題は、アルゴリズムなどの数学的手順を機械的に適用することによって解決できます。

ハッシュ関数

ハッシュ関数とは、任意のサイズのデータ​​を固定サイズのデータ​​にマッピングするために使用できる関数です。ハッシュ関数が返す値は、ハッシュ値、ハッシュコード、ダイジェスト、または単にハッシュと呼ばれます。ハッシュ関数は、コンピュータソフトウェアで高速なデータ検索に使用される一般的なデータ構造であるハッシュテーブルと組み合わせて使用​​されることがよくあります。ハッシュ関数は、大きなファイル内の重複レコードを検出することで、テーブルまたはデータベースの検索を高速化します。

ハッシュテーブル

コンピューティングにおいて、ハッシュテーブル（ハッシュマップ）は、連想配列という抽象データ型を実装するデータ構造であり、キーを値にマッピングできる構造です。ハッシュテーブルはハッシュ関数を用いて、バケットまたはスロットの配列へのインデックスを計算し、そこから目的の値を見つけ出します。

ヒープ

ヒープの性質を満たす、ほぼ完全な^{[ 117 ]}木である特殊な木ベースのデータ構造： PがCの親ノードである場合、Pのキー（値）は、（最大ヒープでは）Cのキー以上、または（最小ヒープでは）Cのキー以下である。 ^{[ 118 ]}ヒープの「トップ」にあるノード（親を持たないノード）はルートノードと呼ばれる。

ヒープソート

比較に基づくソートアルゴリズム。ヒープソートは、改良された選択ソートと考えることができます。このアルゴリズムと同様に、入力をソート済み領域と未ソート領域に分割し、最大の要素を抽出してそれをソート済み領域に移動することで、未ソート領域を繰り返し縮小します。改良点は、最大値を見つけるために線形時間探索ではなくヒープデータ構造を使用することです。 ^{[ 119 ]}

人間とコンピュータのインタラクション（HCI）

ヒューマン・コンピュータ・インタラクション（HCI）は、コンピュータ技術の設計と利用、特に人（ユーザー）とコンピュータ間のインターフェースに焦点を当てた研究分野です。HCIの研究者は、人間がコンピュータとどのように相互作用するかを観察するとともに、人間がコンピュータと新しい方法で相互作用できる技術を設計します。研究分野として、HCIはコンピュータ科学、行動科学、デザイン、メディア研究、その他いくつかの学問分野の交差点に位置しています。

識別子

コンピュータ言語において、識別子は言語エンティティに名前を付けるトークン（シンボルとも呼ばれる）です。識別子が示す可能性のあるエンティティの種類には、変数、型、ラベル、サブルーチン、パ​​ッケージなどがあります。

IDE

統合開発環境。

画像処理

命令型プログラミング

プログラムの状態を変更するステートメントを用いるプログラミングパラダイム。自然言語における命令法がコマンドを表現するのとほぼ同じように、命令型プログラムはコンピュータが実行するコマンドで構成されます。命令型プログラミングは、プログラムの動作方法を記述することに重点を置いています。

段階的構築モデル

製品の設計、実装、テストを段階的に（毎回少しずつ機能を追加しながら）進め、製品を完成させるソフトウェア開発手法。開発と保守の両方が含まれる。製品は、すべての要件を満たした時点で完成とみなされる。このモデルは、ウォーターフォールモデルの要素とプロトタイピングの反復的な考え方を組み合わせたものである。

情報空間分析

チーム中心の取り組みに必要なリソースを特定し評価するための、機械知能によって強化された決定論的な手法。

情報視覚化

継承

オブジェクト指向プログラミングにおいて、オブジェクトやクラスを別のオブジェクト（プロトタイプベース継承）またはクラス（クラスベース継承）に基づいて構築し、同様の実装を維持するメカニズム。また、既存のクラス（スーパークラスまたは基底クラス）から新しいクラス（サブクラス）を派生させ、それらをクラス階層に形成することとも定義される。

入出力（I/O）

情報処理システム（コンピュータなど）と外部世界（人間や他の情報処理システムなど）との間の通信。入力とはシステムが受信する信号またはデータであり、出力とはシステムから送信される信号またはデータである。この用語は動作の一部としても使用される。「I/Oを実行する」とは、入力または出力操作を実行することである。

挿入ソート

最終的なソート済み配列（またはリスト）を、一度に1つの項目ずつ構築するシンプルなソートアルゴリズム。

命令サイクル

中央処理装置（CPU）が、起動からコンピュータのシャットダウンまで命令を処理するために行う一連の動作サイクル。フェッチ段階、デコード段階、実行段階の3つの主要な段階から構成される。

整数

整数データ型とは、数学的な整数の範囲を表すデータ型です。整数データ型はサイズが異なり、負の値を含むことができる場合とできない場合があります。コンピュータでは、整数は通常、2進数（ビット）のグループとして表現されます。グループのサイズは異なるため、使用できる整数のサイズはコンピュータの種類によって異なります。仮想マシンを含むコンピュータハードウェアは、プロセッサレジスタまたはメモリアドレスを整数として表現する方法をほぼ必ず提供します。

統合開発環境（IDE）

コンピュータプログラマーがソフトウェア開発を行うための包括的な機能を提供するソフトウェアアプリケーション。IDEは通常、少なくともソースコードエディタ、ビルド自動化ツール、およびデバッガで構成される。

統合テスト

（統合テストとも呼ばれ、I&T と略される）は、ソフトウェア テストのフェーズで、個々のソフトウェア モジュールを組み合わせてグループとしてテストするものです。統合テストは、システムまたはコンポーネントが指定された機能要件に準拠しているかどうかを評価するために実施されます。^{[ 120 ]}これは、単体テストの後、検証テストの前に行われます。統合テストは、単体テスト済みのモジュールを入力として受け取り、それらをより大きな集合体にグループ化し、統合テスト計画で定義されたテストをそれらの集合体に適用し、システム テストの準備ができた統合システムを出力として提供します。^{[ 121 ]}

知的財産（IP）

人間の知性の無形の創造物を含む法的財産のカテゴリー。^{[ 122 ] [ 123 ]}知的財産には多くの種類があり、国によって認識している種類が異なります。^{[ 124 ] [ 125 ] [ 126 ] [ 127 ] [ 128 ]}最もよく知られている種類は、著作権、特許、商標、営業秘密です。

インテリジェントエージェント

人工知能において、インテリジェントエージェント（IA）とは、センサーによる観測とそれに伴うアクチュエータを用いて環境上で活動し、目標達成に向けて行動する自律的な実体（すなわちエージェント）を指します（すなわちインテリジェントである）。 ^{[ 129 ]}インテリジェントエージェントは、目標を達成するために学習したり知識を利用したりすることもできます。非常に単純なものから非常に複雑なものまであります。サーモスタットのような反射機械は、インテリジェントエージェントの一例と考えられています。^{[ 130 ]}

インタフェース

コンピュータシステムの2つ以上の独立したコンポーネント間で情報が交換される共有境界。情報交換は、ソフトウェア、コンピュータハードウェア、周辺機器、人間、およびこれらの組み合わせの間で行われる可能性がある。^{[ 131 ]}タッチスクリーンなどの一部のコンピュータハードウェアデバイスは、インターフェースを介してデータの送受信の両方を行うことができるが、マウスやマイクなどの他のデバイスは、特定のシステムにデータを送信するためのインターフェースのみを提供する場合がある。^{[ 132 ]}

内部文書

コンピュータソフトウェアは、コードの各部分がどのように、そしてなぜ動作するのかについての注釈がソースコード内にコメントとして含まれている場合、内部ドキュメントを備えていると言われます。多くの場合、将来のプログラマーがコードの動作を理解できるように、意味のある変数名と組み合わせて使用​​されます。これは、プログラマーが注釈や説明を別の文書に記述する外部ドキュメントとは対照的です。

インターネット

インターネットプロトコルスイート（TCP/IP）を使用して世界中のデバイスを接続する、相互接続されたコンピュータネットワークのグローバルシステム。これは、ローカルからグローバル規模までのプライベート、パブリック、学術、ビジネス、政府ネットワークから構成されるネットワークのネットワークであり、幅広い電子、無線、および光ネットワーク技術によって接続されています。

インターネットボット

インターネット上で自動化されたタスク（スクリプト）を実行するソフトウェアアプリケーション。^{[ 133 ]}通常、ボットは、人間が単独で行うよりもはるかに高い速度で、単純かつ構造的に反復的なタスクを実行します。ボットの最大の用途は、ウェブ スパイダリング（ウェブ クローラー）であり、自動化されたスクリプトが、人間の何倍もの速度でウェブ サーバーから情報を取得、分析、ファイル化します。

通訳者

プログラミング言語またはスクリプト言語で記述された命令を、事前に機械語プログラムにコンパイルする必要なく、直接実行するコンピュータプログラム。

不変

プログラムの実行中、あるいはその一部において、常に真であると信頼できる不変条件が存在することがあります。これは、実行のある特定の段階において常に真であるとみなされる論理的な主張です。例えば、ループ不変条件とは、ループの実行の開始時と終了時に常に真となる条件のことです。

反復

反復とは、結果を生成するためにプロセスを繰り返し行うことです。この一連の処理は、ある終点または終値に近づきます。プロセスの各繰り返しは1回の反復であり、各反復の結果は次の反復の開始点となります。数学やコンピュータサイエンスにおいて、反復（および関連する再帰）はアルゴリズムの標準的な要素です。

Java

Javaは、クラスベースでオブジェクト指向の汎用プログラミング言語です[ 134 ^{]（ただし}、純粋なオブジェクト指向言語ではありません^{[ 135 ]} ）。実装依存性をできるだけ少なくするように設計されています。アプリケーション開発者が「一度書けばどこでも実行できる」（WORA）^{[ 136 ]}ことを可能にすることを目的としており、コンパイルされたJavaコードは、再コンパイルの必要なく、Javaをサポートするすべてのプラットフォームで実行できます^{[ 137 ] 。}

カーネル

オペレーティングシステムのメモリに最初にロードされる部分。オペレーティングシステムの中心となるカーネルは、小さく、効率的で、上書きされないようにメモリ内の保護された領域にロードされる必要がある。ディスクドライブ管理、ファイル管理、メモリ管理、プロセス管理など、重要なタスクを担当する。

図書館（コンピュータ）

コンピュータプログラムが使用する不揮発性リソースの集合体。多くの場合、ソフトウェア開発に用いられる。これには、構成データ、ドキュメント、ヘルプデータ、メッセージテンプレート、事前に作成されたコードとサブルーチン、クラス、値、型仕様などが含まれる。

線形探索

リスト内の要素を検索する方法。一致する要素が見つかるか、リスト全体が検索されるまで、リストの各要素を順番にチェックします。^{[ 138 ]}

リンクリスト

データ要素の線形集合であり、その順序はメモリ内の物理的な配置によって決まるものではありません。代わりに、各要素は次の要素を指し示します。これは、一連の要素を表すノードの集合からなるデータ構造です。

リンカ

またはリンクエディタは、コンパイラまたはアセンブラによって生成された1 つ以上のオブジェクト ファイルを受け取り、それらを単一の実行可能ファイル、ライブラリファイル、または別の「オブジェクト」ファイルに結合するコンピュータユーティリティプログラムです。出力を直接メモリに書き込むより単純なバージョンはローダーと呼ばれますが、ロードは通常、別のプロセスと見なされます。^{[ 139 ]}

リスト

リストは、数えられる数の順序付けられた値を表す抽象データ型であり、同じ値が複数回出現する可能性があります。リストのインスタンスは、有限シーケンスという数学的概念のコンピュータ表現です。リストの（潜在的に）無限の類似物はストリームです。^{[ 140 ]： §3.5リストは、他の値を含むため、}コンテナの基本的な例です。同じ値が複数回出現する場合、それぞれの出現は個別の項目とみなされます。

ローダ

オペレーティングシステムにおいて、プログラムやライブラリのロードを担当する部分。プログラムをメモリにロードし、実行準備を整えるため、プログラム起動プロセスにおける重要な段階の一つです。プログラムのロードとは、プログラム命令を含む実行可能ファイルの内容をメモリに読み込み、実行可能ファイルを実行可能な状態にするために必要なその他の準備作業を行うことです。ロードが完了すると、オペレーティングシステムはロードされたプログラムコードに制御を渡すことでプログラムを起動します。

論理エラー

コンピュータプログラミングにおいて、プログラムが正しく動作しないものの、異常終了（クラッシュ）には至らないバグのこと。論理エラーは、意図しない、あるいは望ましくない出力やその他の動作を引き起こすが、必ずしもすぐにそれがエラーであると認識されるとは限らない。

論理プログラミング

論理プログラミング言語の一種で、主に形式論理に基づいています。論理プログラミング言語で書かれたプログラムは、ある問題領域に関する事実や規則を表現する論理形式の文の集合です。主要な論理プログラミング言語ファミリーには、 Prolog、アンサーセットプログラミング（ASP）、およびDatalogがあります。

機械学習（ML）

コンピュータシステムが明示的な指示を使用せずに、パターンと推論に頼って特定のタスクを実行するために使用するアルゴリズムと統計モデルの科学的研究。これは人工知能のサブセットと見なされています。機械学習アルゴリズムは、 「トレーニングデータ」として知られるサンプルデータに基づいて数学モデルを構築し、タスクを実行するように明示的にプログラムされることなく予測や決定を行います。^{[ 141 ] [ 142 ]}

マシンビジョン（MV）

マシンビジョンとは、自動検査、プロセス制御、ロボット誘導などの用途向けに、画像ベースの自動検査および分析を提供するために使用される技術と手法であり、通常は産業分野で使用されます。マシンビジョンは、多くの技術、ソフトウェアおよびハードウェア製品、統合システム、アクション、手法、専門知識を指します。システム工学分野としてのマシンビジョンは、コンピュータサイエンスの一分野であるコンピュータビジョンとは区別されます。マシンビジョンは、既存の技術を新しい方法で統合し、現実世界の問題を解決するために適用しようとします。この用語は、産業オートメーション環境におけるこれらの機能に対して広く使用されていますが、セキュリティや車両誘導などの他の環境におけるこれらの機能にも使用されます。

数理論理学

数学のサブ分野の一つで、形式論理を数学に応用することを探求する。メタ数学、数学の基礎、理論計算機科学と密接な関係がある。^{[ 143 ]}数理論理学の統一的なテーマには、形式システムの表現力と形式証明システムの演繹力の研究が含まれる。

マトリックス

数学において、行列（複数形は行列）は、行と列に配置された数値、記号、または式の長方形配列^{[ 144 ]}（不規則行列を参照）である。^{[ 145 ] [ 146 ]}

メモリ

コンピュータデータストレージ（ストレージとも呼ばれる）は、デジタルデータを保存するために使用されるコンピュータコンポーネントと記録媒体からなる技術である。これはコンピュータの中核機能であり、基本的な構成要素である。^{[ 65 ]： 15-16}

マージソート

効率的で汎用的な比較ベースのソートアルゴリズム。ほとんどの実装では安定ソートが生成されます。これは、入力と出力で等しい要素の順序が同じであることを意味します。マージソートは、1945 年にジョン・フォン・ノイマンによって発明された分割統治アルゴリズムです。 ^{[ 147 ]}ボトムアップマージソートの詳細な説明と分析は、 1948 年という早い時期にゴールドスタインとフォン・ノイマンのレポートに登場しました。^{[ 148 ]}

方法

オブジェクト指向プログラミング（OOP）では、メッセージとオブジェクトに関連付けられた手続きがあります。オブジェクトはデータと動作で構成されます。データと動作はインターフェースを構成し、オブジェクトをさまざまなコンシューマー^{[ 149 ]}がどのように利用できるかを指定します。

方法論

ソフトウェアエンジニアリングにおいて、ソフトウェア開発プロセスとは、設計、製品管理、プロジェクト管理を改善するために、ソフトウェア開発作業を明確なフェーズに分割するプロセスです。これは、ソフトウェア開発ライフサイクル（SDLC）とも呼ばれます。この方法論には、アプリケーションの開発または保守のためにプロジェクトチームが作成および完了する特定の成果物とアーティファクトの事前定義が含まれる場合があります。 ^{[ 150 ]}

モデム

モデムは、データを伝送媒体に適した形式に変換し、コンピュータ間で（従来は電話線を介して）送信できるようにするハードウェアデバイスです。モデムは、1つまたは複数の搬送波信号を変調してデジタル情報をエンコードし、送信された情報を復調して復号します。その目的は、容易に送信でき、元のデジタルデータを再現するために確実に復号できる信号を生成することです。モデムは、発光ダイオードから無線まで、ほぼすべてのアナログ信号伝送手段で使用できます。一般的なモデムの種類としては、コンピュータのデジタルデータを電話線を介して送信するための変調された電気信号に変換し、受信側で別のモデムによって復調してデジタルデータを復元するものがあります。

自然言語処理（NLP）

言語学、コンピュータ科学、情報工学、人工知能の分野の一つで、コンピュータと人間の（自然）言語との相互作用、特に大量の自然言語データを処理・分析するためのコンピュータのプログラミング方法を扱う。自然言語処理における課題は、音声認識、自然言語理解、自然言語生成など多岐にわたる。

ノード

ノードは、連結リストやツリーデータ構造などのデータ構造の基本単位です。ノードはデータを含み、他のノードとリンクすることもできます。ノード間のリンクは、多くの場合ポインタによって実装されます。

数論

純粋数学の一分野で、主に整数と整数値関数の研究を専門とする。

数値解析

数学解析の問題（離散数学とは区別される）に対して、数値近似（記号操作とは対照的に）を用いるアルゴリズムの研究。

数値的方法

数値解析において、数値解法とは、数値問題を解くために設計された数学的手法である。適切な収束判定機能を備えた数値解法をプログラミング言語で実装したものを、数値アルゴリズムと呼ぶ。

物体

オブジェクトは、変数、データ構造、関数、またはメソッドであり、そのため、識別子によって参照されるメモリ内の値です。クラスベースのオブジェクト指向プログラミングパラダイムでは、オブジェクトはクラスの特定のインスタンスを指し、オブジェクトは変数、関数、およびデータ構造の組み合わせである可能性があります。リレーショナルデータベース管理では、オブジェクトはテーブルまたは列、またはデータとデータベースエンティティ間の関連付け（たとえば、人の年齢を特定の人に関連付けるなど）である可能性があります。^{[ 151 ]}

オブジェクトコード

コンパイラの産物。^{[ 152 ]}一般的に、オブジェクトコードはコンピュータ言語のステートメントまたは命令のシーケンスであり、 ^{[ 153 ]}通常はマシンコード言語（つまりバイナリ）またはレジスタ転送言語（RTL）などの中間言語です。この用語は、コードがコンパイルプロセスの目標または結果であることを示しており、初期の資料の中にはソースコードを「対象プログラム」と呼ぶものもありました。

オブジェクト指向分析設計（OOAD）

オブジェクト指向プログラミングを適用し、ソフトウェア開発プロセス全体を通してビジュアルモデリングを活用することで、アプリケーション、システム、またはビジネスを分析・設計するための技術的なアプローチ。これにより、ステークホルダーとのコミュニケーションと製品の品質向上を促進する。

オブジェクト指向プログラミング（OOP）

OOPは、「オブジェクト」の概念に基づいたプログラミング パラダイムです。オブジェクトは、フィールド(属性またはプロパティと呼ばれることが多い)の形式でデータと、プロシージャ(メソッドと呼ばれることが多い)の形式でコードを保持できます。オブジェクトの特徴は、オブジェクトのプロシージャが、関連付けられているオブジェクトのデータ フィールドにアクセスして変更できることです (オブジェクトには「これ」または「自身」の概念があります)。OOP では、コンピュータ プログラムは、互いに相互作用するオブジェクトから作成することによって設計されます。^{[ 154 ] [ 155 ]} OOP 言語は多様ですが、最も人気のあるものはクラスベースです。つまり、オブジェクトはクラスのインスタンスであり、クラスはオブジェクトの型も決定します。

オープンソースソフトウェア（OSS）

ソースコードがライセンスの下で公開され、著作権者がユーザーにソフトウェアを研究、変更、配布する権利をあらゆる目的で誰に対しても付与するコンピュータソフトウェアの一種。[ 156 ]^{オープンソースソフトウェア}は、共同で公開された方法で開発されることがある。オープンソースソフトウェアは、オープンコラボレーションの代表的な例である。^{[ 157 ]}

オペレーティングシステム（OS）

コンピュータのハードウェア、ソフトウェアリソースを管理し、コンピュータプログラムに共通のサービスを提供するシステムソフトウェア。

光ファイバー

ガラス（シリカ）またはプラスチックを人間の髪の毛よりわずかに太い直径に引き伸ばして作られた、柔軟で透明な繊維。^{[ 158 ]}光ファイバーは、ファイバーの両端間で光を伝送する手段として最もよく使用され、光ファイバー通信で広く使用されています。光ファイバーは、電気ケーブルよりも長距離かつ高帯域幅（データレート）での伝送を可能にします。信号が損失の少ない状態で伝送されるため、金属線の代わりにファイバーが使用されます。さらに、ファイバーは電磁干渉の影響を受けにくく、これは金属線が抱える問題です。^{[ 159 ]}

ペアプログラミング

アジャイルソフトウェア開発手法の一つで、2人のプログラマーが1つのワークステーションで共同作業を行う。一方はドライバーとしてコードを記述し、もう一方はオブザーバーまたはナビゲーターとして^{[ 160 ]} 、入力されたコードの各行をレビューする。2人のプログラマーは頻繁に役割を交代する。

並列コンピューティング

多数の計算やプロセスの実行を同時に行うタイプの計算。 ^{[ 161 ]}大きな問題は、多くの場合、より小さな問題に分割でき、それらを同時に解決することができます。並列コンピューティングには、ビットレベル、命令レベル、データ、タスク並列など、いくつかの異なる形式があります。

パラメータ

コンピュータプログラミングでは、サブルーチンで使用される特殊な種類の変数で、サブルーチンへの入力として提供されるデータの 1 つを参照します。^{[ b ]}これらのデータは、サブルーチンが呼び出される引数 (実際の引数または実際のパラメーターと呼ばれることが多い) の値です。 ^{[ 162 ] [ 163 ] [ 164 ]}パラメーターの順序付きリストは通常​​、サブルーチンの定義に含まれているため、サブルーチンが呼び出されるたびに、その呼び出しの引数が評価され、結果の値が対応するパラメーターに割り当てられます。

周辺

コンピュータシステムに接続または統合され、コンピュータに情報を送受信するために使用される補助装置または補助機器。入力装置はコンピュータにデータまたは命令を送信し、出力装置はコンピュータからユーザーに情報を出力する。入出力装置は両方の機能を果たす。

ポインタ

ポインタは、多くのプログラミング言語においてメモリ アドレスを格納するオブジェクトです。これは、コンピュータ メモリ内の別の値のアドレスである場合もあれば、メモリ マップドハードウェアのアドレスである場合もあります。ポインタはメモリ内の場所を参照し、その場所に格納されている値を取得することをポインタの逆参照といいます。例えるなら、本の索引にあるページ番号は、対応するページへのポインタと考えることができます。このようなポインタの逆参照は、指定されたページ番号のページに移動して、そのページにあるテキストを読み取ることで行われます。ポインタ変数の実際の形式と内容は、基盤となるコンピュータ アーキテクチャに依存します。

事後条件

コンピュータプログラミングにおいて、事後条件とは、コードのある部分の実行直後、または形式仕様における操作の直後に必ず真でなければならない条件または述語のことです。事後条件は、コード自体の中でアサーションを用いて検証されることもあります。多くの場合、事後条件は、影響を受けるコード部分のドキュメントに単純に記載されます。

前提条件

コンピュータプログラミングにおいて、前提条件とは、コードの一部が実行される直前、または形式仕様における操作の前に必ず真でなければならない条件または述語のことです。前提条件が満たされない場合、そのコード部分の効果は未定義となり、意図した動作が実行されるかどうかは不確実です。 前提条件が誤っていると、セキュリティ上の問題が発生する可能性があります。

プライマリストレージ

（メインメモリ、内部メモリ、プライムメモリとも呼ばれる）メモリは、CPUが直接アクセスできる唯一のメモリです。CPUはそこに格納されている命令を継続的に読み込み、必要に応じて実行します。アクティブに処理されるデータもすべて、統一された形式でそこに格納されます。

プリミティブデータ型

優先キュー

通常のキューやスタックデータ構造に似た抽象データ型ですが、各要素に「優先度」が関連付けられています。優先度付きキューでは、優先度の高い要素が優先度の低い要素よりも先に処理されます。実装によっては、優先度が同じ要素が複数ある場合、キューに追加された順序で処理されますが、優先度が同じ要素の順序は未定義となる場合もあります。

手続き型プログラミング

手続き型生成

手順

コンピュータプログラミングにおいて、サブルーチンとは、特定のタスクを実行する一連のプログラム命令を一つの単位としてまとめたものです。この単位は、そのタスクを実行する必要のあるプログラム内の任意の場所で使用できます。 サブルーチンは、プログラム内で定義することも、多くのプログラムで使用できるライブラリに個別に定義することもできます。さまざまなプログラミング言語では、サブルーチンはルーチン、サブプログラム、関数、メソッド、またはプロシージャと呼ばれることがあります。技術的には、これらの用語はすべて異なる定義を持っています。包括的な汎用用語である 呼び出し可能ユニットが使用されることもあります。^{[ 165 ]}

プログラムライフサイクルフェーズ

プログラムライフサイクルフェーズとは、コンピュータプログラムが初期作成から展開、実行に至るまでの段階のことです。これらのフェーズは、編集時間、コンパイル時間、リンク時間、配布時間、インストール時間、ロード時間、実行時間です。

プログラミング言語

プログラミング言語とは、様々な種類の出力を生成する一連の命令から構成される形式言語である。プログラミング言語は、コンピュータプログラミングにおいてアルゴリズムを実装するために使用される。

プログラミング言語の実装

コンピュータプログラムを実行するためのシステムです。プログラミング言語の実装には、解釈とコンパイルという2つの一般的なアプローチがあります。^{[ 166 ]}

プログラミング言語理論

プログラミング言語学（PLT）は、プログラミング言語とその個々の機能の設計、実装、分析、特性評価、分類を扱うコンピュータ科学の一分野です。コンピュータ科学の分野に属し、数学、ソフトウェア工学、言語学、さらには認知科学にも影響を与え、またそれらに依存しています。PLTはコンピュータ科学の分野で広く認知された分野となり、活発な研究領域となっています。その研究成果は、PLT専門誌だけでなく、一般的なコンピュータ科学や工学関連の出版物にも多数掲載されています。

プロローグ

Prologは、人工知能や計算言語学に関連する論理プログラミング言語です。^{[ 167 ] [ 168 ] [ 169 ]} Prologは、形式論理である一階述語論理 にルーツを持ち、他の多くのプログラミング言語とは異なり、主に宣言型プログラミング言語として設計されています。プログラムの論理は、事実とルールとして表現される関係によって表現されます。計算は、これらの関係に対してクエリを実行することによって開始されます。^{[ 170 ]}

Python

Pythonは、インタプリタ型で高水準かつ汎用的なプログラミング言語です。Guido van Rossumによって作成され、1991年に初めてリリースされたPythonの設計思想は、重要な空白の使用によってコードの可読性を重視しています。その言語構造とオブジェクト指向アプローチは、プログラマが小規模から大規模なプロジェクト向けに明確で論理的なコードを書けるようにすることを目的としています。^{[ 171 ]}

量子コンピューティング

重ね合わせや量子もつれなどの量子力学的現象を利用して計算を行うこと。このような計算は量子コンピュータを用いて行われ、理論的にも物理的にも実装可能である。^{[ 172 ]： I-5}

列

コレクション内のエンティティが順序通りに保持され、コレクションに対する主な（または唯一の）操作が、エンキューと呼ばれる最後尾の位置にエンティティを追加することと、デキューと呼ばれる前端の位置からエンティティを削除することであるコレクション。

クイックソート

ランダムアクセスファイルや配列の要素を体系的に並べ替えるための効率的なソートアルゴリズム。

Rプログラミング言語

Rは、統計計算とグラフィックスのためのプログラミング言語およびフリーソフトウェア環境であり、R Foundation for Statistical Computingによってサポートされています。^{[ 173 ]} R言語は、統計ソフトウェアの開発^{[ 174 ]}やデータ分析^{[ 175 ]}のために、統計学者やデータマイナーの間で広く使用されています。

基数

デジタル数値システムにおいて、位取り記数法で数値を表すために使用される、数字のゼロを含む固有の桁数を指します。たとえば、10進数システム（今日最も一般的に使用されているシステム）では、0から9までの10個の数字を使用するため、基数（基本数）は10です。他のすべての数値は、これらの10個の基本数字の位置の組み合わせによって一意に指定されます。一方、コンピューティングの標準である2進数システムでは、各数値を一意に指定するために0と1の2つの数字のみを使用するため、基数は2です。

記録

レコード（構造、 構造体、または複合データとも呼ばれる）は基本的なデータ構造です。データベースやスプレッドシートのレコードは通常「行」と呼ばれます。^{[ 176 ] [ 177 ] [ 178 ] [ 179 ]}

再帰

再帰とは、あるものがそれ自身またはその型に基づいて定義されるときに発生する現象です。再帰は、言語学から論理学まで、さまざまな分野で使用されています。再帰の最も一般的な応用例は数学とコンピュータサイエンスで、定義される関数が自身の定義内で適用されます。これは一見無限の数のインスタンス（関数値）を定義するように見えますが、多くの場合、無限ループや無限の参照連鎖が発生しないように行われます。

参照

参照とは、プログラムがコンピュータのメモリやその他の記憶装置にある変数値やレコードなどの特定のデータに間接的にアクセスできるようにする値のことです。この参照はデータを参照していると言われ、データにアクセスすることを参照の逆参照と呼びます。

参照カウント

オブジェクト、メモリブロック、ディスク領域などのリソースへの参照、ポインタ、またはハンドルの数を格納するプログラミング手法。ガベージコレクションアルゴリズムでは、不要になったオブジェクトを解放するために参照カウントが使用されることがある。

回帰テスト

（まれに非回帰テスト^{[ 180 ]} ）は、以前に開発およびテストされたソフトウェアが変更後も引き続き機能することを確認するために、機能テストと非機能テストを再実行することです。 ^{[ 181 ]}そうでない場合は、回帰と呼ばれます。回帰テストが必要になる可能性のある変更には、バグ修正、ソフトウェアの機能強化、構成変更、さらには電子部品の交換などがあります。^{[ 182 ]}回帰テストスイートは発見された欠陥ごとに大きくなる傾向があるため、テスト自動化が頻繁に使用されます。適切なテストのサブセットを決定するために、変更影響分析が実行される場合もあります（非回帰分析^{[ 183 ]} ​​）。

リレーショナルデータベース

1970 年にEF Coddによって提案された、データの関係モデルに基づくデジタルデータベースです。 ^{[ 184 ]} 関係データベースを管理するために使用されるソフトウェア システムは、関係データベース管理システム(RDBMS) です。多くの関係データベース システムには、データベースのクエリと管理にSQL (構造化クエリ言語)を使用するオプションがあります。 ^{[ 185 ]}

信頼性工学

信頼性とは、製品のライフサイクル管理における信頼性を重視するシステム工学のサブ分野です。信頼性とは、システムまたはコンポーネントが規定された条件下で一定期間機能する能力を指します。 ^{[ 186 ]}信頼性は可用性と密接に関連しており、可用性は通常、コンポーネントまたはシステムが特定の時点または時間間隔で機能する能力として説明されます。

要件分析

システムエンジニアリングとソフトウェアエンジニアリングでは、要求分析は、さまざまな利害関係者の相反する可能性のある要求を考慮に入れ、ソフトウェアまたはシステムの要求を分析、文書化、検証、管理して、新しいまたは変更された製品またはプロジェクトを満たすためのニーズまたは条件を決定するタスクに焦点を当てています。^{[ 187 ]}

ロボット工学

ロボット工学は、機械工学、電子工学、情報工学、コンピュータ科学などを含む、工学と科学の学際的な分野です。ロボット工学には、ロボットの設計、製造、操作、使用に加え、ロボットの知覚、制御、感覚フィードバック、情報処理のためのコンピュータシステムも含まれます。ロボット工学の目標は、人々の日常生活を支援し、安全を守ることができる知能機械を設計することです。

丸め誤差

正確な算術を使用した特定のアルゴリズムによって生成された結果と、有限精度の丸められた算術を使用した同じアルゴリズムによって生成された結果との差。^{[ 189 ]}丸め誤差は、実数の表現とそれらで行われる算術演算の不正確さに起因します。これは量子化誤差の一種です。^{[ 190 ]}近似方程式またはアルゴリズムを使用する場合、特に実数を表すために有限桁を使用する場合（理論上は無限桁を持ちます）、数値解析の目標の 1 つは計算誤差を推定することです。^{[ 191 ]}数値誤差とも呼ばれる計算誤差には、切り捨て誤差と丸め誤差の両方が含まれます。 ^{[ 192 ]}

ルーター

コンピュータネットワーク間でデータパケットを転送するネットワークデバイス。ルーターはインターネット上でトラフィックの方向付け機能を実行します。ウェブページや電子メールなど、インターネットを介して送信されるデータはデータパケットの形式です。パケットは通常、宛先ノードに到達するまで、インターネットワーク（インターネットなど）を構成するネットワークを介して、あるルーターから別のルーターに転送されます。^{[ 193 ]}

ルーティングテーブル

コンピュータネットワークにおいて、ルーティングテーブル（またはルーティング情報ベース（RIB））とは、ルーターまたはネットワークホストに格納されるデータテーブルであり、特定のネットワーク宛先への経路、場合によってはそれらの経路に関連付けられたメトリック（距離）を一覧表示します。ルーティングテーブルには、その周囲のネットワークのトポロジーに関する情報が含まれています。

実行時間

ランタイム、実行時間とは、コンピュータプログラムのライフサイクルの最終段階であり、コンピュータの中央処理装置（CPU）上でマシンコードとしてコードが実行される段階のことです。言い換えれば、「ランタイム」とはプログラムの実行段階のことです。

実行時エラー

実行時エラーは、プログラムの実行後または実行中（実行状態）に検出されますが、コンパイル時エラーは、プログラムが実行される前にコンパイラによって検出されます。型チェック、レジスタ割り当て、コード生成、コード最適化は通常コンパイル時に行われますが、言語やコンパイラによっては実行時に行われる場合もあります。他にも多くの実行時エラーが存在し、プログラミング言語によって処理方法が異なります。例えば、ゼロ除算エラー、ドメインエラー、配列の添え字範囲外エラー、算術アンダーフローエラー、数種類のアンダーフローエラーやオーバーフローエラー、その他多くの実行時エラーは、一般的にソフトウェアのバグとみなされ、特定のプログラミング言語で検出および処理される場合とされない場合があります。

検索アルゴリズム

探索問題を解決するアルゴリズム、すなわち、何らかのデータ構造に格納されている情報、または問題領域の探索空間で計算された情報を、離散値または連続値で取得するアルゴリズム。

二次記憶装置

外部メモリまたは補助記憶装置とも呼ばれる二次記憶装置は、CPUから直接アクセスできない点で主記憶装置とは異なります。コンピュータは通常、入出力チャネルを使用して二次記憶装置にアクセスし、必要なデータを主記憶装置に転送します。二次記憶装置は不揮発性（電源が切れてもデータが保持される）です。二次記憶装置は主記憶装置よりも安価であるため、現代のコンピュータシステムでは、主記憶装置よりも2桁多い二次記憶装置が搭載されているのが一般的です。

選択ソート

は、インプレース比較ソートアルゴリズムです。時間計算量はO ( n² ⁾であるため、大きなリストでは非効率であり、一般的に類似の挿入ソートよりもパフォーマンスが劣ります。選択ソートは、そのシンプルさで知られており、特に補助メモリが限られている場合など、特定の状況ではより複雑なアルゴリズムよりもパフォーマンスが優れています。

意味論

プログラミング言語理論において、意味論とは、プログラミング言語の意味を厳密に数学的に研究する分野です。意味論は、特定のプログラミング言語で定義された構文的に有効な文字列の意味を評価し、それに伴う計算を示します。構文的に無効な文字列を評価する場合、結果は計算が行われないことになります。意味論は、コンピュータが特定の言語でプログラムを実行する際に従うプロセスを記述します。これは、プログラムの入力と出力の関係を記述したり、特定のプラットフォーム上でプログラムがどのように実行されるかを説明したりすることで示され、それによって計算モデルが作成されます。

順序

数学において、数列とは、繰り返しが許され、順序が重要な、列挙されたオブジェクトの集合です。集合と同様に、数列には要素（または項とも呼ばれる）が含まれます。要素の数（無限である場合もある）は、数列の長さと呼ばれます。集合とは異なり、数列では同じ要素が異なる位置に複数回出現することがあり、順序が重要です。形式的には、数列は、定義域が自然数の集合（無限数列の場合）または最初のn 個の自然数の集合（有限長nの数列の場合）である関数として定義できます。数列における要素の位置は、そのランクまたはインデックスです。これは、その要素が像となる自然数です。最初の要素のインデックスは、文脈または特定の慣例に応じて 0 または 1 です。数列を表すために記号を使用する場合、数列のn番目の要素は、添え字nを付けたこの記号で表されます。たとえば、フィボナッチ数列Fのn番目の要素は、一般にF _nと表されます。例えば、(M, A, R, Y) は、文字「M」が最初で「Y」が最後である文字のシーケンスです。このシーケンスは (A, R, M, Y) とは異なります。また、2 つの異なる位置に数字 1 を含むシーケンス (1, 1, 2, 3, 5, 8) は有効なシーケンスです。シーケンスは、これらの例のように有限である場合もあれば、すべての偶数の正の整数のシーケンス(2, 4, 6, ...)のように無限である場合もあります。コンピューティングとコンピュータサイエンスでは、有限シーケンスは文字列、単語、またはリストと呼ばれることがあり、これらの異なる名前は、一般的にコンピュータメモリでそれらを表現するための異なる方法に対応しています。無限シーケンスはストリームと呼ばれます。空のシーケンス( ) は、ほとんどのシーケンスの概念に含まれますが、文脈によっては除外される場合もあります。  

直列化可能性

データベースの並行性制御、[ ^{194 ] [ 195 ]トランザクション}処理（トランザクション管理）、およびさまざまなトランザクションアプリケーション（たとえば、トランザクション メモリ^{[ 196 ]}およびソフトウェア トランザクション メモリ）では、集中型と分散型の両方において、トランザクション スケジュールの結果（たとえば、結果として得られるデータベースの状態）が、時間的に重複することなく逐次的に実行されるトランザクションの結果と等しい場合、トランザクション スケジュールは直列化可能である。トランザクションは通常、最も効率的な方法であるため、並行して実行される（重複する）。直列化可能性は、並行トランザクションの実行の主要な正当性基準である。これはトランザクション間の最高レベルの分離と考えられており、並行性制御において重要な役割を果たす。そのため、すべての汎用データベース システムでサポートされている。強力厳密 2 相ロック(SS2PL) は、1970 年代の初期の頃からほとんどのデータベース システムで (さまざまなバリアントで) 使用されている一般的な直列化メカニズムである。

シリアル化

データ構造やオブジェクトの状態を、保存（ファイルやメモリバッファなど）または送信（ネットワーク接続リンクなど）して後で再構築（別のコンピュータ環境で再構築するなど）できる形式に変換するプロセスです。 ^{[ 197 ]}結果として得られた一連のビットをシリアル化形式に従って読み直すと、元のオブジェクトと意味的に同一のクローンを作成するために使用できます。参照を多用するオブジェクトなど、多くの複雑なオブジェクトの場合、このプロセスは単純ではありません。オブジェクト指向オブジェクトのシリアル化には、以前にリンクされていた関連メソッドは含まれません。オブジェクトをシリアル化するこのプロセスは、状況によってはオブジェクトのマーシャリングとも呼ばれます。 ^{[ 198 ] [ 199 ]}反対の操作、つまり一連のバイトからデータ構造を抽出する操作は、逆シリアル化（アンシリアル化またはアンマーシャリングとも呼ばれます）です。

サーバ

コンピュータネットワーク上の「クライアント」と呼ばれる他のコンピュータに情報を提供するコンピュータ。^{[ 200 ]}このアーキテクチャはクライアントサーバモデルと呼ばれます。

サービスレベル契約

サービスレベル契約（SLA）は、サービスプロバイダーとクライアント間の約束です。サービスプロバイダーとサービス利用者の間で、サービスの 品質、可用性、責任といった特定の側面について合意がなされます。 ^{[ 201 ]} SLAの最も一般的な構成要素は、契約で合意されたとおりに顧客にサービスが提供されることです。たとえば、インターネットサービスプロバイダーや通信事業者は、販売されるサービスのレベルを平易な言葉で定義するために、顧客との契約条件にサービスレベル契約を含めるのが一般的です。この場合、SLAには通常、 平均故障間隔（MTBF）、平均修復時間または平均復旧時間（MTTR）などの技術的な定義、障害の報告や料金の支払いの責任者、さまざまなデータレート、スループット、ジッター、または同様の測定可能な詳細に対する責任が明記されます。 

セット

は、特定の順序にとらわれずに一意の値を格納できる抽象データ型です。これは、有限集合という数学的概念をコンピュータ上で実装したものです。他のほとんどのコレクション型とは異なり、集合から特定の要素を取得するのではなく、通常は値が集合に属しているかどうかをテストします。

シングルトン

要素がちょうど一度だけ出現することを意味します。オブジェクト指向プログラミングでは、シングルトンクラスはインスタンスがちょうど1つだけ存在します。数学では、シングルトンは要素がちょうど1つだけ存在する集合です。言語学では、ハパックス・レゴメノンは、あるコーパスにちょうど一度だけ出現する語です。プログラミングでは、一度だけ出現するシングルトン変数は、ダミー引数またはリンターで検出できるエラーである可能性があります。ユニークとは対照的です。

ソフトウェア

コンピュータソフトウェア、あるいは単にソフトウェアとは、コンピュータの動作方法を指示するデータまたは命令の集合体です。これは、システムが構築され、実際に作業を実行する物理的なハードウェアとは対照的です。コンピュータ科学およびソフトウェア工学において、コンピュータソフトウェアとは、コンピュータシステム、プログラム、およびデータによって処理されるすべての情報を指します。コンピュータソフトウェアには、コンピュータプログラム、ライブラリ、およびオンラインドキュメントやデジタルメディアなどの関連する非実行可能データが含まれます。コンピュータハードウェアとソフトウェアは互いに必要であり、どちらか一方だけでは現実的に使用できません。

ソフトウェアエージェント

エージェントは、ラテン語のagere (行う)に由来する代理関係において、ユーザーまたは他のプログラムのために動作するコンピュータ プログラムです。代理とは、誰かに代わって行動するという合意を意味します。このような「代理行動」は、どの行動が適切かを決定する権限があることを意味します。 ^{[ 202 ] [ 203 ]}エージェントは、ロボットから派生したボットとして口語的に知られています。実行がロボットの身体とペアになっている場合のように、エージェントは具現化されている場合もあれば、電話 ( Siriなど) やその他のコンピューティング デバイスで実行されるチャット ボットなどのソフトウェアである場合もあります。ソフトウェア エージェントは、自律的である場合もあれば、他のエージェントや人々と協力する場合もあります。人々と対話するソフトウェア エージェント (チャット ボット、人間とロボットのインタラクション環境など) は、自然言語の理解や発話、人格などの人間のような特性を持つ場合や、人型形態を具現化している場合があります( Asimo を参照)。

ソフトウェア構築

ソフトウェアエンジニアリングの一分野です。コーディング、検証、単体テスト、統合テスト、デバッグを組み合わせて、機能する意味のあるソフトウェアを詳細に作成します。他のすべてのソフトウェアエンジニアリング分野と関連していますが、特にソフトウェア設計とソフトウェアテストと強く関連しています。^{[ 204 ]}

ソフトウェア展開

ソフトウェアシステムを使用可能にするすべての活動を指します。 ^{[ 205 ]}

ソフトウェア設計

エージェントが、一連の基本コンポーネントを使用し、制約を受けながら、目標を達成することを目的としたソフトウェア成果物の仕様を作成するプロセスです。^{[ 206 ]}ソフトウェア設計は、「複雑なシステムを概念化、フレームワーク化、実装、運用開始、そして最終的に変更することに関わるすべての活動」または「様式化されたソフトウェアエンジニアリングプロセスにおける、要件仕様に続いてプログラミングの前に行われる活動」のいずれかを指す場合があります。^{[ 207 ]}

ソフトウェア開発

ソフトウェア開発とは、アプリケーション、フレームワーク、またはその他のソフトウェアコンポーネントの作成と保守に関わる、構想、仕様策定、設計、プログラミング、文書化、テスト、バグ修正のプロセスです。ソフトウェア開発はソースコードの記述と保守のプロセスですが、より広い意味では、望ましいソフトウェアの構想からソフトウェアの最終的な実現に至るまでに関わるすべてのことを含み、時には計画的かつ構造化されたプロセスで行われます。^{[ 208 ]}したがって、ソフトウェア開発には、研究、新規開発、プロトタイピング、修正、再利用、再設計、保守、またはソフトウェア製品につながるその他の活動が含まれる場合があります。^{[ 209 ]}

ソフトウェア開発プロセス

ソフトウェアエンジニアリングにおいて、ソフトウェア開発プロセスとは、設計、製品管理、プロジェクト管理を改善するために、ソフトウェア開発作業を明確なフェーズに分割するプロセスです。これは、ソフトウェア開発ライフサイクル（SDLC）とも呼ばれます。この方法論には、アプリケーションの開発または保守のためにプロジェクトチームが作成および完了する特定の成果物とアーティファクトの事前定義が含まれる場合があります。 ^{[ 150 ]}現代の開発プロセスのほとんどは、漠然とアジャイル と表現できます。その他の方法論には、ウォーターフォール、プロトタイピング、反復的かつ漸進的な開発、スパイラル開発、ラピッドアプリケーション開発、エクストリームプログラミングなどがあります。

ソフトウェアエンジニアリング

ソフトウェアエンジニアリングは、ソフトウェア開発への工学的アプローチの体系的な適用である。^{[ 210 ] [ 211 ] [ 212 ]}ソフトウェアエンジニアリングは、コンピューティング分野である。^{[ 213 ]}

ソフトウェア保守

ソフトウェアエンジニアリングとは、納品後にソフトウェア製品を修正して、欠陥を修正したり、パフォーマンスやその他の属性を改善したりすることを指します。^{[ 214 ]}

ソフトウェアプロトタイピング

ソフトウェアアプリケーションのプロトタイプ、つまり開発中のソフトウェアプログラムの不完全なバージョンを作成する活動です。これはソフトウェア開発において行われる活動であり、機械工学や製造業など他の分野で知られているプロトタイピングに相当します。プロトタイプは通常、最終製品のごく一部の側面のみをシミュレートし、最終製品とは全く異なる場合もあります。

ソフトウェア要件仕様書

ソフトウェア要件仕様書（SRS）とは、開発される ソフトウェアシステムの記述です。ソフトウェア要件仕様書には、機能要件と非機能要件が明記されており、完璧なユーザーインタラクションを実現するためにソフトウェアがユーザーに提供しなければならない一連のユースケースが含まれる場合もあります。

ソフトウェアテスト

テスト対象のソフトウェア製品またはサービスの品質に関する情報を利害関係者に提供するために実施される調査です。 ^{[ 215 ]}ソフトウェアテストは、ソフトウェアの客観的で独立した見解を提供し、企業がソフトウェア実装のリスクを認識および理解できるようにします。テスト手法には、ソフトウェアのバグ（エラーまたはその他の欠陥）を発見し、ソフトウェア製品が使用に適していることを検証することを目的として、プログラムまたはアプリケーションを実行するプロセスが含まれます。

ソートアルゴリズム

リストの要素を特定の順序に並べるアルゴリズムです。最もよく使われる順序は、数値順と辞書順です。効率的なソートは、入力データがソート済みのリストであることを必要とする他のアルゴリズム（検索アルゴリズムやマージアルゴリズムなど）の効率を最適化するために重要です。ソートは、データの正規化や人間が読みやすい出力の生成にも役立ちます。より厳密に言えば、あらゆるソートアルゴリズムの出力は、次の2つの条件を満たす必要があります。

1. 出力は非減少順になります（各要素は、目的の全体順序に従って、前の要素より小さくなることはありません）。
2. 出力は、入力の順列（元の要素をすべて保持したまま、順序を入れ替えたもの）です。

さらに、入力データは、順次アクセスしかできないリストではなく、ランダムアクセスが可能な配列に格納されることが多い。ただし、適切な修正を加えれば、どちらのタイプのデータにも多くのアルゴリズムを適用できる。

ソースコード

コンピューティングにおいて、ソースコードとは、コメントの有無にかかわらず、人間が読めるプログラミング言語（通常はプレーンテキスト）を使用して記述されたコードの集合のことである。プログラムのソースコードは、^{コンピュータプログラマーの}作業を容易にするために特別に設計されており、プログラマーは主にソースコードを記述することによって、コンピュータが実行する動作を指定する。ソースコードは、アセンブラまたはコンパイラによって、コンピュータが実行できるバイナリマシンコードに変換されることが多い。マシンコードは、後で実行するために保存される場合がある。あるいは、ソースコードは解釈され、直ちに実行される場合もある。

スパイラルモデル

リスク主導型のソフトウェア開発プロセスモデルです。スパイラルモデルは、特定のプロジェクト固有のリスクパターンに基づいて、インクリメンタル、ウォーターフォール、進化型プロトタイピングなど、1つまたは複数のプロセスモデルの要素をチームが採用するように導きます。

スタック

これは、要素の集合として機能する抽象データ型であり、主に2つの操作があります。

• pushはコレクションに要素を追加し、
• pop は、まだ削除されていない、最後に追加された要素を削除します。

スタックから要素が取り出される順序から、LIFO（後入れ先出し）という別名が付けられています。また、peek操作によってスタックを変更せずに最上位にアクセスできる場合もあります。^{[ 217 ]}このタイプの構造の「スタック」という名前は、物理的なアイテムが積み重ねられている様子に似ていることから付けられました。この構造では、スタックの最上位からアイテムを取り出すのは簡単ですが、スタックの奥にあるアイテムにアクセスするには、まず他の複数のアイテムを取り出す必要がある場合があります。^{[ 218 ]}

州

情報技術やコンピュータ科学では、システムが過去の出来事やユーザーの操作を記憶するように設計されている場合、そのシステムはステートフルであると説明されます。 ^{[ 219 ]}記憶された情報はシステムの状態と呼ばれます。

声明

コンピュータプログラミングにおいて、ステートメントは、実行される何らかの動作を表す命令型プログラミング言語の構文単位である。 ^{[ 220 ]}このような言語で書かれたプログラムは、1つ以上のステートメントのシーケンスによって構成される。ステートメントには、内部コンポーネント（式など）が含まれる場合がある。

ストレージ

コンピュータデータストレージは、デジタルデータを保存するために使用されるコンピュータコンポーネントと記録媒体からなる技術である。これはコンピュータの中核機能であり、基本的な構成要素である。^{[ 65 ]： 15-16}

ストリーム

データストリームとは、時間経過とともに利用可能になる一連のデータ要素のことです。ストリームは、コンベアベルト上のアイテムが大きなバッチではなく、一度に1つずつ処理される様子に例えることができます。

弦

コンピュータプログラミングにおいて、文字列は伝統的に文字のシーケンスであり、リテラル定数または何らかの変数として扱われます。後者の場合、要素を変更したり長さを変更したりできる場合もあれば、作成後に固定される場合もあります。文字列は一般的にデータ型とみなされ、多くの場合、何らかの文字エンコーディングを使用して、通常は文字である要素のシーケンスを格納するバイト（またはワード）の配列データ構造として実装されます。文字列は、より一般的な配列やその他のシーケンス（またはリスト）データ型および構造を表す場合もあります。

構造化ストレージ

NoSQL（元々は「非SQL」または「非リレーショナル」を指していた）^{[ 221 ]}データベースは、リレーショナルデータベースで使用される表形式の関係とは異なる方法でモデル化されたデータの保存と取得のためのメカニズムを提供します。このようなデータベースは1960年代後半から存在していましたが、「NoSQL」という名前はWeb 2.0企業のニーズによって21世紀初頭に初めて造語されました^{[ 222 ] 。 [ 223 ] [ 224 ]} NoSQLデータベースは、ビッグデータやリアルタイムWebアプリケーションでますます使用されています^{[ 225 ]}。NoSQLシステムは、 SQLライクなクエリ言語をサポートしたり、ポリグロット永続アーキテクチャでSQLデータベースと並存したり できることを強調するために、「Not only SQL」と呼ばれることもあります^{[ 226 ] [ 227 ]}。

サブルーチン

コンピュータプログラミングにおいて、サブルーチンとは、特定のタスクを実行する一連のプログラム命令を一つの単位としてまとめたものです。この単位は、そのタスクを実行する必要のあるプログラム内の任意の場所で使用できます。 サブルーチンは、プログラム内で定義することも、多くのプログラムで使用できるライブラリに個別に定義することもできます。さまざまなプログラミング言語では、サブルーチンはルーチン、サブプログラム、関数、メソッド、またはプロシージャと呼ばれることがあります。技術的には、これらの用語はすべて異なる定義を持っています。包括的な汎用用語である 呼び出し可能ユニットが使用されることもあります。^{[ 165 ]}

記号計算

数学とコンピュータ科学において、^{[ 228 ]}コンピュータ代数（記号計算または代数計算とも呼ばれる）は、数式やその他の数学的対象を操作するためのアルゴリズムとソフトウェアの研究と開発を指す科学分野である。コンピュータ代数は科学計算のサブフィールドとみなすこともできるが、科学計算は通常、近似浮動小数点数による数値計算に基づいているのに対し、記号計算は与えられた値を持たない変数を含む式による正確な計算を重視し、それらを記号として操作するため、これらは一般的に別々の分野とみなされている。

構文

コンピュータ言語の構文とは、その言語において正しく構造化された文または式とみなされる記号の組み合わせを定義する一連の規則のことです。これは、ソースコードを表す文書であるプログラミング言語と、データを表す文書であるマークアップ言語の両方に当てはまります。

構文エラー

構文エラーとは、コンパイル時に記述される予定の文字またはトークンのシーケンスの構文エラーのことです。すべての構文エラーが修正されるまで、プログラムはコンパイルされません。ただし、インタプリタ言語の場合、構文エラーはプログラムの実行中に検出されることがあり、インタプリタのエラー メッセージでは、構文エラーと他の種類のエラーを区別しない場合があります。どのようなエラーが「構文エラー」であるかについては、意見の相違があります。たとえば、Java コードで初期化されていない変数の値を使用することは構文エラーであると言う人もいますが、多くの人はこれに同意せず^{[ 229 ] [ 230 ]} 、これを(静的) 意味エラーに分類します。

システムコンソール

システムコンソール、コンピュータコンソール、ルートコンソール、オペレータコンソール、または単にコンソールは、システム管理メッセージ、特にBIOSまたはブートローダー、カーネル、initシステム、およびシステムロガーからのメッセージのテキスト入力および表示デバイスです。これはキーボードと画面で構成される物理デバイスであり、従来はテキスト端末でしたが、グラフィカル端末の場合もあります。システムコンソールはコンピュータ端末に一般化され、それぞれ仮想コンソールと端末エミュレータによって抽象化されます。今日では、システムコンソールとの通信は一般的に標準ストリーム（stdin、stdout、およびstderr）を介して抽象的に行われますが、システムカーネルで使用されるものなど、システム固有のインターフェースが存在する場合があります。

技術文書

エンジニアリングにおいては、技術製品、または開発中もしくは使用中の製品の取り扱い、機能、およびアーキテクチャを説明するあらゆる種類の文書を指します。 ^{[ 231 ] [ 232 ] [ 233 ]}製品の技術文書の想定される受信者は、(熟練した)エンドユーザーと管理者/サービスまたは保守技術者の両方です。単なる「クックブック」マニュアルとは対照的に、技術文書は、ユーザーが対象製品の内部および外部の依存関係を理解するのに十分な情報を提供することを目的としています。

第三世代プログラミング言語

第三世代プログラミング言語（3GL）は、第一世代の機械語や第二世代のアセンブリ言語よりもマシンに依存しずプログラマーに優しい傾向があり、第四世代や第五世代ほど特定の焦点を持たない高水準のコンピュータプログラミング言語です。^{[ 234 ]}一般的な歴史的な第三世代プログラミング言語の例としては、 ALGOL、BASIC、C、COBOL、Fortran、Java、Pascalなどがあります。

トップダウン設計とボトムアップ設計

木

階層的なツリー構造をシミュレートする広く使用されている抽象データ型（ADT）で、ルート値と、リンクされたノードの集合として表現される親ノードを持つ子のサブツリーがあります。

型理論

数学、論理学、コンピュータ科学において、型理論とは形式体系の一種であり、その中には、すべての数学の基礎となる集合論の代替として機能するものもある。型理論では、すべての「項」は「型」を持ち、演算は特定の型の項に限定される。

アップロード

コンピュータネットワークでは、サーバーや別のクライアントなどのリモートシステムにデータを送信し、リモートシステムがコピーを保存できるようにする。^{[ 235 ]}ダウンロードとは対照的。

統一リソースロケータ（URL）

コンピュータ ネットワーク上の場所と取得メカニズムを指定するWeb リソースへの参照。URL はUniform Resource Identifier (URI)の特定のタイプです^{[ 237 ] [ 238 ]}。ただし、多くの人がこの 2 つの用語を互換的に使用しています^{[ 239 ] [ c ]} 。URL は、Web ページ ( http )を参照するために最も一般的に使用されますが、ファイル転送 ( ftp )、電子メール ( mailto )、データベース アクセス ( JDBC )、およびその他の多くのアプリケーションにも使用されます。

個性的

他の要素とは異なる要素。データベースのレコードは、一意のキーを使用して個別に保持されます。セットは、すべての要素が一意であることを保証します。一意の要素の存在は、一意性定量化を使用してモデル化されます。シーケンスまたはリスト内の一意の要素を見つけるには、データの重複排除が必要です。シングルトンとは対照的です。

ユーザー

コンピュータやネットワークサービスを利用する人。コンピュータシステムやソフトウェア製品のユーザーは、一般的に、それらがどのように動作するかを完全に理解するために必要な技術的な専門知識を欠いている。^{[ 242 ]}パワーユーザーはプログラムの高度な機能を使用するが、必ずしもコンピュータプログラミングやシステム管理ができるわけではない。

ユーザーエージェント

ユーザーに代わって動作するソフトウェア（ソフトウェアエージェント）は、 Web ブラウザのように「Web コンテンツを取得、レンダリングし、エンド ユーザーとのやり取りを促進する」ものです。^{[ 243 ]}メール リーダーはメール ユーザー エージェントです。

ユーザーインターフェース（UI）

人間と機械の相互作用が行われる空間。この相互作用の目的は、人間が機械を効果的に操作・制御できるようにすると同時に、機械がオペレーターの意思決定プロセスを支援する情報をフィードバックすることである。この広範なユーザーインターフェースの概念の例としては、コンピュータのオペレーティングシステム、手工具、重機の操作制御装置、プロセス制御などのインタラクティブな側面が挙げられる。ユーザーインターフェースを作成する際に適用される設計上の考慮事項は、人間工学や心理学といった分野に関連しているか、あるいはそれらと密接に関わっている。

ユーザーインターフェースデザイン

コンピュータ、家電製品、モバイル機器、その他の電子機器などの機械やソフトウェアのユーザーインターフェースを設計し、使いやすさとユーザーエクスペリエンスの最大化に重点を置く。ユーザーインターフェース設計の目標は、ユーザーの目標達成という観点から、ユーザーの操作を可能な限りシンプルかつ効率的にすることである（ユーザー中心設計）。

変数

コンピュータプログラミングにおいて、変数（またはスカラー）とは、記憶場所（メモリ アドレスで識別される）と、それに関連付けられたシンボル名（識別子）との組み合わせであり、値と呼ばれる既知または未知の量の情報を含んでいます。変数名は、コンテキストに応じて変数自体を参照することに加えて、格納された値を参照する一般的な方法です。このように名前と内容を分離することで、名前をそれが表す正確な情報とは独立して使用できます。コンピュータソース コード内の識別子は実行時に値にバインドすることができ、そのため変数の値はプログラムの実行中に変化する可能性があります。^{[ 244 ] [ 245 ]}

仮想マシン（VM）

コンピュータシステムのエミュレーション。仮想マシンはコンピュータアーキテクチャに基づいており、物理コンピュータと同じ機能を提供するように設計されている。その実装には、専用のハードウェア、ソフトウェア、またはその両方の組み合わせが用いられる場合がある。

Vモデル

ウォーターフォールモデルの拡張とみなせるソフトウェア開発プロセスであり、より一般的なVモデルの一例です。直線的に下に進むのではなく、コーディングフェーズの後にプロセスステップが上向きに曲がり、典型的なV字型を形成します。Vモデルは、開発ライフサイクルの各フェーズとそれに関連するテストフェーズの関係を示します。水平軸と垂直軸は、それぞれ時間またはプロジェクトの完了度（左から右）と抽象化レベル（最も粗い粒度の抽象化が上）を表します。^{[ 246 ]}

ウォーターフォールモデル

プロジェクト活動を線形かつ連続したフェーズに分解し、各フェーズは前のフェーズの成果物に依存し、タスクの専門化に対応します。このアプローチは、特定のエンジニアリング設計分野では一般的です。ソフトウェア開発においては、反復性や柔軟性に乏しいアプローチの一つであり、構想、開始、分析、設計、構築、テスト、展開、保守の各フェーズを通して、進捗はほぼ一方向（滝のように「下向き」）に流れます。

波形オーディオファイル形式

MicrosoftとIBMが開発した、 PCにオーディオビットストリームを保存するためのオーディオファイルフォーマット規格。データを「チャンク」単位で保存するリソース交換ファイルフォーマット（RIFF）ビットストリームフォーマット方式を応用したもので、 AmigaやMacintoshコンピュータでそれぞれ使用されていた8SVXやAIFFフォーマットにも近い。Microsoft Windowsシステムでは、生の、通常は非圧縮のオーディオに使用される主要なフォーマットである。一般的なビットストリームエンコーディングは、リニアパルス符号変調（LPCM）フォーマットである。

ウェブクローラー

ワールドワイドウェブを体系的に閲覧するインターネットボット。通常はウェブインデックス作成（ウェブスパイダーリング）を目的としている。

Wi-Fi

IEEE 802.11規格ファミリーに基づく無線ネットワーク技術のファミリーであり、デバイスのローカルエリアネットワークやインターネットアクセスによく使用されます。Wi - Fiは非営利団体Wi-Fi Allianceの商標であり、 Wi-Fi Certifiedという用語の使用は相互運用性認証テストに合格した製品に限定されています。 ^{[ 247 ] [ 248 ] [ 249 ]}

XHTML

XMLマークアップ言語ファミリーの一員。広く使われているハイパーテキストマークアップ言語（HTML）のバージョンを模倣または拡張したもので、HTMLはウェブページを作成する際に用いられる言語である。

• コンピュータサイエンスの概要