リテラル・直値（英: literal）は、「文字どおり」「字義どおり」を意味する語で、letter と同じくラテン語の littera（文字）に由来する。数理論理学とコンピュータプログラミングで異なる意味の専門用語として使われる。 リテラルとは、数理論理学において、原子論理式あるいは原子論理式の否定のこと。...

プログラミング言語などでは、ソースコード上のリテラルに対して、末尾に特定の文字や記号を付加することで、データ型などを指定する仕組みが用意されていることがある。 例えばC言語やC++では、100という表記は符号付き汎整数型intのリテラルを表すが、int型リテラルの範囲はINT_MINからINT_MAXに制限される。このリテラル...

リテラル表記に関してはプログラミング言語だけでなく、SQLのようなデータベース言語でも使用可能となっている。 C/C++では、文字リテラルおよび文字列リテラルにL接頭辞を付けることで、ワイド文字およびワイド文字列にすることができる。例えばL'a'はwchar_t型を持つワイド文字リテラル...

「リテラル」は、音楽ユニット・eufoniusの14作目のシングル。自主制作盤マキシシングルとして、2011年8月13日のコミックマーケット80会場で限定販売され、完売した。翌月の9月21日に一般販売が決定し、amazon、アニメイト、メロンブックス、あきばお〜、D-STAGE、ゲーマーズの6店舗限定で販売された。...

メディア・リテラシーとは、メディアの機能を理解するとともに、あらゆる形態のメディア・メッセージを調べ、批判的に分析評価し、創造的に自己表現し、それによって市民社会に参加し、異文化を超えて対話し、行動する能力である。また、用語としてのメディア・リテラシーはメディア・リテラシーの実践や運動を含む。...

C++の場合、文字定数という用語はなく、文字リテラル (character literal) と呼ばれている。文字リテラルはchar型を持ち、ワイド文字リテラルはwchar_t型を持つ。文字列リテラルはconst char[]型を持ち、ワイド文字列リテラルはconst wchar_t[]型を持つ。 C99...

リテラシーが要求される等の理由からコンピュータ・リテラシー、他にもITリテラシー(情報技術リテラシー、information technology literacy)、ネットリテラシーとの表現がある。しかし、以下に定義されるように、本来必ずしもコンピュータと直結するものではなく、情報モラルと大きく同じ意味だと認識されている。...

数のことである。無名関数を表現するための方法には様々なものがあるが、近年主流となっているのはラムダ式による記法である。無名関数を表現するリテラル式は、関数リテラル (function literal) とも呼ばれる。値がある場合は関数オブジェクトであるものが多い。 ラムダ式 (lambda expression)...

出力変数宣言 パターンマッチング (is 式/switch 文) タプル (タプル記法/分解/値の破棄) ローカル関数 数値リテラルの改善(桁セパレータ/バイナリリテラル) ref戻り値、ref変数 非同期戻り値型の汎用化 Expression-bodied...

（単一引用符を2回連続して記述すると、ひとつの ' という文字リテラルとして認識される。） SELECT * FROM users WHERE name = 't'' OR ''t'' = ''t'; ただし、データベースシステムによっては、単一引用符以外の囲み文字を用いて文字列リテラル...

リテラルで使用できるようになる。 raw文字列リテラルは、ワイドリテラルや各種Unicodeリテラルと組み合わせて利用できる。 他の多くの言語と同様、C++03にも数種のリテラル値がある。例えば、"12.5"はコンパイラがdouble型の浮動小数点値へと変換するリテラル値である。しかし、リテラル値にはいくつもの修飾子がある。"12...

expression print(ファイル全体から/正規表現に一致する行を/表示する)」で略号になっている。 姉妹コマンドとして、正規表現ではなくリテラル（即値文字列）のみを扱う高速な fgrep、拡張正規表現が使える egrep がある。POSIX では fgrep、egrep を旧形式としていて、それぞれ...

