Youtubeに挙げていた動画の転載です。URL：https://youtu.be/QCLt_qCFt6I◎お借りした素材琴葉姉妹立ち絵(そんそん様)https://seiga.nicovideo.jp/seiga/im8282029photoA...

草 うぽつ 草 ちょっと狭量じゃね ゼミの発表とかルー大柴になるのはあるある

発表者: 結月ゆかり(1/2): sm40532347この動画は壁檸檬様主催の動画投稿祭、「ソフトウェアトーク理工サイド交流祭」の参加作品です。壁檸檬様、このような楽しい投稿祭...

Z_2×Z_5 の (...001, 0) と (0, ...001) だったのだ 環の極限だという時点で、もう普通の数の極限とは別物だな 零因子だ まじ？ p進数で物理の方程式解くとか自分の理解を完全に超えてる 結論ｗｗｗｗｗｗ 素人意見だが、その...

発表者: 結月ゆかり(2/2): sm40532393この動画は壁檸檬様主催の動画投稿祭、「ソフトウェアトーク理工サイド交流祭」の参加作品です。壁檸檬様、このような楽しい投稿祭...

加法逆元ね エイリアシングみたいだ 常識に囚われてはいけないのですね！ オーバーフローして減るのか げっp進数 便利だからいいんだよ コメント本当に助かるわやっぱニコニコ ここでは人間の言葉で話せ！ハイ・・・ 拡張するの数学好きだよねそういうの 逆元...

Youtubeに挙げていた動画の転載です。URL：https://www.youtube.com/watch?v=4WKysxIdoBQ◎お借りした素材琴葉姉妹立ち絵(そんそん様)https://seiga.nicovideo.jp/seiga/...

やめた あっ！これハイレベル理系数学でやったやつだ！ うぽつー

え？主催なのに期間ギリギリまで動画が完成しなかった投稿者がいるだって？期間：2022年5月21日～5月29日ご質問はこちらまで：https://twitter.com/lemon_walls_交流祭...

あかりちゃん生徒役かと思ったら想像より賢くてウケ 電気工学で無効電力の遅れ/進み成分のどちらを正とするかは任意、というのも似た話なのかな うぽつです！ ←君だったのか 不等式壊れる 複素数の導入でやたらと回転推してるのってこういう所からなんですかね ...

ポスドクのゆかりさんが、数学の研究とは何をするのか、研究するにはどうしたらいいのかを解説します。数学前提ですが数学以外でも通じるところはあるかもしれません。...

かなしい 小５？ 趣味を真面目にやりすぎると、趣味でやった解析の内容を公表するハードルが高くなってつらくなったゾ the most boring part うらやましいw 生物だってそこそこの顕微鏡使ってみえるものは、修士までのほとんどの学生からは意...

理工学全体のお祭りなら色んな分野とかかわる話をしたいな、と考えた結果微分方程式に落ち着きました。壁檸檬さん(user/97374083)が主催する、こちらの投稿祭の参加作品...

鶴亀算の解法は互いに同値なので、これは紛れもなく鶴亀算 もくほー 問題は鶴亀算だが解法が鶴亀算でないから微妙なところ 予備校とかでもなければ微分方程式教えないと聞いた ? 塾でこれ知って目から鱗だった 三次元形状と空気抵抗を考慮したら途端に面白くなる...

反省文（一応書き終わりました）→https://drive.google.com/file/d/19uCB33ZrzmTFFCv7n7PU0zqMGiN4YrUc/view?usp=sharing本命が間に合わないけど、とりあえず参加すると...

楽しかった おつ 空き時間に勉強してみようかな 逃げちゃダメだ、逃げちゃダメだ...... おつー Ｇのようにウジャウジャ湧いて出てくる問題 ザリスキー位相「やあ

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。前回：sm40469814次回：sm40779784お借りした素材解説枠：blueberry様　...

数学の定理、表すことが多くて名前つけるの難しくない...?(プログラマ感) 案外コマンドの意味しらなくても、何やってるかはわかるものですね おつ うぽつ おつ 自明かな ひwどwいwwwww うぽつ きりりーん そうだね、粛清だねｗ ゆー、じゃなくて...

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。ゆかあかLeanプレイ解説講座：sm40432561自由群を作るゆかりさん：https://youtu...

ムスカ大佐の気持ち VSCodeのフォントファミリーと拡張機能のおかげで文字の違和感が消えている・・・ 証明モードを使わない書き方、カリーハワード同型対応みが感じられて好きだけど読みづらいから好きじゃない 解説2回まで見たけどさっぱり きりもいいたん...

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第2回は「rw」コマンド・Leanでの自然数や足し算の定義について。Natural Number Gameは↓のUR...

