形式意味論の前提というだけでは。“@t_hayashi: つうかさ、「自然言語と形式言語──とくにここではプログラミング言語──の通底性って、それ、記号論もへったくれもなく形式意味論とかで済む話なんじゃないの？」ってならない？” about 10 hours ago via Twitt…

雨か、と今外を見るとやんでいる。蒸し暑い。中年になって知人の手前、見合いをするという夢を見たようだが、困惑している私だけあって、話はよく覚えていない。地方旅館みたいな風景があった。

日米首脳会談と相撲問題が話題。前者は特に話題はない。鳩山さんの尻ぬぐいというくらい。国際的には菅さんは無視されているだろう。相撲にも関心ない。なんでこんなに世の中騒いでいるのかよくわからん。