{\displaystyle x_{1}\,} リテラル - 論理変数 ( x 1 ) {\displaystyle (x_{1})\,} またはその否定 ( x 1 ¯ ) {\displaystyle ({\bar {x_{1}}})} 節 - リテラルの論理和 ( x 1 ∨ x 2 ¯ ∨ ....

なる実装もある（普通はnilかどうかをまずテストして、carやcdrしないようにする）。 構文上、nullは多くの言語で特別なnullリテラルという扱いだが、リテラルのための型「null型」（またはNull型、NULL型とも）が規定される言語が存在する。null型の値はnullのみが許される。...

リテラル整数演算フォーマットでは、オペランドの一方にリテラルを使用する。整数演算命令のフォーマットのうち、5ビットのRbフィールドと3ビットの未使用フィールドを合わせた8ビットをリテラルフィールドとして使用し、リテラルは符号拡張ではなくゼロ拡張で64ビットの値に変換して使用する。...

コード中の数値や文字列のリテラルおよび式は型を暗示する。例えば、式 3.14 はおそらく浮動小数点数を暗示し、式 1, 2, 3 はおそらく整数のリスト（主に配列）を暗示する。リテラルがどのような型になるかは言語によって異なる。ユーザー定義のリテラルを記述することができる言語もある。リテラル...

6f 6e 65 20 63 61 6e 00000030 20 65 64 69 74 0a 十六進表記はよく使われるので、プログラム言語ではリテラルとして特別な表記が準備されていることが多い。一般に、大文字の A〜F と小文字の a〜f を区別しない。 (1000)16 の表記の例を挙げる。...

『アンチリテラルの数秘術師』（アンチリテラルのアルケニスト）は、兎月山羊による日本のライトノベル。イラストは笹森トモエが担当している。電撃文庫（アスキー・メディアワークス）より2011年2月から2012年3月まで刊行された。第17回電撃小説大賞銀賞を受賞している。 2011年2月発売の『電撃文庫MAGAZINE...

形式で論理式を表す。加法標準形、主加法標準形、積和標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 選言標準形の論理式は、1つ以上のリテラルの論理積を1つ以上含む論理和の形式になっている論理式を選言標準形と呼ぶ。連言標準形(CNF)と同様、DNF における演算子は論理積、論理和、否定だけである。...

LZ4はデータをシーケンスの連続として表現する。それぞれのシーケンスは、2つの4ビットフィールドに分けられた1バイトのトークンで始まる。最初のフィールドは、出力にコピーされるリテラルバイトの数字で表現される。2つ目のフィールドはすでにデコードした出力バッファからコピーするバイト数を表す（0は最小の一致長である4バイトを表わす）...

l_{i,j}} がリテラルの時、以下の形式をした論理式のこと。 ⋀ i ⋁ j l i , j {\displaystyle \bigwedge _{i}\bigvee _{j}l_{i,j}} 内側の選言を節（英: clause）と呼ぶ。 連言標準形では、1つ以上のリテラル...

Smith)”. 2014年11月15日閲覧。 ^ UTF-8 文字列リテラルは C++11 から存在する。C++17 では一貫性確保のために対応する文字リテラルが追加されるが、その型はchar型であり、またUTF-8文字リテラルが扱えるコードポイントの範囲は、C0制御文字とラテン基本文字 (C0 Controls...

アステラス製薬株式会社（アステラスせいやく、英語: Astellas Pharma Inc.）は東京都中央区日本橋本町に本社を置く、日本の製薬会社である。2005年4月1日に山之内製薬と藤沢薬品工業が合併して発足した。日経平均株価およびTOPIX Core30、JPX日経インデックス400の構成銘柄の一つ。...

『テラフォーマーズ』（TERRA FORMARS）は、貴家悠（原作）、橘賢一（作画）による日本の漫画作品。略称は「テラフォ」。 火星のテラフォーミング用に放たれたことで人型へと進化したゴキブリ「テラフォーマー」と、それを駆除するために特殊な手術を施された人間との戦いを描いたSF漫画。...

ラルは、前述のように第一線から外れていたはずである。 ^ マ・クベはキシリア派であり、戦場付近にある採掘基地の存在がラルを通してキシリアと対立関係にあるギレン・ザビやドズルに知られることを懸念したためである。 ^ これにより、白兵戦を得意とする軍人である彼がモビルスーツのパイロットとしてもベテランであったことが合理的に説明されている。...

ホーン節（ホーンせつ、英: Horn clause）とは、数理論理学において、節（リテラルの選言結合命題）のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによって導入された。 ヒルベルトの時代から命題論理と第一階述語論理の任意の普遍妥当な論理式は、公理と推論規則をうま...

『TVピープル』（ティービーピープル）は、村上春樹の短編小説集。 1990年1月19日、文藝春秋より刊行された。表紙の絵と挿絵は佐々木マキ。カバー題字は日本リテラル。1993年5月10日、文春文庫として文庫化された。 本書に収められた小説はすべて、著者のヨーロッパ長期滞在中に執筆されたものである。...

ほとんどのプログラミング言語では、ライブラリによって正規表現を使うことができる他、一部の言語では正規表現のリテラルもある。「正規表現によるマッチ」を意味する（専用の）演算子がある言語なども一部ある。具体例として、grep, AWK, sed, Perl, Tcl...

リテラルの中で \" と書くと " と解釈される。また、十六進数のASCIIコードを使って \x22 と書くこともできる。またシングルクォート 2716 (') を文字リテラルの区切り文字として使用することもあり、文字リテラルの中でシングルクォートを使用する場合は同様にエスケープが必要となる。...

... */ if (42 = myNumber) { /* ... */ } // シンタックスエラーとなりコンパイルされない。 42は定数（リテラル）であり、変更されない（できない）ため、このエラーはコンパイラに捕捉される。結果として、コンパイル段階で記述ミスに気づくことができる。...

\ } p\to r\right)\end{array}}} 述語論理のリテラルには個体変数が含まれるため、リテラルと否定リテラルとを単純に比較するだけでは削除できるかどうか分からない。一階述語論理ではリテラルと否定リテラルそれぞれの原子論理式が単一化できる場合に導出を行う。...