量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称である。量子プログラミング言語は、プログラマーがプログラミングのツールとして使うことを意図したものではなく、研...

関数型プログラミング言語（英: functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（英: functional language）ともいう。 関数型プログラミングは、関数を主軸にしたプログラミング...

広く使われているプログラミング言語の多く、例えばC++やJavaやPythonなどは、マルチパラダイムであるが、程度の差はあれ、オブジェクト指向プログラミングをサポートしており、大抵は命令型や手続き型プログラミングとの組み合わせで用いられる。 アラン・ケイによれば...

(キューシャープ) は、量子アルゴリズム（英語版）を表現するために、マイクロソフトによって開発されたドメイン固有言語である。古典コンピュータおよび古典ホストプログラムの制御下にある補助的な量子プロセッサ上で実行されるサブルーチンを記述するための量子プログラミング言語である。量子プロ...

した。こうして構造化プログラミングは、IBM社が提唱する構造化定理を論拠にした制御構造を用いるプログラミング手法として世間に定着することになった。 制御構造を導入したプログラミング言語を指しての「構造化言語」というワードが浮上したのは1970年代からであり、これは当時のgoto文中心だったFORTR...

データフロー言語は、命令型プログラミングモデルなどの他の主要のプログラミング言語とは対照的である。命令型プログラミングではプログラムは一連の命令文で構成され、データの流れは見えない。この違いは瑣末に思われるかもしれないが、パラダイムとしての違いは非常に大きく、データフロー言語はマルチコアシステムやマルチプロセッシングシステムを自由に使える。...

プログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキング...

architecture ソフトウェアに関する項目 ファームウェア / システムソフトウェア / オペレーティングシステム / アプリケーションソフト プログラミング言語 プログラミング、ソフトウェア開発 コンピュータを含むネットワークに関する項目 インターネット LAN / WAN コンピュータネットワーク...

プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。} 宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める。これは命令型言語の、how to accomplish...

ングではその完遂の抽象化も可能になる。対義語は順次計算（シーケンシャル）である。並行コンピューティングとも邦訳される。並行プログラミング（Concurrent programming）とも言われる。 並行計算は、コンピュータプログラムやコンピュータネットワークの重要な特性であり、各プロ...

