Meta Language

デジタル大辞泉

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

読み方：めたげんご

《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）』 (2016/04/10 01:53 UTC 版)

メタ語
話される国	カメルーン
地域	北西州 (カメルーン)
話者数	87,000人（1982年）
言語系統	ニジェール・コンゴ語族 大西洋コンゴ語派 ベヌエ・コンゴ語群 バントイド諸語 南部バントイド諸語 草原バントゥー語群 Momo メタ語
表記体系	ラテン文字
言語コード
ISO 639-1	なし
ISO 639-3	mgo

メタ語（メタご、英: Meta' language）は南部バントイド諸語に属する言語である。カメルーンの北西州で話されている。

言語名別称

• Bameta
• Batibo
• Chubo
• Menemo-Mogamo
• Metta
• Mitaa
• Moghamo-Menemo
• Muta
• Widikum-Tadkon

方言

• Menemo (Bameta, Meta’, Metta, Uta’)
• Moghamo (Batibo, Besi, Iyirikum, Kugwe, Muywi, Tiwirkum, Widekum)

関連項目

• ンガマンボ語
• ムバンウィ Mbengwi

外部リンク

• Ethnologue report for language code mgo （英語） - エスノローグ