ブラウザよりも高速アクセス！
37 関係: 句、人工言語、形式体系、形式文法、形式意味論、形式手法、心理学、ノーム・チョムスキー、チョムスキー階層、モデル理論、アルファベット (計算機科学)、エンコード、オートマトン、クリーネ閉包、品詞、哲学、節 (文法)、統語論、組合せ (数学)、音素、順序集合、計算、計算機、計算機科学、言語、言語学、語幹、自然言語、機械可読目録、活用、演繹、文脈自由文法、文法、意味論、数学基礎論、数理論理学、思考。
句
句（く、英語：phrase）とは、文あるいは節を統語論的に分析した際の単位となるもので、機能的に語と等価であるが複数の語からなるものをいう。.
人工言語
人工言語（じんこうげんご、constructed language 又は conlang、artificial language）とは、個人や団体などによって語彙や文法が人為的に作られた言語の総称である。.
形式体系
形式体系（けいしきたいけい、Formal System）は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係（論理包含）は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野（例えばユークリッド幾何学）の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学（倫理学）書である。 形式体系には形式言語があり、その形式言語は基本的な記号（シンボル）で構成される。形式言語の文（式）は公理群を出発点として、所定の構成規則（推論規則）に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。 数学における形式体系は以下の要素から構成される.
形式文法
形式文法（けいしきぶんぽう、Formal Grammar）は、形式的に与えられた（形式体系を参照）文法である。「言語」をその言語における文の集合として与えるものとして、ここでは、（有限の）文字群上の有限長の文字列の（通常無限な）集合が、形式的に記述される。 形式文法にはふたつの捉えかたがある。それは「生成」と「分析」である。#チョムスキー階層の節および単独記事に詳細があるが、両者は対応するので、ある意味では同じものをそれぞれ逆の側から見たものにすぎない。 以下で「文法の規則（構文規則）の集まり」と呼んでいるのは、具体的には、句構造規則#基本モデルにあるようなものである。また終端記号と非終端記号の記事も参照のこと。.
形式意味論
形式意味論(formal semantics)とは、自然言語や、コンピュータプログラミング言語の意味論（プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。 自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。 形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある。ただし、批判の中には形式意味論の研究者によっても既に自覚されて、理論の改良が試みられているものもある。.
新しい！!: 形式言語と形式意味論 · 続きを見る »
形式手法
Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。.
心理学
心理学（しんりがく、psychology）とは、心と行動の学問であり、科学的な手法によって研究される。そのアプローチとしては、行動主義のように行動や認知を客観的に観察しようとするものと、一方で、主観的な内面的な経験を理論的な基礎におくものとがある。研究法を質的研究と量的研究とに大別した場合、後者を主に学ぶ大学では、理数系として心理学を位置付けている例がある。 起源は哲学をルーツに置かれるが、近代の心理学としては、ドイツのヴィルヘルム・ヴントが「実験心理学の父」と呼ばれ、アメリカのウィリアム・ジェームズも「心理学の父」と呼ばれることもある。心理学の主な流れは、実験心理学の創設、精神分析学、行動主義心理学、人間性心理学、認知心理学、社会心理学、発達心理学である。また差異心理学は人格や知能、性などを統計的に研究する。 20世紀初頭には、無意識と幼児期の発達に関心を向けた精神分析学、学習理論をもとに行動へと関心を向けた行動主義心理学とが大きな勢力であったが、1950年代には行動主義は批判され認知革命がおこり、21世紀初頭において、認知的な心的過程に関心を向けた認知心理学が支配的な位置を占める。.
ノーム・チョムスキー
イヴラム・ノーム・チョムスキー（、1928年12月7日 - ）は、アメリカ合衆国の哲学者, by Zoltán Gendler Szabó, in Dictionary of Modern American Philosophers, 1860–1960, ed.
新しい！!: 形式言語とノーム・チョムスキー · 続きを見る »
チョムスキー階層
チョムスキー階層（チョムスキーかいそう、Chomsky Hierarchy）は、形式言語を生成する形式文法の包含階層（「形式言語の階層」）で、「句構造文法（Phrase Structure Grammars）の階層」などとも言う。1956年にノーム・チョムスキーが発表した。.
新しい！!: 形式言語とチョムスキー階層 · 続きを見る »
モデル理論
モデル理論（model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定の文または理論（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。.
新しい！!: 形式言語とモデル理論 · 続きを見る »
アルファベット (計算機科学)
形式言語とオートマトンの理論において、アルファベット (英: alphabet) または字母とは、文字や数字などといったような「記号」の有限の集合のこと。有限の文字列は、アルファベットからなる文字の有限の並びである。特に、からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (binary string)は、バイナリアルファベットの並びである。また、うまく処理することで、無限の文字の並びも考えることが可能である。 アルファベットΣが与えられたとき、Σ*はアルファベットΣからなる有限の文字列全てを意味する。ここでの*はクリーネ閉包を意味する演算子である。また、\Sigma^\infty (or occasionally, \Sigma^\N or \Sigma^\omega)は、アルファベットΣからなる無限の文字列全てを意味する。 例えばバイナリアルファベットからはのような文字列が生成できる（εは空文字列を意味する）。.
新しい！!: 形式言語とアルファベット (計算機科学) · 続きを見る »
エンコード
ンコード（encode）、符号化（ふごうか）とは、アナログ信号やデジタルデータに特定の方法で、後に元の（あるいは類似の）信号またはデータに戻せるような変換を加えることである。 一般的には、エンコードするための機器・回路・プログラムをエンコーダ、デコード（記事内後述を参照）するための機器・回路・プログラムをデコーダと呼んでいる。 特にコンピュータ（特にパーソナルコンピュータ）分野では、エンコードとは、音声や動画などをコーデックを用いて圧縮する事を言う。一部では「エンコ」と略して呼ぶこともある。.
新しい！!: 形式言語とエンコード · 続きを見る »
オートマトン
ートマトン (単数形: automaton, 複数形: オートマタ（automata ）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。.
新しい！!: 形式言語とオートマトン · 続きを見る »
クリーネ閉包
リーネ閉包（くりーねへいほう、Kleene closure）は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列（文字列）の集合である。また、この繰り返しの単項演算子をクリーネスター（Kleene star）という。 集合 V に対するクリーネ閉包の適用は、V* と表す。スティーヴン・コール・クリーネがある種のオートマトンを特徴付けるために導入した方法である、正規表現でよく用いられる。.
新しい！!: 形式言語とクリーネ閉包 · 続きを見る »
品詞
品詞（ひんし、parts of speech）は、単語を文法的な機能や形態などによって分類したもの。.
哲学
哲学（てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie）は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会，人間の思考，その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.
節 (文法)
（せつ、clause）とは、文を構成する、述語とその項からなるまとまりのことで、その中でも特に定形 (finite) のものだけを指す。.
新しい！!: 形式言語と節 (文法) · 続きを見る »
統語論
統語論（とうごろん、syntax）とは、ヒト・人間の言語において文が構成される仕組み、またはそれを扱う言語学の一分野である。統辞論（とうじろん）、構文論（こうぶんろん）ともいう。 統語論は文法［音韻論（音の仕組み）、形態論（語が構成される仕組み）などを含む、言語の構造を成り立たせている諸原理］ の一部である。ただし、特に統語論のことを指して「文法」ということもある。.
組合せ (数学)
数学において、組合せ（くみあわせ、combination, choose）とは、相異なる（あるいは区別可能な）いくつかの要素の集まりからいくつかの要素を（重複無く）選び出す方法である。あるいは選び出した要素をその“並べる順番の違いを区別せずに”並べたもののことである。組合せは組合せ論と呼ばれる数学の分野で研究される。卑近な例でいえば、デッキ（山札）から決まった数のカード（手札）を引くことや、ロトくじなどがその例である。.
新しい！!: 形式言語と組合せ (数学) · 続きを見る »
音素
音素（おんそ、）とは、言語学・音韻論において、客観的には異なる音であるが、ある個別言語のなかで同じと見なされる音の集まり。ロシアの言語学者ボードゥアン・ド・クルトネが初めてその概念を提唱した。 音素は次の特徴を持つ。.
順序集合
数学において順序集合（じゅんじょしゅうごう、ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。） 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A＜B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる（兄弟同士、叔父と甥、赤の他人等）ので、この順序集合は全順序ではない。.
計算
計算（けいさん）とは、与えられた情報をもとに、命題に従って演繹することである。 これは人間が無意識のレベルで行っている判断（→判断力）や、動物一般が行っている思考を、計算という形で意識化する手法ともいえ、その意味では「ものを考えること」一般が「計算」の一種だとみなすことも可能である。計算に使用される手続きはアルゴリズムと呼ばれる。対人関係において、戦略をアルゴリズムとして状況を有利に運ぶことも時に「計算」と表現される。 もっとも一般的かつ義務教育の範疇で最初に習うものは、算術（算数）における四則演算を、演算記号に示されたアルゴリズム通りに処理するものである。こういった「計算」は日常生活から専門的分野まで幅広く行われており、これを専門に処理する装置や機械も、人類の歴史において数多く開発され利用されている。.
計算機
計算機（けいさんき）は、計算を機械的に、さらには自動的に行う装置である。人間が行う計算を援助するのみのものや、手動操作で自動的ではないものなどは計算器という文字表現をすることがある。.
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: 形式言語と計算機科学 · 続きを見る »
言語
この記事では言語（げんご）、特に自然言語について述べる。.
言語学
言語学（げんごがく）は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.
語幹
語幹（ごかん）とは語形変化の基礎になる部分のこと。日本語では用言の活用しない部分のことを言うが、形容詞や形容動詞では独立性が強い。また、語幹に対して、末尾の活用する部分のことを活用語尾ということがある。 日本語は膠着語であるため、語幹と活用語尾の区別が比較的しやすい。しかし印欧語は屈折語の性格が強いため、語幹と活用語尾の区別が曖昧で、語幹の母音交替（ウムラウトあるいはアプラウト）を伴うことがある。印欧語では動詞だけでなく名詞や形容詞についても格・性・数等の変化語尾を除いた部分を語幹という。.
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
機械可読目録
機械可読目録（MARC、MAchine-Readable Cataloging）は、図書館情報学に関わる規格。MARC規格にはMARCフォーマットと関連文書があり、書誌情報や関連情報を機械が読める形式で表現し通信するための規格である。定義されている書誌データフォーマットは、1960年代にアメリカ議会図書館の Henriette Avram が開発したものである。また、コンピュータ同士が書誌情報を交換し利用し解釈するための通信プロトコルを提供している。そのデータ要素は、今日のほとんどの図書目録の基礎となっている。.
新しい！!: 形式言語と機械可読目録 · 続きを見る »
活用
活用（かつよう、Conjugatio, conjugation）は、言語学一般においては、ある言語において述語に立つ品詞（典型的には動詞）に属する語の語形変化のこと。特に国語学においては、日本語の用言（動詞、形容詞、形容動詞）と助動詞がもつ語形変化の体系のこと。この「活用」という用語は江戸時代の国学で本居宣長が用いて以来のものである。活用する語を活用語といい、活用語が活用した語形の1つ1つをその語の活用形（conjugated form）という。.
演繹
演繹（えんえき、）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。.
文脈自由文法
文脈自由文法（ぶんみゃくじゆうぶんぽう、Context-free Grammar、CFG）は、形式言語の理論（特に、生成文法）において全生成規則が以下のようである形式文法である。 ここで V は非終端記号であり、w は終端記号と非終端記号の（0個を含む）任意個の並びである。「文脈自由」という用語は前後関係に依存せずに非終端記号 V を w に置換できる、という所から来ている（「文脈無用」という訳の提案もある）。文脈自由文法によって生成される形式言語を文脈自由言語という。.
新しい！!: 形式言語と文脈自由文法 · 続きを見る »
文法
文法（ぶんぽう、grammar）とは、言語の体系、およびそのモデル、およびそれをもとにした、ある個別言語の話し手が従うべき規範である。この記事ではもっぱら自然言語の文法について扱う。形式言語の文法については形式文法の記事を参照のこと。なお、「文法論（grammar）」という語が指すものと「統語論（syntax、分野等によっては構文論とも）」という語が指すものが同一のものであるとして扱われている場合もあるが、ここでは別とする。.
意味論
意味論（いみろん、英: semantics）とは、言語学では統語論に対置される分野、数学（とくに数理論理学）では証明論に対置される分野で、それらが中身（意味）に関与せず記号の操作によって対象を扱うのに対し、その意味について扱う分野である。なお、一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、ありていに言って無関係である。.
数学基礎論
数学基礎論（すうがくきそろん、英語：）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.
新しい！!: 形式言語と数学基礎論 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: 形式言語と数理論理学 · 続きを見る »
思考
思考（しこう、Thinking）は、考えや思いを巡らせる行動であり、結論を導き出すなど何かしら一定の状態に達しようとする過程において、筋道や方法など模索する精神の活動である。広義には人間が持つ知的作用を総称する言葉、狭義では概念・判断・推理を行うことを指す。知的直感を含める場合もあるが、感性や意欲とは区別される。哲学的には思惟（しい、しゆい）と同義だが、大森荘蔵は『知の構築とその呪縛』(p152)にて思考と思惟の差について言及し、思惟とは思考を含みつつ感情なども包括した心の働きと定義している。 論理学分野で研究されてきた思考の定義は定まっておらず『ブリタニア国際大百科事典、第2版改訂』、多様な側面を持つ。心理学分野の研究では、思考とは何らかの思想や問題対処法を立ち上げる心の過程や操作を示し、その対象は問題解決、方略、推理、理解、表象（心像、観念、概念など）知識といった現象を取り扱う『日本大百科全書』。 漢字「思考」の「思」は、「田」が頭蓋骨の意味が転じた「頭脳の活動」、「心」が「精神の活動」を指す。「考」は知恵の意味「老」に終わりなく進む「て」が付属したものである。漢字全体では、頭や心で活動し、知恵を巡らせることを意味する。 思考とは何かという疑問は、人類の歴史の中で繰り返し問いかけられてきた。ただし思考だけを独立させて取り扱うのではなく、知能や生命、さらに社会など総体的に人間が生きる側面のひとつとみなし、複雑系を構成する要素として組織的に扱う必要がある。イマヌエル・カントは、近代的な個人の思考とはひとりでは成り立たせることは不可能であり、必ず他者と共同され、公開し、主観を共有する状態からしか生まれないと述べた。そうでないものを「未成年状態」と定め、それを脱却するために啓蒙が必要と説いた。したがって、言論の自由とは意思を発表する権利という点に止まらず、思考の権利でもあると考えた。.
