垂直バー

ウィキペディアから、無料の百科事典
ナビゲーションにジャンプ 検索にジャンプ
|
垂直バー
Unicode の場合U + 007C | 垂直線(HTML |  |, |, |

縦棒| _ は、数学コンピューティングタイポグラフィでさまざまな用途に使用されるグリフです。多くの名前があり、多くの場合、特定の意味に関連しています。否定論理論理)、パイプvbarスティック垂直線バーバーティバー、およびこれらの名前のいくつかのバリエーション。

使用法

数学

縦棒は、さまざまな方法で 数学記号として使用されます。

  • 絶対値、 「x絶対値」を読んでください[1]
  • カーディナリティ、 「集合Sカーディナリティ」を読む
  • 条件付き確率、 「Y与えられたXの確率」を読み取ります
  • 行列式、「行列式A行列式」を読んでください[1]マトリックスエントリが書き出されるとき、行列式は、マトリックスの通常の角かっこや括弧ではなく、垂直バーでマトリックスエントリを囲むことによって示されます。
  • 距離、ポイント間の最短距離を示します 行に 、そう行 線に垂直
  • 分割可能性、 「 adividesb」または「aisa factor of b 」 読んでください。ただし、Unicode特別な「除数」および「除数しない」記号も提供します(U +2223およびU + 2224:∣、∤)[1]
  • 評価: 、「 xfxは4に等しい」を読んください(ウィキブックスの添え字を参照)
  • 長さ: 、「文字列の長さs読んでください
  • ノルム、「 (1次元より大きい)ベクトルのノルム」を読む"(絶対値は1次元の基準であることに注意してください)。ただし、あいまいさを避けるために、二重の垂直バー(以下を参照)がより頻繁に使用されます。
  • 注文、 「グループG順序」を読んでください
  • 制限機能の制限を示します、のスーパーセットであるドメインを使用 、ただ
  • 集合の内包的記法、「 xが2未満になるようなx の集合」を読んでください多くの場合、垂直バーの代わりにコロン「:」が使用されます
  • 論理の否定論理、「 anandb 読んでください
  • 減算、「 f(x) from a to b」を読み、変数xの定積分のコンテキストで使用されます
  • 垂直バーを使用して、関数内の固定パラメーターから変数を分離できます。たとえば、

重垂直バー、数学でも採用されています。

  • 並列処理、「行 に平行です「」
  • ノルム、「ベクトルxのノルム(長さ、サイズ、大きさなど)」を読んでください。1次元の基準である絶対値と同様に、2つの単一のバーを使用することがあります。[2]
  • 命題の切り捨て(ホモトピー型理論で型を単なる命題切り捨てる型フォーマー):任意の(「用語」を読むタイプの") 我々は持っています[3](ここ「の画像読む" と「命題の切り捨て」と読みます")[4]

LaTeX 数学モードでは、ASCII垂直バーは垂直線を\|生成し、二重垂直線を作成しますa | b \| c)。これは、関係演算子である\midととは異なる間隔を持っていますとして設定されます\parallela \mid b \parallel cテキストモードのLaTeXについては、以下を参照してください。

物理学

垂直バーは量子物理学のブラケット記法で使用されます。例:

  • :量子物理状態
  • 上記の状態に対応するデュアル状態
  • 状態の内積
  • 物理学のスーパーグループはGN | M)で表され、「 GM垂直バーN」と表示されます。ここで、 Gは任意のスーパーグループを示し、Mボソン次元を示し、Nグラスマン次元を示します。[5]

コンピューティング

パイプ

パイプは、Unixで発生したプロセス間通信メカニズムであり、あるプロセスの出力(標準出力、およびオプションで標準エラー)を別のプロセスの入力(標準入力)に転送します。このようにして、一連のコマンドを一緒に「パイプ」することができ、ユーザーはコマンドラインから、またはUnixシェルスクリプト(「bashファイル」)の一部として、複雑な多段階処理をすばやく実行できます。ほとんどのUnixシェル(コマンドインタープリター)では、これは縦棒文字で表されます。例えば:

