洗濯機の修理を頼んでいたので早めに帰宅。18時半の約束だったが、18時10分に携帯の留守電に「今ドアまで来ましたが、いらっしゃらないようなので連絡下さい」と電話（気がつかなかった）。すぐかけ直そうとするが、電気屋の携帯番号が非通知になっていたの…

起床は8時。やはり朝は眠い。今日は一日中、次の論文に備えてメモをtexうちする。夕食はクリームシチューとマカロニ。夜更かしして"Cowboy Bebop"を見て、26時に寝る。 "Models of Peano Arithmetic"を必要に迫られて、ぱらぱらと読み返してみる。昔前半を読…

17時より21時半、p139第1パラグラフからp144第2パラグラフまで。欠席2人。一回でこんなに進んだのは初めて。全員「ヤク切れ」になっていた。

起床は8時。眠い。とても眠い。 やっと日記を更新する気力が戻ってきた。でもすぐ12月はじめの地獄の発表巡業が待っている。 朝、大学で思い立って"Models of Peano Arithmetic"を探す。図書室には見つからず、Amazonでも品切れ。こんな基本図書が、と思う。…

iBookにワードなどをインストール。夜は家に持ち帰りネットにつなぎ、システムアップデートをかける。またamazonの古本で注文していた「ケインズの哲学」が郵便で到着。 帰宅は19時。夕食は久しぶりにCの手料理でラザニアとステーキ（というか、冷蔵庫の残り…

K助教授の授業。途中A教授が飛び入り参加し、自分の証明論についての見方はいかに深くKreiselの影響を被っているかを語る。しかし彼は学生時代にKreiselを読み込んでいたらしく、訳のわからないKreiselの文章について「このほのめかしは誰々の何年の結果を指…

起床は8時。どんどん寒くなり、朝は少し悪寒がした。

起床は8時。寒い。午前中は某書類の仕上げ。昼休みに生協に行って封筒を買い、宛名書きをして郵便局へ。書留で送付する。 午後、ハードディスクが吹き飛んで修理に出していたiBookがやっと帰ってくる。データの移動に取りかかる。 本日はCが出張帰りなので外…

p236まで読了。Supprise Examination Paradoxを"Margines of Error"理論に則りmodal logicで形式化。 どうでもいいけれど、例えば"ME"理論はTruth degree theory（例えばfuzzyだけど、どちらかというと真理値が何らかのalgebraになるようなものの方が直感的…

起床は11時半。少し風邪で消化不良気味。論文と本を読み、「攻殻機動隊」の録画したDVDを見てすごす。夕方阪急駅に行き、本屋で「カフカ寓話集」を購入。マグロと餃子を買って帰り、夕食に。夕食後は「Cowboy Bebop」の録画を見る。

大学へ。オフィスに行った後バスで社会系図書館へ。借りっぱなしの本11冊を返却。かわりに「フランス革命の主役たち」上・下（実は全3冊なのだが、大学図書館では間違えて2冊しか買っていない）「原因と結果の迷宮」「世紀末社会主義」を借りる。文系学部キ…

p227まで読む。"Margins of error" theory. 理論そのものはとても常識的（誰もが思いつく）。 ただしp222のpossible worldっぽいモデルの導入は、少し違和感がある。彼の頭にはまず「様相論理で解決すべき」という信念があり、その表現としてKripke frameを…

起床は11時半。昼間は晴れて暖かい。マンションの隣の女子大が学園祭らしく、コンサートの音で外がうるさい。起きてまず洗濯をする。

8時に起床。とても寒い。h師からのメールを受けて午前中はJPL論文の修正版作成。 久しぶりに仕事の少ない一日。午後はJPL論文の続き。h師とメールをやりとりしてやっと完成。K・N両氏にご意見伺いのためにメールで送付する。他に書類を書く。 今日からCが出…

