メタ言語

デジタル大辞泉

メタ‐げんご【メタ言語】

読み方：めたげんご

《metalanguage》対象言語の構造や真偽を一段高い次元から論じる言語。高次言語。→対象言語

ウィキペディア

メタ言語

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/09/19 01:23 UTC 版)

この項目では、学術用語について説明しています。カメルーンの言語については「メタ語」をご覧ください。

メタ言語（メタげんご、英: Metalanguage）とは、何らかの言語について論じる際に、その対象となる言語（単に対象言語などと表現される）と区別する形で記述する側の言語を指す用語である（ここで指す言語は自然言語であることも形式言語であることも有り得る）。

しばしばメタ言語は対象言語と同じものが使われる（日本語で日本語を論じたり、集合論の言語で集合論を論じるなど）が、これらの区別が曖昧であった場合、とくに論理学や意味論において矛盾を生じることがある^[1]。

数学

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "メタ言語" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年12月）

数理論理学において言語とは、取り扱う対象となる（述語・演算・関係などを表す）記号の集合であり、例えば集合論では一般的な論理記号および量化子と集合の所属関係 ∈ がその言語となる。この場合は、それら特定の言語が対象言語であり、それを論じる人間が扱っている言語 (すなわち自然言語である日本語や英語など) がメタ言語となる。

コンピューター分野

バッカス・ナウア記法

詳細は「バッカス・ナウア記法」を参照

特にプログラミング言語のような形式言語の構文を記述する際に使われる記法がバッカス・ナウア記法 (BNF) である。BNF記法には様々な変種が存在するが、そのうち拡張バッカス・ナウア記法とも呼ばれるEBNF (Extended BNF) はISOとIECによって標準化されており、文書は「Syntactic metalanguage」(直訳: 構文的メタ言語) と題されている^[2]。

ML

詳細は「ML (プログラミング言語)」を参照

Standard MLやOCaml、F#などの言語の源流であるMLは、元々は1970年代にロビン・ミルナーと彼の研究グループが開発したMeta Languageという名前の定理証明システムとその内部で使用されたメタ言語（すなわち、証明を記述するために使用された言語）であった^[3]。

関連項目

• メタ
• スキーマ言語
• マークアップ言語
• 使用と言及の区別

脚注

[脚注の使い方]

1. ^ 丹治信春「メタ言語」『日本大百科全書（ニッポニカ）』小学館、2023年。https://kotobank.jp/word/%E3%83%A1%E3%82%BF%E8%A8%80%E8%AA%9E-9244。 
2. ^ ISO - ISO/IEC 14977:1996 - Information technology — Syntactic metalanguage — Extended BNF. ISO/IEC. (1996). https://www.iso.org/standard/26153.html 2023年3月2日閲覧。 
3. ^ MacQueen, David; Harper, Robert; Reppy, John (2020-06-12). “The history of Standard ML”. Proceedings of the ACM on Programming Languages 4 (HOPL): 86:1–86:100. doi:10.1145/3386336. https://doi.org/10.1145/3386336. 

表 話 編 歴 メタ
ドメインおよびメソッド	メタアナリシス メタ認知 メタ学習 メタ記憶 メタデータ メタディスコース（英語版） メタフィクション メタゲーミング（英語版） メタゲノミクス メタヒューリスティクス メタヒストリー（英語版） メタ知識 メタ言語 メタマテリアル メタ数学 メタモデル メタモチベーション（英語版） メタオブジェクト（英語版） メタ最適化（英語版） メタ組織（英語版） メタフェノミクス（英語版） メタ哲学 メタ認識論（英語版） メタ倫理学 メタ論理学 メタ存在論 メタフィジックス メタプログラミング メタサイエンス（英語版） メタシステム（英語版） メタテオレム（英語版） メタ理論 メタバース