Lean上では定義というより、得体の知れない2変数関数にいくつか公理が与えられてる感じなのかな？ はえー 続き待ってる うぽつ aと0は書かなくてもいいんやな いい動画だった なんとなくノリが分かってきた ここすごいな この動画見てずっと遊んでる ...

元ネタ→sm40196287　sm40436164BBの取り方→sm40449630普段動画を素材に作ったことない私でも理解できたので、使ってみたい方は参考にされると良いでしょう使ってみたか...

2/3になる 合わせろ 単純に、1/3を1/2にできると考えれば良いのかな 扉が100個あった場合を考えるとわかりやすい やば！かしこ！ 扉100枚で始めて98枚除去して変えるかで考えるとわかりやすい 分かりやすい説明 おめでとう 理屈は知ってても変...

今回は実数の連続性です.ここからが解析学のスタートになります.ゆるキャン△読み返していたら焼き肉が食べたくなりました

1か意味深分数の小さい方を常にとり、絶対に小さくするために二分の一を突っ込む なるほど、Aの定義からa^2<2で、意味深分数が正であることがわかるのか はぇ～ さっきの逆をやるようにεを取るって事なんだろうけど ラマヌジャンかな？ 上界はありまぁす ...

Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。前: sm40293733, 次: sm42049458

定義する真理関数はうまく減らせるってことだね おつ うぽつ おお？ でたー 論理回路で似たようなことやったなあ 歩いたのに不幸なことが起きないなら前提φか「不幸なことが起きない」という結論¬ψ（プサイの否定）が間違ってるということか。 多分だけど「歩...

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。Natural Number Gameは...

WhiteSpaceと同時に書けそう 日本語で数学やるやつおらんから無問題 ←そんなやつはじめから学会にはおらんｗ 強すぎｗｗｗ     refl     , うp主経験者？ つよ 乗法の定義にもよるが、帰納法か？ すごいな ・・・これ薬学...

