ブラウザよりも高速アクセス！
69 関係: AWK、型システム、型理論、型推論、参照 (情報工学)、変数 (プログラミング)、定数、定数 (プログラミング)、代数的データ型、任意精度演算、式 (プログラミング)、バイナリ、ポリモーフィズム、ポインタ (プログラミング)、リテラル、リスト (抽象データ型)、レジスタ (コンピュータ)、ブーリアン型、プログラミング (コンピュータ)、プログラム (コンピュータ)、パッシブセーフティ、データ、データ構造、ダック・タイピング、ベクトル、アクティブセーフティ、インスタンス、オブジェクト (プログラミング)、オブジェクト指向、キャラクタ (コンピュータ)、コンピュータ、スカラー、タプル、サブルーチン、再帰データ型、動的プログラミング言語、固定小数点数、四元数、値 (情報工学)、BASIC、C++、C言語、符号属性、第一級オブジェクト、第一級関数、総称型、静的型付け、行列、複素数、複素数型、...、関数オブジェクト、配列、Java、Microsoft Visual Basic、OCaml、Perl、Smalltalk、Void (コンピュータ)、束縛 (情報工学)、機械語、演算子、有理数、浮動小数点数、文 (プログラミング)、文字列、整数、整数型、3値論理、3次元コンピュータグラフィックス。 インデックスを展開 (19 もっと) »
AWK
AWK（オーク）は、プログラミング言語の一つ。テキストファイル、特に空白類（スペースの他、タブなど）やカンマなどで区切られたデータファイルの処理を念頭に置いた仕様となっているが、一般的なプログラミングに用いることも可能である。UNIX 上で開発された。.
型システム
型システム（type system）とは、プログラミング言語において、その式などの部分が持つ値を、その種類（型(type)、データ型も参照）に沿って分類し、プログラムが正しく振る舞うこと、といった性質について保証する手法である。型システムは、型理論に基づいており、プログラミング言語の理論において最も確立された軽量形式手法である。.
新しい！!: データ型と型システム · 続きを見る »
型理論
型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.
型推論
型推論（かたすいろん）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構のこと。 推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いる事によるバグは回避できる。また、記述をアルゴリズムに集中できるのでプログラムの抽象度が上がるというメリットもある。 代表的な型推論アルゴリズムとして、Hindley/Milner 型推論アルゴリズムがある。各々著名なコンピュータ科学者の名前からつけられた名前であるが、Hindley は論理学者として型推論システムを先に開発した。 型推論を持つ言語としてはHaskell、ML、Vala、F#、C#、Java、Scala、OCaml、D言語、Concurrent Clean、C++11、Swiftなどがある。静的型付け関数型言語のほとんどがなんらかの型推論の機能を持っている。.
参照 (情報工学)
参照（さんしょう、reference、リファレンス）は、他の場所にあるデータを指している情報を含む小さなオブジェクトであり、それ自身の中に（指している）データ自体を含まない。参照の指す値を取り出すことをデリファレンス (dereference)と呼ぶ（間接参照も参照）。参照は様々なデータ構造を構成する基本要素であり、プログラム内の各部で情報をやり取りするための基本でもある。 なお、C++には、参照型というものがあるが、以下で説明するのはC++のそれではなく、一般概念である。C++の参照については、ポインタ (プログラミング)#参照を参照のこと。.
新しい！!: データ型と参照 (情報工学) · 続きを見る »
変数 (プログラミング)
プログラミングにおいて、変数（へんすう、variable）とは、プログラムのソースコードにおいて、扱われるデータを一定期間記憶し必要なときに利用できるようにするために、データに固有の名前を与えたものである。 一人一人の人間が異なる名前によって区別されるように、一つ一つの変数も名前によって区別される。これにより、複数のデータを容易に識別することができる。変数名は一般に（字句的には）識別子である、ないし、変数の識別子のことを変数名という。一般に、変数が表しているデータをその変数の値（あたい）という。.
新しい！!: データ型と変数 (プログラミング) · 続きを見る »
定数
数学における定数（ていすう、じょうすう、constant; 常数）あるいは定項 (constant term) は、二つの異なる意味を示し得る。そのひとつは固定 (fix) され、矛盾なく定義された数（またはもっとほかの数学的対象）であり、この意味で言う定数であることをはっきりさせるために「数学定数」（あるいは「物理定数」もそうだが）という語を用いることもある。もう一つの意味は、定数函数またはその（これらはふつうたがいに同一視される）を指し示すもので、この意味での「定数」は扱う問題における主変数に依存しない変数という形で表されるのが普通である。後者の意味での例として、は、与えられた函数の原始函数をすべて得るために特定の原始函数に加えられる、任意の（積分変数に依存しないという意味での）定数函数を言う。 例えば、一般の二次函数はふつう を定数（あるいはパラメタ）として のようにあらわされる。ここに変数 は考えている函数の引数のプレースホルダとなるものである。より明示的に のように書けば がこの函数の引数であることが明瞭で、しかも暗黙の裡に が定数であることを提示できる。この例では、定数 はこの多項式の係数と呼ばれる。 の項は を含まないからと呼ばれ（これを の係数と考えることができる）、多項式において次数が零の任意の項または式は定数である。.
定数 (プログラミング)
プログラミングにおいて定数（「ていすう」または「じょうすう」、Constant）とは、変数同様プログラムのソースコードにおいて、扱われるデータを一定期間記憶し必要なときに利用できるようにするために、データに固有の名前を与えたものである。 ただし変数とは異なり、一度初期化するとその内容を変更することはできない。よって、内容が変化しないことが保証される名前が必要なときに使用される。 ソースコードに直接記述するデータ（リテラル）のことを指して定数と呼ぶことがあり、標準規格での用語がそうなっている言語もある。しかし、この記事で扱う「定数」はデータに名前を与えるものであり、基本的にリテラルとは別である。リテラルについてはそちらの記事を参照。なお、言語によっては、定数を初期化する式にリテラルあるいはリテラルと演算子等のみから成る式しか許さないことがある、というような関連はある。.
新しい！!: データ型と定数 (プログラミング) · 続きを見る »
代数的データ型
代数的データ型（Algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。.
新しい！!: データ型と代数的データ型 · 続きを見る »
任意精度演算
任意精度演算とは、数値の精度を必要ならいくらでも伸ばしたりできるような演算システム（実際上は利用可能なメモリ容量に制限されるが）による演算である。.
新しい！!: データ型と任意精度演算 · 続きを見る »
式 (プログラミング)
式（しき、expression）とは、プログラミングにおいて、言語によって定められた優先順位や結びつきの規定に則って評価される値、変数、演算子、関数の組み合わせである。数学における式と同様、式は評価された値を持つ。 言語によっては式が副作用を持つこともあり、参照透過性がない場合もある。.
新しい！!: データ型と式 (プログラミング) · 続きを見る »
バイナリ
バイナリ (binary) とは二進法のことであるが、コンピュータが処理・記憶するために2進化されたファイルまたはその内部表現の形式（バイナリデータ）のことを指して用いることが多い。 コンピュータが扱うすべてのデータはバイナリデータ（バイトの並び）であり、プレーンテキスト（または単にテキスト）もバイナリデータの一種ではあるが、通常バイナリとテキストは対比して用いられる。テキストとはデータの内容すべてを人間が読んで理解できる (human-readable) もの、バイナリとはそうでないものを指す。human-readableに対する語はmachine-readableだが、これは（機械的に読むことが可能であるように）フォーマットが定められているもの、という意味である。バイナリフォーマットではエンディアンなどに互換性・移植性の上で注意が必要であり、それを避けてテキスト形式で記録することも少なくない（UNIX哲学も参照。なお浮動小数点数やループした構造の表現など、テキスト形式にも注意が必要な点は多い）。バイナリエディタを用いると、バイナリファイルを1バイトずつの（16進法での）数値の並びとして表示・編集を行うことができる。バイナリのファイルでも多くは部分的にテキストとして読み取れる箇所が存在するため、そういった箇所のみを抜き出すstringsというユーティリティもある。 バイナリファイルにはたとえば画像ファイルや音声ファイル、圧縮されたファイルなどがある。バイナリファイルの中にはファイルの先頭にメタ情報（ヘッダ）を持っているものがある。たとえばGIFファイルは複数の画像を持つことができ、ファイルの先頭でそれぞれの画像を区別する情報が記述されている。そのようなメタ情報を持たないファイルはフラットバイナリファイルと呼ばれる。コンピュータプログラム関係では、テキストであるソースコードとの対比からコンパイルされたコード（オブジェクトファイルや実行ファイルなど。またそのような機械語（ネイティブバイナリ）に限らず、WebAssemblyやJavaなどのバイトコード類なども含む）のファイル等を指してバイナリと呼ばれることがしばしばある。プロプライエタリのソフトウェアは、バイナリの形態でさらに難読化を掛けて、販売されることが多い。 バイナリ形式でのデータの表現方法はさまざまなものがある。例えば、数値であれば0～9までの数をパターン化して記録するBCD、ゾーンビットと実際の数値、正の数か負の数かを記録する符号ビットからなるアンパック10進数（ゾーン10進数）や、実際の数値と符号ビットだけからなるパック10進数などがある。文字列の扱いとしては、ナル文字（'\0'）で終端する方法や、長さ（オクテット数、あるいは文字（符号点）の個数）を別に保持する、といった方式がある。前者では、'\0' を含むようなバイナリを「文字列」として扱うことができない。.
ポリモーフィズム
ポリモーフィズム（）とは、プログラミング言語の型システムの性質を表すもので、プログラミング言語の各要素（定数、変数、式、オブジェクト、関数、メソッドなど）についてそれらが複数の型に属することを許すという性質を指す。ポリモルフィズム、多態性、多相性、多様性とも呼ばれる。対義語はモノモーフィズム(Monomorphism)、単態性、単相性で、プログラミング言語の各要素が唯一つの型に属するという性質を指す。 ポリモーフィズムは次のようないくつかの種類に分けられる。.
新しい！!: データ型とポリモーフィズム · 続きを見る »
ポインタ (プログラミング)
ポインタ (pointer) とは、あるオブジェクトがなんらかの論理的位置情報でアクセスできるとき、それを参照する（指し示す）ものである。有名な例としては Pascal のポインタが挙げられる。 なお、C++では、さらに独立した「参照」という機能がある。.
新しい！!: データ型とポインタ (プログラミング) · 続きを見る »
リテラル
リテラル（literal）は、「文字どおり」「字義どおり」を意味する語で、 と同じくラテン語の （文字）に由来する。数理論理学とコンピュータプログラミングで異なる意味の専門用語として使われる。.
リスト (抽象データ型)
抽象データ型としてのリスト(list)は、順序つきのデータコンテナとして定義される。 リストはたいてい配列や連結リストを使って実装される。これは配列や連結リストと似た特性を持っているからである。また連結リストのことを単にリストと呼ぶこともある。順序を持つ点を強調してシーケンス(列; sequence)と呼び、連結リストと区別することもある。.
新しい！!: データ型とリスト (抽象データ型) · 続きを見る »
レジスタ (コンピュータ)
レジスタ（register）はコンピュータのプロセッサなどが内蔵する記憶回路で、制御装置や演算装置や実行ユニットに直結した、操作に要する速度が最速の、比較的少量のものを指す。.
新しい！!: データ型とレジスタ (コンピュータ) · 続きを見る »
ブーリアン型
ブーリアン型（ブーリアンがた、Boolean datatype）は、真理値の「真.
新しい！!: データ型とブーリアン型 · 続きを見る »
プログラミング (コンピュータ)
ンピュータのプログラミング（programming）とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。.
新しい！!: データ型とプログラミング (コンピュータ) · 続きを見る »
プログラム (コンピュータ)
ンピュータプログラム（英：computer programs）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。 コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。.
新しい！!: データ型とプログラム (コンピュータ) · 続きを見る »
パッシブセーフティ
パッシブセーフティ（英: passive safety）とは、機械装置の設計や操作における安全技術のうち、特に事故などの異常事態が起きた場合に人体などへの影響を最小限に抑える技術の総称。日本語では受動的安全（じゅどうてきあんぜん）と訳されることがある。 20世紀終盤以降、自動車技術において事故を未然に防ぐアクティブセーフティという考え方が広まり、その対義語として（事故が起きた際の被害を軽減する）パッシブセーフティという用語が多用されるようになった。このため、日本語でパッシブセーフティの意味として、衝突安全（しょうとつあんぜん）という語が用いられることもある。.
新しい！!: データ型とパッシブセーフティ · 続きを見る »
データ
データ（data）とは、事実や資料をさす言葉。言語的には複数形であるため、厳密には複数の事象や数値の集まりのことを指し、単数形は datum（データム）である。.
データ構造
データ構造（データこうぞう、data structure）は、計算機科学において、データの集まりをコンピュータの中で効果的に扱うため、一定の形式に系統立てて格納するときの形式のことである。 ソフトウェア開発において、データ構造についてどのような設計を行うかは、プログラム（アルゴリズム）の効率に大きく影響する。そのため、さまざまなデータ構造が考え出されている。 多くのプログラムの設計において、データ構造の選択は主要な問題である。これは大規模システムの構築において、実装の困難さや質、最終的なパフォーマンスはベストのデータ構造を選択したかどうかに大きく依存してきたという経験の結果である。多くの場合、データ構造が決まれば、利用するアルゴリズムは比較的自明に決まる。しかし場合によっては、順番が逆になる。つまり、与えられた仕事をこなす最適なアルゴリズムを使うために、そのアルゴリズムが前提としている特定のデータ構造が選択される。いずれにしても適切なデータ構造の選択は極めて重要である。 この洞察は、多くの定式化された設計手法やプログラミング言語において、データ構造がアルゴリズムよりもキーとなる構成要素となっていることに現れている。大半の言語は異なるアプリケーションにおいてデータ構造を安全に再利用できるよう、実装の詳細をインターフェイスの背後に隠蔽するような、モジュール化のしくみを備えている。C++やJavaといったオブジェクト指向プログラミング言語はクラスをこの目的に用いている。 データ構造は専門的なプログラミングにとって非常に重要なので、C++におけるSTLや、Java API、および.NET Frameworkのようなプログラミング言語の標準ライブラリや環境において多くのデータ構造がサポートされている。 データ構造が実装を表すのかインターフェースを表すのかについてはいくらか議論がある。どのように見えるかは相対的な問題なのかもしれない。データ構造は2つの関数の間にあるインターフェイスとして見ることもできるし、データ型に基づいて構成されたストレージにアクセスする方法を実装したものとして見ることもできる。.
新しい！!: データ型とデータ構造 · 続きを見る »
ダック・タイピング
ダック・タイピング（duck typing）とは、Smalltalk、Perl、Python、Rubyなどのいくつかの動的型付けオブジェクト指向プログラミング言語に特徴的な型付けの作法のことである。それらの言語ではオブジェクト（変数の値）に何ができるかはオブジェクトそのものが決定する。つまり、オブジェクトがあるインタフェースのすべてのメソッドを持っているならば、たとえそのクラスがそのインタフェースを宣言的に実装していなくとも、オブジェクトはそのインタフェースを実行時に実装しているとみなせる、ということである。それはまた、同じインタフェースを実装するオブジェクト同士が、それぞれがどのような継承階層を持っているのかということと無関係に、相互に交換可能であるという意味でもある。 この用語の名前は「ダック・テスト」に由来する。 "If it walks like a duck and quacks like a duck, it must be a duck"（もしもそれがアヒルのように歩き、アヒルのように鳴くのなら、それはアヒルである） デーブ・トーマスはRubyコミュニティで初めてこの言葉を使ったと考えられている。 C++のtemplateはダック・タイピングの静的版である。例えば、各種のiteratorはIterator基底クラスのようなものからメソッドを継承しているわけではないが、同じ構文でコンパイルが通るならば、それはiteratorの一種として扱える。C++で言う「同じインターフェースを持つ」とは、コンパイラにとってインターフェースが同じだということである。したがって、iteratorの実装はオブジェクトである必要すらない。 もう1つ、ダック・タイピングに似たアプローチにOCamlのstructural subtypingがある。メソッドのシグネチャが互換ならば、宣言上の継承関係は関係なくとも、オブジェクトの型は互換であるというものである。これはOCamlの型推論システムによってコンパイル時にすべて決定される。.
新しい！!: データ型とダック・タイピング · 続きを見る »
ベクトル
ベクトル（）またはベクター（） ベクトルは Vektor に由来し、ベクターは vector に由来する。物理学などの自然科学の領域ではベクトル、プログラミングなどコンピュータ関係ではベクターと表記される、という傾向が見られることもある。また、技術文書などではしばしばJIS規格に準拠する形で、長音を除いたベクタという表記が用いられる。 は「運ぶ」を意味するvehere に由来し、18世紀の天文学者によってはじめて使われた。 ベクトルは通常の数（スカラー）と区別するために矢印を上に付けたり（例： \vec,\ \vec）、太字で書いたりする（例： \boldsymbol, \boldsymbol）が、分野によっては矢印も太字もせずに普通に書くこともある（主に解析学）。 ベクトル、あるいはベクターに関する記事と用法を以下に挙げる。.
アクティブセーフティ
アクティブセーフティ（英：active safety）とは、機械装置の設計・操作などにおける安全技術のうち、特に事故などの異常事態を未然に防ぐ技術の総称。日本語では能動的安全（のうどうてきあんぜん）、あるいは予防安全（よぼうあんぜん）と訳されることがある。 20世紀終盤以降、特に自動車の安定性向上や衝突回避などに寄与する技術について、この言葉が用いられることが多くなった。対応する用語として、事故が起きた際の被害軽減に寄与する技術の総称であるパッシブセーフティがある。 アクティブセーフティは、もっぱら異常事態の前兆監視と、前兆現象が確認された場合の正常状態への回復（または異常事態の回避）動作に分類される。機械を操作する人間がこれらの全てを行うケースもあるが、専用の機械装置による監視あるいは回復操作の補助、さらには機械がそれらの全てを行うようなものもある。.
新しい！!: データ型とアクティブセーフティ · 続きを見る »
インスタンス
計算機科学でのインスタンス（）とは実体のことをいう。は英語で「実例」を意味する。.
新しい！!: データ型とインスタンス · 続きを見る »
オブジェクト (プログラミング)
ブジェクト（object）はオブジェクト指向プログラミングにおいて、プログラム上の手続きの対象を抽象化する概念である。.
新しい！!: データ型とオブジェクト (プログラミング) · 続きを見る »
オブジェクト指向
ブジェクト指向（オブジェクトしこう）とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。英語の object-oriented (直訳は、「対象物志向の」「目的重視の」という意味の形容詞) の日本語訳である。 オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ（特に部品間で緊密で複雑な相互関係を持つもの）の記述においては、オブジェクト指向の考え方は必須である。.
新しい！!: データ型とオブジェクト指向 · 続きを見る »
キャラクタ (コンピュータ)
ャラクタ (character) は、文字のことであるが、情報処理においては「文字コード」で表される「文字集合」という集合の要素（「元」）のことである。.
新しい！!: データ型とキャラクタ (コンピュータ) · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: データ型とコンピュータ · 続きを見る »
スカラー
ラー、スカラ; scalar.
タプル
タプルまたはチュープル（tuple）とは、複数の構成要素からなる組を総称する一般概念。 数学や計算機科学などでは通常、順序付けられた対象の並びを表すために用いられる。個別的には、n 個でできた組を英語で「n-tuple」と書き、日本語に訳す場合は通常「n 組」としている。タプルの概念そのものも組と呼ばれる場合がある。なお、 n-tuple は数学のタプルを意味するほか、同様に double、triple などの拡張として倍数詞の表現にも利用される（詳細は「倍#西洋数学における n 倍を表す表現」を参照）。.
サブルーチン
ブルーチン（subroutine）は、コンピュータプログラミングにおいて、プログラム中で意味や内容がまとまっている作業をひとつの手続きとしたものである。繰り返し利用されるルーチン作業をモジュールとしてまとめたもので、呼び出す側の「主」となるもの（メインルーチン）と対比して「サブルーチン」と呼ばれる。サブプログラム (subprogram) と呼ばれることもある。また、「サブ」をつけずに「ルーチン」と呼ぶこともある。 プログラムのソース中で、繰り返し現れる作業をサブルーチン化することで、可読性や保守性を高く保つことができる。繰り返し現れる作業でなくても、意味的なまとまりを示すためにサブルーチン化することもある。また、キャッシュのような階層的メモリの設計を持つコンピュータ（現在のパソコンやワークステーションなどほぼすべて）では、よく使われるサブルーチンがキャッシュに格納されることで高速な動作を期待できる。.
新しい！!: データ型とサブルーチン · 続きを見る »
再帰データ型
再帰データ型または再帰型（Recursive Type）とは、データ型の一種であり、代数的データ型として定義したならば、定義の右辺中にそれ自身の型が出現するような型である。直接は現れない（相互再帰）ものもある。.
新しい！!: データ型と再帰データ型 · 続きを見る »
動的プログラミング言語
動的プログラミング言語（dynamic programming language）は、コンピュータ・プログラミング言語において、一般にコンパイルなどの準備段階に済まされることが多いことを、準備時ではなく実行時に行うプログラミング言語処理系（の言語）である。本来は実装（処理系）のことを指すべきであるが、一般にその言語を指して議論されることが多い。もっぱら高水準言語が多い。動的言語（dynamic language）とも。例えば、型システムによる型チェックや、値の型変換、名前束縛などを、コンパイルなどの実行準備時ではなく実行時に行う。そういった「動的さ」により、コードの追加やオブジェクトや定義の拡張や型システムの変更によるプログラムの拡張、といったことが行いやすい、ということが利点とされる。これらの動作は静的な処理系でも手間はかかるがエミュレート可能である（例えばJavaのJDK/JREでも、クラスローダーを活用すれば可能である）。一方、動的言語ではそういったことが、直接的にサポートされる。 動的言語と動的型付けは同じ概念ではないし、全ての動的言語が必ずしも動的型付き言語というわけではない。たとえばSmalltalk環境の一つであるStrongtalkやGradualtalkは動的な言語にも拘わらず静的型検査が可能となっている。しかし多くの動的言語は動的型付き言語である。.
新しい！!: データ型と動的プログラミング言語 · 続きを見る »
固定小数点数
固定小数点数（読み: こていしょうすうてんすう, 英: fixed-point number）は、小数点が置かれる桁を固定して表された数のことである。ある桁数のうちのある場所に小数点が固定されているものとして扱う方式であるため、表現される仮数部に対して小数点の位置が移動する浮動小数点数の対義語として用いられる。コンピュータの数値表現のひとつである。 「固定-小数点数」ではなく「固定小数点-数」である。.
新しい！!: データ型と固定小数点数 · 続きを見る »
四元数
数学における四元数（しげんすう、quaternion（クォターニオン））は複素数を拡張した数体系である。四元数についての最初の記述は、1843年にアイルランドの数学者ウィリアム・ローワン・ハミルトンによってなされ、三次元空間の力学に応用された。四元数の特徴は、二つの四元数の積が非可換となることである。ハミルトンは、四元数を三次元空間内の二つの有向直線の商として定義した。これは二つのベクトルの商と言っても同じである。四元数をスカラーと三次元のベクトルとの和として表すこともできる。 一般に、四元数は の形に表される。ここで、 a, b, c, d は実数であり、i, j, k は基本的な「四元数の単位」である。 四元数は純粋数学のみならず応用数学、特に3Dグラフィクスやコンピュータビジョンにおいてでも用いられる。これはオイラー角や回転行列あるいはそれらに代わる道具などとともに、必要に応じて利用される。 現代数学的な言い方をすれば、四元数の全体は実数体上四次元の結合的ノルム多元体を成し、またそれゆえに非可換整域となる。歴史的には四元数の体系は、最初に発見された非可換多元体である。四元数全体の成すこの代数は、ハミルトンに因んで H（あるいは黒板太文字でユニコードの Double-Struck Capital H, U+210D, ）と書かれる。またこの代数を、クリフォード代数の分類に従って というクリフォード代数として定義することもできる。この代数 は解析学において特別な位置を占めている。というのも、フロベニウスの定理に従えば は実数の全体 を真の部分環として含む有限次元可除環の二種類しかないうちの一つ（もう一つは複素数の全体 ）だからである。 従って、単位四元数は三次元球面 上の群構造を選んだものとして考えることができて、群 を与える。これは に同型、あるいはまた の普遍被覆に同型である。.
値 (情報工学)
プログラミング言語における値（あたい）について説明する。値は、何らかの式を評価した結果である。式はデータ型を持ち、評価結果は内部的にはビット列になる。データ型が異なれば、同じビット列が異なる値（意味）を持つこともある。例えばあるビット列は整数、浮動小数点数または文字列として解釈されることがある。 いくつかの種類の値はほとんどのプログラミング言語で共通してサポートされている。様々な数値表現などがその例である。一方、あまり広くサポートされていないものもある。Pascalにある集合型などがその例である。.
新しい！!: データ型と値 (情報工学) · 続きを見る »
BASIC
BASIC（ベーシック）は手続き型プログラミング言語のひとつ。 名前は「beginner's all-purpose symbolic instruction code」（「初心者向け汎用記号命令コード」を意味する）のバクロニムである。.
新しい！!: データ型とBASIC · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
符号属性
ンピューティングにおいて、符号属性（ふごうぞくせい、signedness）は、コンピュータプログラムにおける数値を表すデータ型が持つ属性である。符号付き(signed)の場合は、数値変数は正と負の両方の数値を表すことができ、符号なし(unsigned)の場合は、数値変数は負でない数値（0と正の数値）のみを表すことができる。 符号付きの数値は負の数を表すことができるので、表すことのできる正の数の範囲は、同じサイズ（ビット数）の符号なしの数値よりも少なくなる。表現可能な値の半分は負の値になるためである。符号付き8ビット整数型の場合、符号なしでは表現できる128から255が表現できず、その代わりに-128から127が表現できる。符号なし変数は、全ての表現可能な値を正の数の範囲に割り当てられる。 例えば、2の補数による符号付き16ビット整数は-32768から32767まで値を保持でき、符号なし16ビット整数は0から65535までの値を保持できる。この符号表現法では、左端のビット（最上位ビット）は、値が正か負かを示す（正の場合は0、負の場合は1）。.
第一級オブジェクト
一級オブジェクト（ファーストクラスオブジェクト、first-class object）は、あるプログラミング言語において、たとえば生成、代入、演算、（引数・戻り値としての）受け渡しといったその言語における基本的な操作を制限なしに使用できる対象のことである。ここで「オブジェクト」とは広く対象物・客体を意味し、必ずしもオブジェクト指向プログラミングにおけるオブジェクトを意味しない。第一級オブジェクトは「第一級データ型に属す」という。 この言葉は1960年代にChristopher Stracheyによって「functions as first-class citizens」という文脈で初めて使われた。 言語によって異なるが、第一級オブジェクトは概ね次のような性質をもつ。.
新しい！!: データ型と第一級オブジェクト · 続きを見る »
第一級関数
計算機科学において、第一級関数（だいいっきゅうかんすう、first-class function、ファーストクラスファンクション）, by Michael Lee Scott, section 11.2 "Functional Programming".
新しい！!: データ型と第一級関数 · 続きを見る »
総称型
総称型（generic type）、あるいはパラメタ付型（parametric type）とは、型付けされたプログラミング言語においてデータ型の定義とそれを参照する式（型式）の一部にパラメタを許すことによって類似した構造を持つ複数のデータ型を一括して定義して、それらを選択利用する仕組みである。 総称型は、暗黙の型変換（implicit type conversion）あるいは型強制（type coercion）、多重定義あるいはオーバーロード（overload）、継承（inheritance）あるいは包含（inclusion）と並んでプログラミング言語においてポリモーフィズムを実現するための一つの手段であると看做せる。 総称型が使われている言語の例としてC++のテンプレート、JavaやC#のジェネリクスがある。.
静的型付け
静的型付け（せいてきかたづけ、static typing）とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。 また、そのような性質の言語を、静的型付き言語（せいてきかたつきげんご、statically typed language）という。これに対し、型は実行時の実際の値による、というのが動的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである（MLなど）。 一口に静的型と言ってもその実体は言語により様々である。手続き型のオブジェクト指向言語の多くでは、静的に型が付いていても、キャストなどによりインスタンスの妥当性は保証されない。より制限の強い言語であっても、ミュータブルな値により不正参照などのリスクが残されている。また静的型でもリフレクションを多用する設計を行なうと、実質的に動的型とほとんど変わらないスタイルになることから、静的と動的の境目は必ずしも明確でない場合があるといえる。 一般的な傾向として、大規模プログラミングやシステム記述用の言語は静的な型付けを行なうものが多い。.
新しい！!: データ型と静的型付け · 続きを見る »
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
複素数型
複素数型 (英: complex data type) とは、いくつかのプログラミング言語において標準で用意されているデータ型の1つで、複素数の表現および演算を取り扱うものである。コンピュータが（厳密には）実数を扱えるわけではないので、複素数も同様に、実際は浮動小数点型のタプルである。 -->.
関数オブジェクト
関数オブジェクト（かんすうオブジェクト、function object）は、プログラミング言語において、関数（サブルーチンないしプロシージャ）を、オブジェクトとしたものである。手続きオブジェクトとも言う（プロシージャ＝手続き）。なお、ここでのオブジェクトの語は、いわゆるオブジェクト指向のそれに限らず、「第一級オブジェクト」という語におけるのと同じ、メモリ上に空間を確保されたもの、といった意味である。関数が第一級オブジェクトである場合は特に第一級関数と言う。 関数と変数の名前空間が共通である言語の場合、構文の設計によっては、a.
新しい！!: データ型と関数オブジェクト · 続きを見る »
配列
この記事では、コンピュータ・プログラムにおいて配列（はいれつ、array）と呼ばれているデータ構造およびデータ型について説明する。計算科学方面ではベクトルという場合もある。また、リストも参照。一般に、添え字で個々の要素を区別する。.
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
Microsoft Visual Basic
Microsoft Visual Basic （マイクロソフト ヴィジュアル ベーシック）はマイクロソフトが1990年代に開発していたプログラミング言語およびその処理系。通常はVisual BasicまたはVBと呼ぶ。Visual Studioに組み込まれ、さまざまな種類のアプリケーション開発に用いられる。後継となるMicrosoft Visual Basic.NETに関してはそちらの項目を参照。1970年代〜1980年代に開発されていた前身のMicrosoft BASICについてはそちらの項目を参照。.
新しい！!: データ型とMicrosoft Visual Basic · 続きを見る »
OCaml
OCaml（ 、オーキャムル、オーキャメル）は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。.
新しい！!: データ型とOCaml · 続きを見る »
Perl
Perl（パール）とは、ラリー・ウォールによって開発されたプログラミング言語である。実用性と多様性を重視しており、C言語やsed、awk、シェルスクリプトなど他のプログラミング言語の優れた機能を取り入れている。ウェブ・アプリケーション、システム管理、テキスト処理などのプログラムを書くのに広く用いられている。 言語処理系としてのperlはフリーソフトウェアである。Artistic LicenseおよびGPLのもとで配布されており、誰でもどちらかのライセンスを選択して利用することができる。UNIXやWindowsなど多くのプラットフォーム上で動作する。.
Smalltalk
Smalltalk（スモールトーク）は、Simula のオブジェクト（およびクラス）、LISPの徹底した動的性、LOGO のタートル操作や描画機能に、アラン・ケイの「メッセージング」というアイデアを組み合わせて作られたクラスベースの純粋オブジェクト指向プログラミング言語、および、それによって記述構築された統合化プログラミング環境の呼称。 Smalltalk で一語であり、「Small Talk」「SmallTalk」などは誤りである。 大規模な開発実績としてはCargill Lynx Projectがあり、国産製品の開発実績としてはMCFrameがある。.
新しい！!: データ型とSmalltalk · 続きを見る »
Void (コンピュータ)
void（ボイド）は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。 ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には（型理論的には）本来はである。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語（Visual BasicやPascal）もある。（「返り値を戻さない」のではなく、「呼び出し側に戻らない」のであれば理論的にもvoid型と言える） 似たものとしてnil（Null）やがあるが、（本来の）Void型はその型の値は存在しないという点が、NullやUnitと異なる。 C言語やC++ではvoid型へのポインタ（void *のように書く）があるが、これは上で述べたvoid型と直接関連するものではなく、「不特定の」（任意の）型のデータを指すポインタとなっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、ポリモーフィックな関数を書く際に有用である（なお、標準規格では、関数ポインタについては扱いが違う）。 また、JavaScriptなど、言語によっては、void演算子が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てることを明示するためのvoid型へのキャスト（たとえば、(void)printf("Hello"); のように書く）に似ている。.
新しい！!: データ型とVoid (コンピュータ) · 続きを見る »
束縛 (情報工学)
束縛またはバインディング（Binding）は一般に、参照 (情報工学) の集合である。コンピュータ関連で「束縛」という語が使われるものはいくつかあり、それぞれ具体的な内容は異なるので、以下いくつかの例を示す。.
新しい！!: データ型と束縛 (情報工学) · 続きを見る »
機械語
機械語（きかいご）またはマシン語（Machine code、machine language）とは、コンピュータのプロセッサが直接解釈実行可能な一連の命令群のデータそのもの（を、コンピュータ・プログラミング言語とみなしたもの）である。.
演算子
演算子（えんざんし、operator symbol, operator name）は、数式やコンピュータプログラミング言語などで、各種の演算を表わす記号・シンボルである。普通は、演算子は単なる記号ないし記号列であって構文論的なものであり、それに対応する演算は意味論の側にある。たとえばJavaにおいて、演算子 + を使った a + b という式は、構文論上は単にそういう式だというだけである。意味論的には数値の加算であったり、文字列の連結であったりするが、それは a と b の型に依って決まる（理論的には項書き換えのように、構文論的に意味論も与えられた演算子といったものもある）。 演算が作用する対象のことを被演算子（operand; オペランド、被演算数、引数）という。たとえば、n と 3 との和を表す式 "n + 3" において、"+" は演算子であり、その被演算子は "n" と "3" である。また、数式として一般的な被演算子と被演算子の間に演算子を記述する構文は中置記法と呼ばれる。 数学的には、基本的には、関数（単項演算子では1引数の関数、2項演算子は2引数の関数）をあらわすある種の糖衣構文のようなものに過ぎない。しかし、汎函数計算など、演算子を操作するような手法もある。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
浮動小数点数
浮動小数点数（ふどうしょうすうてんすう、英: floating point number）は、浮動小数点方式による数のことで、もっぱらコンピュータの数値表現において、それぞれ固定長の仮数部と指数部を持つ、数値の表現法により表現された数である。.
新しい！!: データ型と浮動小数点数 · 続きを見る »
文 (プログラミング)
プログラムにおける文（ぶん、statement）とは、コンピュータプログラミング言語によるプログラムを構成するもののひとつで、一般に手続きを表すものである。 文の種類（意味）は、だいたいの類似はあるが、詳細はそれぞれのプログラミング言語によって異なる。 文の構文もそれぞれのプログラミング言語によって異なる。初期のFORTRANやCOBOLのように1行に1つの文を書く言語、C言語や多くのスクリプト言語のように文終端記号(セミコロンなど)で終端する言語、Pascalのように文と文との間の区切り記号で区切る言語などがある（終端記号と区切り記号の違いは、並びの最後のあとに記号が入るか入らないかである（厳密にはここで論じているのは文ではなく複文の構文である。またC言語についての説明は間違っており、例えばif文それ自体などにはセミコロンは現れない（セミコロンのみの「空文」、「do-while文」、そして式の後にセミコロンを付けた「式文」、などがC言語において「セミコロンが最後に付いている文」である。宣言などの後にもセミコロンが付く（が、C言語では宣言は文とは違う「宣言というもの」である）））。 1行1文の言語にあっては、行末または行頭に、言語で指定された記号を付けることで、行が継続しているものとして（継続行）、複数行にわたって文を記述することができるものもある。 類似する言葉として'''式'''がある。式は、必ずしも手続きを表さず、文とは異なり値を持つ（多くの手続き型言語では式にも手続きがともない、副作用という。特にC言語は代入が式である。また逆に言語によっては文も値を持つものもある）。 大まかに言えば、一つ以上の式や関数呼び出しで作られる、手続き構造の単位が文である、と考えてほぼ差し支えない。if文のように分岐構造を表すもの、代入文のように変数の更新を表すものなどが代表例である。構造化プログラミング以降の言語では、複数の文からブロック（「複文」とも言う）を構成できるのが一般的である。 if文などにおける構文の流儀には大きく2通りがあり、ひとつはC言語のような、 という規則のもので（というような文法だと多くのプログラマが信じているようだが、実際には全く違っている（前述。あるいは規格票を参照））、dangling else問題（通常は困るものではない。:en:Dangling elseも参照）の存在が知られている。 もうひとつの流儀は、古くはPerl、近年ではGoがこのようになっているが、 のように、任意の文を直接書くことができないようにしたものである。dangling else対策のひとつでもある。.
新しい！!: データ型と文 (プログラミング) · 続きを見る »
文字列
文字列（もじれつ）は、単語や文章のような、文字の連なったもの。ストリング (string)、テキスト (text) という場合もある。コンピュータ、特にプログラミングの分野で用いることが多い。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
整数型
整数型（せいすうがた）は、コンピュータのプログラムなどのデータ型の1つまたは1群であり、整数を取り扱う。コンピュータで扱うもっとも単純な部類のデータ型のひとつである。C言語やJavaなどの多くのプログラミング言語では、整数型は固定長であり、その固定サイズで表現可能な範囲の、整数の有限な部分集合の要素を値とする型である。また多くの言語において、標準あるいは第三者によるライブラリにより、範囲に制限のない整数も扱うことができる。 パスカルによる機械式計算機などが数をその処理の対象としていたことを考えれば、計算機械の歴史において、整数を扱うことはコンピュータ以前からの存在である。.
3値論理
3値論理 (ternary) とは、通常の真 と偽 から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。.
3次元コンピュータグラフィックス
3次元コンピュータグラフィックス（さんじげんコンピュータグラフィックス、Three-dimensional computer graphics, 3DCG）は、コンピュータの演算によって3次元空間内の仮想的な立体物を2次元である平面上の情報に変換することで奥行き感（立体感）のある画像を作る手法である。20世紀末からのコンピュータ技術の急速な発達と性能向上によって、従来は大企業や大きな研究所でしか得られなかった精細で高品質の3次元画像が、21世紀初頭現在ではPCやゲーム機で得られるようになっている。 毎年夏にアメリカ合衆国で開催されるCGの祭典「SIGGRAPH」（シーグラフ）にて、世界中の多くの研究者により最新のCGの論文が発表され、技術更新がなされている。.
新しい！!: データ型と3次元コンピュータグラフィックス · 続きを見る »
