Memoranda Personalia 2018-10

Monday, 1st of October 2018

• もう10月。後半戦に突入。
• 論理学ゼミ。Semantic Treeの完全性のあたり。小テストは数学的帰納法なので鼻歌交じりに済ませる。授業後、先日のPascalさんも出席していたので、Joと3人で少し雑談。思い切って、集合論を使わないたとえばポーランドの論理学なんかはどう思うかと聞いてみたが、「あー記号が独特の」というような反応。そこじゃない。最近の形而上学は意味の指示理論と一階（様相）述語論理に毒されてませんかとも聞いてみたが、やっぱり反応は今ひとつ。
• NYの弁護士から電話があり、車の保険について意見を聞く。オフィスで1時間ほど日本語でしゃべったので新鮮だった。近くで勉強していた学生たちは日本語の響きを楽しんだことだろう。
• 夕方ジム。人が多い。
• 夜、レンタカーの保険の確認をしていると、そのレンタカーのWebサイトに会員メニューがあることに気づき、ためしに入会（無料）してから予約をしてみると、会員ディスカウントがあるではないか。さっそくキャンセルして、入会して取り直す。しかも6ヶ月を2ヶ月ずつ借りると、会員ランクが上がるので、その分、ディスカウント比率が高くなる。
• これに限らず、外国生活というのは出来の悪いRPGのようだ。危険と隣り合わせの冒険の連続。
• 冒険ばかりしていて、コメントを書いて返さないといけないものが蓄積してきているのですが心当たりのある方はもう少しお待ちください。

Tuesday, 2nd of October 2018

• 今日はいよいよレンタカーを借りに行く日なので朝から落ち着かない。
• 午前中、あまりよくない知らせが一件。
• 念のため保険の内容を調べたりしていると思わぬ発見があったりして新鮮（おいおい）。準備万端でLyftを呼んで出かける。20分ほどで到着。Enterpriseというところ。入っていくと黒人のお兄さんが笑顔で受け付けてくれる。Webで申し込んでいたので問題なく進み、保険についてもとくに勧められたりはせず、「なんかオプション付けますか？」みたいなことを言われて、予定通り、車両のダメージについてはこちらで修理しなくても全部Enterpriseが引き受けてくれるというオプションだけを付ける。
• 契約が終わる頃に、「あそこにある日産の車を同じ値段で使えるけど使うか？」と言われて、見ると、大きなSUVが停まっている。トヨタのカムリ級を予約していたのだが、ワンランク上のRogue。カムリ級だと、アルティマになると言うから「いや〜そんなの急に決められないよ〜、どっちもいい車だし〜、だけどRogueにする」と言って周囲の笑いを誘う。
• あとは簡単に車体の傷をチェックして、ごく簡単に操作法を確認して終わり。あっけない。
• 正午過ぎだったので、練習がてら奥さんの大学まで行こうと思ったが、連絡が取れず、とりあえず帰宅する。夜間は危険なKingshighwayも、昼間なら問題ない。無事帰宅すると奥さんから反応があり、最寄り駅で待っていると言うからすぐに行く。カーナビも付いているが、当然音声ガイドは英語だし、そもそも道の様子がわかっていないから緊張する。なんとか到着して記念撮影。その後、せっかくなので、いつも大家さんに連れてきてもらっていたClaytonのSchnucksへ。途中道を間違えて逆方向へ行くなどしたが、どうにかたどり着いて買い物。ちょっとテンションが上がって、いつもは買えない大きなものを買う。
• 夕食はその店で買ったミートボール。こちらのミートボールは中身が詰まっていて、ソーセージのような味がする。
• 夜は明日の論理学ゼミの準備。やっていることは意味論的Treeの完全性証明なので、それこそ30年前にやったことの復習だが、証明の英語を書き写して言い回しを覚えるのがいい勉強になっているような気がする。
• 借りてきた自動車は家の前に路上駐車（合法）しているので、ふだんよりも物音が気になる。

Wednesday, 3rd of October 2018

