久しぶりによく晴れる。朝から暑い。出勤するとき、蝉の声を聞く。しかし午後から雲が多くなる。

今日も蒸し暑い。ただし時々晴れ間がのぞく。眠い一日。雑用をしたり、書類を書き始めたり。合間にMilner本を読む。 帰宅は19時。途中、ヒグラシが鳴くのを聞く。梅雨も終わりか。

Evans論文（の学会発表）について、ヒビルテにて酒井さんに取り上げて頂く。お読み頂きありがとうございます。せっかくなので簡単に背景説明を。原稿にも書いたとおり、ファジイ集合論など多値論理の集合論の多く、そして縮約規則のない論理上で包括原理を持…

今日も蒸し暑い。朝から雑用。自分に関する事務処理は、面倒なのでどうしても後回しにしてしまう。帰宅は19時。食後CとSAC 2nd GIG vol.10を見る。Milnerを少し読んだ後、風呂掃除をして寝る。

今日も曇り。むっとするような湿度。 朝、大学に来て、PCをつけたらネットが学外に繋がらない。午前中は仕事にならず。午後は雑用とメール書き。夕食後CとSAC 2nd GIG vol.8を見る。

17時半より22時まで。IG氏が欠席。p.443第1パラグラフ-p444最終パラグラフ。

起床は8時。曇り空で湿度の高い日。暑い、眠い。午前中、K助教授とπ算法および職探しの話をする。その後は、寝不足のせいで一日寝ぼけていた。

起床は10時半。洗濯をし、CとSAC 2nd GIG vol.6を見る。Milner本を読む。夕食後JR駅まで夕涼みに出かけ、SAC 2ndの続きを借りる。帰宅後vol.7を見て、それからMilnerの続き（第4章がやっと読み終わる）。就寝は25時、台風3号のせいか、蒸し暑くてなかなか寝…

を見る。1930年代のイギリスに舞台を移してある。うまい。演技もなかなか。しかし1930年代のはずなのに戦場をT-72が走り回っている。ついでにスタンレー卿（俳優はITV版「ホームズ」ワトソン博士の2代目の人）が空軍司令官っていうのはどうか。夕食は夏野菜…

起床は11時半。洗濯。Cがお茶から帰ってきた後、外出。JR駅前でラーメンを食べ、Tsutayaと肉屋によって帰る。

先日回覧にした、私が作成したリストに誤りを発見。イヤな汗をかく。本日はCが会社の送別会なので、22時まで大学で勉強。帰宅後、録画していた「突撃」を見る。やっぱりいい。特に最後の "I appology ... " のところとか。でもキューブリックって長回しが好…

雑用その他で一日すぎる。ついでにSL誌の編集者から投稿した論文を受け取ったとのメールが来る。一安心。経済学部の図書館に寄ってから帰宅。

目が覚めて、外を見ると薄暗い。通勤途中に大粒の雨が降り出す。その後は降ったりやんだり。午前中にSL論文を電子メールで編集者に投稿。ところがメールのタイトルの所に宛先のアドレスを間違えてコピペしたまま送信してしまう･･･。 午後は学生実験の手伝い…

"A short Introduction" シリーズの和訳。「戦争の西洋的流儀」について。

よく晴れた暑い日。本日はちょうど仕事と仕事の間の谷間で、テンションが上がらない。多少雑用をした他はボーっとして過ごす。夕食後、SAC 2nd GIG vol.3を見る。その後CにSL論文の英文チェックをしてもらう。24時に就寝。

17時半より20時半まで。本日はカナダ留学中のK氏が特別参加。p442第1パラグラフ-p443第1パラグラフ。先行理論と当座理論の間の関係（およびいつ理論が先行から当座へ変化するのかetc）を巡って議論。終了後は懇親会。

朝から曇り、湿度の高い一日。Davidsonの予習をしようと鞄を開けたら、コピーをすべて家においてきたことに気づく。17時になって急いで帰宅し、コピーを持って文学部へ向かう。家が近いと助かる。会場でh師からSL論文の英文間違いのリストをいただく。ありが…

いきなり自分の本名が登場すると、ちょっとビックリする。非外延的集合論は、私が考え出したわけではなく、これまで広く使われてきたのです、はい。

よく晴れた日。朝、起きたら12時半。Cと三宮までお出かけ、ウィンドウ・ショッピングをして、ハンバーグを食べ、JR駅前のTsutayaで攻殻機動隊2nd GIG vol.2,3,4を借りて帰宅。vol.2を見て寝る。

空は雨模様。ビクビクしながら洗濯をする。その後休日出勤し、大学で秋の数学会の講演申し込み書と予稿を書き、投函する。帰宅後、CとWCドイツ・スウェーデン戦の録画を見る。今更ながらドイツ強し。