講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは「ことばと意味の構成性（Compositionality）」という根本的な問いを中心に据えています。「黒い猫が走る」という文の意味は、「黒い」「猫」「走る」という語の意味と、それらを結びつける文法規則から「構成的に」決定できるはずである、という直観から出発し、この素朴な観察を厳密な数学的枠組みで定式化することを目指します [p.3〜p.9]。
探求の背景には、意味論における二つの対立する潮流があります。一方は、語の意味をベクトル空間内の点として統計的・定量的に捉える「分散意味論」（Word2Vecに代表されるアプローチ）であり、他方は、文法規則に基づいて意味を論理的・定性的に組み立てる「記号論的意味論」です。前者は個々の語の意味には強いが文全体への拡張が困難であり、後者は構成的だが定量的な比較が難しいという弱点をそれぞれ持ちます [p.191]。
本セミナーはこの対立を超克するため、Lawvereの「Functorial Semantics」という数学的枠組みを基盤として採用します。「理論（Syntax）」と「モデル（Semantics）」の関係をカテゴリー論的に捉え直すことで、文法を記述するカテゴリーPregX（LambekのPregroup Grammar）から、意味を記述するカテゴリーFVect（有限次元ベクトル空間）への構造保存的な関手F: PregX → FVectを構成するという構想です [p.61〜p.62, p.168〜p.169]。
この構想を実現したのが、Bob Coeckeらが2010年に発表した「DisCoCat（Distributional Compositional Categorical Semantics）」です [p.149〜p.150]。PregroupとFVectがともに「compact closed category」という共通の数学的構造に属することを巧みに利用し、文法的な型の簡約操作をそのままベクトル空間上の線形写像へと「リフト」することで、語の意味ベクトルから文の意味ベクトルを構成的に計算することを可能にします。さらにこの計算過程は、Monoidal CategoryのString Diagramという美しい図形的記法で視覚的に表現でき、数式と図形変形が完全に等価であるという驚くべき定理を基礎としています [p.195〜p.203]。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 0: はじめに ことばと意味の「構成性」
「構成性（Compositionality）」の概念を日常的な例（算数の数式、プログラムの代入文、「黒い猫が走る」という文）から直観的に導入し、「文の意味は語の意味と文法構造に依存する」という構成性の原理を明確に定式化します。同時に、「多様な意味の解釈を一つの枠組みで捉えられるか？」という本セミナー全体を貫く中心的な問いを提起します。
■ Part 1: 意味の理論入門 「理論」と「モデル」とFunctorial Semantics
意味論の数学的基礎を確立する部です。小学校の算数における「ルールの世界（抽象的な計算規則）」と「たとえの世界（具体的な鉛筆や定規）」という対比から出発し、この二項関係を数理論理学の「理論（Theory）」と「モデル（Model）」として厳密に定式化します。さらに、Lawvereの「Functorial Semantics」がこの理論とモデルの関係をカテゴリー論的に統一する決定的な枠組みであることを示します。
■ Part 2: ことばの構成性 文法
「文法」を数学的カテゴリーとして定式化するための歴史的・理論的背景を整理します。Chomskyの「Minimalist Program」におけるMerge操作とLambekの「Categorial Grammar」という二つの潮流が、50年近い時を隔てて収斂しつつあることを示します。最終的に、本セミナーのSemantics計算の基盤となる「Pregroup Grammar」を詳説します。
■ Part 3: 意味の構成性 カテゴリー論的分散意味論（DisCoCat）
本セミナーの中心的到達点です。文法のカテゴリーPregXと意味のカテゴリーFVectが両者ともに「compact closed category」という共通構造を持つという事実を基盤として、関手F: PregX → FVectを明示的に構成します。この関手がPregroupの型簡約をFVect上の線形写像へとリフトすることで、「bananas are fruit」「John likes Mary」「John does not like Mary」といった文の意味ベクトルが具体的に計算されます。さらに、String Diagramによる視覚的・等価的な計算体系が導入されます。
ページのナビゲート