研究ブログ

研究ブログ

第二回「範疇文法と証明論」シンポジウムのご案内

 「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学
際シンポジウムです。範疇文法(Categorial Grammar)と証明論的意味論
(Proof-Theoretic Semantics)を中心テーマとして、言語学者、論理学者、
自然言語処理研究者が、それぞれの立場から研究発表を行います。

 どなたでも、お気軽にご参加下さい。

日時:2012/7/21(土) 10:00-17:00

場所:お茶の水女子大学  理学部3号館209(以下の地図の建物20)
  http://www.ocha.ac.jp/access/campusmap_l.html
  東京都文京区大塚2-1-1
  丸ノ内線 茗荷谷駅徒歩7分、または 有楽町線 護国寺駅徒歩7分)
  備考:お茶の水女子大学に入構する際に、守衛所にて身分証明書の提示
  を求められます。

使用言語:日本語(質疑は英語可)

参加費:無料

講演予定:
------------------------------------------------------------------
10:00-10:40  矢田部俊介 (産業技術総合研究所)
  「範疇文法と証明論的意味論」

10:40-11:20  峯島宏次 (慶應義塾大学)
  「Syllogistic logics and categorial grammar」

11:20-12:00  戸次大介 (お茶の水女子大学)
  「範疇文法と限定継続」

12:00-14:00  昼食休憩

14:00-14:40  佐野勝彦 (北陸先端科学技術大学院大学)
  「Inquisitive semantics and inquisitive logic」

14:40-15:20  上垣渉(MIT)
  「選言を含む知識帰属とinquisitive logic」

15:20-15:30  休憩

15:30-16:10  窪田悠介(東京大学・JSPS)
  「Hybrid Type-Logical Categorial Grammar」

16:10-17:00  宮尾祐介・松崎拓也 (国立情報学研究所)
  「大学入試における「論理」とは?」
------------------------------------------------------------------
0

LENLS7国際ワークショップのご案内

 11/18-19に開催される LENLS 7 国際ワークショップのプログラムのご案内です。

 また、11/20(土)には、お茶の水女子大学において、Alexandru Baltag 氏(オックスフォード大)と、Sonja Smets氏(グローニンゲン大)によるQuantum logicをテーマとしたチュートリアルも予定しています。

 多数の方々のご参加をお待ちしています。


                     CALL FOR PARTICIPATION

                  Logic and Engineering of 
             Natural Language Semantics 7 (LENLS7)

Workshop Site : Campus Innovation Center Tokyo, Minato-ku, Tokyo 
Dates         : November 18-20, 2010
Workshop URL  : http://www.is.ocha.ac.jp/~bekki/lenls/


Chair:

    * Eric McCready (Aoyama Gakuin University)

Invited Speakers:

    * Alexandru Baltag (Oxford University)
    * Shunsuke Yatabe (National Institute of Advanced Industrial  
      Science and Technology (AIST))

  LENLS is an annual international workshop focusing on formal    
  semantics and pragmatics. It will be held as one of workshops of
  JSAI isAI2010, sponsored by The Japan Society for Artificial    
  Intelligence (JSAI).
  (http://ai-gakkai.or.jp/jsai-isai/2010/)

  On the 20th, there will also be a special tutorial lecture at   
  Ochanomizu University by A. Baltag (Oxford Univ, UK) and S.     
  Smets (University of Groningen, The Netherlands).

Registration
============
  The proceedings of the workshop will be available at the        
  conference site for registered persons. Please follow the link  
  below and register yourself until 12th November 2010.

  http://www.ai-gakkai.or.jp/jsai-isai/2010/index.html#registration

Program
=======
November 18th (Thu), 2010
-------------------------
Location: Campus Innovation Center Tokyo (Tamachi, Tokyo)

10:00-10:15 Coffee Break

10:15-10:20 Opening Remarks

10:20-11:50 Session 1: General Semantics 1
    * Joo Chung
      "Uncommon common grounds and the Korean reportative         
      evidential -tay"
    * Myoung Hyoun Song, Chungmin Lee
      "CF-reduplication: Dynamic Prototype and Contrasting        
      Alternatives"
    * Arndt Riester
      "Restriction triggers alternative presuppositions" 

11:50-13:30 Lunch

13:30-15:00 Session 2: Formal Pragmatics

    * J.-R. Hayashishita
      "On the focus sensitivity of so-called focus-sensitive      
      particles"
    * Anton Benz
      "Optimal Completion and Implicatures of Complex Sentences ---
      A Game Theoretic Approach"
    * Nicholas Asher, Sylvain Pogodalla
      "SDRT and continuation semantics" 

15:00-15:20 Coffee Break

15:20-16:50 Sesson 3: Formal Grammar

    * BEKKI Daisuke
      "Combinatory Categorial Grammar as a Substructural Logic ---
      Preliminary Remarks ---"
    * Nakamura Hiroaki
      "Biding of Relational Nouns and the Variable-free Semantics"
    * Alastair Butler, Kei Yoshimoto
      "Interpreting Japanese Dependency Structure" 

17:00-18:00 Invited Talk 1

    * Alexandru Baltag
      (TBA) 

November 19th (Fri), 2010
-------------------------
Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info]

10:00-10:20 Coffee Break

10:20-11:50 Sesson 4: General Semantics 2

    * Fabienne Martin
      "Relative stupidity and past tenses"
    * Stephanie Solt
      " Varieties of /Most/"
    * Richard Zuber
      "Factives and intensionality" 

11:50-13:30 Lunch

13:30-15:00 Sesson 5: NPI

    * Csipak, Eva
      "how to be literally minimal"
    * Yasutada Sudo
      "The Small Reading of the Scalar Particle Mo in Japanese and
      Negative Polarity"
    * Tomohide KINUHATA
      "The Scope of Pronounced and Unpronounced Negation: A Case  
      of Japanese Sika-nai and its Correlates" 

15:00-15:20 Coffee Break

15:20-16:50 Sesson 6: Vagueness

    * Satoru SUZUKI
      "Prolegomena to Salient-Similarity-Based Vague Predicate Logic"
    * David Etlin
      "Vague Desire: The Sorites and the Money Pump"
    * Michael Franke, Gerhard Jaeger, Robert van Rooij
      "Signaling, stochastic choice, and vagueness" 

17:00-18:00 Invited Talk 2

    * Shunsuke Yatabe
      "Yablosque paradoxes and co-induction" 

November 20th (Sat), 2010
-------------------------
"Tutorial Session on Quantum Logic"

Lecturer:
  Alexandru Baltag (Oxford Univ, UK)
  Sonja Smets (University of Groningen, The Netherlands).

Title: (TBA)

Location:
  Ochanomizu University, 
  Faculty of Science, Building 3, 2F, room 209

IMPORTANT: You'll have to show your ID card and a hard copy of    
this webpage to get into the campus on Saturday.

Schedule
--------
10:00-12:00 Session 1
12:00-14:00 Lunch
14:00-17:00 Session 2

Organizing Committee
====================
  Eric McCready (Chair)
  Daisuke Bekki
  Yoshiki Mori
  Yasuo Nakayama
  Katsuhiko Yabushita
  Tomoyuki Yamada
  Kei Yoshimoto
0