Logic-ml January 2011

logic-ml@fos.kuis.kyoto-u.ac.jp

11 participants
15 discussions

お詫びと訂正
by BEKKI Daisuke 16 Jan '11

16 Jan '11

　MLの皆様、　お茶の水女子大学の戸次です。先ほどメーリングリストに、すでに終了した研究会のご案内を誤って送付してしまいました。お詫び申し上げます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

形式意味論研究会のご案内
by BEKKI Daisuke 16 Jan '11

16 Jan '11

（重複して受け取られた場合はご容赦ください）　以下の研究会を予定しています。参加費や事前登録等は不要ですので、興味をお持ちの方は、是非ご参加ください。講演者 Kristina Liefke氏 (Tilberg University) 日時 2011/1/13(木) 16:00-18:00 タイトル A Single-Type Semantics for Natural Language 概要 In this talk, I develop a single-type semantics for natural language along the lines explored by Partee (2006). Such a theory of meaning takes different semantic domains (e.g. individuals, propositions, worlds) to be constructed from a single basic type. I formalize Partee's hypothesis in a one-sort variant of Church's Simple Theory of Types (1940) and show that it models a standard fragment of English. I finish by assessing the semantics' relative merits and limitations. More than providing a fine-grained alternative to Montague's Intensional Logic that elucidates the relationship between different types of objects, the proposed theory constitutes a further step towards the unification of mathematical and empirical perspectives on meaning. Keywords: Single-type hypothesis, Data semantics, Montague grammar , Partial logic, Type theory. 参考文献 Church, Alonzo. 1940. "A Formulation of the Simple Theory of Types ", Journal of Symbolic Logic 5/2, 56-68. Montague, Richard. 1973. "The Proper Treatment of Quantification in Ordinary English", Formal Philosophy (Richmond Thomason, ed.), Yale UP, New Haven and London, 1976. Partee, Barbara. 2006. "Do We Need Two Basic Types?", Snippets: Special Issue in Honor of Manfred Krifka (Sigrid Beck and Hans- Martin Gaertner, eds.), Vol. 20, Berlin, 2009. 場所お茶の水女子大学理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

Talk by Susumu Nishimura, Thursday next week (20 Jan)
by Ichiro Hasuo 14 Jan '11

14 Jan '11

Dear colleagues, Next week Thu 20 Jan, from 11.00am, our colleague Susumu Nishimura from Dept. Math., Kyoto Univ. is making a talk on his recent work. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Susumu Nishimura (Dept. Math., Kyoto Univ.) Title: Calculating Tree Navigation with Symmetric Relational Zipper Date: 11.00 - 12.00, Thursday 20 January 2011 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language that locates particular nodes in a given document structure. In this talk, a calculational method for deriving certain equalities of XPath expressions is presented. Tree navigation operations in XPath expressions, making the symmetries of those operations explicit. By exploiting the symmetry, certain equalities that are useful for optimizing XPath evaluation are derided by simple calculation. The point-free, algebraic reasoning on relations not only leads to a concise justification of some known results but also establishes equations over XPath expressions with negative predicates and those beyond XPath expressibility. This is joint work with Yuta Ikeda.

1 0

東北大学ロジックセミナー
by YOKOYAMA Keita 13 Jan '11

13 Jan '11

皆様，東北大学の横山です．以下の日程でロジックセミナーを行いますので，ご興味のある方は是非ご参加ください．日時：10月29日(金) 場所：東北大学北青葉山キャンパス理学総合棟1201号室１４：４５〜１５：１５木原貴行（東北大学理学研究科）タイトル：Effectiveness for planar dendrites and dendroids １５：３０〜池上大祐（ヘルシンキ大学）タイトル：Infinite games with imperfect information セミナーの詳細につきましては， http://www.math.tohoku.ac.jp/~y-keita/friday-seminar/friday-seminar.html をご参照ください．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 4

「計算による数理科学の展開 2011」のお知らせ
by SAKAI Hiroshi 05 Jan '11

05 Jan '11

皆様：神戸大学の酒井拓史と申します．神戸大学で開催される研究集会「計算による数理科学の展開 2011」のお知らせをさせていただきます：計算による数理科学の展開 2011 日時：１月７日(金)〜８日(土) 場所：神戸大学理学部 B428 教室 Web page： http://www.math.kobe-u.ac.jp/cm/koen/2011-01-07.html この研究集会は，"計算の理論と実践", "計算による発見と検証" をキーワードに, 招待講演者の講演を中心として年に一度開催されます．今年は，京都大学の佐藤雅彦先生が招待講演者の一人になっておられ，７日(金)の午後2時40分から "Formalization of Mathematics" と題してご講演をされます．ご興味をお持ちの方は是非お越しください． ----------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -----------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2011