2023年7月 の日記一覧 (31件)
2023年7月31日
ツォルンの補題周りの問題を解いて、順序数の節を読んだ。整列集合に関してここまでで示した内容を使えば、順序数周りの議論は割とシンプルにできるように感じる。あとは順序数の問題と、最後の応用の節で集合論には目処がつく形。 無事に終わったら、次は雪江先生の『代数学』(とりあえず1巻の『群論入門』) でも読んでみようかと思っているところ。
2023年7月30日: 練習日
ブラザーズの練習で代々木。いまいち人数が集まらず有意義な演奏はできない。せっかくなので歌詞を覚えることに時間を使った。 昼からはYAMAの練習で代々木公園。この炎天下だが、スタジオ代を節約するためということで公園で実施することになっていた。練習内容としても疲れる。 集合論は整列定理のあたり。
2023年7月29日: ツォルンの補題
昼は集合論の続き、順序集合の章を進める。整列集合周りの議論は結果は直感的だが、証明がやや煩雑なところがあり追いづらい。半分写経しながら進める。 松坂先生の本はまずツォルンの補題を仮定の強い形 (全順序部分集合が上限を持つ) で進めて、テューキー・クラトフスキーを経由して仮定の弱い形 (上限でなく上界でOK) を導いていたが、きれいにやるならいきなり弱い形で導きたいところ。少し証明を変形すればできそうな気もするが、どうだろうか。 夜は先週に引き続き近場で大きな花火大会、今度はベランダからかろうじて見えたので見物。
2023年7月28日
集合論の続き。
2023年7月27日
濃度の章のまとめを引き続き進める。集合論の公理をやっていないので濃度の定義が不明確だったり (全単射による同値類と見ているが、そもそも「集合全体の集合」が扱えない)、自然数や実数の定義もしていないので加算濃度・連続濃度あたりの議論もやや気持ち悪い。現時点で深入りするのも微妙なので、ひとまずは割り切って進めているが。
2023年7月26日
昼は近所のインドカレー屋に行った。ドリンク付きのセットを頼んだはずがドリンクが出てこず戸惑ったが、まあ水があったので黙っていたら、会計が安くなっていた。ドリンクなしのセットになっていたのだろうか。 ついでにスーパーに行って買い物、ハーゲンダッツのいちごミルクバーがまた安売りされていたので買い込む。 夜は数学の続き。濃度の章を読み終えてまとめに入った。
2023年7月25日: アスパラの肉巻き/対角線論法
夕方の会議は18時までの予定だったが若干延長する。そもそもコアタイムが17時までで、コアタイム外に会議を取っているので、せめて時間通りには終わってほしいものである。 夕食にアスパラの肉巻きを作った。非常においしいのでよく作るメニューだが、巻くのがやや面倒。実際巻くことがどれほど味に影響しているのかよくわからないので、次は巻かずにただ炒めてみようと思ってもいるが、特に理由もなく結局毎回巻いてしまうのが不思議なところだ。 夜は集合論、濃度の章の続き。基本的には自明な内容が多いが、対角線論法など面白い内容も増えてきた。一般の集合についてそのべき集合の濃度が真に大きいという事実の証明があったが、これも対角線論法のアナロジーであろう。
2023年7月24日
ある曲のケーナパートをカタカナ譜に起こす作業。昨日他大出身のフォルクローレ演奏家から依頼を受けていて、以前西田フレンズでやった曲なので楽譜が欲しいということだった。自分は楽譜は作らないことが多く、この曲も残っていなかったので、新しく譜面に起こした形。さすがに五線譜は面倒だが、カタカナなのでサクッとできた。 寝るまでの時間で集合論の続き。昨日まででひとまずまとめは終わったので次に進んで、濃度についての章を読む。
2023年7月23日
午後、東京駅のあたりまで買い物に出た。いろいろと見て回りつつ、PUBLIC TOKYOで半袖シャツを購入。また大丸で舟和の芋ようかんとあんこ玉を買ってみた。 東京駅のそば屋で夕食。やや値段は高いが、素揚げの茄子が乗っていて非常においしかった。 練習以外での外出は久しぶりで、練習でも動き回ることはないので、今日は長時間歩いてやや疲れた。夜はPDFまとめの続き、ひとまずここまで勉強した内容はまとめを終わらせた。 昔話題になっていたいちごバターも買った。
2023年7月22日: 花火大会
海外出張中のメンバーがいるので、YAMAもブラザーズもこの土日は練習がない。昼間は勉強した内容のまとめ、夕方は買い物に出る。 夜は近所で花火大会があった。家から見えるかと思ったが、意外と距離や遮蔽物があって見えない。涼しかったので特にあてもなく散歩に出て、かろうじて見えるポイントを見つけたので短時間だが見物してみた。音楽やレーザーも用いて盛り上がる演出だった様子。
2023年7月21日
昨日辺りから多少涼しくなっている。 統計学入門の内容をまとめ始めた。統計に限らず、数学や物理などのノートをどんどん作っていきたいと思っている。
2023年7月20日: 雲太
スーパーで「雲太」というジャンボしいたけが破格の値段で売っていたので買ってみた。それなりに値段のする品種のようで、なぜこれほど値崩れしているのかよくわからないが、おそらく一級品ではないのと、製造元が破産したニュースがあったのでなにか関連しているのかもしれない。 統計検定の合格証が届いていた。一緒に最優秀成績賞というものが入っていて、CBTなので基準がよくわからないが、78点というのはそれなりの成績だったということであろう。 夜は集合論の続き。問題が多く進みが悪いが、1章の§5までほぼ終えた。
2023年7月19日
今週から久しぶりにしっかりとした開発業務に入るので、開発環境の確認からやっていた。 夜、スーパーへ。ハーゲンダッツの新作はなぜか安売りされていて残り少なかったが、追加で2個確保した。 寝る前に少しだけ集合論の続き。
2023年7月18日
昨日祝日だったのでジャンプが今日発売だと思っていたが、電子版は昨日出ていたようだ。知らずに今朝読む。ナルトの読み切りなどが乗っていたりする中、サカモトデイズは重めの展開。 仕事の空き時間に『統計学入門』(いわゆる赤本) を復習していた。統計検定は取ったものの理論的な理解がいまいちなので、数学と並行しつつこちらも進めていきたい。 夕方は買い物に出て、今日発売のハーゲンダッツの新作を買う。ミルクアイスにいちごのシャーベットがコーティングされたバーで非常においしい。
2023年7月17日: 集合・位相入門
午後から美容室を予約していたのでそちらに向かう。今日も晴天で非常に暑く、美容室は家から徒歩10分もかからないのだが、往復するだけで大変だった。最後に髪を切ったのは4/1で、それから伸び放題になっていたが、ばっさり短くしてスッキリした。 昼間の空き時間にFF16。FFはタイタン、バハムート、シヴァの石塔をクリアして残すはオーディンのみ。このオーディンがなかなか難しく、先行きは不安が残っている。 ここ最近、数学や物理を勉強し直したいと思っていたので、今日は松坂先生の『集合・位相入門』を久しぶりに引っ張り出してきて最初から読み始めた。数学ばかりに時間を使うわけにもいかないが、大学時代のようなプレッシャーもないので、のんびり趣味として楽しんでいきたい。 初日は問題を解きつつ2時間で20ページほど進んだ。まだ簡単なのでスラスラ読める。
2023年7月16日: ブラザーズ練習/タコス/ボドゲカフェ
午前中はブラザーズのコスキンに向けた練習があり、高田馬場のスタジオへ。今日は晴天で非常に暑く、この前新しく買った日傘が活躍した。 練習後はサークルの同期が東京に戻ってきているということで、せっかくなのでそちらに合流する。新宿に移動して、御苑前のあたりのタコス屋で軽く昼食。 テラス席は日陰でそれなりに涼しいが、とはいえ歩いて疲れているので早々に移動して、曙橋のボドゲカフェへ。初めて利用したが、ドリンク込みの3,000〜4,000円で長時間楽しめるのでかなりコスパがいい。ボドゲを3種類ほど楽しんだ。久しぶりのメンバーでいい時間であった。 --- 夕食後に少しだけFF16、さらに石塔を2つクリアした。戦闘系のトロフィーはいくつか面倒なのが残っている。
2023年7月15日: YAMA練習
午前中はYAMAの練習があったので渋谷のスタジオへ。来月の広島ツアーでやる曲のうち、ピアノを使う曲と、既存の曲を中心に練習する。 午後は秋以降の活動についての打ち合わせがあるはずだったが、時間が合わず急遽無くなったので、昼食を食べて帰宅。ユニクロアプリで2本目の感動パンツを買って店舗受け取りにしていたので、途中で寄ってきた。 少しFF16も進める。トロコンを目指し戦闘系のトロフィーを回収しつつ、最初の石塔をクリアした。石塔の難易度はそこそこ。しっかりボーナスを集めておいて、最後のボス戦にできるだけ時間を残すのが鍵になりそうだ。召喚獣が限定されていてクールタイムが厳しいので、適切なアクセサリも付けたほうがいいかもしれない。
2023年7月14日
今日も暑さはそこそこ。 夜に明日の練習でやる曲の確認をしてから、いくつかデモ音源を聞き直していた。作った曲にタイトルを付けなければいけないが、片方がどうしても思いつかない。日本語にしようと思っていたが、まあ一部アルファベットの曲が混ざる分にも構わないだろうか。
2023年7月13日: FF16クリア
今日は曇りで、多少暑さは和らいでいる。 夕方買い物に行った後、軽い頭痛でしばらく横になっていた。夜から雨が降りそうな予報。 夜はFF16をストーリークリアまで。やりこみ要素と2周目のFFチャレンジが残っているが、どうしようか迷っている。ゼルダ発売以降ずっとゲームしかしていないので少しは他のことに時間を使いたいが、たまにはトロコンまでやり込みたい気持ちもある。
2023年7月12日: 感動パンツ
感動パンツは素晴らしいが、もはや服装でどうにかできるレベルを超えて気温と湿度がやばいので、基本的には家から出ないのが望ましい。そろそろ梅雨も明けそうだ。
2023年7月11日
FFの続き。残っていたSランクのリスキーモブ3体を倒して、いよいよラスボスに挑もうかというところ。ムービーが長そうなので、ある程度時間が取れるときにやりたい。 いまはフェニックス・ガルーダ・シヴァを使っているが、フェニックスのフィートは使っていないので外して、2周目はバハムートとかにしてもいいかもしれない。ひとまずラスボスまでは慣れている布陣で挑もうと思う。
2023年7月10日
先週からチームが変わって会議が多くなったが、定期の予定を確保しているだけで実際は不定期開催になっている会議も多く、作業時間を取れる日も意外とある。 FF16の続き。発生しているサブクエストはすべて消化して、リスキーモブもSランクが残り3体になった。リスキーモブを倒したらいったんエンディングを見ることにしよう。ラスボス前のデータは残しておいて、通常モードで石柱 (？) とアーケードモードのトロフィーを取りつつ、2周目もやっていきたいところ。 --- 来月の広島の宿を予約したが、平和式典の前だからか市内は安いホテルがまったく空いていない。金曜日の夜に広島まで行くのは時間的にも大変なので、岡山で宿を取ってみた。初乗りが増えるので交通費はかさむが、無理に広島で宿を取るよりは安いだろう。前泊しなければもっと安くなるが、行程には余裕を持ちたい。 --- モバイルシェーバーを買った。こういうのは無骨なもの (メンズ版ダサピンク) が多くてあまり好きではないのだが、これは可愛いデザインで好み。
2023年7月9日
FFはラスボスの直前だが、ここに来てサブクエストが大量に発生したので、それを消化している。いろいろと登場人物や背景の深掘りがあり面白い。戦闘にもかなり慣れて、ストーリーボス以外はほぼ回復アイテムを使わずに戦えるようになってきた。 現時点で発生しているサブクエストは残り3つ。消化したらリスキーモブを倒しつつ装備を揃えて、それからラスボスに挑むことにしよう。クリア後の2周目をしっかりやるかどうかは決めていない。
2023年7月8日: コスキンの練習/MARKS & WEB/ユニクロ
朝は代々木のノアでブラザーズの練習があったので向かう。今回のコスキンは大所帯で出る予定だが、今日の練習は半分くらいのメンバーしか集まらず、あまり有意義な練習はできなかった。 昼食に牛タン、その後買い物。 夏場はMARKS & WEBのアフターサンジェルが涼しくて役立つので、ストックを買いに行った。ジェルは顔に使えないが、今回同じ香りでスプレータイプの化粧水を見つけたので、そちらも購入。試してみるとなかなか目が覚める感じがするので、朝に使うといいかもしれない。 その後はユニクロに寄って、感動パンツというものを買ってみた。ついでにベルトと部屋着を買い足す。ユニクロとはいえ、複数買うとそれなりの値段になる。 --- FFの続き。初回のバルナバス戦を終えて、シヴァを手に入れたところまで。かなり終盤だと思っていたが「前半」と名の付いたクエストもどんどん出てくるし、もう少し続きそうだ。
2023年7月7日
そろそろ暑くなってきて、午前中からエアコンを入れていた。 夜はぼーっとMisskeyを眺めていたら時間が過ぎてしまった。Misskeyはリアクション機能があるので、適当に投稿していても何らかの反応を得られることが多く、体験としてはなかなかいい。見た目などは全然違うが、個人的には10年前のツイッターの雰囲気を感じる。Threadsはリアルの交友関係などもあるから別として、Mastodonをどう運用していこうか迷っているところ。 寝るまでの時間はFF16を進めていた。スレイプニル戦まで。 --- LLM界隈では定番のサーベイ論文がarXivにあったので、どこかで読んでみたい。サーベイとはいえ予備知識がないのと、分量もなかなかなので時間はかかりそうだ。
2023年7月6日: Mastodon/Misskey/Threads
新しいチームに所属して2日目だが、いまのところいい動きができているのではないかと思う。出しゃばりすぎないようには注意したい。 分散型SNSの使い勝手を確かめようと思って、MastodonとMisskeyに登録してみた。軽く投稿してみたが、フォロワーがいない状態でもローカルタイムラインがあるので反応を貰えることがあり面白い。 相互のリモートフォローも試してみた。Misskeyのリアクションは当然として、画像などうまく動かない機能もあるが、ひとまず情報を取りに行くことはできそうだ。 一方でThreadsは夜に開始と告知されていたが、朝に繰り上げになっていたのでこちらも試す。ActivityPubは未対応のようだ。インスタのアカウントと強く連動していて、Threadsのアカウントを削除するにはインスタごと削除が必要など、制約があるので注意したい。 --- 夜はコスキンでやる曲の楽譜を作っていた。またThreadsなどのアカウント開設に合わせてMidjourneyで新しいロゴを作ったので、各種サービスに反映しているところ。
2023年7月5日: ActivityPub
新しいチームのプランニングに参加する。しっかりしたスクラムをやるのは久しぶりなので、スクラムイベントはなかなか時間を取られるなと改めて実感している。タスクが明確になって効率が上がれば、時間をかけただけの価値はあるのだが、果たしてどうだろうか。 昼頃サムソナイトのリュックが届いた。旅行に役立ちそう。夕方くらいから弱い雨が降る。 最近Twitterの改悪 (と世間では認識されている) で分散型SNSがいろいろと盛り上がっている。ActivityPub周りの技術も気になるし、軽く触ってみるのもいいだろうということで、MisskeyやMastodonを調べていた。とりあえず使い勝手を調べるために大手のインスタンスでアカウントを作ってみようと思う。Meta社から今日か明日くらいにリリースされるThreadsというのもActivityPubに対応しているようだ。Mastodon (と、Threadsは当然として) はアプリがあるのでひとまず入れてみた。
2023年7月4日
チーム移動のタイミングで、5〜6時間ほど会議をしていた。ずっとヘッドホンを付けていたので側圧で耳が痛い。 昼頃に日傘が届いた。大きめのサイズだがとても軽く、なかなか使い勝手がよさそうだ。畳んだり開いたりがまだ慣れていないので、持ち出していきたい。明日にはリュックサックも届くようだ。 夜はFFの続き。ストーリーはそこそこに、サブクエストやリスキーモブを消化していた。リスキーモブは詳細な場所を教えてくれないので、徒歩か微妙に操作性の悪いチョコボで探し回る必要がありやや面倒。ストーリーで変に遭遇しないよう、端の方に配置されている傾向はある気がする。戦闘はそこそこ歯ごたえがあり面白い。 --- ヘッドホンは耳が痛くなるし、この時期は暑さも厳しいので、イヤホンを普段使いにしてもいいかもしれない。モニターヘッドホンが必要な場面以外は基本的にイヤホンでいいだろうとは思っている。
2023年7月3日
仕事。今週からいろいろとやることが変わる予定だが、今日はその合間ですこし余裕があった。 FF、バハムート戦まで。戦闘までの流れがやや唐突だった感はあるが、バハムートが暴れる演出などはタイタン戦以上に迫力がありよかった。ここに来ての共闘もなかなか熱いものがある。
2023年7月2日: 日傘
最高気温が34度くらいあって、昼間に買い物に出たら大変な目にあった。午後はFFの続き。 まともな日傘を持っていなかったので、本格的に暑くなる前に買っておこうと思い、以前長傘を買ったサイトでPoloのものを注文した。外側が白いものを買おうと思っていたが在庫がなかったのと、(晴雨兼用とはいえ) 雨の日にいかにも日傘といった色合いの傘をさすのも微妙な気がしたので、代わりにターコイズブルーを注文した。 まだ7月に入って2日だが出費がかさんでいる。先月も多めだったし、来月も出かける予定が複数あるので、今月の残りはできるだけ節約していきたいところ。
2023年7月1日: 統計検定/サムソナイトのリュック/ゴッドファーザー
前日の夜から頭痛で倒れていた。頭痛薬がなかったので薬局に行ったが、薬剤師が不在でロキソニンが買えなかった。仕方なくイブクイックを購入、こちらでもなんとか頭痛は軽くなった。昼まで寝ている。 午後は軽く統計検定の勉強、木曜日にやっていた内容を軽く確認する。 夕方、有楽町のテストセンターを予約していたので向かう。CBTは初めてだったが、基本的にはスムーズに受けられた。時計を持ち込めず時間がわからないまま受けていたが、終わり際になってから画面の端に残り時間が表示されている事に気付いた。時間は余り気味だったので特に問題にはならなかったが。 試験の内容は書けないので感想なども微妙な気がするが、一言残しておくとすれば、思ったより難しかった。とはいえCBTなので雰囲気である程度は解けて、78点で合格。記述なら3割くらいしかできていなかったと思う。 --- つけ麺を食べて、サムソナイトのリュックを視察して帰宅。夜にリュックを注文した。店舗では結局Mサイズしか見られなかったのだが、それが思ったよりコンパクトだったのと、まあ大きい方がいいだろうということでLサイズにした。 後はFFを進めて、Prime Videoでゴッドファーザーを見た。長かったのと、タイタニックと違って初見だと話が分かりづらいが、空気感だけで魅せてくれる作品だった。