起床は8時。小雨交じりの寒い朝。昨日の疲れか、とても眠い。朝から雑用。その後論文修正。午後も続き、しかし眠くて眠くて頭がちゃんと動かない。夕方にやっと動き出し、introductionを書き直し。 17時半頃、Cから電話、家の鍵を忘れたので大学まで鍵を取り…

会場内で岡山の陶芸家の加藤直樹氏の個展をやっていた。日本庭園に面した広い畳敷きの部屋に、ピーマン（実物大）の焼き物が16×9個敷き詰められている。一つ一つ塗り方も形も違う。不思議な迫力があった。販売もしており、画像はそのうちの一個を買って家で…

冷たい雨が降る、とにかく寒い一日。本日は倉敷、大原美術館に行く。

西日本旅行中の兄と合流するため、Cと尾道に行ってきた。尾道市立美術館を見る。日本風な旧館の前面に安藤忠雄設計のガラス張りの新館を建て増した不思議な建物。美術館を出る頃には雨が降り出す。寒かった。 倉敷に移動、洋食屋で夕食後、兄の希望でジャズ…

18時より21時15分まで。p220第2パラグラフ-p223第1パラグラフ。面白いけれど議論について行くのがやっと。ちょうど訳切れしたところの訳が当たるが、短かったので事なきを得る。

一カ所修正をすると別の箇所を修正する必要が出てきて、さらに･･･という連鎖の結果、いつの間にか全体のバランスが崩れてきた。K助教授から焦点を絞れとアドバイスを頂き、またh師・IG氏に真理概念についてご議論頂く。頭の中が少し整理できました。論点シェ…

起床は8時、寒い。朝から論文の修正。午後、Kkt先生のPCが起動しなくなり、K助教授と大学生協までバックアップ用のUSBメモリーを買い出しに行く。15時からやっと本日の読書会の予習、泥縄にもほどがある。

起床は8時、眠い。洗濯物をもう一回干してから大学へ。午前は論文の修正。午後、A教授の授業、本日は IΔ_0 で指数関数 2^x のグラフを定義するやり方について。その後論文の修正。 しかし両論併記して結論をつけずに話を先に進めるやり方ってどうなんだろう…

15時10分より16時40分まで。partial recursive functionをMartin-Lof type theoryで表現する。inductive definitionをtypeで表現するとき、普通にやるとstrictlyにpositiveなindexed definition でなくなるものが出てくるので、”indexed inductive recursive…

起床は8時。晴れてはいるが、大分寒い。落ち葉が目立つようになってきた。午前中は論文修正、合間に雑用。午後も論文の続き。今日は早めに帰宅、洗濯をし、夕食の餃子をCと一緒に詰める。 健康診断の結果、コレステロール値は減少傾向、昨年は要注意を言い渡…

起床は8時、空は曇り気味。午前中は某書類の作成。昼休みに郵便局に行って発送する。午後は論文修正。 帰宅は19時。通常、論文原稿のtexファイルは大学で書き上げた後メールで自分自身に送ることにしている。夕食後、論文の続きをしようとメールをチェックす…

起床は8時、よく晴れているが寒い。Cは本日から東京へ出張。午前は雑用とか、午後も雑用。自然図書館や事務を回り、その後やっと論文書き。夕方に国際図書館に行った後、生協で夕食に中華丼を食べる。非常に残念な味。 食後も論文修正。22時半までかかって問…

同じ建物内の町立図書館は蔵書5万冊、正方形の吹き抜けの部屋の4面に書棚が並ぶ。 天井には天窓、南面には大きめの採光窓。また壁面/書棚の所々に小さな窓が開き、そこは閲覧者のための机にもなっている。 兄が「こういう書庫のある狭小住宅を建てたい」と言…

行ってきた。津山からバスで30分-40分ぐらい、陸自の日本原演習場の近くで交通の便は悪い。建物は磯崎新。 美術館としては珍しく内部の撮影が可能だったが、デジカメの電池が切れて撮影は宮脇愛子の「うつろひ」のみ。 風で金属棒のアーチが揺れ、それに合わ…

朝はよく晴れるが、昼から雨交じりで風がとても冷たい。7時半に起床、朝食後9時半に出発。