• 論理学ゼミ。完全性証明は基本的なアイデアだけを押さえて、一階述語論理に突入。いちおう、学部の基礎論理学で、自然演繹あたりを軽くやっているのが前提なので、翻訳の練習を入念にするみたい。このへんのお決まりで宿題が山ほど出る。
• 追いかけてきている某業務。夕方ジムに行こうとするが、短パンを忘れてきたことに気づき、そのまま業務。
• イラン出身のTAのA氏と雑談。名前の由来を聞くと、「神から与えられた」という意味だと言うから、Adeodatus^[1]だね、と言うとうれしそうにしていた。意味がわかったのかどうかは不明。
• 夕食は先日買った味付きポークを柔らかく焼いたもの。
• 夜も某業務。とりあえず一段落させる。

Thursday, 4th of October 2018

• 今日は認識論ゼミ。今学期は、最近元気な人をみんな招いてしまおうというノリで、今日はKareem Khalifa氏。例によって、終了後は軽いレセプションがあるらしい。
• いろいろ論文を読んでいかないといけないが、知識や正当化における真理の要素を再検討するという話らしい。John Turriもそうだったが、最近、この方向の議論をよく耳にする。
• ふと冷蔵庫を見ると牛乳がなくなりつつあるので、午前中、近くのスーパーに車で行って買ってくる。車があると機動力が上がる。
• なんだかんだ言ってお世話になっているExpediaで、月末のChicagoの宿を取る。
• 昼頃、少し小雨模様になってきて、奥さんがちょうど最寄り駅まで帰ってくる頃なので、感心にも車で迎えに行く。帰りはWhole Foodsに寄って買い物。駐車場も使ってみた。左ハンドルだと、いろんな操作を左手でしなくてはいけないので、もう少し慣れが必要。
• JGの認識論ゼミ。Khalifa氏は科学哲学畑の人のようで、猛烈なスピードで2時間半しゃべりまくる。その後、いつものように近所の店で学生たちと一緒にreception。認識論について素朴な質問をする学生がいたので、いつもより多めにしゃべる。二次会にも誘われたが、ちょっとこのところ過労気味なので勘弁してもらって7:30頃に帰宅。
• 夕食はチキンのクリームスープ。
• 夜、某業務をほぼ終了。

Friday, 5th of October 2018

• レンタカーが手に入ったので、自動車免許の実技試験を受けに行ってみる。前回、仮免許を取ったときに、実技試験はどこで受けるんですかと聞くと、ここだと言われたので、多分大丈夫だろう。Chouteau Ave.の試験場まで車で行き、受付で実技試験を受けたいと言うと、しばらく部屋の外で待っていなさいと言われ、待っていると10分もせずに受付のおじさんが出てきて試験開始。
• 車のところまで行き、左右のウインカー、ヘッドライト、フロントガラスの霜取りスイッチ、ハザードランプの確認をして、おじさんが乗り込み、実技試験開始。近所の道を、あっち行け、こっち行け、止まれ、出発しろ、などなど、15分くらいぐるぐるして、最後は、敷地内で縦列駐車と、普通の車庫入れをして修了。細かいルールを覚えていないせいもあって(こらこら)、減点が4箇所あったが無事合格。
• 書類をもらってから、大学近くの運転免許事務所に行って、今回は小一時間ほど待って、書類を提出。意表を突いて再び視力試験と交通標識試験があって、写真を撮られて修了。2週間ほどで免許証が送られてくるらしい。
• アメリカの運転免許証については、Web上にはいろんな情報があって混乱するが、その一番の理由は、おそらく、「アメリカの運転免許証」というのが類概念であって、正しくは、各州の免許証であり、州によって、細かい規則が違うという点にあると思われる。レンタカーでは実技試験が受けられないとか、受けられるとしても、レンタカーの契約についてのいろんな書類が必要だという情報があったが、今回、ミズーリ州では、そういうことは一切なく、「車どれ?これ?じゃあ乗って」という感じで試験が始まった。Webの情報は確かに役に立つが、やはり十分ではない。
• 時間がちょうどなので、奥さんを大学まで迎えにいってから帰宅。自宅でサンドイッチの昼食。
• 午後3時からPascalさんの講演会。
• 本当は懇親会にも出た方がいいのかも知れないが、ちょっとこのところ過労気味なのでどろんさせていだく。
• 夕食はチキン腿のロースト。
• Facetimeで孫の姿を見る。このところ急に知恵がついてきて、TV電話で話していることがわかってきているみたいだ。