前回の動画でのコメント,いいね,広告等ありがとうございます------------この回から見られても支障はありません内容のカテゴリは整数論となっております(編集上の変更点...

うぽつ うぽつ おつ うぽつ えらすぎ うぽつ

数学に疲れた琴葉姉妹がネーター環で遊ぶようです。ようつべ：https://youtu.be/Ga9ElAIdbGA元ネタ：&quot;A Game on Noetherian Rings&quot;https://mathoverflow.net/...

環は可換定期 非自明なイデアルから得られる「非自明な」プレイを一つ検討して、先行がそのプレイにおける最終手を1発目に打てば良いだけだと思う 環が非自明なイデアルを持っていて多少の計算可能性を保証する場合先行必勝ですかね。 最高に悪い顔してる 更新いつ...

今回は高校数学なので、お気楽にご覧いただければと思います！内容は§1,2で使った平方根の無理数判定です

追加でnとn+1は互いに素を入れれば全部無理数やな ↑偶数+1はp組に三倍されるため3をpとしているところの指数に+1てこった ↑今はどっかで3をpと表している。そして今は指数部分が全て二倍、二倍=偶数、偶数+1=奇数、だが3がqになってる所は二倍で...

道に迷ってしまったずんだもんが、ランダムウォークで帰宅を試みない。・音声VOICEVOX：ずんだもん https://voicevox.hiroshiba.jp/VOICEROID：桜乃そら https://www.ah...

選択肢がなくなるほど2分の1の確率で戻るのか 先に帰らせろw じゃあ帰れるな！ 草 引き返しは排除してあげなよ… ある程度… 向かっているわけだからな……… あるある 有限時間（宇宙の寿命より短いとは言ってない） 自然な導入 水曜どうでしょう えぇ…...

このあと滅茶苦茶chaseしたスネーク：sm40345481

草 あるある くしゃ生えた おつ

9 lemma：sm40348264参考文献：T. Bühler, Exact categories, Expo. Math. 28 (2010), no. 1, 1-69.

←p.b = pullback、p.o. = pushout、b.c. = bicartesion（pullbackかつpushout）です（投稿者） 図式中の略語が何の略か教えてくださいまし（bc,po,pb,） おつ

数の並び方（置換）とヤング盤が対応するというRS対応について。初等的な組合せ論だけど表現論由来で楽しいよ。自分の手で遊んでみてね。RS対応を試せるサイト：https:/...

へぇーーー！ 投稿時刻を間違えた…… ←なるほど。たしかに「より大きい数の中で一番左」って書いてあったわ。サンガツ。 ←4が飛び出て135になるはず 145 のときに 3 を入れようとしたらどうすればいいの？ おつ うぽつ

体調崩したりなんだりしていたら投稿が遅れてしまいました。今回は実数の大小関係についてです。ゆかりさんは不健康であればあるほどいい。あとボイロのうなり声はなん...

選挙の方法によってはちょくちょくこれが破綻してるときがあるらしい ← Remark1.6で、<の意味を≦かつ≠って言ってるから、大丈夫じゃない？ やさしい ユークリッドもEuclidって書いてそう ↑おいゴルァ　数式覚えてんのか εδ論法と同系統じゃ...

ポスドクのゆかりさんが、数学の研究者への道のりを解説します。大学学部生・大学院修士・（学振）・博士・ポスドクまで。お借りした素材背景：みんちり様　ニコニ・コ...

ゆかりさん救われてほしい 論文かけてれば給料なくても立派な研究者でしょ いい顔してる 俺のプログラミングもそんな感じだ 考えてはならない 圏論が 鼻がwww よくわからん あと薬が効いてる時ダゾ 分野違うけどわかる えっ？ きりたん砲が炸裂してる.....

フィボナッチ数の最終回です。うさぎは登場しません。【宣伝】5月下旬に開催される、こちらの投稿祭に参加します！【企画告知】ソフトウェアトーク理工サイド交流祭sm40...

極が 復習に 逆に微分可能な複素関数が本来の関数だとするとそれ以外の実数関数とかは何なんだろう？ なんかexpでもかけときゃええ！って気持ちになる 一致つよつよ 知ってた 俺はこの説明が好き 劣化版だ 元の級数が収束してほしいけど駄目なときのお気持ち...

アーベル圏でのfive lemmaの証明実況。そこまで大変ではないよ。sm40289227≪前｜次≫そのうち……？Youtube：https://youtu.be/KyN1roDKpPc参考文献：MacLane、『圏論の基...

アーベル圏でもこんな楽に証明できるんだ もっと動画みたいから視聴者目線だと嬉しい すごE はえ〜そんな考え方があるんだ うぽつ スネーク おつ うぽつ なるほど 前回の演習解く前に新作来ちゃった……

Γ ⊨ φ って何？という話をします。次: sm40433507

三段論法！ おつ おっお姉ちゃん！？ ｾﾔﾅｰ( ・∀・) 本場のEnglishだぁ かわいい うぽつ いきなり全部未定義でいやきついっす そんなことがあり得るのか…？ 42 代入操作を割り当てgと呼んでいるのかな ようは変数ξに何かaという具体的...

普通のfive lemmaの普通の証明です。Diagram chase実況。sm40273079≪前｜次≫sm40298208Youtube版：https://youtu.be/8CH9SVqePw4お借りした素材背景：左藤様『和室(昼)...

証明しながら主張を思い出すの新鮮 あるある おつ うぽつ そうだねsubtractionだね。

二人がdiagram chaseを解説します。Five lemmaの短い版です。次≫sm40289227# Diagram chase実況は実質ゲーム実況なので憧れのボイロ実況ですね！Youtube版：https://you...

図式追跡 おつです 四角で済ませるのが楽すぎるので… しかく 謎の文化で草 うぽつ これ好き(初学者並感) せやな せやな 草 88888 使うとしても四角しか書かない おつ あっ 素人だけど理解できた 解説実況たすかる

三角圏の作り方を2つ解説します。Frobenius圏の安定圏と、Verdier商です。参考文献：中岡 宏行、『圏論の技法』、日本評論社Youtube版：https://youtu.be/7YgrE7A1IwEお...

理解できるようになったらこの動画に戻ってくるからな 草 ｗｗｗｗｗｗｗ ｗｗｗｗｗｗｗ ｗｗｗ www 圏論勉強しようと思いました。 良い動画をありがとう。 圏論勉強しなきゃ…… あるある なるほど ほほん 琴葉姉妹のよく殴る方......? やっぱ...

次回は半年以上後※動画で使用した数学的知識が間違っていたりした場合は、コメントで指摘して頂けると嬉しいです。

泣いた ｱｶﾘﾁｬﾝｽｺﾞｲﾔｯﾀｰ ワイは出来たゾ かしこい 多項式時間で解け そんなん空爆した方が早そう 軍事作戦では？ オイラァ！ ボンバーマンのドクロかよ くっそｗｗｗｗ おわった… 不可能じゃない？ そして宇宙の寿命がつきた Q. 地図から...

VOICEVOX:四国めたんhttps://voicevox.hiroshiba.jp/コメ返しで紹介した本佐武 一郎　線形代数学https://www.amazon.co.jp/dp/4785313161斎藤 毅　線形代数の世界https:...

つまり次数が大きい、fbの部分が次数の大きい方程式になれば、g(b)も方程式になってこれはA上整なので（さっきの証明で、bは存在することが示されてる） なら次数が大きくても方程式になることが言えるってことを証明したら全部終わるんじゃね？ そしたらg(...