ブラウザよりも高速アクセス！
33 関係: 参照 (情報工学)、マクロ (コンピュータ用語)、ポリモーフィズム、ライブラリ、プログラミング (コンピュータ)、プログラミング言語、命令 (コンピュータ)、アプリケーションプログラミングインタフェース、アプリケーションソフトウェア、オペレーティングシステム、オブジェクト (プログラミング)、コンパイラ、コンピュータ、コンピュータゲーム、コードの再利用、ショートカットキー、スコープ、動的スコープ、値 (情報工学)、C++、C言語、Emacs、静的スコープ、高水準言語、識別子、自由変数と束縛変数、集合、Java、Mac OS、Microsoft Excel、抽象化 (計算機科学)、機械語、派生型。
参照 (情報工学)
参照（さんしょう、reference、リファレンス）は、他の場所にあるデータを指している情報を含む小さなオブジェクトであり、それ自身の中に（指している）データ自体を含まない。参照の指す値を取り出すことをデリファレンス (dereference)と呼ぶ（間接参照も参照）。参照は様々なデータ構造を構成する基本要素であり、プログラム内の各部で情報をやり取りするための基本でもある。 なお、C++には、参照型というものがあるが、以下で説明するのはC++のそれではなく、一般概念である。C++の参照については、ポインタ (プログラミング)#参照を参照のこと。.
新しい！!: 束縛 (情報工学)と参照 (情報工学) · 続きを見る »
マクロ (コンピュータ用語)
マクロ (macro) は「大きい」「巨大な」といったような意味の語であるが、コンピュータ関係では、アプリケーションソフトウェアなどの操作などといった、プログラミング言語と比較して粒度が大きい操作をまとめて自動化したりする機能を指して良く使われる。マクロを記述するコンピュータ言語をマクロ言語と言う（言語の無いマクロ機能もある）。また、テキスト等の変換を記述する変換言語もマクロと呼ばれる。 この記事と、マクロ言語の記事は、それぞれに書くべき内容と書かれている内容が混乱している。また以下の内容のいくつかは変換言語についてのものである。.
新しい！!: 束縛 (情報工学)とマクロ (コンピュータ用語) · 続きを見る »
ポリモーフィズム
ポリモーフィズム（）とは、プログラミング言語の型システムの性質を表すもので、プログラミング言語の各要素（定数、変数、式、オブジェクト、関数、メソッドなど）についてそれらが複数の型に属することを許すという性質を指す。ポリモルフィズム、多態性、多相性、多様性とも呼ばれる。対義語はモノモーフィズム(Monomorphism)、単態性、単相性で、プログラミング言語の各要素が唯一つの型に属するという性質を指す。 ポリモーフィズムは次のようないくつかの種類に分けられる。.
新しい！!: 束縛 (情報工学)とポリモーフィズム · 続きを見る »
ライブラリ
ライブラリ（）は、汎用性の高い複数のプログラムを再利用可能な形でひとまとまりにしたものである。ライブラリと呼ぶ時は、それ単体ではプログラムとして作動させることはできない実行ファイルではない場合がある。ライブラリは他のプログラムに何らかの機能を提供するコードの集まりと言うことができる。ソースコードの場合と、オブジェクトコード、あるいは専用の形式を用いる場合とがある。たとえば、UNIXのライブラリはオブジェクトコードをarと呼ばれるアーカイバでひとまとめにして利用する。図書館（）と同様にプログラム（算譜）の書庫であるので、索引方法が重要である。 また、ソフトウェア以外の再利用可能なものの集合について使われることもある。.
新しい！!: 束縛 (情報工学)とライブラリ · 続きを見る »
プログラミング (コンピュータ)
ンピュータのプログラミング（programming）とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。.
新しい！!: 束縛 (情報工学)とプログラミング (コンピュータ) · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: 束縛 (情報工学)とプログラミング言語 · 続きを見る »
命令 (コンピュータ)
ンピュータにおいて、命令（めいれい）とはCPUが処理する操作のこと。通常、命令操作部と複数のオペランドからなる。あるいは操作者がコンピュータに入力する簡易な書式による指示の総称として用いられることもある。.
新しい！!: 束縛 (情報工学)と命令 (コンピュータ) · 続きを見る »
アプリケーションプログラミングインタフェース
アプリケーションプログラミングインタフェース（、）とは、広義の意味ではソフトウェアコンポーネントが互いにやりとりするのに使用するインタフェースの仕様である。 APIには、サブルーチン、データ構造、オブジェクトクラス、変数などの仕様が含まれる。APIには様々な形態があり、POSIXのような国際規格、マイクロソフトのWindows APIのようなベンダーによる文書、プログラミング言語のライブラリ（例えば、C++のStandard Template Libraryやなど）がある。 商業的に使われる狭義の意味ではOSやミドルウェアやWebサービス等サービスを利用するアプリケーション(Application)を作成する(Programming)ためのインターフェース(Interface)である。こちらの意味ではサービスから提供されないStandard Template Libraryなど言語の標準ライブラリーは含まない。 APIはApplication Binary Interface (ABI) とは異なる。APIはソースコードベースだが、ABIはバイナリインタフェースである。例えば、POSIXはAPIだが、Linux Standard Base (LSB) はABIである（LSBはいろいろな規定の集合なので、正確には「LSBには、ABIにまで踏み込んでいる部分もある」）。.
新しい！!: 束縛 (情報工学)とアプリケーションプログラミングインタフェース · 続きを見る »
アプリケーションソフトウェア
アプリケーションスイートである。 アプリケーションソフトウェア（application software, 応用ソフトウェア）は、アプリケーション（応用）プログラムともいい、ワープロや表計算などといった、コンピュータを「応用」する目的に応じた、コンピュータ・プログラムである。なお、それに対してシステムプログラムは、アプリケーションプログラムに対して処理実行のための計算機資源を抽象化して提供する、などのインフラとしての役割のプログラムであり、ユーザーが要求する情報処理を直接実行するものではなく、ユーザーが普段は意識することはない裏方的な存在がシステムプログラムである。.
新しい！!: 束縛 (情報工学)とアプリケーションソフトウェア · 続きを見る »
オペレーティングシステム
ペレーティングシステム（Operating System、OS、オーエス）とは、コンピュータのオペレーション（操作・運用・運転）のために、ソフトウェアの中でも基本的、中核的位置づけのシステムソフトウェアである。通常、OSメーカーが組み上げたコンピュータプログラムの集合として、作成され提供されている。 オペレーティングシステムは通常、ユーザーやアプリケーションプログラムとハードウェアの中間に位置し、ユーザーやアプリケーションプログラムに対して標準的なインターフェースを提供すると同時に、ハードウェアなどの各リソースに対して効率的な管理を行う。現代のオペレーティングシステムの主な機能は、ファイルシステムなどの補助記憶装置管理、仮想記憶などのメモリ管理、マルチタスクなどのプロセス管理、更にはGUIなどのユーザインタフェース、TCP/IPなどのネットワーク、などがある。オペレーティングシステムは、パーソナルコンピュータからスーパーコンピュータまでの各種のコンピュータや、更にはスマートフォンやゲーム機などを含む各種の組み込みシステムで、内部的に使用されている。 製品としてのOSには、デスクトップ環境やウィンドウシステムなど、あるいはデータベース管理システム (DBMS) などのミドルウェア、ファイル管理ソフトウェアやエディタや各種設定ツールなどのユーティリティ、基本的なアプリケーションソフトウェア（ウェブブラウザや時計などのアクセサリ）が、マーケティング上の理由などから一緒に含められていることもある。 OSの中で、タスク管理やメモリ管理など特に中核的な機能の部分をカーネル、カーネル以外の部分（シェルなど）をユーザランドと呼ぶ事もある。 現代の主なOSには、Microsoft Windows、Windows Phone、IBM z/OS、Android、macOS（OS X）、iOS、Linux、FreeBSD などがある。.
新しい！!: 束縛 (情報工学)とオペレーティングシステム · 続きを見る »
オブジェクト (プログラミング)
ブジェクト（object）はオブジェクト指向プログラミングにおいて、プログラム上の手続きの対象を抽象化する概念である。.
新しい！!: 束縛 (情報工学)とオブジェクト (プログラミング) · 続きを見る »
コンパイラ
ンパイラ（英:compiler）とは、コンピュータ・プログラミング言語の処理系（言語処理系）の一種で、高水準言語によるソースコードから、機械語に（あるいは、元のプログラムよりも低い水準のコードに）変換するプログラムである。.
新しい！!: 束縛 (情報工学)とコンパイラ · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: 束縛 (情報工学)とコンピュータ · 続きを見る »
コンピュータゲーム
ンピュータゲーム（computer game）はコンピュータによって処理されるゲームのことである。ゲーム機の記事も参照。 形態によって、アーケードゲーム、コンシューマーゲーム（テレビゲーム、携帯型ゲーム）、パソコンゲーム、携帯電話ゲームなどの分類がある。ゲーム画面をビデオモニターに出力するためビデオゲーム等とも。また、いわゆるLSIゲームも含め電子ゲームと呼ばれる場合もある。 コンピュータ化したものという意味合いで「デジタルゲーム」などと呼び、コンピュータゲーム以外のゲームを「アナログゲーム」と呼ぶ向きもあるが、「デジタル」や「アナログ」という語の本来の意味からは離れた表現である。 なお、日本（日本語）の「コンピュータゲーム」と、英語圏（英語）の "computer game" はやや意味合いが異なる。日本の「コンピュータゲーム」に近いのは英語圏の "video game" である一方、英語圏の "computer game" は日本の「パソコンゲーム」に近い意味である。.
新しい！!: 束縛 (情報工学)とコンピュータゲーム · 続きを見る »
コードの再利用
ードの再利用（コードのさいりよう）またはソフトウェアの再利用とは、既存のソフトウェアまたはソフトウェアの知識を活用し、新たなソフトウェアを構築すること。コードの再利用はプログラミングの黎明期から行われてきた。プログラマは常にコードの一部、テンプレート、関数、プロシージャを再利用している。ソフトウェアの再利用はソフトウェア工学の研究対象である。.
新しい！!: 束縛 (情報工学)とコードの再利用 · 続きを見る »
ショートカットキー
ョートカットキー（キーボードショートカット、もしくはホットキーとも言う）とはコンピュータの特定の機能を動作させるために押すキーである。 多くの場合、マウスなどのポインティングデバイスを使用した操作でも同様の機能が使用できるが、「ショートカット」という語が示す通り、(ある程度PCの操作に慣れている場合)一般的な操作を迅速に実行できる。.
新しい！!: 束縛 (情報工学)とショートカットキー · 続きを見る »
スコープ
プログラミングでのスコープ（scope, 可視範囲）とは、ある変数名や関数名といった名前を参照できる範囲のこと。ある範囲の外に置いた変数等は、通常、その名前だけでは参照できない。このときこれらの変数はスコープ外である、「見えない」といわれる。 プログラミングでは、予期しない誤作動を避けるためにも、それぞれの作業段階で必要のない名前はできるだけ参照されないようにすることが望ましい(特に、大域変数は便利な場合もあるが、危険でもある)。たとえば、CERT C コーディングスタンダードには、「変数と関数の有効範囲を最小限にする」（DCL19-C.）というレコメンデーションがある。.
新しい！!: 束縛 (情報工学)とスコープ · 続きを見る »
動的スコープ
動的スコープ、ダイナミックスコープ（dynamic scope）とは、プログラミング言語におけるスコープの一種である。 動的スコープは、実行時の親子関係の子側（呼び出された側）から親側（呼び出し側）のスコープを参照できるスコープである。このとき参照されるのは、親子関係を親側に辿り、より近いブロックにある変数である。以下の疑似コードでは: ブロックBから呼び出されたブロックAは、ブロックBで定義されている変数xを参照できる。一方、ブロックCから呼び出されたブロックAは、ブロックBで定義されている変数xは参照できない。 動的スコープは強力な反面、ミスを招きやすいため使用に注意が必要である。例えば以下の疑似コードでは呼び出し元ブロックによって変数の値が変化することを示している。 動的スコープの例としては古典LISPやEmacs Lisp、LOGO、Perl(「local」宣言した変数)、Bash(関数内で「local」宣言した変数)などがある。.
新しい！!: 束縛 (情報工学)と動的スコープ · 続きを見る »
値 (情報工学)
プログラミング言語における値（あたい）について説明する。値は、何らかの式を評価した結果である。式はデータ型を持ち、評価結果は内部的にはビット列になる。データ型が異なれば、同じビット列が異なる値（意味）を持つこともある。例えばあるビット列は整数、浮動小数点数または文字列として解釈されることがある。 いくつかの種類の値はほとんどのプログラミング言語で共通してサポートされている。様々な数値表現などがその例である。一方、あまり広くサポートされていないものもある。Pascalにある集合型などがその例である。.
新しい！!: 束縛 (情報工学)と値 (情報工学) · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
新しい！!: 束縛 (情報工学)とC++ · 続きを見る »
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
新しい！!: 束縛 (情報工学)とC言語 · 続きを見る »
Emacs
Emacs （イーマックス、）は、その拡張性を特徴としたテキストエディタのファミリーである。Emacsの中で最も広く使われている派生物はGNU Emacsであるが、そのマニュアルにはEmacsを「the extensible, customizable, self-documenting, real-time display editor」（拡張およびカスタマイズが可能で、自己文書化を行い、リアルタイム表示を行うエディタ）であると説明されている。最初のEmacs開発が1970年代中盤に開始されてから、その直系の子孫であるGNU Emacsが製作され、その開発がも続いている。 Emacsはユーザインタフェースと10,000を超える組み込みコマンドを持ち、ユーザーは作業自動化のためにこれらのコマンドをマクロと組み合わせることができる。さらに深い拡張性を提供するLISPプログラミング言語の方言であるEmacs Lisp (ELisp) はEmacs実装の主な特徴であり、ELispでユーザーや開発者はEmacs用の新しいコマンドやアプリケーションを書くことができる。Emacsの拡張機能として電子メール、ファイル、アウトライン、およびRSSフィードが書かれており、それ以外にもELIZA、ポン、ライフゲーム、ヘビゲーム、およびテトリスのクローンもある。ユーザーの中にはEmacs内部からテキスト編集だけでなくほとんど全ての作業を行うことができることに気づいた者もいる。 原典であるEMACSは1972年にCarl Mikkelson、、およびガイ・L・スティール・ジュニアらによりTECOエディタ用のEditor MACroSのセットとして書かれたものであり、TECOマクロエディタの概念にインスパイアされている。 最も有名かつ最も移植されたEmacsは、ストールマンによってGNUプロジェクトのために作成されたGNU Emacsである。XEmacsは1991年にGNU Emacsからフォークされた派生物である。GNU EmacsとXEmacsは類似のLISP方言を使い、互いに互換性のある部分が大半である。 Emacsはvi (Vim) と並びUNIX文化における伝統的なエディタ戦争の主要な当事者の2つである。Emacsは未だ開発中であるオープンソースプロジェクトの中で最古のものである。.
新しい！!: 束縛 (情報工学)とEmacs · 続きを見る »
静的スコープ
静的スコープ（せいてきスコープ、英: static scope）とは、プログラミング言語におけるスコープの一種。字面（レキシカル、英: lexical）のみから決定できるためレキシカルスコープ（lexical scope）ともいう（「構文」は一般に syntax の定訳であり、「レキシカル」と混同するのは誤解を招く）。 まず、一般的なローカル変数のスコープについて考える。 ブロックなどの構造を持つプログラミング言語では、あるブロックの内側のローカル変数はそのブロックの外側からは「見えない」というものが多い（以前のJavaScriptのように、関数ローカルのみで、ブロックローカルというスコープは無いものもある）。以下の疑似コードでは、 ブロックAで定義されている変数xとブロックBで定義されている変数xは同じ識別子を持つが、ブロックが異なるため実体は別である。また、ブロックBからは、さらに内側のブロックCで定義されている変数を参照することはできない。逆にブロックCからはブロックBで定義されている変数xとブロックCで定義されている変数yが参照可能である。 以上のようなスコープはローカル変数として一般的なものである。しかし、上記の疑似コード中にある f.
新しい！!: 束縛 (情報工学)と静的スコープ · 続きを見る »
高水準言語
水準言語（high-level programming language: こうすいじゅんげんご、高級言語とも）とは、記述の抽象度が高いプログラミング言語のことである。対義語は機械語やアセンブリ言語を指す「低水準言語」である。「高級言語」の対は「低級言語」である。.
新しい！!: 束縛 (情報工学)と高水準言語 · 続きを見る »
識別子
識別子（しきべつし、identifier）とは、ある実体の集合の中で、特定の元を他の元から曖昧さ無く区別することを可能とする、その実体に関連する属性の集合のことをいう。ほぼすべての情報処理システムで何らかの識別子が使われており、識別子を利用することで機械的な処理が可能になる。.
新しい！!: 束縛 (情報工学)と識別子 · 続きを見る »
自由変数と束縛変数
数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数（または自由変項、free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数x は、例えば次のように書くと 束縛変数（または束縛変項、bound variable）になる。 あるいは これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照される局所変数や引数以外の変数を意味する。.
新しい！!: 束縛 (情報工学)と自由変数と束縛変数 · 続きを見る »
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
新しい！!: 束縛 (情報工学)と集合 · 続きを見る »
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
新しい！!: 束縛 (情報工学)とJava · 続きを見る »
Mac OS
Mac OSは、アップルが開発・販売する、Macintoshのオペレーティングシステムである。.
新しい！!: 束縛 (情報工学)とMac OS · 続きを見る »
Microsoft Excel
Microsoft Excel（マイクロソフト・エクセル）は、マイクロソフトがWindows、macOS、iOSおよびAndroid向けに開発・販売している表計算ソフトである。Microsoft Wordとともに、同社のオフィススイート「Microsoft Office」の中核をなすアプリケーションである。.
新しい！!: 束縛 (情報工学)とMicrosoft Excel · 続きを見る »
抽象化 (計算機科学)
抽象化（ちゅうしょうか、Abstraction）は、計算機科学において詳細を捨象し、一度に注目すべき概念を減らすことおよびその仕組みである。 この概念は数学における「抽象化」からのアナロジーである。数学での抽象化技法の起源は数学的定義である。例えば、コンピュータでも数学でも、数はプログラミング言語上の概念であり、数学上の概念でもある。数の計算概念は数学の概念に基づいているため、実装の詳細はハードウェアとソフトウェアに依存したとしても、それが制約とはならない。 大まかに言えば、抽象化は制御抽象化とデータ抽象化に分けられる。制御抽象化は動作の抽象化であり、データ抽象化はデータ構造の抽象化である。例えば、構造化プログラミングでの制御抽象化とは、サブプログラムや定式化された制御フローの使用を意味する。データ抽象化とは、本来ビット列であるデータを意味のある方法で扱うことを意味する。例えば、データ型の背景にある動機は抽象化である。オブジェクト指向プログラミングはデータとコードを同時に抽象化する試みと見ることもできる。.
新しい！!: 束縛 (情報工学)と抽象化 (計算機科学) · 続きを見る »
機械語
機械語（きかいご）またはマシン語（Machine code、machine language）とは、コンピュータのプロセッサが直接解釈実行可能な一連の命令群のデータそのもの（を、コンピュータ・プログラミング言語とみなしたもの）である。.
新しい！!: 束縛 (情報工学)と機械語 · 続きを見る »
派生型
ンピュータサイエンスにおいて、データ型S が他のデータ型T とis-a関係にあるとき、S をT の派生型（はせいがた、subtype）であるという。またT はS の基本型（きほんがた、supertype）であるという。基本型のデータを処理するように作られたプログラムは、その派生型のデータでも正しく処理することができる。つまり、基本型-派生型関係ではリスコフの置換原則(Liskov Substitution Principle)が成り立つ。とは言っても、実際のプログラミング言語では独自の型の派生（subtyping）の概念を採用していることもあり、またそのような概念を持たないこともある。.
新しい！!: 束縛 (情報工学)と派生型 · 続きを見る »
ここにリダイレクトされます：
バインディング (情報工学)、キーバインディング、名前束縛、言語バインディング。
