タグ

Wikipediaに関するincepのブックマーク (24)

  • Natural language processing - Wikipedia

    2 Approaches: Symbolic, statistical, neural networks

    Natural language processing - Wikipedia
  • Resource Description Framework - Wikipedia

    Resource Description Framework(リソース・ディスクリプション・フレームワーク、RDF、日: 資源記述の枠組み[1][2])は、元はメタデータのデータモデルを記述するための枠組みとしてデザインされたWorld Wide Web Consortium (W3C) の仕様の一つ。さまざまな文法やデータのシリアライズ形式を使って、ウェブのリソースに実装された情報を概念的に記述したり、モデリングしたりするための一般的な手法として使われるようになった。ナレッジマネジメントのアプリケーションでも使われている。RDFは、セマンティック・ウェブを実現するための技術的な構成要素の1つとなっており、代表例としてLinked Open Dataがある。RDF は1999年にW3C勧告となり[3]、RDF 1.0 仕様が2004年に[4]、RDF 1.1 仕様が 2014年に発行された

  • 油そば - Wikipedia

    この項目では、ラーメンの一種について説明しています。奄美大島の素麺を使用する別名油そばについては「油そうめん」をご覧ください。 油そば専門の飲店の例。茨城県土浦市大和町のウララビルに所在の「油武(あぶたけ)」。入り口脇には「油武流」として「油そばのべ方」が記されている。 油そば(あぶらそば)は、麺料理の一種。スープのないラーメンによく似たべ物である。 どんぶりの底に入ったごま油や、醤油ベースのタレに[1]、ラー油、酢などの調味料を好みでかけ、麺に絡めてべる[2]。代表的な具は温泉玉子、刻み海苔、メンマ、チャーシュー、ネギなどである[1][3]。背脂やチーズ、マヨネーズ、天かす、ベビースターラーメンなどを具に入れている店もある。店によっては油そばではなく、「もんじゃそば」、「まぜそば」、「手抜きそば」、「あぶらーめん」などと称する[4]ことがあり、単純に「汁なしラーメン」ともいわれる

    油そば - Wikipedia
  • 一階述語論理 - Wikipedia

    一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理(英: second-order predicate logic)と呼び、さらなる一般化を加えた述語論理を高階述語論理(英: higher-order predicate logic)という。項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。 命題論理では文を構成する最も基的な命題(原子命題)は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基的な命題は原子論理式と