2023年7月27日
濃度の章のまとめを引き続き進める。集合論の公理をやっていないので濃度の定義が不明確だったり (全単射による同値類と見ているが、そもそも「集合全体の集合」が扱えない)、自然数や実数の定義もしていないので加算濃度・連続濃度あたりの議論もやや気持ち悪い。現時点で深入りするのも微妙なので、ひとまずは割り切って進めているが。
次の日記
前の日記
同じ日付の日記
2024年7月27日: 中之島美術館/串カツだるま/大阪1日目
所用で大阪へ。久しぶりに東京駅からのぞみの自由席に乗ったが、朝9時過ぎだとまだ席に余裕がある感じだ。 新大阪から御堂筋線で淀屋橋へ。中之島のフレンチイタリアン「ノガラッツァ」さんでランチ予定だったので向かう。創作っぽいランチコースで、どのメニューも美味しく楽しめた。 午後は近場の中之島美術館へ。特に目当ての展示があるわけではなかったが、この時期は暑すぎて街歩きも難しいので、美術館など室内のアクティビティがありがたい。醍醐寺の特別展を見た。 いったんホテルにチェックインして、夜は串カツだるまへ。定番のお店だが意外と行ったことがなかった。関西に住んでいるサークル同期と合流して、久しぶりに会話を楽しんだ。 だるまは基本予約不可なようだが、北新地店はお店も広く、ネット予約できるのでこういうときは便利だ。セットメニューを一つ選ぶ必要があり自由度が落ちてしまうという弊害はあるが。 串カツもだが、どて焼きがかなり好みの味だった。 --- 宿泊は南森町の東横イン。梅田や北新地まで一応徒歩圏内で便利。 ホテルでiPhoneの充電をしようとして気付いたが、Native Unionのケースとnimasoのケーブルが干渉してうまく刺さらない。家ではMagSafeかApple純正の細いケーブルだったので、太めの100Wケーブルで試したことがなかった。 ケーブルはMacBookとかにも使いたいので100Wは欲しい。細いケーブル探すか、あるいはケース外せばいいのではあるが、毎回付け外しはさすがに面倒だしどうするか...
