HOME

2023年8月 の日記一覧 (31件)

2023年8月31日

早いもので8月も最終日。まだまだ暑いが、ピークは過ぎた気がする。今月は観測史上初？ の、東京で31日連続で真夏日だったようだ。

2023年8月30日

久しぶりにUber Eatsでつけ麺を頼んで食べたが、食べ過ぎたのか夜にお腹を壊した。 最近まったく運動ができていないので、フィットボクシングを買おうかと迷っている。リングフィットと違いマットなどの器具がなくてもできるのと、有酸素運動寄りなので、今回の目的にはいいだろうと思っている。

2023年8月29日: iPadとHHKB

群論の続き。第3章は3次・4次方程式の解の公式なので斜め読みして、4章の群の作用に入った。具体的な群に関する部分はなかなか煩雑だが、すぐに使わなそうなものは適宜読み飛ばしつつ進めている。軌道や安定化群、正規化群・中心化群などいろいろな概念が出てきていて、この段階ではモチベーションはいまいち分かっていない (ガロア理論は遠すぎる)。 ところでこの日記はiPadにHHKBを繋いで書いているが、全体的に謎の挙動をするので使いづらい。Shift + Returnで半角スペースが入らなかったり (これは設定があるかもしれないが)、そもそもスペースがうまく入らなかったり。細かいが大変気になる点として、Macだと入力途中にスペースで候補を選んでいると未確定でも後続を入力した時点で確定されるのだが、iPadで速くタイピングしているとこれがうまく動かないことがある気がする。

2023年8月28日

今月はフレックスの勤務時間が足りていないので、今週は毎日1時間ほど余分に働かないといけない計算だ。 夕食を食べていたら実家から荷物が届いた。帰省中に買ったものなど持ちきれない分に加えて、いろいろと食材などを送ってもらった。 夜に群論の続き。第2章の演習問題を解いているが、具体的な群の性質に依存した問題も多くなかなか面倒だ。シンプレクティック群などは置いておくとしても、有限群の話は今後もいろいろ出てくるので、対称群の操作に慣れておくのは有用ではあるだろうが... とはいえ問題もとても多く飽きてくるので、解きつつも3章以降に進みたいところ。 --- ここ数日、目と鼻が痒いが、秋花粉だろうか。少しぼーっとする感じもあったのでコロナを警戒していたが、花粉症なら (人に移すことはないという点で) 安心だが。

2023年8月27日

昼から雨が降りそうだったので午前中のうちに買い物に出て、空き時間に軽く読書。『一人称単数』だが、前の『少年と犬』に比べて改行が少なく、ページ数の割に文字が詰まっていて進みが遅い。 昼はこの前の広島ツアーのときにレストランで頂いたバジルソースを使ってジェノベーゼを作る。 午後は低気圧のせいか微妙に身体が重く、昼寝したり少し読書をしたりしていたら時間が過ぎる。 夜、群論の続き。準同型定理のところを読み終わった。ネットで検索してみるとやはりこの部分は行間が広いようだが、何回か読み返していたらある程度は実感がついてきたように思う。これで「群の基本」の章は終わりだが、整数環の性質を使っている部分と、演習問題はまだやっていない。明日からまた仕事だ。今月はずっと週3くらいしか働いていなかったので、明日からフル勤務になるので少し気が重い。

2023年8月26日: 帰京/カルビー総選挙

昼過ぎに実家を出て、おおさか東線経由で新大阪へ。いつの間にか大阪駅まで延伸していて、うめきたの方に行くようだ。うめきたに行く機会はなかったので少し残念 (先週の金曜日に梅田の北の方に行くのに、大阪駅の変なところから出てやや迷ったが、うめきたに出れば多少マシだったかもしれない)。 新大阪駅の回転寿司で昼食。芽ねぎが意外とおいしかった。 午後はスマートEXの早得でグリーン車を取っていたので、ゆったり東京へ向かう。グリーン車は車内販売やゴミ回収も優先的に来てくれるようで、先週の普通席に比べてかなりの回数だった。今月でワゴン販売が終わってしまうので、記念にホットコーヒーとバニラアイスを買った。車内チャイムも馴染みのない音になってしまった。 夜はお土産を整理したり、軽く読書の続き。少し前に応募していたカルビー総選挙の景品に当選して、巨大な段ボールでカルビー製品の詰め合わせが届いていた。しばらくお菓子には困らなそうだ。

