トップ «前の日記(2002-12-19) 最新 次の日記(2002-12-21)» 月表示 編集

日々の流転


2002-12-20 [長年日記]

λ. 言語の意味論

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

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

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

entity kind indivisual
object
stage

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

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

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

λ. 東方紅魔郷

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

Tags: 東方

λ. 借りた本

『状況と態度』
ジョン・バーワイズ (Jon Barwise), ジョン・ペリー (John Perry) [著]
土屋 俊, 白井 英俊, 向井 国昭, 鈴木 浩之, 片桐 恭弘 [訳]
『自然言語の意味論 - モンタギューから「状況」への展開』
白井英俊[著]
Tags:

λ. 買った本

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