日程
- 8月6-8日,11-12日 10:00〜12:00,13:00〜17:15（休憩あり）
- カレーは12日夕方
本
- The Proper Treatment of Events
- Michiel Van Lambalgen, Fritz Hamm
- Blackwell Publishing
- 2005
- http://www.mitpressjournals.org/doi/pdfplus/10.1162/coli.2007.33.2.263
- http://staff.science.uva.nl/~michiell/docs/BookFMTotalAMS12Rev9.pdf
参加者
- Staff:
matsu,inui,shimbo,masayu-a,ryu-i,kazuo-h,shuya-a, eric-n,matuyosi - D:
ai-a,hiromi-o,ikumi-s,manab-ki,yotaro-w,mamoru-k,jordi-p,jia-l - M:
masakazu-i,tomohiro-s,hideharu-o,junta-m,hiraku-m,katsumasa-y, alex-s,francisco-s,naoya-i,hayato-a,megumi-e - R:
zottip,emiko-y,asuka-s
参加できない人は以下に記述
- jessic-r (帰国中?), noah-e(intern), kmurakami(私用)
目次/割当
各自, 希望する章の担当者欄に記名してください.
早い者勝ちではないので，遠慮なく割り込んでよい．後で調整します．
注意: できるだけ同一学年が 1 箇所に固まらないように分担すること.
| 章 | 章題 | 開始頁 | 分量 | 予定日(概算) | 割当人数の目安 | 担当者 (スタッフ/DC) | 担当者 (MC) |
|---|---|---|---|---|---|---|---|
| Part I Time, Events, and Cognition | |||||||
| 1 | Time | 3 | 11 | 8/6 | 1 | ikumi-s,manab-ki | |
| 2 | Events and Time | 15 | 12 | 8/6 | 1 | shimbo | tomohiro-s |
| 3 | Language, Time, and Planning | 27 | 5 | 8/6 | 1 | kazuo-h | |
| Part II The Formal Apparatus | |||||||
| 4 | Events Formalized | 35 | 14 | 8/6-7 | 2 | jia-l | hiraku-m |
| 5 | Computing with Time and Events | 49 | 21 | 8/7 | 3 | junta-m, naoya-i, hayato-a | |
| 6 | Finishing Touches | 71 | 8 | 8/7 | 1 | ryu-i | |
| Part III A Marriage Made in Heaven - Linguistics and Robotics | |||||||
| 7 | Aktionsart | 83 | 14 | 8/8 | 2 | masayu-a, zottip | masakazu-i |
| 8 | Tense | 97 | 33 | 8/8 | 4 | matuyosi,emiko-y, ai-a, asuka-s | katsumasa-y |
| 9 | Tense in French | 131 | 20 | - | - | ||
| 10 | Grammatical Aspect | 151 | 18 | 8/11 | 3 | shuya-a, hiromi-o | hideharu-o |
| 11 | Coercion | 169 | 15 | 8/11 | 2 | inui | francisco-s |
| 12 | Nominalization | 185 | 43 | 8/11-12 | 5 | jordi-p (12.3.1-6), mamoru-k (12.3.7-), yotaro-w (12.2) | megumi-e (12.1) |
| Appendix: The Basics of Logic Programming | 229 | 9 | 8/6 | 1 | matsu | ||
経過
スケジュール概要
- 午前の部 10:00-12:00
- 午後の部1 13:00-15:00
- 午後の部2 15:15-17:15
8/6
- 午前の部 Chapter 1
- 午後の部1 Chapter 2
- 午後の部2 Chapter 3, Appendix
8/7
- 午前の部 Chapter 4
- 午後の部1 Chapter 5
- 午後の部2 Chapter 6, 7 (-7.1)
8/8
- 午前の部 Chapter 7 (7.2-)
- 午後の部1 Chapter 8
- 午後の部2 Chapter 8
8/11
- 午前の部
- 午後の部1
- 午後の部2
8/12
- 午前の部 Chapter 12
- 午後の部1 Chapter 12
- カレー
- 4鍋
- M1 有木カレー (日本カレー)
- カレー部1 チキンバターマサラ
- カレー部2 ベジタブルカレー
- もう一鍋
- 4鍋
備考
質問
- to Appendix 担当者様
- \vdash と \models の使い分けについて説明してください。一般的な導出可能性と充足可能性とは違う使い方をしているようですが、この記号の定義について解説お願いします。
- 前者は，自然演繹法や導出原理などの証明系（式(の集合)から新しい式を導出する演算）によって左辺から右辺が導かれるということ．式の変形を扱うことから論理の統語論と言われます．後者は，あらゆる論理式は真か偽のいずれかの値を持つと考えて，左辺（の論理式集合のすべて）が真になるような真偽値割り当てのもとで，右辺の式が必ず真になることを言います．真偽値という意味付けの間の関係の話なので，論理の意味論と言われます．
- Literal の意味は Atom と \neg Atom 以外にも使われていますが、この本における Literal の意味について解説お願いします。
- Literalは，アトムの肯定形が否定形をまとめて呼ぶ名称として使われているだけと思います(p.233:Definition 60)が，それ以外の使い方をどこかでしているでしょうか？
- \vdash と \models の使い分けについて説明してください。一般的な導出可能性と充足可能性とは違う使い方をしているようですが、この記号の定義について解説お願いします。
- to 5 節担当者様
- "the reals" は「現実」ではなく「実数値空間」