ちょーさんメモ出張版 気まぐれブログ

ちょーさん（@cho_san111000）のブログです。数学やその他のことを書きます。更新頻度はちょーさんの気分次第です。

第4回すうがく徒のつどいオンラインで講演しました

参加記 数学

おひさしぶりですちょーさんです。

先日開催されました、第4回すうがく徒のつどいオンラインで講演させていただきました。そのときの発表スライドも載せておきます。

今回のつどいは久しぶりに対面形式での発表・聴講も取り入れたハイブリッド形式で自分も対面参加させていただきました。対面だとやっぱり交流が捗っていいですね。運営の方々ありがとうございました。

 

ついでにポントリャーギン双対を勉強する中でいくつか作っていたpdfをここでまとめておこうと思います。

指標群の構成 : 指標群の定義・性質をまとめたもの。ポントリャーギン双対の主張まで。

コンパクト群 vs 離散群 : 特殊な場合のポントリャーギン双対を示したもの。アドカレに寄稿してブログでも前に載せた気がする。

実数体の自己双対性 : ポントリャーギン双対による \mathbb{R}の自己双対性を示したもの。

たぶんこんなもんです。Twitter(X)で垂れ流してたので他にもあったら教えて。

コンパクトアーベル群と離散アーベル群の双対性

数学

最近ずっとポントリャーギン双対の勉強をしています。

というわけで、りす．さんの2022年度Math Advent Calendarの記事としてコンパクト-離散双対の記事を書きました。

せっかくなので少しお話を…

まずポントリャーギン双対とは局所コンパクトアーベル位相群の反変自己圏同値のことをいいます（本記事では位相群はハウスドルフとします）。つまり、局所コンパクトアーベル位相群の圏を {\bf LCA}として

{\bf LCA}\simeq{\bf LCA}^{\rm op}

が成り立ちます。

これに対し今回示したコンパクト離散双対はコンパクトアーベル位相群の圏 {\bf CA}と離散アーベル位相群の圏 {\bf DA}の間の反変圏同値

{\bf CA}\simeq{\bf DA}^{\rm op}

です。

{\bf CA}と {\bf DA}はどちらも {\bf LCA}の充満部分圏でありコンパクト離散双対の圏同値はポントリャーギン双対の圏同値を制限したものになっています。この意味でコンパクト離散双対はポントリャーギン双対の特別な場合にあたります。

あと別の見方として {\bf DA}はアーベル群の圏 {\bf Ab}と自然に同一視できるのでコンパクト離散双対はアーベル群の圏の反対圏をコンパクトアーベル群で特徴づけるものとも解釈できます。面白いですね。

 

実はこのpdfの内容はポントリャーギン双対の証明の途中段階だったりします。今自分がとってる証明の方針ではこのコンパクト離散双対とそのほかいくつかの具体的な群の双対対応を用いて一般のポントリャーギン双対を示します。そのために局所コンパクトアーベル位相群のいい感じの部分群をとったりその部分群をいい感じに構造分解したりするんですがそのあたりはまだ勉強中です…勉強できたらまた記事にまとめるつもりです。

最近発売されたポケモン新作をやりながらまったり勉強していきます。

クゥすみ

次はどんな数学をやろうかな～とTwitterでアンケートをとったところクゥすみを書けとのご意見を頂いたので書きました。

ラブライブスーパースターの二次創作。時系列的にはアニメ2期2,3話あたりの時点のイメージです。4話の四季メイもよかったし今後の展開も楽しみですね。

 

ちなみに数学の方はなんとなく位相群の勉強をはじめました。進捗を公開するかは不明です。もしかしたら途中で別のやつを始めるかも。

 

トポスの有限余完備性をやっと示した

トポスの有限余完備性の証明をやっと追ったのでまとめました。

以前にブログでもあげたモナドの知識を使っています。モナドパートは紹介程度に載せているので一応これだけでも読めますが、ちゃんと追うならモナドのpdfと合わせて読んだほうがよさそうです。

このあとはとりあえずこのpdfに合わせてモナドのpdfの方を加筆修正するつもりですがそのあとは何しようかな

Liella! 2nd LoveLive 大阪公演に現地参加した

アニメ

2022年6月4,5日開催のラブライブ！スーパースター!! Liella! 2nd LoveLive! What a Wonderful Dream!! 大阪公演に両日現地参加してきました。

ライブ現地参戦は初めてでしたがとても楽しめました。

簡単に振り返りと感想をまとめておきます。

Day1

入場前に物販で買ったグッズを装備してライブ初参戦です。