2023年8月25日: 一人称単数

昨日に続いて実家から仕事。 夜は近くの居酒屋でおかずをテイクアウトして家で食べる。実家で食事をするとだいたい大量に出てくるので、今回欲しいメニューを少なめにリクエストしておいたところ、結局ちょうどいい量になった。 夕食後は読書の続き。『少年と犬』は読み終わって、村上春樹の『一人称単数』を読み始めた。文章は読みやすいが、解釈が難しい部分がある。群論の方は準同型定理のところで、「部分群の対応」だけまとめた。

2023年8月24日

夏休み明け。今週は2日だけだが、実家からリモートにしている。 夜は少年と犬の読書の続きと、群論の方は少し準同型定理のあたりを進めた。準同型定理自体は直感的で簡単だが、その次に書いてある「部分群の対応」がなかなか難しい。

2023年8月23日: 少年と犬

夏休み最終日。特に予定はないので実家でのんびりしている。 午前中は群論のまとめの続き。午後は近くのショッピングセンターへ買い物に出る。少し見て回る時間があったので本屋へ。最近小説は全然読んでいないが、電車とか狭い場所での暇つぶしにいいかと思って今回『少年と犬』と『一人称単数』の2冊を買ってみた。特に吟味はしていないが、ランキングコーナーみたいなところに平積みされていて、比較的好きそうかつ、短編集のような形で久しぶりの読書によさそうだったので。 帰宅後は少年と犬の方を読み始める。夜は読書の続きと、寝る前の時間で群論の方も進めた。剰余群の節までだいたいまとめ終わったので、後は準同型定理の部分を改めて読みたい。整数に関する部分は別で分けることにしたので、そちらもまた改めて確認する必要がある。

2023年8月22日: USJ

家族で数年ぶりにUSJへ。行きの高速が多少混んでいたが、ちょうど開園時間頃 (とはいえ本来の開園時間よりは早く着いているが、USJは毎回早く開く) に着いたのでよかった。 最初にジョーズに乗って、いくつかお土産屋を見る。サングラスが欲しかったが、変な耳とかが付いているものしかないので買わなかった。来年の夏はちゃんとしたのを買おう。 その後ミニオンとハリウッド・ドリームに乗る。ミニオンはバック・トゥ・ザ・フューチャーの施設を流用したもので、画質などはやや時代を感じる。 今回エリア入場券付きのエクスプレスパスを買ってもらっていたので、まずその時間でハリーポッターエリアへ。ここは何回か来たこともあるので、手短に出る。 午後は初めてニンテンドーエリアへ。マリオカートはXR的な演出で楽しめた。シューティングの要素があるが、ハンドルでカートの操縦をしつつ、視線でエイムを合わせるのがなかなか慣れず難しい。 その後はヨッシーアドベンチャーへ、これは屋外だが、ゲリラ豪雨が降ってきて大変な目にあった。雷が危険ということでヨッシーのキューラインを開放してもらったので、そこで少し時間を潰す。 すぐ雨は上がってドラえもんのXRライドへ。こちらはスペース・ファンタジーの施設だが、視界が画面で完全に遮られる形で、リアルのコースが見えないので新感覚だった。 --- 夕方はフィネガンズで夕食、それからスパイダーマンが来年1月でクローズということなので乗り納めをしてきた。セリフや演出もすべて覚えていて、なかなか感慨深い。 帰り道は比較的スムーズ。

2023年8月21日: 和歌山

