ブラウザよりも高速アクセス！
45 関係: ASCII、原子論理式、否定、変数、定数 (プログラミング)、専門用語、引用符、ラテン語、プロトタイプベース、プログラミング言語、ヒアドキュメント、データ型、データ記述言語、ホワイトスペース、エスケープシーケンス、オブジェクト指向、キャラクタ (コンピュータ)、クラスベース、コンピュータ、シンタックスハイライト、スクリプト言語、ソースコード、サブルーチン、固定小数点数、値 (情報工学)、C99、第一級オブジェクト、第一級関数、真理値、無名関数、Eufonius、配列、連想配列、JavaScript Object Notation、Netscape Navigator (ネットスケープコミュニケーションズ)、Null、Unicode、正規表現、浮動小数点数、文字、文字列、文字列補間、改行、数、数理論理学。
ASCII
ASCII（アスキー、American Standard Code for Information Interchange）は、現代英語や西ヨーロッパ言語で使われるラテン文字を中心とした文字コード。これはコンピュータその他の通信機器において最もよく使われているものである。.
新しい！!: リテラルとASCII · 続きを見る »
原子論理式
原子論理式（atomic formula）または素論理式（そろんりしき）は、それを構成する部分論理式を持たない論理式である。何をもって原子論理式とするかは論理体系による。たとえば命題論理における原子論理式は命題変数である。 原子論理式は論理システムにおける最も単純な論理式である。整論理式はまず全ての原子論理式を示し、次に整論理式から整論理式を形成するルールを与えるという帰納的な方法によって定義される（再帰的定義）。複数の原子論理式から構成される論理式を複合論理式という。 例として命題論理に関する整論理式の定義を示す.
新しい！!: リテラルと原子論理式 · 続きを見る »
否定
数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定（NOT）.
変数
変数（variable）.
定数 (プログラミング)
プログラミングにおいて定数（「ていすう」または「じょうすう」、Constant）とは、変数同様プログラムのソースコードにおいて、扱われるデータを一定期間記憶し必要なときに利用できるようにするために、データに固有の名前を与えたものである。 ただし変数とは異なり、一度初期化するとその内容を変更することはできない。よって、内容が変化しないことが保証される名前が必要なときに使用される。 ソースコードに直接記述するデータ（リテラル）のことを指して定数と呼ぶことがあり、標準規格での用語がそうなっている言語もある。しかし、この記事で扱う「定数」はデータに名前を与えるものであり、基本的にリテラルとは別である。リテラルについてはそちらの記事を参照。なお、言語によっては、定数を初期化する式にリテラルあるいはリテラルと演算子等のみから成る式しか許さないことがある、というような関連はある。.
新しい！!: リテラルと定数 (プログラミング) · 続きを見る »
専門用語
専門用語（せんもんようご）とは、ある特定の職業に従事する者や、ある特定の学問の分野、業界等の間でのみ使用され、通用する言葉・用語群である。テクニカルターム（英語 technical term）とも言われる。.
引用符
引用符（いんようふ）は、約物の一つ。文中において、他の文や語を引用していることを示す役割を果たす記号で、多くの場合一対で引用部分を囲む。コーテーションマーク、クォーテーションマーク、クオーテーションマーク、引用符号ともいう。.
ラテン語
ラテン語（ラテンご、lingua latina リングア・ラティーナ）は、インド・ヨーロッパ語族のイタリック語派の言語の一つ。ラテン・ファリスク語群。漢字表記は拉丁語・羅甸語で、拉語・羅語と略される。.
プロトタイプベース
プロトタイプベースとは、オブジェクト指向言語と総称されるプログラミング言語のうち、プロトタイプを基礎（ベース）としてオブジェクトを取り扱うものをいう。インスタンスベースとも。一方、クラスでおこなっているものをクラスベースとよぶ。なおオブジェクト指向のスタイルとして、（Simula由来の、C++などに代表される）クラスベースに対し、もう一つのスタイルとされるのは、プロトタイプベースではなく、（アラン・ケイの）「メッセージ指向」のスタイルである。 プロトタイプベースのオブジェクト指向言語は、クラスベースのオブジェクト指向言語が委譲をクラスの継承関係にもとづいておこなうのに対し、委譲を「プロトタイプ」と呼ぶ既存のオブジェクトに投げる、といったようにしておこなう点が特徴である。そのために例えば、新しいオブジェクトを作る際には、「クラスのインスタンスを作る」のではなく、「既存のオブジェクト（プロトタイプ）のクローンを作る」というようなスタイルになる。Smalltalkを元にクラスの複雑性を排除したSelfが特に有名である。他にJavaScript、NewtonScript、Ioなどがプロトタイプベース（またはその機能を持つ）と考えられる。.
新しい！!: リテラルとプロトタイプベース · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: リテラルとプログラミング言語 · 続きを見る »
ヒアドキュメント
ヒアドキュメント（別の呼び方としてヒア文字列、heredocなど）は、文字列リテラルを、シェルスクリプトやプログラミング言語の中に埋め込むための1つの方法である。.
新しい！!: リテラルとヒアドキュメント · 続きを見る »
データ型
データ型（データがた、）とは、（コンピュータにおける）データ（値）の種類に関する分類である。データタイプとも。 具体的にいうと、たとえば 0, 1, 2, -42 といったような値は整数型であり、"foo", "Hello" といったような値は文字列型である。プログラミングなどにおいて、まずデータオブジェクトや関数などの「値」について、またさらに、それらに関連付け（束縛）される変数や定数、リテラル、それらを組合せる演算子、さらにそれらからなる式といった構文上の要素の型が、データ型の議論の対象となる。.
データ記述言語
データ記述言語（データきじゅつげんご）またはデータ言語とは、コンピュータにおいて扱うデータを記述するための形式言語である。コンピュータ言語の一種だが、プログラミング言語ではない。HTMLに代表されるマークアップ言語などがある。.
新しい！!: リテラルとデータ記述言語 · 続きを見る »
ホワイトスペース
ホワイトスペー.
新しい！!: リテラルとホワイトスペース · 続きを見る »
エスケープシーケンス
ープシーケンス (escape sequence) とは、コンピュータシステムにおいて、通常の文字列では表せない特殊な文字や機能を、規定された特別な文字の並びにより表したもの。.
新しい！!: リテラルとエスケープシーケンス · 続きを見る »
オブジェクト指向
ブジェクト指向（オブジェクトしこう）とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。英語の object-oriented (直訳は、「対象物志向の」「目的重視の」という意味の形容詞) の日本語訳である。 オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ（特に部品間で緊密で複雑な相互関係を持つもの）の記述においては、オブジェクト指向の考え方は必須である。.
新しい！!: リテラルとオブジェクト指向 · 続きを見る »
キャラクタ (コンピュータ)
ャラクタ (character) は、文字のことであるが、情報処理においては「文字コード」で表される「文字集合」という集合の要素（「元」）のことである。.
新しい！!: リテラルとキャラクタ (コンピュータ) · 続きを見る »
クラスベース
ラスベースとはオブジェクト指向のスタイルのひとつで、「鋳型」となるクラスがあり、その鋳型によってオブジェクトの実体であるインスタンスを生成する、というスタイルである。クラスベースのシステムでは、システム内に、継承のシステムを持っていることが多い。 クラスベースでない、オブジェクト指向における「同類のオブジェクトに同じような振舞いをさせるためのメカニズム」の一例としては、プロトタイプベースがある。現代の代表例としてはJavaScriptであろう。 なおオブジェクト指向のスタイルとして、（Simula由来の、C++などに代表される）クラスベースに対し、もう一つのスタイルとされるのは、プロトタイプベースではなく、（アラン・ケイの）「メッセージ指向」のスタイルである。.
新しい！!: リテラルとクラスベース · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: リテラルとコンピュータ · 続きを見る »
シンタックスハイライト
ンタックスハイライト (syntax highlighting) とは、テキストエディタの機能であり、テキスト中の一部分をその分類ごとに異なる色やフォントで表示するものである。シンタックスカラーリング とも。 この機能により、プログラミング言語やマークアップ言語といった構造化された言語において、その構造や構文上のエラーが視覚的に区別しやすくなるため、ソースコードの記述が容易となる。エディタによってはシンタックスハイライトと、スペルチェックやコード畳み込みといった、その他の機能を統合して提供するものもある。.
新しい！!: リテラルとシンタックスハイライト · 続きを見る »
スクリプト言語
リプト言語（スクリプトげんご、scripting language）とは、アプリケーションソフトウェアを作成するための簡易的なプログラミング言語の一種を指す。 スクリプト（英語で「台本・脚本」の意味）とは、その簡易的な言語記述方法を指してそう呼ばれるようになった。.
新しい！!: リテラルとスクリプト言語 · 続きを見る »
ソースコード
青で示されているのが有効なコードである。 ソースコード（source code）とは、コンピュータプログラミング言語で書かれた、コンピュータプログラムである文字列（テキストないしテキストファイル）のことである。.
新しい！!: リテラルとソースコード · 続きを見る »
サブルーチン
ブルーチン（subroutine）は、コンピュータプログラミングにおいて、プログラム中で意味や内容がまとまっている作業をひとつの手続きとしたものである。繰り返し利用されるルーチン作業をモジュールとしてまとめたもので、呼び出す側の「主」となるもの（メインルーチン）と対比して「サブルーチン」と呼ばれる。サブプログラム (subprogram) と呼ばれることもある。また、「サブ」をつけずに「ルーチン」と呼ぶこともある。 プログラムのソース中で、繰り返し現れる作業をサブルーチン化することで、可読性や保守性を高く保つことができる。繰り返し現れる作業でなくても、意味的なまとまりを示すためにサブルーチン化することもある。また、キャッシュのような階層的メモリの設計を持つコンピュータ（現在のパソコンやワークステーションなどほぼすべて）では、よく使われるサブルーチンがキャッシュに格納されることで高速な動作を期待できる。.
新しい！!: リテラルとサブルーチン · 続きを見る »
固定小数点数
固定小数点数（読み: こていしょうすうてんすう, 英: fixed-point number）は、小数点が置かれる桁を固定して表された数のことである。ある桁数のうちのある場所に小数点が固定されているものとして扱う方式であるため、表現される仮数部に対して小数点の位置が移動する浮動小数点数の対義語として用いられる。コンピュータの数値表現のひとつである。 「固定-小数点数」ではなく「固定小数点-数」である。.
新しい！!: リテラルと固定小数点数 · 続きを見る »
値 (情報工学)
プログラミング言語における値（あたい）について説明する。値は、何らかの式を評価した結果である。式はデータ型を持ち、評価結果は内部的にはビット列になる。データ型が異なれば、同じビット列が異なる値（意味）を持つこともある。例えばあるビット列は整数、浮動小数点数または文字列として解釈されることがある。 いくつかの種類の値はほとんどのプログラミング言語で共通してサポートされている。様々な数値表現などがその例である。一方、あまり広くサポートされていないものもある。Pascalにある集合型などがその例である。.
新しい！!: リテラルと値 (情報工学) · 続きを見る »
C99
C99は、ISOで定められたC言語の規格である。正式な規格名は ISO/IEC 9899:1999。.
第一級オブジェクト
一級オブジェクト（ファーストクラスオブジェクト、first-class object）は、あるプログラミング言語において、たとえば生成、代入、演算、（引数・戻り値としての）受け渡しといったその言語における基本的な操作を制限なしに使用できる対象のことである。ここで「オブジェクト」とは広く対象物・客体を意味し、必ずしもオブジェクト指向プログラミングにおけるオブジェクトを意味しない。第一級オブジェクトは「第一級データ型に属す」という。 この言葉は1960年代にChristopher Stracheyによって「functions as first-class citizens」という文脈で初めて使われた。 言語によって異なるが、第一級オブジェクトは概ね次のような性質をもつ。.
新しい！!: リテラルと第一級オブジェクト · 続きを見る »
第一級関数
計算機科学において、第一級関数（だいいっきゅうかんすう、first-class function、ファーストクラスファンクション）, by Michael Lee Scott, section 11.2 "Functional Programming".
新しい！!: リテラルと第一級関数 · 続きを見る »
真理値
真理値 (しんりち、truth value) は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。真と偽という値をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。 コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型（真偽値型、ブーリアン型などとも）があるものがある。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。.
無名関数
無名関数（anonymous functionあるいはnameless function）とは、名前付けされずに定義された関数のことである。無名関数を表現するための方法には様々なものがあるが、近年主流となっているのはラムダ式による記法である。無名関数を表現するリテラル式は、関数リテラル (function literal) とも呼ばれる。値がある場合は関数オブジェクトであるものが多い。.
Eufonius
eufonius（ユーフォニアス）は、日本の同人音楽サークルの音楽ユニット。また、同ユニットのメンバー、riyaの作曲、ボーカル名義として使われることもある。略称はeufo。.
新しい！!: リテラルとEufonius · 続きを見る »
配列
この記事では、コンピュータ・プログラムにおいて配列（はいれつ、array）と呼ばれているデータ構造およびデータ型について説明する。計算科学方面ではベクトルという場合もある。また、リストも参照。一般に、添え字で個々の要素を区別する。.
連想配列
連想配列（れんそうはいれつ、associative array.）とは、コンピュータプログラミングにおいて、添え字にスカラー数値以外のデータ型(文字列型等)も使用できる配列である。抽象データ型のひとつ。連想リスト、連想コンテナ、辞書（あるいはカタカナでディクショナリ dictionary）、ハッシュ（hash）、マップ（map）とも呼ばれる。 歴史的には、最初に LISP の連想リストとして広く認知された。その後、SNOBOL で table として、AWK で連想配列として実装したことで、その潜在能力がさらに広く知られるようになった。現在、Ruby など一部の言語では、添え字にはどのようなデータでも使えるものもある。.
JavaScript Object Notation
JSON（ジェイソン、JavaScript Object Notation）は軽量なデータ記述言語の1つである。構文はJavaScriptにおけるオブジェクトの表記法をベースとしているが、JSONはJavaScript専用のデータ形式では決してなく、様々なソフトウェアやプログラミング言語間におけるデータの受け渡しに使えるよう設計されている。.
新しい！!: リテラルとJavaScript Object Notation · 続きを見る »
Netscape Navigator (ネットスケープコミュニケーションズ)
Netscape Navigator（ネットスケープ ナビゲーター）は、ネットスケープコミュニケーションズが開発していたウェブブラウザ。 Netscapeという名のつくウェブブラウザは複数存在するが、本項ではバージョン1から4について扱う。バージョン6以降はNetscape (Mozillaベース)を参照。(なお、バージョン5は欠番である。).
新しい！!: リテラルとNetscape Navigator (ネットスケープコミュニケーションズ) · 続きを見る »
Null
Null（ヌル、ナル）は、何もない、という意味で、プログラミング言語などコンピュータ関係では、「何も示さないもの」を表すのに使われる。同様のものに、nil が使われることもある。他の名前のこともある。 本来 はドイツ語において数値の0（ゼロ）を意味する単語であり、ドイツ語における発音は である。一方、英語においては と発音される。実際の発音はを参照のこと。 日本においては原語に近い「ヌル」という発音が定着しているが、英語読みに近い「ナル」という発音で呼ばれる場合もある（専門書、国家試験など）。 プログラミング言語などにおいて、nullやnilといった予約語や定数名のものなどの意味がどういったものかは言語により、場合によっては実装ごとに違う。ポインタや参照のある言語では、ヌルポインタなどと呼ばれる何も指さない特別なポインタであることもあるし、Pythonのようにオブジェクトのこともある。古典的なLISPのように真理値の偽（の代表）や空リスト「()」を兼ねたもの（それらと同じもの）だったりすることもある。.
Unicode
200px Unicode（ユニコード）は、符号化文字集合や文字符号化方式などを定めた、文字コードの業界規格である。文字集合（文字セット）が単一の大規模文字セットであること（「Uni」という名はそれに由来する）などが特徴である。 1980年代に、Starワークステーションの日本語化 (J-Star) などを行ったゼロックス社が提唱し、マイクロソフト、アップル、IBM、サン・マイクロシステムズ、ヒューレット・パッカード、ジャストシステムなどが参加するユニコードコンソーシアムにより作られた。1993年に、国際標準との一致が図られ、DIS 10646の当初案から大幅に変更されて、Unicodeと概ね相違点のいくつかはDIS 10646に由来する互換のISO/IEC 10646が制定された。.
新しい！!: リテラルとUnicode · 続きを見る »
正規表現
正規表現（せいきひょうげん、regular expression）とは、文字列の集合を一つの文字列で表現する方法の一つである。正則表現（せいそくひょうげん）とも呼ばれ、形式言語理論の分野では比較的こちらの訳語の方が使われる。まれに正規式と呼ばれることもある。 もともと正規表現は形式言語理論において正規言語を表すための手段として導入された。形式言語理論では、形式言語が正規言語であることと正規表現によって表せることは同値である。 その後正規表現はテキストエディタ、ワードプロセッサなどのアプリケーションで（ないし、そもそもそれ以前に単機能の文字列探索ツールの）、マッチさせるべき対象を表すために使用されるようになり、表せるパターンの種類を増やすために本来の正規表現にはないさまざまな記法が新たに付け加えられた。このような拡張された正規表現には正規言語ではない文字列も表せるものも多く、ゆえに正規表現という名前は実態に即していない面もあるが、伝統的に正規表現と呼ばれ続けている。 この記事では主にこのような正規表現を用いたパターンマッチングについて説明している。以下、誤解のない限り、アプリケーションやプログラミングにおいて正規表現を用いた文字列のパターンマッチングを行う機能のことを、単に正規表現という。 ほとんどのプログラミング言語では、ライブラリによって正規表現を使うことができる他、一部の言語では正規表現のリテラルもある。「正規表現によるマッチ」を意味する（専用の）演算子がある言語なども一部ある。具体例として、grep、AWK、sed、Perl、Tcl、lexなどがある。 それぞれの言語やアプリケーションで細部の仕様が異なっている、といったように思われることも多いが（また、古い実装では実際にそういうことも多いが）、近年は同じライブラリを使っていれば同じということも多い。またPOSIXなど標準もある。.
浮動小数点数
浮動小数点数（ふどうしょうすうてんすう、英: floating point number）は、浮動小数点方式による数のことで、もっぱらコンピュータの数値表現において、それぞれ固定長の仮数部と指数部を持つ、数値の表現法により表現された数である。.
新しい！!: リテラルと浮動小数点数 · 続きを見る »
文字
文字（もじ）とは、言葉・言語を伝達し記録するために線や点を使って形作られた記号のこと。文字の起源は、多くの場合ものごとを簡略化して描いた絵文字（ピクトグラム）であり、それが転用されたり変形、簡略化されたりして文字となったと見られる。.
文字列
文字列（もじれつ）は、単語や文章のような、文字の連なったもの。ストリング (string)、テキスト (text) という場合もある。コンピュータ、特にプログラミングの分野で用いることが多い。.
文字列補間
プログラミングにおいて、文字列補間（もじれつほかん、string interpolation）とは、内に埋め込まれたプレースホルダーを実行時に評価し、そのプレースホルダーを対応する値に置き換える処理である。変数補間 （へんすうほかん、variable interpolation）、変数置換（へんすうちかん、variable substitution）、変数展開（へんすうてんかい、variable expansion）ともいう。この処理は、単純なテンプレートエンジンであり、正式な用語で言えばの一形態である。文字列補間は、文字列連結よりも簡単でより直観的に文字列のフォーマットを規定できる。 文字列補間は、データの文字列表現を多用する多くのプログラミング言語（C言語、Perl、PHP、Python、Ruby、Groovy、Scala、Swiftなど、および多くのUnixシェル）で使用できる。 文字列リテラルの表現には、文字列補間が使えるものと、使えないもの（raw文字列）がある。プレースホルダーは、無名もしくは名前のついたで示される。一般的には$や%が使用され、名前つきの場合は$placeholderや%123のようになる。文字列の補間はに行われる。.
新しい！!: リテラルと文字列補間 · 続きを見る »
改行
改行（かいぎょう）は行を改めること。前の行から次の行へ移動すること。.
数
数（かず、すう、number）とは、.
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: リテラルと数理論理学 · 続きを見る »
