ブラウザよりも高速アクセス！
27 関係: 字体、バッカス・ナウア記法、レンダリングエンジン、ブラ-ケット記法、パイプ (コンピュータ)、コンピュータ言語、国際音声記号、C言語、約物、罫線、絶対値、自然言語、I、ISO/IEC 8859-1、JIS X 0213、L、MediaWiki、MS-DOS、PL/I、SQL、Unicode、UNIX、条件付き確率、正規表現、文字参照、文字列結合、数学。
字体
図1（刀） 図2（刃） 図3 字体（じたい）とは、図形を一定の文字体系の一字と視覚的に認識する概念、すなわち文字の骨格となる「抽象的な」概念のことである。.
新しい！!: バーティカルバーと字体 · 続きを見る »
バッカス・ナウア記法
バッカス・ナウア記法（Backus-Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等を含む正規表現はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな亜種や変種がある。例えば、RFC2234にはABNFという変種が定義されている。しかし、ABNFは標準のEBNFとかなり異なる部分がある。.
新しい！!: バーティカルバーとバッカス・ナウア記法 · 続きを見る »
レンダリングエンジン
レンダリングエンジン (rendering engine) とは、レンダリングを行うソフトウェア部品。情報（データ）を読み込んで、特定のルールにしたがい適切な表現に変換する役割を担う。レイアウトエンジン (layout engine)、レンダラー (renderer) ともいう。 情報がデジタルデータの場合、適切にレンダリングを行うためには、レンダラーの書式（フォーマット）に従って保存されていることが必要となり、また一般的にデータの名前やデータ中のヘッダーにンダラーの条件が付けられる。例えばコンピュータにおいて、記憶装置中に格納されたある領域に羅列するデータ列が、書式に従ってデータの名前、形式、データの始まり、データの終わり、エラー訂正のための冗長情報などが書かれていれば、これを適切なレンダラーが読み込むことで、「ファイル」として認識することができる。この場合の書式はファイルシステムが定義しており、「ファイラー」がレンダリングエンジンとして機能している。 アプリケーション・ソフトウェア内部に組み込まれていることもあるが、独立したライブラリとして提供されたり、ソフトウェアどうしの連携によって外部から利用されることもある。多くのコンピューターで、上記の「ファイル」として認識されたデータをさらに別のレンダラーが連携で読み込み利用している。.
新しい！!: バーティカルバーとレンダリングエンジン · 続きを見る »
ブラ-ケット記法
ブラ-ケット記法（ブラ-ケットきほう、bra-ket notation）は量子力学における量子状態を記述するための標準的な記法である。 この名称は、2つの状態の内積が'''ブラケット'''を用いて のように表され、この左半分 をブラベクトル、右半分 をケットベクトルと呼ぶことによる。この記法はポール・ディラックが発明したため、ディラックの記法とも呼ぶ。.
新しい！!: バーティカルバーとブラ-ケット記法 · 続きを見る »
パイプ (コンピュータ)
ある端末上で3つのパイプで繋いだプログラムを実行する際の入出力の流れ Unix系オペレーティングシステムにおけるパイプ(pipe)、もしくはパイプライン (pipeline) とは、複数のプログラムの入出力をつなぐための仕組み（プロセス間通信）の一つである。大変便利であることからUnix系以外でも同様の実装や、あるいは擬似的な実装によって似たようなことができるものも多い。直接の親子関係にあるプロセス間で通信をおこなうためfork前にあらかじめ共有しておく「無名パイプ」と、親子関係などにないプロセス間で一時ファイルなどを通して接続する（接続を確立するためにファイルを経由するだけで、接続自体はファイルを経由するわけではない）「名前付きパイプ」がある。ダグラス・マキルロイがUnixシェル向けに考案したことから始まり、パイプライン輸送からの連想で名付けられた。 特に、シェルなどでは縦棒（ | ）の記号を使って無名パイプを簡単に利用でき、それを指して「パイプ」と言うことも多い。プロセス群の標準ストリームを連鎖的に相互接続するもので、あるプロセスの標準出力 (stdout) を直接別のプロセスの標準入力 (stdin) に接続する。 「1つだけの仕事をうまくやる、道具のようなソフトウェア」（Software Tools）をパイプラインによって組み合わせる、というアイデアはUNIXやUnix系のOS以外にも、MS-DOS をはじめとする様々なOSやアプリケーションに、動作に多少の違いはあるものの受け継がれている。パイプで連結することを前提とした構成のプログラムをフィルタと呼ぶ。 前述のシェルのコマンドラインにおけるパイプは、中置記法で結合法則を満たす演算子と見ることができる（その時、演算子（オペレータ）のオペランドにあたるのは、各プログラムである）。これを一種の「合成」と見ることもできる。一般に数学で、f, g, h という関数があるとして h(g(f(x))) というような計算をすることを考える時、関数を関数合成の演算子 ∘ で合成した (h∘g∘f)(x) というものを考えることがあるが、パイプの演算子 | はこれに似ており (progF あるいは (progF | progG | progH) といったような感じになる。.
新しい！!: バーティカルバーとパイプ (コンピュータ) · 続きを見る »
コンピュータ言語
ンピュータ言語（コンピュータげんご）とは、コンピュータにおいて用いられる言語の総称である。一般に人工言語で、もっぱら形式言語である（親しみやすさなどの目的で、自然言語風にデザインされることもある）。 プログラムを記述するためのプログラミング言語の一群が最も有名であり、そのため「コンピュータ言語」と「プログラミング言語」は同じ意味で使われることもある。しかし、コンピュータ言語としては他にもハードウェア記述言語や、マークアップ言語のようなデータ記述言語などがあり、それらは「プログラミング言語」ではない。.
新しい！!: バーティカルバーとコンピュータ言語 · 続きを見る »
国際音声記号
国際音声記号 （こくさいおんせいきごう、Alphabet phonétique international (API), International Phonetic Alphabet (IPA)::aɪphiːeɪ:） は、あらゆる言語の音声を文字で表記すべく、国際音声学会が定めた音声記号である。国際音声字母（こくさいおんせいじぼ）、国際音標文字（こくさいおんぴょうもじ）とも言う。.
新しい！!: バーティカルバーと国際音声記号 · 続きを見る »
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
新しい！!: バーティカルバーとC言語 · 続きを見る »
約物
約物（やくもの、punctuation mark）とは、言語の記述に使用する記述記号類の総称で、専らフォントなど組版を意識して使われる用語である。具体的には、句読点・疑問符・括弧・アクセントなどのこと。元は印刷用語で、「しめくくるもの」の意。または、煉瓦・タイルなどで、縁に配置するために他と形状を変えてあるものを約物（「役物」とも書く）と称する。 約物は普通発音されないが、慣用的に用いられたり、文に意味付けを加えたり、音の表現でしかない平仮名や片仮名で表現しきれない意味付けを表現するのに使われる。マークアップ言語とも似ているが、マークアップ言語は形式言語であるのに対し、約物の一般的な使い方としては、自然言語の一部として、それなりの約束事はあるものの厳密に規定されているわけではなく、編集者や筆者の裁量に任されている部分が多い。最近では文字しか使えない電子メールや電子掲示板などで使われるアスキーアートで約物を使うこともあるが、これには約物としての意味はない。 約物の歴史は世界的に古く、〃等の一部の記号は印刷技術がない紀元前から使用されている。 約物は禁則処理（句読点が行頭にあってはいけないなどの制限）の対象となることが多い。.
新しい！!: バーティカルバーと約物 · 続きを見る »
罫線
罫線（けいせん、英語：rule）は罫（けい）ともいい、主にノートや便箋などに引かれた、揃えて書く事を助けることを目的とした線のことである。広義には表などの枠線も含む。 例えば横書きでは、最も多いのは一定間隔毎に横に引かれた線である。これは普通一行分の幅毎に引かれる。.
新しい！!: バーティカルバーと罫線 · 続きを見る »
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
新しい！!: バーティカルバーと絶対値 · 続きを見る »
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
新しい！!: バーティカルバーと自然言語 · 続きを見る »
I
Iは、ラテン文字（アルファベット）の9番目の文字。小文字は i であるが、トルコ語では点のない '''ı''' がある。.
新しい！!: バーティカルバーとI · 続きを見る »
ISO/IEC 8859-1
ISO 8859-1（より正式にはISO/IEC 8859-1）はISO/IEC 8859の第一部であり、ラテンアルファベットの文字コード標準である。よりくだけた言い方ではLatin-1と呼ばれる。最初はISOによって開発されたが、後にISOとIECによって合同で保守されている。この標準に追加の文字を（16進符号0x00-0x1Fの「C0領域」と、0x80-0x9F「C1領域」の範囲に）割り当てたものは、2つの広く使われているキャラクタセットの基となる。ISO-8859-1（余分なハイフンに注意）とWindows-1252と呼ばれるものである。 2004年6月、8ビット符号化文字集合の整備を担当するISO/IECの作業部会は、国際符号化文字集合 (UCS) とUnicodeの開発に専念するために解散し、ISO 8859-1を含むすべてのISO 8859の整備を中止した。コンピュータアプリケーションにおいては、（UTF-8やUTF-16のような）完全なUCSサポートを提供するエンコーディングが、ISO 8859-1に基づくエンコーディングよりもますます多く使われるようになりつつある。.
新しい！!: バーティカルバーとISO/IEC 8859-1 · 続きを見る »
JIS X 0213
JIS X 0213（ジス X 0213）はJIS X 0208:1997を拡張した、日本語用の符号化文字集合を規定する日本工業規格 (JIS) である。規格名称は「7ビット及び8ビットの2バイト情報交換用符号化拡張漢字集合」である。 2000年に制定、2004年、2012年に改正された。2000年に制定されたJIS X 0213:2000は通称「JIS2000」と呼ばれている。2004年に改正されたJIS X 0213:2004は通称「JIS2004」と呼ばれている。 JIS X 0208を拡張した規格で、JIS X 0208が規定する6879字の図形文字の集合に対して、日本語の文字コードで運用する必要性の高い4354字が追加され、計1万1233字の図形文字を規定する。JIS X 0208を拡張する点においてJIS X 0212:1990と同目的であるが、JIS X 0212とJIS X 0213との間に互換性はない。JIS X 0212がJIS X 0208にない文字を集めた文字集合であるのに対し、JIS X 0213はJIS X 0208を包含し更に第三・第四水準漢字などを加えた上位集合である。.
新しい！!: バーティカルバーとJIS X 0213 · 続きを見る »
L
Lは、ラテン文字（アルファベット）の12番目の文字。小文字は l 。ギリシア文字のΛ（ラムダ）に由来し、キリル文字のЛに相当する。.
新しい！!: バーティカルバーとL · 続きを見る »
MediaWiki
MediaWiki（メディアウィキ）は、GNU General Public Licenseで配布されるウィキソフトウェアである。PHPで書かれており、データベースとしてMySQLまたはPostgreSQLを使用する。非公式だがMariaDBにも対応している。.
新しい！!: バーティカルバーとMediaWiki · 続きを見る »
MS-DOS
MS-DOS（エムエス-ディーオーエス、エムエスドス）は、マイクロソフトが開発・販売していた、8086系マイクロプロセッサをCPUとする、IBM PCおよびそれに似た構成の（たとえばPC-98など）パーソナルコンピュータ向けのオペレーティングシステム(OS)である。IBMへのOEM供給品であった PC DOS (IBM DOS)を自社製品として供給・販売したもので、バージョン6以降はPC DOSから完全に独立して開発された。.
新しい！!: バーティカルバーとMS-DOS · 続きを見る »
PL/I
PL/I（ピーエルワン）は、汎用プログラミング言語の一つ。名前は英語の「programming language one」に由来する。 PL/Iは科学技術用、工業用、商業用などにデザインされた命令型プログラミング言語である。1964年に生まれ、教育機関、商用、工業で使用されてきた。2015年現在も使われている。 PL/Iの主要な用途はデータ処理で、再帰および構造化プログラミングに対応する。言語の構文は英語に似ており、検証や操作が可能な幅広い機能のセットを持ち、複合的なデータ型を記述することに適している。.
新しい！!: バーティカルバーとPL/I · 続きを見る »
SQL
SQL（エスキューエルよりデジタル大辞泉、IT用語がわかる辞典を参照、シークェル、シーケルよりDBM用語辞典を参照）は、関係データベース管理システム (RDBMS) において、データの操作や定義を行うためのデータベース言語（問い合わせ言語）、ドメイン固有言語である。エドガー・F・コッドによって考案された関係データベースの関係モデルにおける演算体系である、関係代数と関係論理（関係計算）にある程度基づいている。 データベース言語の国際標準としてのSQLは何かの略語ではない。 SQLは、シークェル と読まれることもある。これは、SQLの元となったデータベース言語が、IBMが開発したRDBMSの実験実装であるSystem Rの操作言語「SEQUEL (Structured English Query Language)」であったことが由来である。 SQLに対しては、関係代数と関係論理に忠実に準拠していないとして批判する意見がある（The Third Manifesto - クリス・デイト、ヒュー・ダーウェン）。.
新しい！!: バーティカルバーとSQL · 続きを見る »
Unicode
200px Unicode（ユニコード）は、符号化文字集合や文字符号化方式などを定めた、文字コードの業界規格である。文字集合（文字セット）が単一の大規模文字セットであること（「Uni」という名はそれに由来する）などが特徴である。 1980年代に、Starワークステーションの日本語化 (J-Star) などを行ったゼロックス社が提唱し、マイクロソフト、アップル、IBM、サン・マイクロシステムズ、ヒューレット・パッカード、ジャストシステムなどが参加するユニコードコンソーシアムにより作られた。1993年に、国際標準との一致が図られ、DIS 10646の当初案から大幅に変更されて、Unicodeと概ね相違点のいくつかはDIS 10646に由来する互換のISO/IEC 10646が制定された。.
新しい！!: バーティカルバーとUnicode · 続きを見る »
UNIX
UNIX （ユニックス、Unix、）は、コンピュータ用のマルチタスク・マルチユーザーのオペレーティングシステムの一種である。公式な商標は「UNIX」だが、商標以外の意味として「Unix」、またはスモールキャピタルを使用して「Unix」などとも書かれる。Unixは1969年、AT&Tのベル研究所にて、ケン・トンプソン、デニス・リッチーらが開発を開始した。 当初はアセンブリ言語のみで開発されたが、1973年にほぼ全体をC言語で書き直した。このため、Unixは歴史上、初めて高水準言語で書かれたOSであると言われる。 1973年の段階ではPDP-11に依存したコードが多く、移植性は低かったが、その後徐々にPDP-11に依存したコードを減少させ、1978年にInterdata 8/32への移植に成功して以降、徐々に他のプラットフォームにも移植されていった。 現在では「Unix」という語は、Unix標準に準拠するあらゆるオペレーティングシステムの総称でもある。現在ではUnixシステムは多数の系統に分かれており、AT&Tの開発停止後も、多数の商用ベンダーや非営利組織などによって開発が続けられている。 1970年代から1980年代の初期にかけて、Unixは大学や研究所などの教育機関で広範囲に採用され、特にカリフォルニア大学バークレー校をオリジナルとするBSD系統が誕生した。また Version 7 Unix や UNIX System V の特徴を持つオペレーティングシステムは「伝統的なUNIX」(traditional Unix)とも呼ばれる。 2007年に、「UNIX」の商標の所有者である標準化団体のThe Open Groupは、Single UNIX Specificationを完全に満たすと認証を受けたシステムのみが「UNIX」の商標を得られるとした。このためそれ以外のシステムは（ずっと以前から、AT&T版およびBSD以外を指して使われていた用語だが）「Unixシステムライク」または「Unixライク（Unix系）」と呼ばれるようになった。ただし The Open Groupはその呼称を気に入っていない。 現在では多く使われているUnixとしてはmacOS、AIX、HP-UX、Solarisなどがある（いずれも商用）。また認証を受けていないUnix系としてはLinux（派生OSにAndroid他）やMINIX、BSDの派生OS（FreeBSD、NetBSD、OpenBSD、DragonFly BSDなど）がある。.
新しい！!: バーティカルバーとUNIX · 続きを見る »
条件付き確率
条件付き確率（じょうけんつきかくりつ、conditional probability）は、ある が起こるという条件下での別の事象 の確率のことをいう。条件付き確率は または のように表される。条件付き確率 はしばしば「 が起こったときの の（条件付き）確率」「条件 の下での の確率」などと表現される。なお英文においては通例、 または と表現される。.
新しい！!: バーティカルバーと条件付き確率 · 続きを見る »
正規表現
正規表現（せいきひょうげん、regular expression）とは、文字列の集合を一つの文字列で表現する方法の一つである。正則表現（せいそくひょうげん）とも呼ばれ、形式言語理論の分野では比較的こちらの訳語の方が使われる。まれに正規式と呼ばれることもある。 もともと正規表現は形式言語理論において正規言語を表すための手段として導入された。形式言語理論では、形式言語が正規言語であることと正規表現によって表せることは同値である。 その後正規表現はテキストエディタ、ワードプロセッサなどのアプリケーションで（ないし、そもそもそれ以前に単機能の文字列探索ツールの）、マッチさせるべき対象を表すために使用されるようになり、表せるパターンの種類を増やすために本来の正規表現にはないさまざまな記法が新たに付け加えられた。このような拡張された正規表現には正規言語ではない文字列も表せるものも多く、ゆえに正規表現という名前は実態に即していない面もあるが、伝統的に正規表現と呼ばれ続けている。 この記事では主にこのような正規表現を用いたパターンマッチングについて説明している。以下、誤解のない限り、アプリケーションやプログラミングにおいて正規表現を用いた文字列のパターンマッチングを行う機能のことを、単に正規表現という。 ほとんどのプログラミング言語では、ライブラリによって正規表現を使うことができる他、一部の言語では正規表現のリテラルもある。「正規表現によるマッチ」を意味する（専用の）演算子がある言語なども一部ある。具体例として、grep、AWK、sed、Perl、Tcl、lexなどがある。 それぞれの言語やアプリケーションで細部の仕様が異なっている、といったように思われることも多いが（また、古い実装では実際にそういうことも多いが）、近年は同じライブラリを使っていれば同じということも多い。またPOSIXなど標準もある。.
新しい！!: バーティカルバーと正規表現 · 続きを見る »
文字参照
文字参照（もじさんしょう、character reference）とはHTMLなどのSGML文書においては、直接記述できない文字や記号（マークアップで使われる、半角の不等号「<」や「>」など）を表記する際に用いられる方法である。SGML構成素のひとつとして定義されており、文書文字集合中の文字を参照する為の手段を提供する。HTMLにおける文字参照には、表記方法により数値文字参照と文字実体参照の二種が存在する。XMLにおいては、HTMLにおける「数値文字参照」を「文字参照」と呼ぶ。なおHTMLにおける「文字実体参照」は、XMLでは実体参照と呼び区別する。.
新しい！!: バーティカルバーと文字参照 · 続きを見る »
文字列結合
プログラミングにおいて、文字列結合（もじれつけつごう）または文字列連結（もじれつれんけつ）(string concatenation)とは、ある文字列の後ろに別の文字列をつなげて1つの文字列にする処理のことである。例えば、「ABCDE」という文字列と「12345」という文字列を結合すると「ABCDE12345」という1つの文字列になる。.
新しい！!: バーティカルバーと文字列結合 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: バーティカルバーと数学 · 続きを見る »
ここにリダイレクトされます：
¦、❚、❘、❙、ブロークンバー、パイプ (記号)、パイプ記号、破断線、｜。