岡山県建部町に行ってきた。Cと9時半に出発、岡山経由でJR福渡へ。 兄と現地で合流し、宇甘渓に行く。紅葉にはまだ早かった、残念。 その後温泉に行き、ホテルたてべの森に泊まる。

兄が西日本に来るのでそれを迎えに遠出、残念ながら京大のHilbert講演会には行けず。考えてみると、他にも書かなければいけないメールとか、入力しなければいけないデータとかが大量に溜まっている。関係者の方々、ご迷惑をおかけして申し訳ありません。

起床は8時、かなり眠い。徐々に紅葉が進んでいる。 朝から論文の修正、書いては書き直し、を地でいく毎日。原稿をスペルチェッカーにかけると、50箇所もスペルミスが見つかる。午後も論文修正。合間に雑用、英語で「航空券の半券」という言葉が出てこずに四…

ラムズフェルト国防長官が辞任、というか詰め腹というニュースが朝一に流れていた。イラクの泥沼化を招いた責任者の一人として辞任は当然だが、RMAの推進者としての歴史的な功績は評価されてしかるべきだろう。

起床は8時、とても眠い。よく晴れているが、朝晩はかなり寒い。今週から厚手のジャンパーを着て通勤している。ときどき咳も出る。 午前中はいつもと同じく論文修正。第2章として"Preliminaries"を新設することに（だから第1章・3章と4章のdraftが完成してい…

17時半より22時近く（！）まで。p217第２パラグラフーp220第1パラグラフ。 特にp220を巡って議論が沸騰。面白いのですが、私は認識論の話を全く知らないので、話について行けているとは言い難いです、はい。Iz氏から要点メモをもらって本日は何とか。もっと…

起床は8時、とても眠い。朝夕は大分肌寒い。 午前中は論文の修正、第2章を2つに分割することに。昼休みはcnn.comのリロードを繰り返し、米中間選挙の結果にやきもきする。午後は読書会のための論文読み。 17時半からの読書会に出て、帰宅は22時ごろ。上院の2…

起床は8時、眠い。朝から快晴、しかし風がとても強い。朝から論文書き、なかなか進まず。午後も続き。日本語の論文を英語で引用するとき、どうすればいいのだろう。そこは放置することにして、とりあえず第2章のdraft第一版が完成。 その後あわてて某書類を…

中国新聞より。広島カープの黒田投手、残留を宣言。FA宣言もせず。よかった。本当によかった。

起床は8時。空は少し曇り気味、昼頃になって急に雨が降り出す。朝夕の気温の変化にやられて少し風邪気味。 午前中は論文書き、午後もその続き。書いているうちにやっぱり大した内容ではないような気がしてくる。論文を書いているといつもそう思ってしまう。…

今日もよく晴れる。起床は10時半、15分で支度してCと教会へ。JR駅前の中華料理店で昼食、Tsutayaと本屋に寄ってから大学へ行く。昔書いたが破棄してあった論文の一部を再利用することに。 19時に帰宅。夕食はカレーの続き、食後借りてきたドランクドラゴンの…

起床は10時、近所の女子大で大学祭らしく、朝からロックバンドの演奏がうるさい。午前中は雑用、掃除したりdvdを焼いたり。録画しておいたはずの「エンドゲーム」、なぜか後半部分が切れていた。 昼食後、大学に行って論文書き。もう大分日が短くなった。20…

岩波書店・ペンギン評伝双書、2002年。ゲイの作家による、プルーストのゲイとしての側面に焦点を合わせた評伝。簡潔でユーモアにあふれ、笑えるエピソードも満載、おすすめです。 ･･･もちろん、伝記より先に本体の方を読め、という話になるんですが。「失わ…

起床は10時半、今日もよく晴れる。11月とは思えない暖かさが続く。 11月1日が結婚記念日だったが平日だったので、本日お祝いをすることに。洗濯物を干した後、13時にCと外出、芦屋でラーメンを食べる。芦屋・夙川をぶらつき、夙川沿いに苦楽園まで歩き、駅前…

昨日夜から今日にかけて、大学のアドレス宛に以下のSPAM（らしき謎のメール）が12連続で届く。添付ファイルは無し、本文は英文が一行のみ。