grep -i 'blair' filename.log | more

ここで、プロセスからの出力はgrepプロセスにパイプされmoreます。

同じ「パイプ」機能は、 DOSおよびMicrosoftWindows の新しいバージョンにもあります。

この使用法により、キャラクター自体が「パイプ」と呼ばれるようになりました。

論理和

多くのプログラミング言語では、垂直バーは論理演算またはをビット単位 または論理論理 和のいずれかで指定するために使用されます

具体的には、CおよびC ++PerlJavaC#などのC構文規則に従った他の言語は、ビット単位または;を示します。一方、二重の縦棒は(短絡した)論理またはを示します。文字は元々すべてのコードページとキーボードレイアウトで使用できるわけではなかったため、ANSI Cは文字列リテラルの外では文字と同等のトリグラフの形式で文字を転記できます。 a | ba || b ??!|

正規表現の構文では、縦棒は論理和または交互)を示します。例:Unixコマンドは、grep -E 'fu|bar'「fu」または「bar」を含む行と一致します。

連結

二重垂直バー演算子 "||" PL / I、標準ANSI SQL、および理論計算機科学(特に暗号化)での文字列 連結示します

区切り文字

カンマやタブほど一般的ではありませんが、縦棒フラットファイルの区切り文字として使用できます。パイプで区切られた標準データ形式の例は、LEDES1998BおよびHL7です。垂直バーは通常、データ自体では一般的ではないため、頻繁に使用されます。

同様に、垂直バーは、正規表現操作(sedなど)の区切り文字として使用される場合があります。これは、正規表現に、より一般的なスラッシュ(/)区切り文字のインスタンスが含まれている場合に役立ちます。垂直バーを使用すると、スラッシュのすべてのインスタンスをエスケープする必要がなくなります。ただし、これにより、正規表現の「代替」演算子としてバーを使用できなくなります。

バッカス・ナウア記法

バッカス・ナウア記法で、式は記号のシーケンスおよび/または「|」で区切られたシーケンスで構成され、選択肢を示します。全体が左側の記号の可能な置換です。

<個人名>  :: =  <名前> | <イニシャル>

並行性演算子

通信プロセス(パイ計算など)の計算では、垂直バーは、プロセスが並行して実行されることを示すために使用されます。

APL

APLのパイプは、2つのオペランド間のモジュロ関数または数関数であり、1つのオペランドの隣にある絶対値関数です。

リスト内包表記

縦棒は、HaskellErlangなどの一部の関数型言語のリスト内包表記に使用されます。集合の内包的記法を比較します。

テキストマークアップ

垂直バーは、軽量マークアップ言語、特にMediaWikiWikitext(テンプレートと内部リンク)で 特殊文字として使用されます。

LaTeXテキストモードでは、垂直バーは全角ダッシュ(—)を生成します。この\textbarコマンドを使用して、垂直バーを作成できます。

音声学と正書法

コイサン諸語国際音声記号では、垂直バーを使用して歯吸着音ǀ)を記述します。二重垂直バーは、歯茎側面クリック音ǁ)を書き込むために使用されます。これらは技術的には文字であるため、ラテン文字拡張Bの範囲に独自のUnicodeコードポイントがあります。シングルバーの場合はU + 01C0、ダブルバーの場合はU + 01C1です。

キリル文字で書かれた北西コーカサス語と北東コーカサス語の中には、前の子孫がイジェクトであることを示す、palochka(ロシア語:палочка点灯。 「小さな棒」)と呼ばれる縦棒があります。

IPAの韻律境界 をマークするために、より長いシングルおよびダブルの垂直バーが使用されます。

文学

句読点

中世ヨーロッパの写本では、単一の縦棒は、ピリオドスクラッチコンマ[6]、およびカエスーラマークとして使用されるvirgula⟨/⟩一般的な変形でした[6]