家族で和歌山の方へ。以前も訪れた黒潮市場のあたりだが、今回も浜焼きバーベキューを楽しんだ。ホタテがとても美味しい。 前は結構混んでいて席を確保するのに少し並んだ記憶があるが、今回は平日だったからか、自由席になっていた。海が見えるいい席が確保できたのでよかった。風もあり比較的涼しく過ごす。 その後は少しボルトヨーロッパを散歩したが、特にアトラクションなどには乗らなかった。黒潮温泉に入ってから、ディッピンドッツというアイスを食べた。 お土産を買ってから帰宅。海鮮以外にも、梅干しや桃などいろいろ手に入ったのでよかった。 行き帰りともに高速道路は多少混んでいる。仕事に向かう人などが多いのだとは思うが、普段から毎日渋滞するのだとしたら大変そうだ。

2023年8月20日: バルバッコア

昼にまた梅田の方まで出る。数年ぶりに堂島のジュンク堂に行ったら、売り場の配置が変わっていた。内田先生の『集合と位相』を手放してしまっていたので、新装版になったのを買った。 その後は数年ぶりにバルバッコアへ。お店の入っているビルは非常に落ち着いていてよい。シュラスコもいいが、サラダバーのクオリティが高く楽しめた。このご時世で経営は厳しいのか、ソフトドリンクが有料になっていた。 帰りに阪急のところを通りかかったらPEANUTSイベントをやっていたので、少しだけ立ち寄る。阪急うめだ限定グッズが一部あったので、せっかくだしと思い買ってみた。 --- 帰宅後はのんびりしつつ、群論まとめの続きなど。世界陸上が開催されているようだ。混合リレーでゴール直前で転倒してしまったのは見ている方もつらかった。 日曜日はVIVANTというドラマをやっているが、これがなかなか面白そうだ。キャストがしっかりモンゴル語で喋っているのが見応えがある。VIVANTに限らず、ハッキングのシーンは例によって謎のビジュアルや演出でチープに感じてしまうが、多分自分の (多少なりとも) 知っている領域だからで、たとえばモンゴル語のところとか、病院のシーンとか、見る人が見たら変に映るのではあろう。

2023年8月19日

昼は近くに新しくできたというラーメン屋に行く。博多風だが、豚骨ではなく牛骨ラーメンということだった。替え玉前提かと思いきや濃いのと意外と量が多く、一杯で満足した。 夕方以降はのんびりしていた。 少し群論の続きを読み進めたのと、前の方を忘れてきたので並行してまとめに入った。集合論と違って群論はいまいち面白みが分からない。集合論は整列可能定理のような面白いゴールが見えていたからかもしれないが、群論 (というか代数学) も当面はガロア理論を目指して行ければと思っている。とはいえ少し遠いのが原因か。

2023年8月18日: 夏休み/帰省

今日から夏休み。本来の夏休みは今週の月曜から木曜だったのだが、帰省の兼ね合いで少しずらして取っていた。 午前中で準備をして東京駅へ。混んでいたがラーメンストリートで昼食にして、お土産を買いつつ駅ビルをフラフラする。ここ数日は台風の関係で東海道新幹線は大変な様子だったが、今日は一通り回復して特に乱れもなく進んでよかった。 一本前の新幹線がN700Sで、そういえば予約するときにN700Sのを探してみてもいいかと思ったが、日によって対象が変わったりするのだろうか。 新幹線は普通席だが特に混まず。大阪についてからは久しぶりにホテルビュッフェを予約してもらっていたのでそちらへ向かう。コロナ後に来るのは初めてだが、タブレットで注文してすべて席まで持ってきてくれるシステムになっていた。席もゆったり広く取られており、落ち着いて楽しめるのでよかった。多少食べすぎてそのまま実家へ帰宅。

2023年8月17日

夏休み前最後の出勤日。とあるBIツールを使っているが、動作がやたら重いのとビューの編集でできること・できないことが分からず、イライラしていた。PythonのStreamlitとかで全部作ったほうが柔軟にできそうなのだが、とはいえ軽い気持ちで新しいツールを導入するのも微妙なところがあり、元のBIツールで頑張っている。 夜はノートの続き。順序数の演算についての証明をネットを参考に再構成して、関連する部分のまとめを進めていた。単調増加写像が存在すれば順序数も同じか大きいというのは、直感的にはそうだがなかなか証明は自力では思い付けなかった。このあたりの感覚も付けていきたいところ。

