2008-08-16から1日間の記事一覧

その後

定番観光スポットのカフェ「モーツァルト」でチェリーのケーキを食べ、市内をうろつく。 シュテファン大聖堂。 聖ペートル寺院でコンサートをやっている中に飛び込み、大理石の中へオルガンの音が消えていく様子に感動する。 夕食は、近くの「グラーシ・ミュ…

MuMok

art

市中心部にある現代美術館。建物がすごい。 中は写真とり放題。 ココシカ。 クレー。

ウィーンへ移動。

会議はつつがなく終了、ウイーンへ会議事務局運行のバスで移動。ウイーン西駅でバスを降り、ホテルへ。その後市内観光。 画像はウイーン美術史美術館(残念ながら前を通り過ぎただけ)。

最終日

存在論のワークショップと、Hintikkaの講演に出席。 "A proof of nominalism: an exercise in reduction in logic" (Jaakko Hintikka) 最近研究しているらしい論理の話。これは、量化子の付け方が通常の論理と異なっていて、一階のIF(のバージョン)で二階…

IWS(最終日)

起床は7時。昨日の雷雨の影響で、とても寒い。スーツケースを早々にパッキングしてしまったため、Tシャツ一枚で15度ぐらいの気温の日を過ごすはめに。