ちなみにDay1はアリーナ席でした。運がいい。すごい前の席というわけではなかったですがわりとステージに近い席でよかったです。

やはり生歌を目の前で聴けるのは感無量ですね…

あとブレードの色を切り替えたり曲に合わせてクラップしたりの会場の一体感がすごかったです。 Twitterでも語ってたのでここではあまり語らないですが、 現地に観に行ってよかったという気持ちになれました。

Day2

Day2はDay1以上の賑わいで会場の人の量がすごかったです。そういうもん？

Day2の座席はスタンド席で、近くはないですがセンターステージをいい角度で見られました。同じ曲の同じパフォーマンスでも視点が違うとまた違った味わいがあります。

この日は2ndライブ全体の最終日というのもあってMCなどで感極まってしまう場面も見られました。パフォーマンスにも力が入っていて全力で楽しんでいるのが感じられました。

セトリはすべてDay1と同じだったんですが、最後の挨拶が終わってメンバーがステージからはけた後、暗転したステージの上のスクリーンに突如、ラブライブスーパースターアニメ2期の最新PVが公開されました。嬉しいサプライズです。2期生が動いて喋っている様子も映って会場も拍手して盛り上がってました。2期楽しみ！！

これと同時にYouTubeの方でも公開されていたらしいので是非チェックしましょう。

感想

ライブ現地初参戦ですがめちゃくちゃ楽しかったです。目の前で生のパフォーマンスを見ると圧倒されてしまいますね。

内容の感想も色々ありますがここでは絞って、個人的に一番印象に残ったのは「始まりは君の空」だった気がします。やはり一番長く披露してきたこの曲は安定感がありました。もちろん他の曲もどれもよくて甲乙つけがたいですが…

5人のLiella!のイベントはおそらくこれで最後ですがその節目に立ち会うことができて嬉しかったです。これからの9人のLiella!も楽しみにしています。

スーパースターのアニメ2期も楽しみですね。可可ちゃんの件を早く解決してほしい…これについては前にも前に書き残した記事もあるのでよければ。

記事の中身は読まなくていいですがよければ記事中に貼った小説だけでもよんでやってください。

 

前回の記事では沼津にサンシャインの聖地に巡礼にいって、今回はスーパースターのライブ、あと記事にはしてないですがお台場に虹ヶ咲の聖地巡礼にもいってきまして、自分がここまでラブライブに深くハマるとは思ってませんでした。貴重な機会をくれたラブライブにはひたすら感謝です。これからもこのシリーズを応援していきたいですね。

沼津聖地巡礼2022

このGW中、友人に誘われてラブライブ!サンシャイン!!の聖地巡礼として沼津へ2泊3日の旅行に行ってきました。

沼津に行ってきたのはこれで2回目なんですが今回は前回よりしっかり時間をとって色んなとこを回ってきたので見ごたえがありました。

ちなみに前回の巡礼の記録は↓

今回も回った場所を当時のツイートとともにまとめておきます。

1日目

初日は昼に沼津に到着して沼津駅まわりと市街地を探索しました。

阿蘭陀館

昼食に阿蘭陀館という喫茶店に行きました。

ここは曜ちゃんの家のモデルだそうです。店内も曜ちゃんがいっぱいでメニューも曜ちゃんにあやかったものがありました。

ハンバーグ美味しかったです。

好きな絵描きさんのイラストメッセージなども置いてあったので見られて嬉しかったです。

沼津港

昼食をとったあとは港の方まで歩いて沼津バーガーを食べに行きました。

ここもサンシャイン本編で登場していた場所です。1期5話ヨハネ堕天、あとで確認すると最後のシーンで登場してました。そのためかここは善子ちゃんのグッズが多かったですね。深海魚バーガーも美味しかったです。

あと沼津港に並んでる店の中にすごい花丸推し？の店があった。

花丸ちゃんいっぱい

展望水門びゅうお

沼津港からすこし歩いたところにある水門もみて登ってきました。

これもサンシャインアニメ本編に登場していましたね。1期11話友情ヨーソローで曜ちゃんと鞠莉ちゃんが話していた場所です。

展望デッキからの眺めは一面の海でいい景色でした。

仲見世商店街

沼津駅まで戻って前回も行った仲見世商店街へ。

相変わらずAqoursのことを応援してくれていました。前回は見逃していた？マンホールなども確認しました。

やば珈琲店も見つけて1日目はここで晩ご飯にしました。

劇場版で月ちゃん登場のときにみんなでいたお店ですね。