2023年8月16日

夕方スーパーへ買い出し。お盆で数日閉まっていて、開いているスーパーも品揃えが微妙だったのだが、休みも明けて元に戻った感じ。 統計の勉強と、仕事後は少し時間が合ったので順序集合の続き、順序数の演算のあたり。

2023年8月15日

昼に広島で買ってきた尾道ラーメンを作って食べた。 夜は久しぶりに統計の勉強を進めていた。スターリングの公式の証明が途中になっていたので、ウォリスの公式を含め確認する。確率のあたりは測度論をやらないとちゃんと理解はできなそうだが、現時点では雰囲気でわかればいいことにしておこう。また順序集合の章のまとめの続き、整列定理の証明を確認した。

2023年8月14日

仕事は休みを取っていたので一日のんびりする。ここ数日は数学があまりできていなかったので、集合論のまとめの続きをやっていた。濃度の章はある程度説明を追加してしまって、順序集合の章を進める。ツォルンの補題あたりからはまだ内容を咀嚼しきれていない気がするが、まとめながら復習という形にしている。 夜は川俣で買ってきた軍鶏炊き込みごはんを作ってみた (とはいえ混ぜて炊飯するだけだが)。なかなか美味しい。ゆで卵が入っているのは珍しい気がする。

2023年8月13日: 仙台 (コスキン3日目)

コスキン3日目だが会場へは行かず、少しだけ観光してから帰る。台風が心配だったが、ほとんど雨も降らなかったのでよかった。 福島駅前の大きい土産屋でいろいろ買ってから、せっかくなので北上して仙台へ。仙台の街中では特に見るものはないが、牛タンを食べて、多少買い物をしてから帰る。 帰り道は基本的に空いていたが、埼玉のあたりでやや渋滞する。 無印でミルクケーキを売らなくなってしまったのだが、山形に近い北関東〜東北のサービスエリアでは売っているところもあるようだ。那須のあたりでレモン牛乳を買うついでにミルクケーキも調達した。 --- 帰り道に話に出ていた内容として、バンドネオンやコンサーティーナをやってみたい。バンドネオンは大きく大変そうだが、コンサーティーナならコンパクトだし、演奏の幅も広がるのでいいのではないだろうか。ネックなのは楽器の調達とその値段だが、アイリッシュでも使うからか比較的リーズナブルなものも出ているようだ。ボタンの配置などタイプがいくつかあるようで、民族音楽に特化したものがいいのか、それともいろいろな調の曲に対応できるようなものがあるのか？ また調べてみよう。

2023年8月12日: コスキン2日目

コスキン2日目。朝はホテルの朝食、ビュッフェ形式だがなかなか満足できた。先週の遠征では混んでいたり疲れていたりで朝食会場を使わなかったので、今回使えてよかった。 今回YAMAは申し込み時期の関係でメインステージはなく、代わりにサブステージを3か所回る形。美術館は昔EBで出て以来、暑いが朝一の割に客入りも非常によく、楽しかった。 次に公民館、こちらは初めてだが音響がしっかりしている。コスキン運営のインタビューの他、地元の新聞か何かの写真撮影があった。演奏後は雨が強く降り出してきて、また近くの道の駅ではレストランのランチ営業が終わっていたのが残念。 夕方に高橋家住宅、ここは去年も出たが、お客さんが近くさらに今回は知り合いが多かったので、非常に緊張した。クオリティとしては前の2つの方がよかったのではと思う。演奏後くらいから雨はいったん上がった。 メイン会場に戻ってから世逃げ隊や関東のサークル仲間といろいろと演奏して楽しんだ。コスキンの醍醐味はここにあるので、このタイミングでできてよかった。ゲスト演奏と民音マンタを聞いてから離脱。新入生も多く入ったようで喜ばしいことだ。 --- 夜はまた雨が強く降る。夕食を買ってからホテルに戻る。今日は大浴場を使ってみた。部屋のモニターに混雑状況が書いてあるが、先週のヴィアインプライムと違ってあまり当てにならないようだ。