Saturday, 6th of October 2018

• 車の練習がてら、ClaytonのSchnucksへ。売り場が広いので買い物に時間がかかる。帰りに近所の雑貨屋に寄って、スマホのナビを車で使う装置を購入。Wazeというappが、日本語とメートル法でナビしてくれるので助かる。車のUSBにつなぐと、車のスピーカーから音声が出るのが不思議。
• 昼はそこで買ったペンネアラビアータ。
• 午後は自宅でお仕事。
• 夜はポークのロースト。最近これが一番うまい気がする。
• 田中投手が赤靴下軍を相手に先発の役割を果たす試合を観戦。

Sunday, 7th of October 2018

• 午前中、seafood cityという、アジア食材の店に行ってみる。こちらに来てからすぐの時期に、ご近所のD氏が連れて行ってくれたところ。車で20分ほど。
• 気分転換に日本食が作れるような食材を買おうと思ったが、中国や韓国のものがほとんど。結局、米、インスタントラーメン、インスタントカレー、ラーメン鉢などを買う。
• 昼はインスタントラーメン。久しぶりの味で懐かしかったが、素直にパスタの方がうまいと感じた。これに限らず、無理に食材をそろえて日本風にするよりは、どっぷりこちらの料理にした方が数段うまい。
• 午後は明日の論理学ゼミの宿題など。
• 夕食はローストビーフ。どっぷりこちらの味でうまい。
• 夜、大家さん夫妻がほぼ2週間のヨーロッパ旅行から帰宅。疲れているようなので、ご挨拶は明日。

Monday, 8th of October 2018

• 論理学ゼミは一階述語論理の翻訳。難易度が少しずつ上がって、学生の質問もだんだん少なくなってきている。
• 午後はオフィスでお仕事。
• 夕方ジム。
• 夜はチキンのロースト、マッシュポテトにチキングレービー。
• ヤンキースがホームゲームで赤靴下軍にぼろかすに負ける試合を観戦。16-1。暴動が起きないか心配。

Tuesday, 9th of October 2018

• 今学期、火曜日は授業がないので基本的に家で仕事をする。
• 昼は奥さんを迎えに大学へ。帰りにWhole Foodsに寄って買い物。こちらに来てから初めてかも知れないが、赤ワインの少しいいやつ（と言っても$12くらい）を買う。
• 途中で給油もやってみた。レギュラー$2.7という表示だが、1ガロン（3.78リットル）なので、1リットル70円くらい。昔はもっと安かったと思う。日本の、セルフのスタンドとほぼ同じ手順なので安心する。
• iPhoneのWazeをカーナビとして使うのが快適。Spotifyという音楽ソフトと連動していて、音声案内があるときには音楽が小さくなるということをふつうにやってくれる。
• 午後も自宅でお仕事。JGの翻訳を進める。
• 大家さんはまだ疲れているようで、messageのやり取りはあるが、直接会ってのご挨拶はまだできていない。

Wednesday, 10th of October 2018

• 論理学ゼミ。一階述語論理の四方山話。アンセルムスの存在論的論証をぞんざいに一階述語論理で証明するということをやっていたが、明らかにvalidではない。これは、後日、Treeをやってから間違っていることを確認するのだろうと思ってあえて黙っておく。小テストは簡単な翻訳問題。
• あまりよくない連絡が一通。どうしたものか。
• 明日の認識論ゼミはKvanvig氏のTalk。準備をしようとするが、本一冊読んできなさいというのはあんまりなので、JGの本の翻訳を進める。
• 夕方ジム。最近、月曜と水曜に行くようになっている。水曜の方が体が軽い。
• 夕食はポークのロースト。肉の種類と味付けでいろんなバリエーションがある。
• 明日から寒くなる予報。昨日まで30℃あったのに、明日から気温が下がり、明後日の最高温度は9℃。「セントルイスに秋はない」とだれかが言っていたのを思い出す。

