ブラウザよりも高速アクセス！
11 関係: 型理論、同期 (計算機科学)、並行計算、ミューテックス、ブーリアン演算、プリミティブ型、データ型、クラス (コンピュータ)、コンピュータグラフィックス、セマフォ、構造体。
型理論
型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.
新しい！!: プリミティブと型理論 · 続きを見る »
同期 (計算機科学)
同期（どうき、Synchronization）とは、コンピュータ関係（コンピュータ科学でも重要なテーマであるが、話題の広がりとしてはそれに留まらない）では、プロセスなどといった複数のエージェントの動作について、時系列的にタイミングを合わせる制御のことや、複数個所に格納された同一であるべき情報を同一に保つことである。.
新しい！!: プリミティブと同期 (計算機科学) · 続きを見る »
並行計算
並行計算（へいこうけいさん、concurrent computing）とは、コンピュータプログラムにおいて複数の相互作用を及ぼす計算タスクの（同時）並行的実行を指す。.
新しい！!: プリミティブと並行計算 · 続きを見る »
ミューテックス
ミューテックス (Mutex) とは、コンピュータプログラミングにおける技術用語。クリティカルセクションでアトミック性を確保するための排他制御や同期機構の一種である。Mutexという語はMUTual EXclusion (相互排他、排他制御) の省略形である。ここでは、狭義の排他制御について述べる。.
新しい！!: プリミティブとミューテックス · 続きを見る »
ブーリアン演算
ブーリアン演算（ブーリアンえんざん）または集合演算（しゅうごうえんざん）とは、3次元コンピュータグラフィックスやCAD等の形状モデリングにおいて、体積を持った形状（3次元の場合）を集合とみなし、複数の形状を和、差、積といった集合演算により組み合わせ、合成された形状を作る演算である。ソリッドモデリングの1手法であるCSG表現においては根幹的な技術となる。サーフェスモデラにおいても形状をソリッドモデルと仮定できる状況であれば使用できる場合がある。.
新しい！!: プリミティブとブーリアン演算 · 続きを見る »
プリミティブ型
プリミティブ型（プリミティブがた primitive data type、プリミティブデータ型）は、データ型の1分類である。理論計算機科学的に代数的データ型によって考えれば「そのデータ型の定義の中に部分として他の型を含まないような型」がプリミティブ型であるが、Javaにおいて型が「primitive types（プリミティブ型）とreference type（参照型）」に二分される。 この記事におけるここから先の説明は、最初に説明した理論的な分類に従ったものではなく、よく信じられているらしい「プログラミング言語によって提供されるデータ型であり基本的な要素である。対する語は複合型という。言語やその実装に依存して、プリミティブ型がコンピュータメモリ上のオブジェクトと一対一対応のときもあれば、そうでないときもある。組み込み型もしくは基本型とも呼ぶ。」という解釈に従ったものである。 代表的なプリミティブ型を一部列挙.
新しい！!: プリミティブとプリミティブ型 · 続きを見る »
データ型
データ型（データがた、）とは、（コンピュータにおける）データ（値）の種類に関する分類である。データタイプとも。 具体的にいうと、たとえば 0, 1, 2, -42 といったような値は整数型であり、"foo", "Hello" といったような値は文字列型である。プログラミングなどにおいて、まずデータオブジェクトや関数などの「値」について、またさらに、それらに関連付け（束縛）される変数や定数、リテラル、それらを組合せる演算子、さらにそれらからなる式といった構文上の要素の型が、データ型の議論の対象となる。.
新しい！!: プリミティブとデータ型 · 続きを見る »
クラス (コンピュータ)
ラス（）は、クラスベースのオブジェクト指向においてオブジェクトの設計図にあたるもの。抽象データ型の一つ。クラスから生成したオブジェクトのことをインスタンスという。 クラスには、インスタンスの保持するデータ（メンバ変数、フィールド（UMLでは「属性」ともいう））と操作（メソッド、メンバ関数）が記述される。 クラスは、継承・ポリモーフィズム・カプセル化などの、オブジェクト指向プログラミングにおける重要な概念を実現する強力な手段である。.
新しい！!: プリミティブとクラス (コンピュータ) · 続きを見る »
コンピュータグラフィックス
ンピュータグラフィックス（computer graphics、略称: CG）とは、コンピュータを用いて作成される画像である。日本では、和製英語の「コンピュータグラフィック」も使われる。.
新しい！!: プリミティブとコンピュータグラフィックス · 続きを見る »
セマフォ
マフォ（semaphore）とは、計算機科学において、並列プログラミング環境での複数の実行単位（主にプロセス）が共有する資源にアクセスするのを制御する際の、単純だが便利な抽象化を提供する変数または抽象データ型である。 ある資源が何個使用可能かを示す記録と考えればわかりやすく、それにその資源を使用する際や解放する際にその記録を「安全に」（すなわち競合状態となることなく）書き換え、必要に応じて資源が使用可能になるまで待つ操作が結びついている。セマフォは競合状態を防ぐ便利なツールであるが、セマフォを使うことでプログラムにおける競合状態がなくなると保証するものではない。任意個の資源を扱うセマフォをカウンティングセマフォ、値が0と1に制限されている（ロック/アンロック、使用可能/使用不可の意味がある）セマフォをバイナリセマフォと呼ぶ。後者はミューテックスと同等の機能を持つ。 セマフォの概念はオランダ人計算機科学者エドガー・ダイクストラが考案した。今ではさまざまなオペレーティングシステムで採用されている。 「semaphore」の本来の語義は「視覚による通信・信号」全般を指し、腕木通信や、それから派生した鉄道の腕木信号（や自動車の方向指示器）、手旗信号などが含まれる。日本語でのセマフォは、本用途（コンピュータ、プログラミング関連）に限られる。 語源の腕木式信号機.
新しい！!: プリミティブとセマフォ · 続きを見る »
構造体
構造体（こうぞうたい、structure）はプログラミング言語におけるデータ型の一つで、1つもしくは複数の値をまとめて格納できる型。それぞれのメンバ（フィールド）は型が異なっていてもよい点が配列と異なる。 C/C++やC#などでstructとしてサポートされているほか、Visual Basicのユーザ定義型や、PascalやAdaのrecord型も構造体に相当する。 クラスベースのオブジェクト指向言語では、抽象データ型としてのクラスが構造体の役割をも内包する。Cの文法を継承した言語ではstructキーワードを含むこともあるが、言語によってその役割は異なる。 例えば、C++ではアクセシビリティの初期値がpublicであることを除いては、classと同等の機能を持つことができる。 また、C#では値型として扱われる軽量なオブジェクト型を定義するためにstructキーワードを使用し、制限されたclassとして振る舞う。 同じくCの文法を継承したJavaでは、structキーワードは存在しない。 オブジェクト指向言語でないCなどでオブジェクト指向プログラミングを模倣するために構造体を使うこともある。標準ライブラリのFILE型がその典型的な例である。.
新しい！!: プリミティブと構造体 · 続きを見る »
