リテラル

リテラル・直値（）は、「文字どおり」「字義どおり」を意味する語で、 と同じくラテン語の （文字）に由来する。数理論理学とコンピュータプログラミングで異なる意味の専門用語として使われる。
数理論理学.
リテラルとは、数理論理学において、原子論理式あるいは原子論理式の否定のこと。
基礎リテラルとは、リテラルのうち、変数を含んでいないものを指す。
共通な変数を持たない2つの節に対して、節のそれぞれのリテラルで使って再汎単一化要素をもち、二次元導出系 () を作る場合に導出に使われたリテラル () と呼ぶ。共通の変数を含まない2つの節で、推論した節の二次元等号調整系 () を作ったとき、等号調整に使われたリテラル () という。
コンピュータプログラミング.
コンピュータプログラミング言語においてリテラルは、ソースコード内に値を直接表記したものをいう。言語によってリテラルとして表記できる型の種類や表記方法は異なる。簡略に記述できることが好まれるスクリプティング言語はリテラルの種類が多い傾向にある。リテラル表記ができるかどうかはその型が第一級オブジェクトかどうかを検討する材料にもなるが、必ずしもそうとは限らない。静的に構文解析が可能なことが多いためシンタックスハイライトではたいてい色分けされる。なお言語によっては（標準規格等で）このリテラルのことを指して「定数」という用語を使っている場合もあるが、「リテラル」という語と使い分ける場合は、「定数」とは「初期化できるだけで、その後は値を変えられない変数」というようなものを指す。
例.
下のC#コードにおいて、codice_37, codice_38, codice_30, codice_40がそれぞれの型のリテラルである。
int x = 7;
double pi = 3.14;
bool flag = true;
string s = "hello";
C#ではリテラルもオブジェクトであり、以下のようにメソッドを呼び出すこともできる。
using System;
Console.WriteLine(7.GetType());
Console.WriteLine(3.14.GetType());
Console.WriteLine(true.GetType());
Console.WriteLine("hello".GetType());
出力結果は以下のようになる（C#の組み込み型は、.NETのCLR型へのエイリアスである）。
System.Int32
System.Double
System.Boolean
System.String