2023年8月11日: コスキン1日目

山の日で祝日。 早起きして渋谷へ、ブラザーズのメンバーでレンタカーに乗ってコスキンに向かう。お盆休み初日だが、案の定下りは混んでいて大変だった。東北道より多少マシかもと思い常磐道で向かうが、合計で8時間くらいかかったような。昼は北茨城のあたりでいったん降りて海鮮丼を食べた。 夕方にコスキン会場に着いて、少し練習してからブラザーズのメインステージ。2曲演奏して、Pachamamaはクオリティはともかく、インパクトはあったのではないかと思う。Mayurus Payurusは疲れたが楽しかった。 演奏後はブラザーズとは別れて、YAMAの方の車で福島駅へ。遅い時間だと観光客向けの店は閉まっているので、普通のラーメン屋に入って夕食にした。 夜は駅前のアパホテル。アパは初めてだが、ややロビーが華美すぎる感はあるものの綺麗で全体的な雰囲気はよく、また今回は大浴場もありなかなか満足。ただ部屋についてから頭痛がひどく、大浴場には行かずにそのまま寝落ちしてしまった。

2023年8月10日

仕事でコーディングに詰まっていたが、久しぶりにChatGPTを開いたら一瞬で解決したので、もっと早く聞けばよかった。普通に検索でも出てくる内容ではあるが、ChatGPTの場合は日本語で解説付きで返ってくるので情報を拾いやすい。 夜、明日からのコスキンの荷造り。余った時間で濃度の章に解説を足していた。

2023年8月9日

豚肉と茄子の塩蒸しを作ったが、茄子が柔らかくなるまで意外と時間がかかるので、その間に肉が固くなってしまった。具材を入れるタイミングが難しい。

2023年8月8日: 出社

夜に後輩と飲み会の予定があったので出社。昼食に近くのラーメン屋に行った。 近くのビルにある居酒屋で待ち合わせしていたので、退勤後そちらに向かう。今回飲み会の手配などをすべてやってもらったので申し訳なかった。食事はどれも美味しく、いろいろと話して楽しんだ。まだ火曜日だが店はそれなりに混んでいる。 帰りの電車でポケモンプレゼンツを見ていた。DLC前編の発売日が9/13に決まって、いろいろと追加要素も多く楽しめそうだ。

2023年8月7日: あなごめし

朝食券がついていたが、眠いのと会場が混みそうなので使わなかった。 チェックアウトしてから新幹線の時間まで余裕があったので、広島駅で弁当を買ったりする。ちょうど「うえの」のあなごめしが入荷したタイミングだったので入手できた。やや高いが非常に美味しい。 新幹線は混んでいる。集合論のノートを修正していたが、途中で寝たりもしていた。 午後は15時頃に東京駅に着いて、そのまま帰宅。せっかくこういう時期に広島に行ったので、Kindleではだしのゲンを買って小学生ぶりに読んでみた。夜はノート修正の続き。

2023年8月6日: 被爆ピアノコンサート/キッチンたまがわ/広島ツアー2日目

朝は朝食の時間に合わせて起きる。 昼から平和公園の被爆ピアノコンサートで演奏があって、道が混む可能性があったので早めに出発したが、おそらく式典のタイミングからは外れていたので特に渋滞等はなく、スムーズに公園まで着いた。外国の方も含めて徒歩の観光客はやや多い感じ。 昼から演奏、屋外でポンチョを着てのパフォーマンスで大変だったが、2曲なのでなんとかなった。今日弾いたのは (記憶が正しければ) ホルゲルというメーカーのもので、外観は当時のままであるが、しっかり調整されていて演奏しやすい感じではあった。 --- 公園での演奏後はまた移動して、レストランでのライブ。着いてから昼食をいただいて、15時から2部構成での演奏。今回はフレンズ時代のオリジナル曲も交えて普段に近いセットリストで実施。 --- いろいろとお土産をもらって広島駅に戻る。他メンバーはすぐ帰宅するということなので解散して、自分は以前にも泊まったヴィアインプライムというホテルへ。値段は若干高いが内装も非常に綺麗で大浴場もあり、満足度が高い。 いったん荷物を置いてから駅に戻って個人のお土産を購入。夜は時間があったが、軽い頭痛がすることもあり、少しだけ群論を読み進めた以外あまりやる気がでなかった。