Thursday, 11th of October 2018

• 清掃のため、第二木曜日の8:30から正午まで、家の前の道路から車を移動させないといけない。10時頃に清掃車がやって来て、巨大な回転する箒で落ち葉を集めていく。8:30からだから8:20頃に動かせばいいだろうと思っていたら、大家さんから6:30頃に「車を動かさないといけないんじゃないの？」というmessageが入る。世の中うまく行かないものだ。
• 急に冷え込み、外出するにはコートが必要。
• 午後の認識論ゼミの予習に励む。意外にもChisholmの話が出てきていたので、昔のノートを読み返したりする。
• 奥さんは最終の試験を終えて12時頃に帰宅。明日は卒業式。
• 認識論ゼミはWash-UのKvanvig氏。fallibiismの話だが、最近出た若手の本の批判が中心で、ついて行くのが難しい。
• 授業後、例によって、reception。Forest Park Ave.にある新しい店。先生5人と学生7人ほどで2時間ほど歓談。その後、Grecoさん、Kvanvigさん、論理学のJoe、そして訪問教授のPascalさんと5人でCWEに移動し、10時頃まで。Texas出身やゆかりの人が多かったせいか、なんか豪快な話題が多かった。最後は、なぜか気絶した経験の自慢話で盛り上がっていた。KvanvigさんおすすめのVillet Pot StillというBourbonをみんなでいただいたが、バーボンの概念が壊れるような上品な味と香りに驚く。
• 帰りはLime Scooterでぴゅっと帰宅。

Friday, 12th of October 2018

• 気温が下がりしかも雨。
• 今日は奥さんの英語スクールの卒業および修了式。とりあえず一区切りつけていったんやめるので、最後だから一言先生たちにお礼を言おうと思って一緒に10時過ぎに車で出かける。試験の合格証をもらってから、別室で表彰式。三回も呼び出されて賞をもらうところをスマホのvideoに収める。よく頑張ったというよりも、頑張って勉強することを楽しめたようなのでよかった。
• ClaytonのSchnucksに寄ってから帰宅。
• 午後は少し昼寝をしようとしたがあまり眠くないので起き出して翻訳作業など。
• 夜はビーフシチュー。温かいものがおいしい季節になりました。
• しかしこれだけ急激に気温が下がると頭の方が追いつかない。数日前は冷房で25℃くらいに冷やしていたのに、今は暖房で25℃くらいに温めている。おそらく、暖房は20℃くらいにして、Tシャツじゃなく冬の服装をすべきなんだろう。

Saturday, 13th of October 2018

• 論理学ゼミの予習というか復習というか。述語論理の意味論のあたり。このへんは、どこまで詳しくやるかという問題がある。
• 2週間のヨーロッパ旅行から帰宅した大家さんに挨拶に行くが、大家さんJの体調が優れず、すぐにおいとまする。無理して旅行に行って、弱っていないか心配。
• 土曜日なので、孫と娘と実家とFacetimeやLINEで話をする。

Sunday, 14th of October 2018

• 第57回目の生誕記念日。昨年からまた地球が太陽の周りを一周したようだ。順番が逆だけど。考えてみれば、この巨大なものがものすごいスピードで一年かけてさらに巨大な太陽のまわりを一周するとは雄大な話だ。それはともかく、57=3x19ということで、最後の10代を3倍楽しみたい。（もはや意味不明）
• ちょうど日曜なので、アウトレットモールに行ってみる。セントルイス近辺を検索すると三つほど出てくるが、一番遠いPremium Outletというところを目指す。しかし、途中で工事があり、ナビの言うとおりには行けず、仕方なく、その手前にあるChesterfield Outlet mallに行く。あまり人がおらず、フードコートも閉まっている。それでも店は開いているので、冬に備えて室内着などを購入。
• 帰路、閉店間際のインドカレー店で遅いランチ。その近くのWalmartで買い物をして帰宅。
• 夜はWalmartで買った大きなステーキを焼く。予想通り食べきれない。「食べきれないほどのステーキを食べてみたい」という欲求はこちらに来て十分に満足されている。

Monday, 15th of October 2018

