2022-01-01から1年間の記事一覧
最近ずっとポントリャーギン双対の勉強をしています。 というわけで、りす．さんの2022年度Math Advent Calendarの記事としてコンパクト-離散双対の記事を書きました。 せっかくなので少しお話を… まずポントリャーギン双対とは局所コンパクトアーベル位相群…
次はどんな数学をやろうかな～とTwitterでアンケートをとったところクゥすみを書けとのご意見を頂いたので書きました。 ラブライブスーパースターの二次創作。時系列的にはアニメ2期2,3話あたりの時点のイメージです。4話の四季メイもよかったし今後の展開も…
トポスの有限余完備性の証明をやっと追ったのでまとめました。 以前にブログでもあげたモナドの知識を使っています。モナドパートは紹介程度に載せているので一応これだけでも読めますが、ちゃんと追うならモナドのpdfと合わせて読んだほうがよさそうです。 …
2022年6月4,5日開催のラブライブ！スーパースター!! Liella! 2nd LoveLive! What a Wonderful Dream!! 大阪公演に両日現地参加してきました。 pic.twitter.com/ZOcZ9SvJ96 — ちょーさん (@cho_san111000) 2022年6月4日 ライブ現地参戦は初めてでしたがとても…
このGW中、友人に誘われてラブライブ!サンシャイン!!の聖地巡礼として沼津へ2泊3日の旅行に行ってきました。 沼津に行ってきたのはこれで2回目なんですが今回は前回よりしっかり時間をとって色んなとこを回ってきたので見ごたえがありました。 ちなみに前回…
ふと思いついて直観主義命題論理のクリプキ意味論に対する完全性定理の証明ができたのでせっかくなのでpdfにまとめました。 直観主義論理のクリプキモデルはだいぶ前に勉強したことがあったんですが完全性定理の証明はあまりちゃんと追ってなかったので今回…
圏論のモナドについて勉強して勉強したことをノートにまとめました。範囲としてはモナドの定義から始めてBeckのモナド性定理あたりまでまとめてあります。 モナドはずっとやるやる詐欺をしていたので今回ある程度まとまって勉強できてよかったです。 今回学…
前回の更新に引き続き二次創作小説に再挑戦しました。 題材はタイトルの通りラブライブの虹ヶ咲学園で、テーマは鐘嵐珠です。 設定は基本スクスタに準拠してます。アニメしか見てない人も読めるようにはしたつもりですが、そもそも栞子ちゃんやミアちゃんや…