サンスクリット語や他のインドの言語では、単一の垂直マークであるダンダは、ピリオド(終止符)と同様の機能を持っています。2本のバー|| (「ダブルダンダ」)は、スタンザ、段落、またはセクションの終わりをマークする段落記号に相当します。dandaには、独自のUnicodeコードポイントU +0964があります。

二重の縦棒⟨||⟩または⟨ǁ⟩は、英語の文芸批評および分析における標準的なカエスーラマークです。それは、多くの形式の、特に古英語の詩に共通する強い休憩またはカエスーラを示しています。

表記

ジュネーブ聖書と欽定訳聖書の初期の印刷では、元のテキストからの代替翻訳を含む余白のメモをマークするために、二重の垂直バーが使用されています。これらのマージンノートは、常に接続詞「Or」で始まります。後の欽定訳聖書の印刷では、余白にコメントを付けるために二重の縦棒が不規則に使用されています。

音楽音楽

音楽では、コードシートを作成する場合、コロン(|:A / / /:|)に関連付けられた単一の垂直バーは、音楽のセクション(Intro、Interlude、Verse、Chorusなど)の開始と終了を表します。[要出典]単一のバーは、小節の開始と終了を表すこともできます(|:A / / / | D / / / | E / / /:|)。コロンに関連付けられた二重の垂直バーは、特定のセクションの繰り返しを表すことができます(||:A / / /:|| -2回再生します)。[要出典]

エンコーディング

実線の垂直バーと壊れたバー

コードポイント124(7C 16進数)は、1980年代後半のドットマトリックスプリンターの壊れたバーで占められていますが、これには明らかに実線の垂直バーがありません。全体像を参照してください

多くの初期のビデオ端末とドットマトリックスプリンターは、垂直バーの文字を異字体の 壊れたバーとしてレンダリングしました ¦これは、これらの制限された解像度のデバイスで文字を小文字の「L」および大文字の「I」と区別し、それらの垂直線を水平のダッシュ線のように見せるためである可能性があります。また、(簡単に)ASCII標準の一部でもありました。

1961年6月8日にコード化文字セットとデータ形式のX3.2小委員会によって公開された7ビット文字セットの最初のドラフトは、標準セットに垂直バーを最初に含めたものです。バーは、論理OR記号の表現として使用することを目的としていました。[7] 1966年5月12日の後続のドラフトでは、地域のエントリコードポイントの横の列7に縦棒が配置され、国際標準化機構が使用した元のドラフト提案の基礎が形成されました。[7]このドラフトは、SHAREとして知られるIBMユーザーグループから反対を受け、その議長であるHW Nelsonが、米国規格協会に手紙を書いています。「情報交換のために提案された改訂されたアメリカの標準コードは、コンピュータプログラマーのニーズを満たしていません!」と題されています。この手紙の中で、彼は、文字セットの列2〜5で指定された国際サブセット内の文字は、すべてのプラットフォームでIBMのPL / Iなどの言語で論理ORおよび論理NOTを適切に表すことができないと主張しています。[8]妥協案として、プログラミングなどのユースケースでは、感嘆符(!)とサーカムフレックス(^)がそれぞれ論理OR(|)と論理NOT(¬)として表示されるという要件が導入されました。元の活版印刷の記号を表す場合:

たとえば、コード位置2/1および5/14のグラフィックを、論理OR(|)および論理NOT(¬)に頻繁に関連付けられるものにスタイル設定するなど、特定の目的での使用を容易にするために、独特のスタイルを採用することが望ましい場合があります。それぞれ。

—X3.2 ドキュメントX3.2 / 475 [9]

その後、元の1966年5月12日のドラフトで0x7Cでエンコードされた元の垂直バーは、¦として壊れていたため、壊れていない論理ORと混同することはできませんでした。1967年のASCIIリビジョンでは、同じ年に公開された同等のISO 464コードとともに、コードポイントが壊れた垂直バーとして定義され、感嘆符の文字を実線の垂直バーとしてレンダリングできるようになりました。[10] [11]ただし、1977年の改訂(ANSI X.3-1977)は、1967年の改訂で行われた変更を元に戻し、曲折アクセント記号を論理NOT記号として定型化できなくなり、感嘆符も同様に許可されなくなりました。垂直バーとしての様式化、および元々壊れたバーに設定されていたコードポイントを代わりに実線の垂直バーとして定義します。[10]同じ変更は、4年前に公開されたISO646-1973でも元に戻されました。