• さっさと出勤して論理学ゼミ。述語論理の解釈と、Treeの説明。今週は中間試験らしい。
• 翻訳を進める。
• 夕方ジム。
• なぜか疲れて10時頃に就寝。

Tuesday, 16th of October 2018

• 前庭のやりかえをするそうで、朝から庭師さんが入っている。
• ご近所のDさんからメッセージが入り、大家さんJが入院したとか。心配。
• 奥さんは英語学校が終わったので、図書館のESLに出かける。さっそく新しいインドの友人ができたそうだ。このコミュニケーション能力は、どこかの企業の研修担当ができるレベルではないか。
• JGの翻訳と論理学。
• 夜はチキンのロースト。
• 来年の夏の京都の集中の（「の」の連続）宿も念のため早めに確保する。
• 久しぶりにAndroidスマホの電源を入れると、アプリのアップデートが70件超。帰国してすぐはこれを使うのだからおろそかにすべからず。

Wednesday, 17th of October 2018

• 論理学ゼミは中間試験。出席して受けられないこともないが、真剣に受けている学生たちに配慮してここは遠慮させていただく。自宅でお仕事。
• 某NYの弁護士から誕生日プレゼントが届く。いつもありがとうございます。
• 奥さんは図書館のESLの帰りにお友達のインド人の人のマンションに行ってお茶をしてきたらしい。
• 右足のふくらはぎが張って痛い感じ。季節の変わり目なので、少し体調が低空飛行気味。ここらで休んでおかないと、来週末のHalloweenと再来週のシカゴを乗り切れないと体が調節しているのかも知れない。

Thursday, 18th of October 2018

• 朝から庭師さんが前庭の工事で頑張っている。
• 奥さんは図書館のESLに出かける。今日はイランとインドのご学友と森林公園を散歩をしてきたらしい。
• 大家さんJは火曜日に手術をすることになったらしい。詳しいことがわからないのがもどかしい。
• ミズーリ州から運転免許証が届く。2週間後に届くと言っていたからかなりの精度と言えよう。
• 午後、ちょっと気分転換にガレリアまでドライブ。お世話になっているNYの某弁護士の誕生日プレゼントを調達。その足でDelmar Loopへ行ってProvisionで買い物。来週、図書館のESLのお友達を招くので日本の食材を買う。
• 今日は返信が必要な大量のメールが届いている。しばらくお待ちください。
• 赤靴下軍が天体軍を破って全米選手権決勝出場を決める試合を観戦。
• 一ヶ月前くらいから日本のニュースを読むのをやめているが、気分が平穏。ニュースとは何かという問題。

Friday, 19th of October 2018

• 本格的な冬に備えて、ラジエーターの整備で朝から業者が来る。大家さんLに大家さんJの様子を聞いたりする。
• 大量のメールに次々に返信する。
• 昼食後、ClaytonのSchnucksへ。ちょっと買い物のつもりが大量に買ってしまう。
• 四大スピリッツの中では一番Tequilaのポテンシャルが高そう(たんに値段の幅が大きい程度の意味)なので、ちょっと奮発してreposadoの$23のTequilaを買ってみる。たしかに独特の香りと刺激に慣れたらクセになりそうなポテンシャルは感じる。
• 数日前から体調が今ひとつ。右ふくらはぎの違和感はまだ治らない。おそらく急激な気温の変化で風邪気味なのだろう。冬のパジャマをちゃんと着て麻黄湯を飲んで寝る。

Saturday, 20th of October 2018

• シュラスコを食べる日本人会の関連で、今回はリンゴ狩り。11:30集合なので10:30頃に出発。途中、なんだか物騒な地域を通過したりして少しヒヤヒヤしたが、無事40分くらいで到着。ついてみるとかなりの賑わいで、大きな駐車場が満杯になっている。トラクターでリンゴ畑に行って、リンゴを収穫。こちらのリンゴは、手入れも何もなく、小振りのものがブドウみたいに鈴なりに成っている。
  
