リテラル

リテラル（英: literal）は、「文字どおり」「字義どおり」を意味する語で、letter と同じくラテン語の littera（文字）に由来する。記号論理とプログラミングで術語として使われる。

記号論理

記号論理学では、リテラルは原子式かあるいは原子式の否定である。基礎リテラルは、変数を含んでいないものを指す。共通な変数を持たない2つの節に対して、節のそれぞれのリテラルで使って再汎単一化要素をもち、二次元導出系 (binary resolvant) を作る場合に導出に使われたリテラル (literal resolved upon) と呼ぶ。共通の変数を含まない2つの節で、推論した節の二次元等号調整系 (binary paramodulant) を作ったとき、等号調整に使われたリテラル (literal paramodulated upon) という。

コンピュータ

コンピュータプログラミングにおいてリテラルは、ソースコード内に値を直接表記したものをいう。数値、文字列、関数などさまざまな型のものが存在し、それぞれの表記方法も言語によって異なる。

リテラルを記述できることは、第一級オブジェクトを構成するための要件として見なされる場合もある。

テキストエディタには、リテラルとその他のコードを区別しやすいように、シンタックスハイライトを実装したものもある。

例

下のコードで、7や"hello"がリテラルである。

int x = 7;
string s = "hello";

参考文献

• コンピュータ定理の証明、日本コンピュータ協会、Chin-Liang Chang, Richard Char-Tung Lee

関連項目

• 値 (情報工学)