日々の流転

λ. 言語の意味論

PTQはオントロジー(存在論)が貧弱。例: 裸の複数名詞句

• Soldiers are brave. (兵士一般についての文)
• Soldiers are drank. (特定複数の兵士についての文)
• ゴキブリはどこにでもいる。Cockroaches are everywhere.

個体概念だけでは不足。 => Greg Carlson の存在論

kind,object,stageのいずれに働くかという情報を動詞句が持っていると考える。

自由Σ代数系は記号としての式の全体そのもの。 自由Σ代数系とオントロジーは深く結び付いている。

• 「オントロジーは自由Σ代数を作る手続き」-- P.Aczel

λ. 東方紅魔郷

ようやくノーマルをノーコンテニューでクリア!!。霊夢の「夢の御札」を使いました。86215060点で、中村さんには約8万点ほど及ばなかったけど、これで心置き無く冬休みに入れます。(笑)

λ. 借りた本

『状況と態度』

ジョン・バーワイズ (Jon Barwise), ジョン・ペリー (John Perry) [著]
土屋 俊, 白井 英俊, 向井 国昭, 鈴木 浩之, 片桐 恭弘 [訳]

『自然言語の意味論 - モンタギューから「状況」への展開』

白井英俊[著]

λ. 買った本

• Software Design 2003年1月号
• BSD Magazine 2002 No.14