表 話 編 歴 数理最適化 • 最適化問題 : メソッド • ヒューリスティック
非線形(無制約)	… 関数　 黄金分割探索 直線探索 ネルダー–ミード法 連続放物線補間（英語版） 勾配法 収束性 信頼領域 ウルフ条件（英語版） 準ニュートン法 BFGS法 ブロイデン法 L-BFGS（英語版） DFP法 対称ランク1法（英語版） その他の求解法 ガウス・ニュートン法 最急降下法 レーベンバーグ・マルカート法 共役勾配法（非線形共役勾配法） 切り捨てニュートン法（英語版） ドッグレッグ法 … ヘッセ行列 最適化におけるニュートン法（英語版）	Optimization computes maxima and minima.
非線形(制約付き)	一般 バリア関数 ペナルティ関数法（英語版） 微分可能 ラグランジュの未定乗数法 逐次二次計画法 連続線形計画（英語版）
凸最適化	凸縮小化 切除平面法（英語版、デンマーク語版、ドイツ語版、スペイン語版） 簡約勾配法 劣勾配法（英語版） 線型 および 二次 内点法 カチヤン楕円体法 カーマーカーの投影アルゴリズム ベイズ-交換 単体法 改訂シンプレックス法（英語版） 十字法（英語版） レムケの主ピボット操作法（英語版）
組合せ最適化	系列範例 (Paradigms) 近似アルゴリズム 動的計画法 貪欲法 整数計画問題(分枝限定法 若しくは 切断) グラフ理論 最小全域木 ベルマン–フォード法 ブルーフカ法 ダイクストラ法 ワーシャル–フロイド法 ジョンソン法（英語版） クラスカル法 最大フロー問題 Dinic法（英語版） エドモンズ・カープ フォード・ファルカーソン プッシュリラベル最大流アルゴリズム（英語版）
メタヒューリスティクス	進化的アルゴリズム（進化戦略） 山登り法 局所探索法 焼きなまし法 タブーサーチ ベイスンホッピング法
カテゴリ（最適化 • アルゴリズム） • ソフトウェア（英語版）

典拠管理: 国立図書館	ドイツ ラトビア チェコ

この項目は、言語学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（ウィキポータル 言語学）。

• 表示
• 編集

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

• 表示
• 編集

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集

ウィキペディア小見出し辞書

メタ言語

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/20 07:51 UTC 版)

「生存可能システムモデル」の記事における「メタ言語」の解説

実行可能なシステムの再帰を昇順で行うと、各自律型5-4-3-2メタシステムのコンテキストが拡大し、より多くの多様性を獲得します。 これは、自律的な下位レベルでの決定不能性を解決するための能力を高めるメタ言語スタックを定義します。プロセスレベルに近い誰かが潜在能力を達成するために革新する必要がある場合、または能力を回復する必要がある場合、より多様な管理から支援を確保することができます。 現実が能力から統計的に有意な量だけ逸脱したときに送信されるアルジェドニックアラートは、このプロセスを自動化します。 曖昧さや決定不可能性（決定問題としても知られる）を解決するために多様性や状態を追加するという概念は、チャイティンの超数学予想アルゴリズム情報理論の主題であり、一般的な管理ヒューリスティックの潜在的に厳密な理論的基礎を提供します。プロセスが合意された製品を生産していない場合、該当する場合は、これを修正し、あいまいさ、矛盾、または決定不能性を解決します。 「Platform for Change」（ビール1975年）では、イギリスの警察や病院などの学術団体への論文集を通じて論文が展開され、「トータルシステム」の視覚化が行われている。ここでは、「関連する倫理」が「実験的倫理」と「腹のつぶれた倫理」から発展し、「古い制度」が改革されて「新しい制度」となり、「ソフトウェア界」からの承認（『プラットフォーム』163-179ページの「計量基準に関する質問」）によって駆動され、文化がシステムアプローチを取り入れ、「Homo faber」（作り手としての人間）が「Homo Gubernator」（自己操縦）となって、持続的地球を生み出すのである。

Weblio日本語例文用例辞書

「メタ言語」の例文・使い方・用例・文例

• メタ言語表現
• （自然言語のように）自身のメタ言語として使えるプログラミング言語