EBCDICの一部のバリアントには、異なるコードポイントとして両方のバージョンの文字が含まれていました。1990年代の拡張 ASCIIISO / IEC 8859シリーズの広範な実装も、2つの形式を区別しました。これは、UnicodeでU + 00A6 BROKEN BARの個別の文字として保存されていました(「分割ルール」という用語は、Unicodeドキュメントで使用されることがあります)。一部のフォントは文字を同じように描画します(両方が実線の垂直バーであるか、両方が壊れた垂直バーです)。[12] [検証に失敗しました]壊れたバーには、垂直バーとは異なる明確に識別された用途がないようです。[13] 計算以外の用途(数学、物理学、一般的なタイポグラフィなど)では、壊れたバーは垂直バーの代わりにはなりません。

Shift +そのキーを入力すると実線の垂直バーが生成されますが、キーキャップに壊れたバーが表示されるUSInternationalキーボード。
VGAでレンダリングされたIBMのコードページ437の完全な文字セット。1977年のASCII改訂にもかかわらず、コードポイント7Cの壊れたバーグリフが表示されます。

USまたはUS-Internationalレイアウトの多くのキーボードは、最新のオペレーティングシステムで実線の垂直バー文字が生成されている場合でも、キーキャップに壊れたバーを表示します。これには、多くのドイツ語のQWERTZキーボードが含まれます。これは、壊れたバーを備えたIBM PC互換コンピューター用に1980年代と1990年代に製造されたキーボードの遺産です。このようなコンピューターは、ASCIIに基づくIBMの8ビットコードページ437文字セットを使用し、壊れたバーのグリフを表示し続けました。 1977年にASCIIに変更が加えられたにもかかわらず、 MDA(1981)からVGA (1987)へのディスプレイ上のコードポイント7C 。