q[#q - j]); } H(q[#q - i]); } flip(q); 量子コンピュータ用のプログラミング言語とその処理系の実装方法が多数提案されており、QCLなどがある。詳細は、量子プログラミング言語 を参照。 量子コンピュータのアルゴリズムをシミュレーションにより実行するためのシミュレータ...

の定義を可能にする。これはジェネリックプログラミングの典型であり、一部の言語[要説明]ではこの形式のみを実装する。ただし、概念としてのジェネリックプログラミングはジェネリクスに限定されない。 オブジェクト指向プログラミング言語は、サブタイプ（派生型）でスーパータイプ（基底型）の振る舞い（アルゴリズ...

命令型プログラミング（めいれいがたプログラミング、英: imperative programming）は、プログラムの状態（英語版）を変化させるステートメントを基本文に用いる総称的なプログラミングパラダイムである。ステートメントではコマンド（命令文）が多用される。宣言型プログラミング...

並行制約プログラミング（へいこうせいやくプログラミング、英: Concurrent Constraint Programming）は、制約論理プログラミングの研究と並行論理プログラミングの研究とから生まれた、並行プログラミングのためのパラダイムである。並行制約プログラミングでは並行論理プログラミングをより一般化し、制約の出力(追加...

シェーダー > プログラマブルシェーダー > シェーディング言語 シェーディング言語（英: shading language）は、プログラマブルシェーダー向けのプログラミング言語のこと。この種の言語は色や法線のような特別なデータ型を持っている。C言語やJavaのような汎用言語...

J (プログラミング言語) - APLの後継にあたるプログラミング言語 医学や歯学領域で消毒剤としてのポビドンヨードや、ヨウ素を慣例的にJと略す。J綿球（ポビドンヨード綿球）や、JGパスタ(ヨードグリセリンパスタ製剤）など。ドイツ語のjodから。 素粒子物理学で内量子数（大文字・小文字） 量子...

プロプライエタリなライセンスによりライセンスされている実装がある。 Lispの基本的な特徴の他、いくつかのプログラミングパラダイムのLispへの取り込みについて標準を提供しているという、マルチパラダイムプログラミング言語という面がある。 関数型だけでなく、手続き型的な言語要素に関しても標準化している。...

コンピュータプログラミング言語とその処理系 プログラミング言語（高水準言語、低水準言語、文法（プログラミング言語の構文論）、意味（プログラミング言語の意味論）、プログラミング言語のパラダイム（参考: プログラミングパラダイム）） 言語処理系（プリプロセッサ、字句解析、構文解析、抽象構文木、意味解析、コード生成、最適化）...

プログラミング言語でアルゴリズムを示すこともよくある。 アルゴリズムの記述は、例えばチューリング機械を使ったならば、として次の3つに分類している書籍などがある。 高レベルな記述 自然言語でアルゴリズムを説明したもの。実装の詳細は省かれている。このレベルでは、チューリング機械のテープやヘッドの動きまでは説明しない。...

プログラミング言語の実装としては、Prolog III、CLP(R)、CHIP がある。今日でも GNU Prolog などの制約論理プログラミングのインタプリタが存在している。 論理プログラミング以外では、制約は関数型言語、項書き換え、命令型言語などと融合させることができる。関数プログラミング...

また、ピーター・ワインバーガーおよびブライアン・カーニハンと共にプログラミング言語 AWK を作ったことでもよく知られている（AWK の A は Aho の A）。 エイホの2010年現在の研究分野は量子コンピュータ、プログラミング言語、コンパイラ、アルゴリズムなどである。コロンビア大学では Language...

code modulation）とは音声などのアナログ信号を、アナログ-デジタル変換回路により、デジタル信号に変換（デジタイズ）する変調方式の一つである。 アナログ信号に対して標本化および量子化を行い、数列として出力する。サンプリング周波数が高く量子化ビット数が多いほど変換前に近い高品質なデータにな...

言語Rubyの開発に着手し1995年に公開。その後、ネットワーク応用通信研究所のフェロー、楽天技術研究所のフェロー。「まつもとゆきひろ」氏は、世界的に有名なプログラミング言語Rubyの開発者である。Ruby自体を開発した人である。（くれぐれも、「Rubyを使うプログラ...

1972年、デニス・リッチーがインタプリタ型言語Bの代わりにコンパイル型言語Cを開発し、UNIXのより良い書き直しのために採用された。 1976年、ジョージア州で世界初の光ファイバー通信システムの試験を行った。 1978年、デニス・リッチーとブライアン・カーニハンがC言語の事実上の規格書『プログラミング言語C』を出版。...

(API) およびプログラミング言語拡張の標準化とサポート・普及が始まっており、C言語のようなよく使われている言語も使用可能である。ただしCUDAやOpenCLなど、GPGPUをサポートするAPIにおいてデバイス側のカーネル記述に使われるC/C++は独自拡張が施されており、CPU向けのプログラ...

- ポプラ社から刊行された、川北亮司による小説『おほほプリンセス』シリーズの第3巻。 Crystal (プログラミング言語) - プログラミング言語 CRYSTAL (ソフトウェア) - 量子化学ソフトウェア クリスタル (ポケットモンスターSPECIAL) - 漫画『ポケットモンスターSPECIAL』に登場する架空の人物。...

も利用される。実行効率と開発効率の面から、C言語およびC++もよく用いられる。 開発効率の改善とハードウェアの並列度向上に対応するため、新たなプログラミング言語が提案されている。サン・マイクロシステムズは、2007年1月に科学技術計算向けプログラミング言語Fortressを発表し、オープンソースとし...

理論言語学 音声学 音韻論 形態論 統語論 語彙論 意味論 語用論 言語類型論 歴史言語学 語源学 比較言語学 言語系統論 言語年代学 言語地理学 方言学 応用言語学 言語獲得 第二言語習得 対照言語学 心理言語学 神経言語学 社会言語学 言語人類学 認知言語学 生成言語学 理論言語学 生物言語学 計算言語学...

ラムダ計算：計算機のモデルの一つであるラムダ計算を研究する学問。 アルゴリズム論：ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。 プログラム意味論: プログラムあるいはプログラミング言語の形式意味論 正確な研究範囲を述べるのは容易ではないが、ACM の Special Interest Group on Algorithms...

近年の可逆計算に対する興味は、検証など様々な分野からのものがあるが、そのうちの一つに量子計算が挙げられる。量子計算は量子過程によって計算を行うものであり、量子物理学の法則は時間について可逆である。そのため、量子系にさせる計算に関して、そのモデルは可逆でなければならない。...

プレイステーション4 プレイステーション5 プログラマ プログラミング言語 プログラミング プログラム プロセス プロセス間通信 (IPC) フロッピーディスク (Floppy disk, Floppy diskette: FD) プロトコル 分散コンピューティング ベクトル化 ベクトル計算機 ベジェ曲線...