メモをとっておかないと忘れそう。The Embarrassment of Riches: An Interpretation of Dutch Culture in the Golden Age作者: Simon Schama出版社/メーカー: Vintage発売日: 1997/12/08メディア: ペーパーバック購入: 1人 クリック: 1回この商品を含むブロ…

バース到着は19時。

Pride and Prejudice (Penguin Classics)作者: Jane Austen,Vivien Jones,Tony Tanner出版社/メーカー: Penguin Classics発売日: 2003/01/01メディア: ペーパーバック購入: 2人 クリック: 7回この商品を含むブログ (53件) を見るI Served The King Of Englan…

数学者には、数学の問題に集中するあまり、周りが見えなくなる逸話を持つ人が多い。そして、それは飲みの席では鉄板ネタとなる。 というわけで、本日紹介された、著名な某教授のネタ。 院生時代の話です。セミナーに現れた彼を見て、指導教官は仰天しました…

＠ボルツァーノ・ホール。参加者7人、9時15分〜10時45分。好評でした。

暑い日。湿度も高め。 午前中はセミナーと討議。午後は討議と市内観光、19時からCとPやLらと夕食。

一日中原稿というのも何なので、夜に気分転換にCとコンサートに行ってきました。…生まれて初めてスタンディング・オベーションなるものをしました。 プログラムはハイドン（op74）とショスタコーヴィチ（弦楽四重奏曲第13番）とドヴォルザーク（Op51「スラブ…

暑い日。よく晴れる。一日原稿書き。

1997年のイギリス総選挙で、18年ぶりの政権奪還に燃えるブレア党首の "New Labour" 労働党に対し、支持率で大幅に後れをとった与党保守党は "NEW LABOUR/NEW DANGER" と訴え、劣勢を挽回しようとした…が、壊滅的な大敗北を喫した（労働党418、保守党165）。 …

http://www.skyscanner.jp/ ヨーロッパの空港で必ず見かける EasyJet や RyannAir の検索が出来て便利。

動物園というよりディズニーランドです。環境展示にかける意気込みがすごい。

ついったー経由、メルボルン大学における講演のビデオ。 ビデオの埋め込みがうまくいっていないような気がするので、ビデオが見られない場合は part 1 part 2 をお試しください。 http://www.themonthly.com.au/sites/all/themes/monthly2/flowp/FlowPlayerL…

起床は7時、午前中はLらと議論。H先生やCも交えて中華料理店で昼食。午後は彼らがデモ（科学予算削減に反対する科学者の会）に参加するとかで、Cと動物園に行く。ホテルに帰り、19時半にLadvi駅構内の中華料理店で夕食。

logic-mlより転載。日本でこういう話を聞く機会はほとんどないと思われますので、関西圏在住の、論理学・哲学関係の方は、是非ご出席ください。私も行きたかった…。 皆様来る９月２日、神戸大学工学研究科新井プロジェクトにおきまして、藤本健太郎氏（と佐…

よく晴れるが、気温はそんなに高くない。 7時に起床、朝食はコーヒーと山盛りのハム。午前中は原稿書き、昼にPらとピザを食べる。夕方、研究所（の屋根上）で軽くワインを飲んだ後、CとPとH先生のお宅へおよばれ。牛肉のグラーシュとスチームライスをいただ…

バースの予習のため、Cが本屋で購入。Emma (Penguin Classics)作者: Jane Austen,Fiona Stafford出版社/メーカー: Penguin Classics発売日: 2003/04/01メディア: ペーパーバック購入: 1人 クリック: 6回この商品を含むブログ (5件) を見る

Studia Logica (2000) 64(1): 3-20。こちらから入手可能。証明論的意味論に関するよくまとまったサーベイ。 （内容は後で追加します）

The Review of Symbolic Logic (2009), 2:342-359。こちらから入手可能。重要な論文なんだと思います。もう一回読み直さないと。 著者は、非古典論理に関する論理的複数主義*1を検討し、DummettやBeal-Restallらの複数主義を拒否します。そして論理に関する…

暑い日。6時半起床、関空へ。 行きの乗り合いタクシー車内でCが右瞼上を蜂に刺された。関空到着後は医務室へ直行。 飛行機は旧式の747、しかし席は前の方の比較的いい席。 乗り換えの空港でCの携帯の詰め替えバッテリーを買う。電気製品は日本より高いが、No…

今日も暑い。日差しも強い。出勤してミーティングと雑用。早めに退所して、区役所で期日前投票をする。一回家に戻り、クリーニングを受け取った後、阪急駅前の銀行に行く。 その後大学の読書会、歓迎会も併せて22時まで。

やっと、出張について許可がおりました。と言うわけで、8月20日から6週間の予定でヨーロッパに出張します。 その間、当ブログも更新が滞ることと思われます。ご了承ください。

今日も暑い。出勤してと某ミーティング、それから書き上げた原稿についてのミーティングを二件。疲れた。 帰宅中、阪急駅前で某党の運動員がマニフェストを配布していた。出版元が凸版印刷だとか、妙なところに感心する。帰宅は21時半。夕食は鮭のカレー。

暑い日、出勤して各種雑用と原稿修正、忙しく一日が終わる。 21時に帰宅、夕食は先日の夏野菜ミートソースの残りでパスタ。夕食後、Cと荷物のパッキングを始める。

昨日とは打って変わって暑くなる。朝から原稿書きの続き、第一版が何とか完成。夕方、美容院へ行き、その後Cの実家へ。近所のお祭りででたという焼きそばとおでんをごちそうになる。 21時に帰宅、それから各種雑用。

Agda コードはUTF-8なので、Texでコードの紹介文を作成しようとすると、コードをそのままコピペしたのでは文字化けしてしまう。特に数学記号（例えば）などは、いちいちsjis へ変換するのは大変。 で、MacOSX上で、UTF-8をそのまま使用・変換できる ptex を…

起床は8時、曇り、湿度は高いが風があるときは涼しい。 本日はCは実家に帰り、私は朝から原稿書き。外出もせず、一日、パジャマのまま過ごす。23時に夕食、冷蔵庫の残り物を電子レンジで温め、ビールと一緒につまむ。

朝はミーティング、ドラフト版の修正点を指摘して頂く。昼食抜きで13時半まで。 事務処理の後、某非常勤先に向かい、R君セミナー。その後京阪で大阪へ、某打ち合わせ（約束の時間に半時間遅れてしまう）。24時に帰宅。

朝は曇りだが昼から晴れる。夜は小雨。 お盆だけど、出勤して某原稿書き、第二版を作成。ついでにコードも修正する。21時半に帰宅、お盆のためバスが休日ダイヤになっており、結局駅から歩く羽目に。 夕食はトマトソースパスタ、食後も原稿の続き。

出席者は4人+スカイプ1名、22時まで。p.51第二段落-54.

暑い日、よく晴れる。出勤して一日原稿書き、ドラフト第０版が完成。22時15分に帰宅、夕食は鰯のムニエルと茹でたジャガイモ。