8時に起床。だんだん気温が下がってきた。午前中はSEPに関する文献複写（10編）の依頼手続き。 午後は大学院事務に書類を提出に行くが、両方とも学部扱いだと返却される。その後４年生の卒研中間発表会。 19時に帰宅。夕食はうどん。Cが明日から出張なので、…

18時より21時半、最初からp139第1パラグラフまで。欠席1人。 "True to the Facts"よりは読みやすいが、あくまでも比較の問題。p137第3パラグラフでの話の流れや、p138の第2パラグラフでのbeliefとsentence等との関係を巡って議論が続く。しかし著者がp139で…

やたら研究室のweb/mailサーバーに対する攻撃が多いので、結局学内もしくは一部の指定ドメイン以外からのssh接続を受け付けないことにした。今日から2週間ドメインを受け付け、11月24日から制限を施行する。

"Rejetced part of Brouwer's dissertation"について･･･のはずが、いつの間にかPAにおけるStandard modelとNonstandard modelでは「証明」自身が異なる（nonstandard modelの中では長さが超準的自然数になるようなnonstandardな証明が存在する）こととそれに…

起床は8時。暖かい。午前中はJPL論文の再修正版作成。h師にメールで送る。

研究集会に発表を申し込む。締め切りが11/2なので大丈夫だろうかと思ったが、世話人の方の温情で受け付けてもらえた。よかった。しかしこれで、科哲で発表（東京）の翌日、愛知に行って3日連続で研究集会ということになる。

月日がたつのは早い。引っ越し後、力尽きていたら、いつの間にやら7日になっていた。雑用も山積み。さっさと何とかしないと。

American Math. Monthly 105 (1998) 41-51. nuhsnuh氏のblogで紹介されていた論文。論文冒頭でSurpirise exam.は「Sorities Paradoxともなどとも関係がある」というので楽しみにしていたら、その話は文末のfurther readingでTimothy Williamsonの論文を紹介…

今日は休暇。 街に出て古本屋で「風景と記憶」（サイモン・シャーマ）を買う。古本ではあるが、この1冊で今月分の小遣いの半分が吹き飛ぶ。また古本・新刊併せて「かってに改蔵」を8冊買う。

18時より21時半、p51第一パラグラフから最後まで。欠席なし。今回は"It is true that it is raining"の文の分析を巡って議論が錯綜する。「難解な論文」とは聞いていたが、難解と言うより説明不足が目に余る。 次回からは"A Coherence Theory of Truth and K…

電話がかかってきて、後輩でJSPS研究員のYが「今日から学科に就職されたそうだが、ポスト等の詳細をお教え下さい」とのこと。激しく驚愕する。いつのまに。

起床は8時。昨日の引っ越しの疲れがまだ抜けない。靴下やセーターをどこにおいたか、家中を右往左往。

起床は8時。のどが少し痛い。K助教授から借りた"The Oxford Handbook of Philosophy of Mathematics and Logic"の必要箇所（LogicismおよびNominalism関連）をコピー。また郵便局に行き、書類を発送する。書類は明日には先方へ届くそうだ。 午後は科研申請書…

引っ越しと科研申請と他雑用を抱え、色々連絡ミスやら失敗やらが多い。こういうときに必ず読みたくなる本が以下の2冊。 南北戦争 49の作戦図で読む詳細戦記（クレイグ・シモンズ） 第一次世界大戦（上）（リデル・ハート） 十分な情報と準備なんて実戦では望…

起床は8時。少し風邪気味。午前中は雑用。留学生課に電話したり、図書館に本を返却したり。 午後は科研申請書の修正。ある特定箇所に罫線を引こうとすると、かならずWordが落ちる。Microsoft許すまじ。ついでに某書類の最終版を印刷。それから携帯電話を会計…

夕食を食べて帰ることになっていたのだが忘れていたので、Cに泣きついてうどんを作ってもらう。申し訳ないです。24時頃寝る。 あまり関係ないが、帰宅してCに聞くとロッテが日本シリーズ4連勝で優勝したそうだ。あの地獄の19連敗（GS神戸のマウンド上でうず…