Send email to nr@cs.tufts.edu. Send physical documents to my postal address. If you come yourself you'll want directions. Telephone +1 617 627 4923. Fax +1 617 627 2227 (but if you can, scan and email instead) My vita and public key (now with photo!) are online. I type 75 words per minute. We are typists first, so test yourself. Who I am and what I do I do research in programming languages and tea
First published Tue Mar 30, 2010; substantive revision Tue Nov 3, 2020 Truth values have been put to quite different uses in philosophy and logic, being characterized, for example, as: primitive abstract objects denoted by sentences in natural and formal languages, abstract entities hypostatized as the equivalence classes of sentences, what is aimed at in judgements, values indicating the degree o
6th International Symposium of Cognition, Logic and Communication: Formal Semantics and Pragmatics: Discourse, Context, and Models November 19-21, 2010 Riga, Latvia Slides and handouts Photos Programme The aim of the conference “Formal Semantics and Pragmatics: Discourse, Context, and Models” is to stimulate exchange among linguists and philosophers about issues in formal semantics and pragmatics
組合せ範疇文法(CCG)と高階動的論理に基づき「日本語の言語現象に対する網羅性」「計算機で扱うのに充分な形式的厳密性」「活用体系・統語構造・意味合成に亘る理論的統合性」を同時に満たす日本語文法を構築・提示する試み。 目次 第1章 はじめに 1.1 文科系言語学と理科系言語学の乖離 1.2 理論言語学、記述言語学、自然言語処理の径庭 1.3 形式的、網羅的、統合的な文法理論を目指して 第2章 組合せ範疇文法 (CCG) 2.1 歴史 2.2 統語範疇 2.3 統語素性 2.4 意味表示 2.5 組合せ規則 第3章 日本語 CCG の構成 3.1 組合せ規則と日本語 3.2 日本語の統語範疇 第4章 語幹と活用語尾 4.1 五段活用動詞 4.2 一段活用動詞 4.3 変格活用動詞 4.4 形容詞 4.5 状詞 4.6 境界的問題 第5章 助動詞(二次的活用語尾) 5.1 過去形 5.2 丁寧形
David Beaver. Have you noticed that your belly button lint colour is related to the colour of your clothing? In Rainer Bäuerle, Uwe Reyle, and Thomas Ede Zimmerman, editors, Presupposition: Papers in Honor of Hans Kamp. To appear, 2004. ♦ BibTeX: beaver:kamp@incollection{beaver:kamp,\n author = {David Beaver},\n title = {Have you Noticed that your Belly Button Lint Colour is Related to the C
Yuko Murakami @yukoim 3時間×2セッション×3日。テキストは An Introduction to Non-Normal Logic, 2nd ed. http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780511389535 2010-02-15 10:04:17 Yuko Murakami @yukoim 基本的に授業2時間日本人チューターの説明・演習1時間だが、初日に限ってはinteractive。初めての試みのため受講者のバックグラウンドを探る必要あり。 2010-02-15 10:06:59 Yuko Murakami @yukoim 参加者は学生だけではなくて、かなりいろいろ。最初に自己紹介から。所属、専門、論理学のバックグラウンド(特にタブローシステムに親しんでいるか)、参加理由。Grahamは
Software Functional Programming with Haskell: FPH.hs Formal Syntax for Fragments: FSynF.hs Formal Semantics for Fragments: FSemF.hs Natural Language Inference Engine: InfEngine.hs Main module for (compiled version of) Natural Language Inference Engine: Main.hs Example knowledge base, in NL text: kb.txt Model Checking with Predicate Logic: MCWPL.hs An example model: Model.hs The Composition of Mean
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く