• その後、レストランに移動して、遅い昼食。フライドチキンが名物だというのでそれを注文。食べ放題だがそれほど食べられず、手羽を少し追加注文しただけ。しかし、秋らしい過ごし方ができた。
• 遅い昼食を腹一杯食べたので、夕食は軽くパスタのサラダ。
• NLCSでドジャーズが全米選手権出場を決める試合を観戦。
• 今夜は最低気温が0度くらいになるそうなので、大家さんLからラジエーターを入れたという連絡が入る。

Sunday, 21st of October 2018

• 日曜日。今日は大家さんJのお見舞いに行く予定だが、いつから行くのか時間がはっきりしない。
• 昼食の準備をしていると、大家さんLから、30分後に行くからという連絡が入り、大慌てでシリアルを食べて出かける。車で20分ほど西に行ったところにある病院。病室に入って、昨日摘んできたリンゴを差し入れしてくる。面会は5分の制限だが、15分くらいいたような気がする。息子さんにもお会いしたので挨拶をする。
• 帰路、車の表示にタイヤの空気圧が低くなっているという警告が出ているので、レンタル会社に出向いて見てもらう。確かに空気圧が少し低いが、急な気温変化のせいだろうということで、応急的に空気を入れてくれる。しかし最近の車はいろんなセンサーが付いていて大変だ。
• 今のレンタル契約についても確認すると、1ヶ月ごとに車の状態を確認して簡単な整備をするので1ヶ月後に来てくれとのこと。係員によって言うことが違うのがお国柄。
• 大家さんJからのお見舞いのお礼メッセージに、奥さんが「もう少し英語が上手だったらもっといろいろ言ってあげられたのに」という感じの、仮定法の文を返信していたので感心する。英語に限らず、欧米語は仮定法が使えるようになるのが最初の一歩。（偉そうに言うな）
• 日本では年末調整の時期なので、念のため大学に確認すると、当然書類を提出してくださいとのお返事。どないせいっちゅうねん、と言ってもしかたがないので、できる範囲のことをやってみよう。

Monday, 22nd of October 2018

• 学事日程として、中間試験のあと、今日と明日は秋休み。
• 年末調整についてできる範囲のことをする。ここでもiPad ProのNotabilityが活躍する。
• 自宅で翻訳。
• 奥さんはご学友と電車で近くのモールに出かける。
• 夕方久しぶりにジム。最近新学期で人が増えていたが、休みの日に行くと、夏休みにも来ていたような人たちがいる。
• 夜はチキンのロースト。

Tuesday, 23rd of October 2018

• 秋休みで天気がいいので、久しぶりに植物園へ行ってみる。昼前に出発。人出も少なく、ゆっくりと見て回る。持ってきたサンドイッチをベンチで食べる。
• その後、日本人会で聞いた、おいしいアイスクリームの店が近所にあるので行こうとするが、午後2時からの営業ということがわかり、時間つぶしにスーパーで買い物。Tower Gloveという地域のSchnucksだが、大きくて品揃えもよい。
• アイスクリーム屋でapple butterのアイスを買って帰宅。作りたてのアイスクリームは確かにおいしいが、こういうのは日本にもあるなあというレベル。
• 夕方少し昼寝。
• 夜はスパゲッティミートボール。ミートボールが本格的でうまい。
• 野球の全米選手権シリーズ初戦を観戦。Bostonが勝利。
• 大家さんJの手術の日。無事に終わったという知らせがないので少し心配。

Wednesday, 24th of October 2018

• 2日の秋休みが終了して論理学ゼミ。後半はModal Logicに突入。一階述語論理の証明論はTreeだけ、自然演繹は自習、完全性証明はパスという進行。Modal Logicは自作の出版前の教科書を使うところがかっこいい。大学の授業は出版前の原稿を使いたいところ。しかし著作権などはどうなっているのか。
• 夕方ジム。足の具合を確かめながら軽めのメニュー。
• 奥さんは、ESLのあと、自宅にイランとインドのご友人を招いてお寿司とかでおもてなしをしたらしい。最近国際親善で疲れ気味ではあるが、こういうことは実際に体験しないとなかなかニュアンスがつかめないので、いい勉強をしていると思う。明日はUMSLのHalloween partyに出かけるとか。
• 夜は地球の裏側まで追いかけてきた業務。Skypeを使って遠隔指導。WiFiの具合を心配したが、問題なくできた。Skype(と、それに相当するapp)は確実に歴史を変えているし、今後も変えるだろう。
• ドジャーズがまた負けて2-0の展開。マエケンも登板したが、これだけ才能だらけのメンバーだとさすがに見劣りがするのは否めない。
• 大家さんJの術後の様子についてあまり報告がないので心配している。この文脈では、便りがないのがよい便りとは言えない。