壊れたバーの文字は、WindowsおよびLinuxではAltGr+`またはAltGr+6またはAltGr++として入力できます(レイアウトによって異なります) 。HTMLに次のように挿入できます⇧ ShiftRight \Compose!^&brvbar;

一部の辞書では、壊れたバーは、一次または二次のいずれかである可能性のあるストレスをマークするために使用されます。つまり、[¦ba]は[ˈba][ˌba]の発音をカバーします。[14]

Unicodeコードポイント

これらのグリフは、次のようにUnicodeでエンコードされます。

  • U + 007C | 垂直線(HTML &#124;  &verbar;, &vert;, &VerticalLine;)(単一の垂直線)
  • U + 00A6 ¦ BROKEN BAR(HTML &#166;  &brvbar;)(単一の破線)
  • U + 2016‖DOUBLEVERTICALLINE (HTML )(double vertical line&#8214;  &Verbar;, &Vert;):標準を示すためにペアで使用されます
  • U + FF5C @ FULLWIDTH VERTICAL LINE(HTML &#65372;)(全幅形式
  • U + 2225∥PARALLELTO (  HTML&#8741;  &DoubleVerticalBar;, &par;, &parallel;, &shortparallel;, &spar;
  • U + 01C0ǀ ラテン 文字の歯吸着音(HTML &#448;
  • U +01C1ǁ ラテン 文字の歯茎側面吸着音(HTML &#449;
  • U + 2223∣DIVIDES HTML &#8739;  &mid;, &shortmid;, &smid;, &VerticalBar;
  • U + 2502│ボックス描画 ライトバーティカル(HTML &#9474;  &boxv;)(およびU +2500からU + 257Fの範囲の他のさまざまなボックス描画文字)
  • U +0964 デーバナーガリーダンダ(HTML &#2404;
  • U +0965 デーバナーガリーダブルダンダ(HTML &#2405;

コードページとその他の履歴エンコーディング

コードページ、ASCII、ISO / IEC、EBCDIC、Shift-JISなど。       垂直バー( '|') 壊れたバー( '¦')
ASCII,
CP437, CP667, CP720, CP737, CP790, CP819, CP852, CP855, CP860, CP861, CP862, CP865, CP866, CP867, CP869, CP872, CP895, CP932, CP991
124 (7Ch) none
CP775 167 (A7h)
CP850, CP857, CP858 221 (DDh)
CP863 160 (A0h)
CP864 219 (DBh)
ISO/IEC 8859-1, -7, -8, -9, -13,
CP1250, CP1251, CP1252, CP1253, CP1254, CP1255, CP1256, CP1257, CP1258
166 (A6h)
ISO/IEC 8859-2, -3, -4, -5, -6, -10, -11, -14, -15, -16 none
EBCDIC CCSID 37 79 (4Fh) 106 (6Ah)
EBCDIC CCSID 500 187 (BBh)
JIS X 0208, JIS X 0213 Men-ku-ten 1-01-35 (7-bit: 2143h; Shift JIS: 8162h; EUC: A1C3h)[a]

も参照してください

メモ

  1. ^ Shift JISおよびEUCでエンコードされた形式には、通常のエンコードでASCII垂直バーも含まれています(半幅および全角の形式を参照)。同じことが、7ビット形式がISO-2022-JPの一部として使用されている場合にも当てはまります(ASCIIとの間の切り替えが可能です)。

参考文献

  1. ^ a b c ワイスタイン、エリックW. 「シングルバー」mathworld.wolfram.com 2020年8月24日取得
  2. ^ ワイスタイン、エリックW. 「マトリックスノルム」mathworld.wolfram.com 2020年8月24日取得
  3. ^ 一価財団プログラム(2013)。ホモトピー型理論:数学の一価の基礎(GitHubバージョン)(PDF)高等研究所。p。108。
  4. ^ 一価財団プログラム(2013)。ホモトピー型理論:数学の一価基礎(印刷版)高等研究所。p。450。
  5. ^ Larus Thorlacius、Thordur Jonsson(eds。)、 M-Theory and Quantum Geometry、Springer、2012、p。263。
  6. ^ a b "virgula、n。 "、オックスフォード英語辞典、第1版。、オックスフォード:オックスフォード大学出版局、1917年
  7. ^ a b フィッシャー、エリック(2012)。文字コードの進化、1874-1968(論文)。ペンシルベニア州立大学。CiteSeerX10.1.1.96.678 _ 2020年7月10日取得 
  8. ^ HW Nelson、Thomas B. Steel宛ての手紙、1966年6月8日、Honeywell Inc. X3.2 Standards Subcommittee Records、1961-1969(CBI 67)、Charles Babbage Institute、ミネソタ大学、ミネアポリス、ボックス1、フォルダー23。
  9. ^ X3.2ドキュメントX3.2 / 475、1966年12月13日、Honeywell Inc. X3.2 Standards Subcommittee Records、1961-1969(CBI 67)、Charles Babbage Institute、ミネソタ大学、ミネアポリス、ボックス1、フォルダー22。
  10. ^ a b Salste、Tuomas(2016年1月)。「7ビット文字セット:ASCIIのリビジョン」AivostoOy。urn:nbn:fi-fe2012010110042016年6月13日にオリジナルからアーカイブされました2016年6月13日取得
  11. ^ コルペラ、ジュッカ。「文字履歴-いくつかのASCIIコード位置に関する注記」2020-03-11にオリジナルからアーカイブされました2020年5月31日取得
  12. ^ ジムプライス(2010-05-24)。「ASCIIチャート:IBMPC拡張ASCII表示文字」2012年2月23日取得
  13. ^ ユッカ "ユッカ"コルペラ(2006-09-20)。「キャラクターの詳細な説明」2012年2月23日取得
  14. ^ たとえば、「バレアレス」メリアム・ウェブスター辞書