2023年8月5日: 老人ホーム/MGユースホステル/広島ツアー1日目

朝はホテルの無料朝食を食べるはずが、異常に混んでいたのでコンビニにした。ひかりで広島まで移動、意外と距離がある。 YAMAのメンバーと合流してレンタカーで移動、午後一で老人ホームでの演奏。普段のレパートリーに日本の曲を加えたセットリストで臨む。 演奏後はまた移動し、去年の秋にも訪れたユースホステルへ。夕食のタイミングで30分ほど演奏、こちらは普段のレパートリーなので、それなりのクオリティでできた気がする。夕食はみんなで外で食べた。すごく涼しいわけではないが、森の中なのでさすがに過ごしやすい気温。 夕食後もそのまま参加したり、室内に戻ってピアノで遊んだり、他のお客さんの子供と遊んだりと楽しんだ。前回の遠征と比べてずいぶん時間に余裕がある印象。 --- 東京はいたばし花火大会の日だが、ナイアガラの滝が河川敷に燃え移って途中で中止になったとか。LK-99はピン留め効果の動画が出ていたが、こちらも出所が怪しいとか...

2023年8月4日: 前泊

普通に仕事だが、遠征前なのでやる気が出ない。午後の会議は任意参加とはいえ、他メンバーの参加率があまりに悪い。まあ業務が立て込んでいるということだろうが... 夕方、早めに退勤して東京駅へ。在来線は空いているが東京駅は混雑していて、楽器のカートを引きながら駅弁を購入するのに非常に苦労した。新潟の鮭三昧みたいな弁当を買って、19時過ぎの新幹線で岡山へ。 本当は広島に前泊する予定が、平和式典の関係か宿があまりに高く、少し場所をずらして岡山で泊まることにしていたのだった。新幹線の中で雪江代数1を読み始める。集合論のところは適当に読み飛ばして、まずは群の基本的な概念から。

2023年8月3日: ビリヤニ

今日はセブンのビリヤニが手に入ったので、昼食に食べた。非常においしい。米がちゃんとバスマティライスなのが素晴らしいところだ。 夜は明日からの広島遠征の準備をしつつ、集合論の続き。順序集合の章は最後のおまけ (ツォルンの補題の群論・線形代数への応用) だけだったのでさらっと読んで、これで一通り素朴集合論の内容は終わったことになる。PDFにまとめつつ、位相空間論は後にして、次はとりあえず群論の方を読んでいきたい。

2023年8月2日

セブンでカレーフェアをやっているので、昼にビリヤニを買いに行ったが在庫がなく、他のカレーを買えばいいものを錯乱してつけ麺を買ってきた。 夕食にアスパラの肉巻きを作った。また巻いてしまった。 夜は少しだけ集合論の続き。順序数のべきのあたりの問題を解いていた。整列集合の直積を考えるときに、なぜ「有限個の添字だけ、その像が最小値でない」ような写像のみ考えるのかがいまいち掴めていない。まあ、普通のA x Bみたいな直積の順序を辞書順で入れていたことの類推で、一般の直積の場合には添字集合の中で最大値を取る必要があり、その関係で有限個になっているのではあるが、有限個でなぜうまくカバーできているのか不思議だ。そもそも辞書順の定義が微妙なのでは？ とも思っているが、ここの定義を変えた場合べき集合 ($2^A$) の順序数が自然な形 ($2^\alpha$) にならないということだろうか。

2023年8月1日: LK-99

先週LK-99という常温常圧超伝導物質の情報が出ていて、反磁性などは追試でも確認できたようだ。本当なら大発見だが、果たして。SNSの情報によると理論上は超伝導になるらしいが、合成が難しく、小さな結晶しかできないので抵抗の測定もしにくいとのこと。