この記事は日曜数学 Advent Calendar 2018の18日目の記事です。 さらに、数学ゲーム Advent Calendar 2018の18日目の記事でもあります。数学ゲームのみに興味がある方は「行列式ビンゴ大会」のスライドに目を通していただき、目次の「行列式ビンゴはゲーム足…

この記事は「好きな証明 Advent Calendar 2018」の7日目の記事です。 いきなりですが！（楽天カードマンの言い方）みなさんは「好きな証明」ありますか？私はいくつか思い当たる証明があってブログにしようと思ったのですが、そういうのはもう誰かがどこかで…

この記事はCategory Theory Advent Calendar 2018の6日目の記事であることをお知らせします。7日目はmod_poppoさんの「アプリカティブ関手ってなに？モノイド圏との関係は？調べてみました！」です。Φカフェ数学デーで行われている「『ベーシック圏論』をゆ…

勤労感謝の日？ いいや、圏論関手の日だね！ 2018年7月末、Φカフェ数学デーにて「『ベーシック圏論』をゆるく読む会」、通称「ゆる圏↻」が自然に（？）発生しました。今日まで私は概ね参加してきました。私は皆さんの発表を聴くために最低限の予習をしていた…

こんにちは！ 皆さんはアイドルに興味ありますか？？？ 私は正直そんなに詳しい訳ではないのですが…(;´･ω･) ネットニュース等で知っているアイドルが卒業すると聞くと 何だかショックですよね。 さて、今日はアイドルの中でも「乃木坂46」について書きたいと…

youtu.be 2018年7月9日、バカリズム Official YouTube Channelが過去にライブで披露したネタ「言葉に関する案」を公開しました。「いろはうた」を新たに作るというネタです。久しぶりに見ましたが面白かったです。 これを見てたら、僕もいろはうたに挑戦した…

先週、数学カフェ数学基礎論回の“予習会”に参加し、ZFCの公理を学びました。この調子で6月頭に予定されている藤田博司先生の講演「連続体仮説の独立性証明」*1を理解したいです。というのも、ちょうど一年前に連続体仮説に関連するブログ corollary2525.hate…

「○○保存の法則」「××保存則」といった言葉を聞いたことあるでしょうか？化学なら「質量保存の法則」、物理なら「力学的エネルギー保存則」が代表的ですね。時間に関して“何かしらの量”が不変であるという法則のことを「“何かしらの量”保存則」と呼び、時間…