语言
没有数据
通知
无通知
形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなどについて、その性質などの仕様を形式的に記述する手法や、そういった手法による仕様の記述である。 形式的な仕様を与えることにより、対象システムが仕様
データ記述言語（データきじゅつげんご）またはデータ言語とは、コンピュータにおいて扱うデータを記述するための形式言語である。コンピュータ言語の一種だが、プログラミング言語ではない。HTMLに代表されるマークアップ言語などがある。 データ記述言語は、基本的にはプログラミング言語
インタフェース記述言語（英: Interface Description Language, IDL）はソフトウェアコンポーネント間のインタフェース記述を目的とするドメイン固有言語の総称である。インタフェース定義言語（英: Interface Definition Language）とも呼ばれる。
記述言語が下工程でも重要な役割を演じることもある。一般に工程が進んで設計が詳細化していくと、設計データベースには技術固有の情報が格納されるようになっていく。技術固有のデータが増えると汎用的なハードウェア記述言語による記述では格納しきれなくなる。 反復的な回路構造をハードウェア記述言語で記述
ページ記述言語と重複する用語としてプリンター制御言語があり、これにはヒューレット・パッカードのPrinter Command Language (PCL) が含まれる。アドビのPostScriptは、有力なページ記述言語の一つである。PDLをマークアップ言語化したものがページ記述マークアップ言語である。 ページ記述言語の表現形式には、テキスト
モジュールを定義するための、MODULE文、USE文が追加された。 利用者定義の操作を作成するためのINTERFACE文が追加された。 名前並びを定義するNAMELIST文が追加された。 他のソースファイルをマージするINCLUDE文が追加された。 forallと階層化されたwhereがベクトル化のために追加された。
Rの射影 R[A,B] は、次のように記述する。 R { A, B } RとSの自然結合 R ⋈ {\displaystyle \bowtie } S は、次のように記述する。 R JOIN S RとSの準結合 (半結合) R ⋉ {\displaystyle \ltimes } S は、次のように記述する。
入出力文 READ文 デバイスと書式を指定し、リストされた変数に値を入力する。デバイスは数字。5がカードリーダ入力、6がラインプリンタにあらかじめ指定されていることが多い。書式無しのREAD文もある WRITE文 READ文の逆で、リストされた変数の内容を書式に従って出力する。 補助入出力文
搜索 
搜索 搜索 