仲見世商店街はこの他にも劇場版冒頭でみた景色が多く歩いていて楽しかったです。また近くにゲーマーズ沼津店、通称ヌーマーヅもありラブライブシリーズのグッズがいっぱい置いてました。

 

2日目

2日目は内浦エリアに移動します。移動もラブライブサンシャインのラッピングバスに乗りました。

バスの内装もラブライブ一色。

そうそう、狙ったわけじゃないんですがこの日はちょうどSaint Snowの聖良さんのお誕生日でした。おめでとうございます！

そんな感じでラブライブに囲まれながら内浦へ移動。

淡島

フェリーに乗って淡島へ。海がべらぼうに綺麗で驚きました。

淡島にも聖地がたくさんあるので回っていきます。

カエル館

淡島でカエルの展示をしているカエル館は果南ちゃんの家のモデルだそうです。果南ちゃんのポスターがあったり果南ちゃんの名前の入ったダイビンググッズを置いてたりして遊び心ありましたね。

淡島神社

淡島に上陸して淡島マリンパークとカエル館を抜けた先に階段があり、その階段を登ると淡島神社があります。階段と言いつつほとんど登山道でかなりハードな道のりでした。

そのハードな道のりを登りきるとサンシャインアニメでよく見たあの社が！

かなりキツイ聖地でしたが達成感もあって行けてよかったです。

その他の淡島スポット

他にも淡島では鞠莉ちゃんの家のモデルとなった淡島ホテルや3年生が歩いていた淡島遊歩トンネルを見てきました。結局島の外周をぐるっと一周する感じになったんですが色々見られて楽しかったです。

安田屋旅館

淡島から戻って南下していくと安田屋旅館という旅館があります。千歌ちゃんの家である十千万旅館のモデルですね。目の前には1話から何度も本編に登場したあの砂浜も。

ちなみに3枚目の写真は自分で書いたものではなく誰かが書き残していったのを見つけて撮った写真です。もしかしたらダイヤさんが書いて逃げていったのかも。

あと聖地と関係ないですがこの近くで食べた海鮮定食がめっちゃ美味かった。

2日目余談

余談ですがこの日FMラジオでラブライブ三昧が放送されてて盛り上がってました。巡礼でほとんど聴けなかったんですが。そこでラブライブサンシャイン×初音ミクコラボ楽曲が初公開になって同時に公開されたPVも見たんですがめちゃくちゃよかったです。ダイヤちゃんセンターおめでとう。このブログを書いてる時点では発売されるシングルのカップリング曲がまだ未発表なんですがそっちも楽しみです。余談でした。

 

3日目

3日目は昼には切り上げたので駅まわりを少し見物してました。

リコー通り

沼津駅北口側にリコー通りがあります。これも本編で登場した場所ですね。

朝の散歩に少し歩きました。

プラサヴェルデ

これは前回も行った場所ですが眺めがよかったのでまたプラサヴェルデの屋上庭園へ。ここ朝でも入れるんですね。

BiVi沼津 ラブライブサンシャインプレミアショップ

プラサヴェルデに行く途中にBiViというモールがあるんですがその中にラブライブサンシャインのショップができてました。またオタクグッズを買ってしまった。

サンシャインカフェ

聖地巡礼の〆に今回もサンシャインカフェにいってきました。今回は聖良さんの誕生日ということで聖良さんのドリンクと善子ちゃんのラザーニャをいただきました。

 

感想

今回は前回よりもより多くの場所を回れて楽しかったです。またラブライブを知ってる友人と見に行けたのも楽しかったです。人と大好きを語り合うのはいいですね。

特に今回は内浦などメインの場所を見ることができたのでとても満足でした。海もすごく綺麗でこれはたしかに好きになれる場所だなぁと思いました。

今回行けなかった聖地などもまだあったりするのでまた機会があれば行きたいです。

最後に沼津からの帰りの電車の中で撮った写真のツイートも載せておきます。

これもラブライブの聖地ですね。いつかゆっくり見にきたいです。

2泊3日、楽しい聖地巡礼でした。誘ってくれた友人たちに感謝です。ありがとうございました。

直観主義論理入門編

ふと思いついて直観主義命題論理のクリプキ意味論に対する完全性定理の証明ができたのでせっかくなのでpdfにまとめました。

直観主義論理のクリプキモデルはだいぶ前に勉強したことがあったんですが完全性定理の証明はあまりちゃんと追ってなかったので今回まとめられてよかったです。

モナドやったら次はトポスやるとか言ってた気がするんですが気のせいですかね。