Thursday, 25th of October 2018

• 奥さんは英語学校のHalloween Partyに出かける。卒業したはずだが、そういう催し物には参加していいのだとか。
• JGの認識論ゼミはお休みなので、自宅で翻訳。訳しやすいところもあるが、もとネタを確認しないといけないなど、けっこう苦労するところもある。
• 3時過ぎに、英語学校までお出迎えして、帰りに途中でガソリンを入れて、WholeFoodsに寄って帰宅。WFの駐車場の構造を初めて把握する。
• 野球の試合がないので、NFLの試合を観戦。この地で何十年もずっと人気があるスポーツだけあって、人間の身体能力を鑑賞するにはよい競技だと思う。
• CNNや歴代民主党大統領に爆発物が送られた件で、現大統領がCNNが悪いみたいな言い方をしたのにCNNが猛反発している。

Friday, 26th of October 2018

• 翻訳作業が最終章に突入したので、少し意欲が湧いてさらに翻訳を進める。最終章はMooreの外界の証明の解釈がメイン。
• ワールドシリーズ第3戦は試合がもつれて延長戦へ。13回まで見たところで諦めて寝る。あとで確認したら18回までやったらしい。ご苦労様です。

Saturday, 27th of October 2018

• 地域のHalloween行事がある日。午前中、CWEに出かけて、子供たちのパレードを見る。途中、訪問教授のPEさんに出くわしてご挨拶。ヨーロッパではこんなことはしないと言っていたが本当だろうか。帰りは少し遠回りをして新しい店を二軒発見。
• 昼は自宅で先日の煮込みスープ。
• 油断していると、大家さんLから、夕方の近所のPartyには5:30頃から出かけるから、というメッセージが。奥さんの大家さんJが入院したので、自動的にこの行事はキャンセルされたと思っていたが見通しが甘かった。あわてて気持ちの準備をする。奥さんは折り紙でネコを折ってメッセージを添える。
• 6時頃にごLさんとVさんご夫婦の自宅へ。おそらく会社の偉いさんで、ケータリングで食事を用意し、給仕する人も二人いて、けっこうお金がかかっている。戦争を通して日本とも関係がある家庭で、日本の浮世絵を始め、いろいろと日本のものがあるのがめずらしい。
• 9時頃からCWEに移動して、Halloweenの仮装コンテストへ。これは大人限定で、特設ステージにプロの司会者が二人いるという本格的なもの。かなりの人出の中をステージの真正面でしばらく鑑賞。いい大人が真面目に馬鹿をしているという何とも言えない雰囲気。
  惜しくも上位入賞はできなかったマクドマンとステークンシェイクマン。
  
  
• 上位入賞の三人。左端から、優勝した変身ロボットマン?、プレイボーイクラブマン??、公衆トイレマン???（もうなにがなんだか）
• 10時半頃に帰宅。けっこう疲れた。

Sunday, 28th of October 2018

• いい天気だが風が強い。
• 昨夜のパーティーでシカゴ情報を集めていて、ホテルによっては駐車料金が高いのでアムトラック(JRのようなもの)で行くことを複数の人から勧められた。Webで確認すると、宿泊予定のホテルの駐車場は無料と書いてある。いまのところ、予定通り車で行く予定。
• 明日の論理学ゼミの予習。様相命題論理のTreeのあたりだが、知っているやり方とは少し違うのでややこしく感じる。
• 昼食はパスタ。
• 大家さんLが、昨日のパーティーの食事のあまりを持ってきてくれる。ありがたいが、二日で食べきれるかどうかという量。
• 近所の紅葉がきれいなので、写真を撮りながら小一時間見て回る。
• イリノイ州の高速は有料のところがあるのですか。ふだん現金をほぼ使わない生活をしているので小銭が心配。あとからオンラインで払う方法もあるみたいだが、少しややこしい。

