语言
没有数据
通知
无通知
言語学。仮説検証法という部分を強調するために「経験科学としての言語学」と言う場合がある。 形式言語学を同義に用いることもあるが、必ずしも数理的方法を採用しているわけではない。広義には仮説検証法による言語の研究はすべて理論言語学
写像（しゃぞう、英: mapping, map）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。関数、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の
への双正則な写像（全単射な正則写像）f が存在することを言っている定理である。 この写像はリーマンの写像 (英: Riemann mapping) として知られている。 直感的には、U が単連結であることは U には「穴」があいていないことを意味する。f が双正則であることは、それが等角写像
ウィクショナリーに関連の辞書項目があります。 開写像定理 開写像定理 (open mapping theorem) 開写像定理 (関数解析)あるいはバナッハ・シャウダーの定理は、バナッハ空間 X からバナッハ空間 Y への全射連続線型変換は開写像であると述べている。 開写像定理 (複素解析)は、複素平面の連結開集合上の定数でない正則関数は開写像であると述べている。
述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀
転写（てんしゃ、英: transcription）とは、言語の音声を一定の規則のもとに文字によって表現することをいう。すなわち、「音声→文字」の過程を指す。ほかに「音訳」「音声表記」「音声転写」の用語が用いられることもある。 「転写」は、「文字→文字」の過程を意味する「翻字」（英:
位相空間論において、開写像 (open map) は2つの位相空間の間の開集合を開集合に写す関数である。つまり、関数 f : X → Y が開であるとは、X の任意の開集合 U に対して、像 f(U) が Y において開であるということである。同様に、閉写像 (closed map) は閉集合を閉集合に写す関数である。
幾何学におけるアフィン写像（アフィンしゃぞう、英語: affine map）はベクトル空間（厳密にはアフィン空間）の間で定義される、平行移動を伴う線型写像である。アフィン (affine) はラテン語で「類似・関連」を意味する affinis に由来する。 始域と終域が同じであるようなアフィン写像はアフィン変換（アフィンへんかん、英語:
搜索 
搜索 搜索 
