帰ってきました。発表の出来はそれなり、また多くの方とお話をすることができ、とても楽しかったです。皆さん、ありがとうございました。

東京は晴れ、久しぶりに暖かな日。 しかし大阪に来ると肌寒く、小雨が降る。 起床は10時、少し二日酔いが残る。両親と昼食、昨日の残り物（寿司+鰻の白焼き）が出る。 荷造りをして、新幹線で新大阪へ。研究所に出勤、ノートPCを置いた後、少し調べものをす…

昼のビアホールへ。今度こそ心おきなくビールを飲む。それからいろいろお話を伺う。特に直観主義に対するゲーデルの立場と、直観主義へのクライゼルの影響について。立川と武蔵境をまわり、25時に帰宅。

14時45分に集合、15時からワークショップ、提題者の一人として「包括原理と超準的自然数」という内容の発表をした。提題者4人のなかで一番最初に発表でしたが、発表の出来はそれなりと言ったところでしょうか。今回のワークショップは、出席された方が40人、…

会場が前日と変わっていて、少し遅れて到着。ワークショップに行くが、レジュメがもうなくなっていたので、残部がないかと聞いたら会場係員（ボランティアの大学生？）に睨みつけられた。レジュメがなかったせいもあってか、派手に論旨を誤解する。ついでに…

二日続いて寒い日。小雨が降り続く。起床は9時。

10時半に出発、科学哲学会へ。午前中の発表は論理関係の二つを聞く。秋吉亮太氏の発表「Taitの保存拡大定理について」は、型理論 CH (Curry-Howard) が直観主義自然演繹の保存拡大になっている、というTaitの定理の証明は間違っているが、Taitの元のアイディ…

一日中小雨が降り続く、肌寒い日。実家泊、起床は10時。Cは母とお茶会に出かけたそうで、父と朝食。

週末開かれる科学哲学会に出席するため、夕方に東京に向かって出発。予約していたのはスターフライヤーの19時半発の便、研究所を18時半に出て、大阪（伊丹）空港へ19時に到着。しかしスターフライヤーのカウンターが見つからない。予約情報をよく見てみると…

寒い日、雨がちの天気。 起床は8時半、出勤してコード書き。合間に発表原稿の手直し。実家には24時に到着。東京は雨、そして寒い。 軽い夕食をとり、発表練習をしてから寝る。

よく晴れた日、しかし肌寒い。起床は8時15分、出勤してコード書き。昼は会議。その後TkさんにAgda2における否定文の証明法を聞く。20時に退所、21時半に帰宅。夕食は穴子ご飯と石狩汁。科学哲学会の発表練習をする。現在の原稿ではとても25分（ただしそのう…

本日の読書会で話題になり、h師とK氏に指摘されたので。論理的体系の代数的意味論は、哲学者には評判が悪い。なぜだろう、という話。 代数的意味論で、例えば論理式 A の「意味」は（designated value の議論を引用して）{ B : B→A の代数的な値が 1} という…

19時より21時半まで。参加者4人。p.15第3段落-p.18第1段落。 「連続体仮説(CH)は、ZFCから独立なので、真理値を持たない」という論敵に対して、パトナムは「二重星が無限に存在する」という物理学の言明や、「10^{100}+1が素数である」という言明は実際に確…

起床は8時45分。慌ててシャワーを浴びる。講演会。昼食は肉きしめん。 野依記念館内部、ガラスには野依教授が発見した物質の化学式が書いてある。しかしこの建物、地震があったらどうするのだろう。 野依物質科学館、ノーベル賞の威力。一度帰宅して、荷物を…

小雨が降り、寒い一日。 起床は8時半、久しぶりによく寝た気分。大学に行ってシンポジウム、17時半まで。 会場の野依記念館、典型的なポモ建築。 18時から懇親会等。今池経由で23時にホテルへ、そのままベッドに倒れ込む。

小雨が降り、肌寒い日。 起床は9時半、眠い。JR駅近くの郵便局に寄り、それから新大阪へ。駅構内のスタバでコーヒーとサンドイッチを買い、新幹線内で朝食。名古屋駅構内の旅行代理店でホテルをとる（駅裏、徒歩3分）。ホテルに行き、荷物を置いてから大学へ…

申し訳ありませんが、今週の「ラッセルのパラドックス：傾向と対策」は学会準備のためお休みにさせていただきます。また来週は学会出張のため、お休みとなります。ご了承ください。

今日もよく晴れる。洗濯物が乾いてうれしい。 11時半に起床。明日から出張のため、本日中に発表原稿を完成させねばならない。一日、来週の学会のための発表原稿書き、21時半に第一版が完成。ちょうどCが帰宅したので夕食、Cが実家からもらってきたイクラ丼セ…

よく晴れているが、晩秋という雰囲気。Cは本日から実家へ。 起床は12時。洗濯と読書。夕方、阪急駅前の本屋経由でJR駅前のスーパーとマクド。途中古本屋に寄るが、ついつい買い込んでしまう。そのうちの一冊には「20. May. 1988. 京大吉田営業部」とペンで書…

今朝、出勤前に阪急駅前の書店で買って、帰りの電車内で読了。作者はアメリカの女性作家、旦那も作家らしい。薄い本だが中身はマニアック、本好きな方にはおすすめの、書物ネタエッセー集。電車内で3回吹き出しそうになりました。42歳の誕生日に夫婦で古本屋…

日本科学哲学会大会の二日目（11月11日（日））に、上記ワークショップにおいて、堤題者の一人として、「包括原理と超準的自然数」という題で発表をすることになりました。会場は中央大学多摩キャンパス、15:00-17:15の予定です。要旨のさわりは 古典論理を…

小雨がちらつき、急速に気温が下がる。 起床は8時、久しぶりによく寝た気分。出勤して科研書類。提出用書類をコピーして8部作成。ところが、表紙のエントリーシートの所属部局名を間違え、事務から全て作り直しを命じられる（涙）。慎重に表紙をはがし、正し…

朝に雨、出勤する頃までにやむ。急に冷え込み風邪気味。 起床は8時、とても眠い。出勤してコード書き、しかし連日22時帰りだったせいか、疲労が激しく能率が上がらない。全体会議後、またコード書き。本日は早めに19時に退出。 帰宅は20時半、夕食はトマトソ…