Monday, 29th of October 2018

• 論理学ゼミの日。C.I.Lewisで様相論理の歴史を簡単に紹介した後、自然塩駅でいろんなシステムの紹介。
• オフィスで翻訳に励む。後もう少し。
• 夕方ジム。
• 帰宅して明日の準備を簡単に。

Tuesday, 30th of October 2018

• 10時頃に出発。たまたま大家さんLに会ったので、今からシカゴに出かける旨を告げる。途中、忘れ物があってもどると、大家さんLが「お帰り!シカゴはどうだった?」と迎えてくれた。
• スマホ様のお導きで高速道路を北上する。現在、州間高速道路55号線(Interstate 55)と呼ばれている道は、かつてのルート66の一部だったところらしい。Spotifyで70年代ロックをかけて往時を偲ぶ。
• 昼は、休憩所で持参したサンドイッチ。季節もちょうどいい。
• シカゴに近づくにつれて交通量が多く道も複雑になる。料金所も注意深く通過していたが、一箇所、そのレーンに入れず、飛ばしてしまう。こういうのは後からネットで支払えばいいことは予習済み。そのために料金所番号を控える。
• なんとかホテルに到着。駐車場も空いているので問題ない。シカゴってずいぶん田舎だなと思っていたが、よく確認すると、ここはダウンタウンから電車で1時間くらい離れたところらしい。シカゴのダウンタウンでホテルを検索したはずだが、どこかの過程で、ダウンタウンとは言えないようなホテルが紛れ込んだようだ。料金が比較的安く、何より駐車場が無料なので、今回のドライブメインの旅行にはよかったかも知れない。
• 可哀想なのは合流したNYの弁護士A氏で、「ずいぶん遠いですね」と言われてしまった。
• 車で最寄り駅と駐車場を確認した後、ホテルの近所の店で夕食。魚がメインの店で、久しぶりに美味しい魚料理を食べた。
• 近所のスーパーに立ち寄ってホテルへ戻る。
• ホテルは会議に参加する人向けのところらしく、部屋の中に大きな仕事机がある。室内に、隣の部屋へのドアがあり、そこから隣室の音がよく聞こえるという特別仕様。いろいろとトラップが多い。

Wednesday, 31st of October 2018

• シカゴ二日目。今日は、まず美術館へ行く予定。
• ホテルから車で最寄り駅まで。前日確認した駐車場に車を止める。非常に多くの車がとめてあって驚いたが、スペースにはまだ余裕がある。駅の構内の機械で、駐車スペースの番号を入力して、24時間料金$3を支払う。
• 一日乗車券も自販機で買うが、やりかたがよくわからないので、駅員さんを呼ぶが、来てくれるあいだにやりかたがわかって買うことができた。
• 約1時間かけてMonroeへ。待ち合わせの某氏と一緒に、三人で美術館へ。思った以上に大きく、とても全部は見て回れない。
• 昼は美術館の喫茶店。スープがうまい。
• Lyftを呼んで、科学産業博物館へ。おしゃべりな運転手で会話が面白かった。博物館はあまり人がいない。3Dの短編映画を見たような気がするが、着席と同時に眠ってしまい、内容を覚えていない。博物館自体は、子供がいろんな体験ができるようになっていて、教育的に面白そうだが、大人が三人で行って面白いかどうかは微妙。
• Lyftでダウンタウンにもどり、観光名所のWillis Towerへ。高いところに上って市内を一望する。シカゴの町がよくわかって面白い。しかし、NYでも高いところに上ったので、それほど強い印象はない。ガラス張りの出っ張り(Ledge)に出て写真を撮るという企画に参加したが、下を見なければ大丈夫。
• 夜は、アジア系各国料理をミックスしたような店で中華。
• 1時間ほど電車に揺られてホテルに帰る。途中の乗換駅で、Halloweenの青少年がホームに向かって卵を投げるという事案が発生し、一瞬緊張したが、大きな騒ぎにはならなかった。