youtubeに投稿していたものの転載ですわ！https://youtu.be/2QoMRdBRwGQ------------------------------------------------------------------------------------------...

先生と用務員ハブられててかわいそう 教師達は全体集合に含まれていない 色で草 何の比喩ですかね はぇ～ 非負の実数じゃないのん？＞値域 べき集合でとればすべての部分集合に面積が定義できる？ またよろしくお願いいたしますわ なんだか乗り換えを調べるのに...

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。初見プレイなので途中ちょっとガバって...

元の型付きラムダ計算では直観主義論理の方と対応するから仕方ない... 草 なるほど うぽつー あぁ おつ うぽつ すげぇ たしかにw そうだね(疑う人間は)粛正だね 食事もある程度管理しないと体弱るゾ このときをまってた やってたぞ。もう忘れたけど ...

youtubeに投稿していたものの転載ですわ！https://youtu.be/e4PFoHF_iJc------------------------------------------------------------------------------------------...

いっちだ・・・ ご照覧あれい！ ごきげんよう イチにイッチですわねｗｗ でたわね 安易にお嬢様言葉使えばお嬢様になれる訳ではねぇぞ リーマン和の代表点についての議論を飛ばしたからここの説明が曖昧になるね またよろしくお願いいたしますわ 難しすぎて即ド...

youtubeに投稿していたものの転載ですわ！https://youtu.be/IbVGUbs25EM------------------------------------------------------------------------------------------...

おせき○ん おつけすぎもんだいw いいね！とユーザーフォローしましたわよ 真名ww はしたないｗｗｗ ご厄介あそばせられるわね そうわよ おつですわ ﾃﾞｨﾚｸﾚ 草 次回もよろしくお願いいたしましてよ お願いだから関数ちゃんを追い詰めないで！ 射命...

数学の研究というと、リーマン予想などの凄く有名な未解決問題を頑張って解こうとしているイメージがあるかもしれません。しかし、日々数学者は「こういうことが成り立...

おつ 平行線公準かな？ いいメッセージだ 立ち絵のコンテンツツリーどこ…？ 原論はパッシュの公理が欠けててぇ…… ｳｰﾝ... 嫌です・・ つまりファルシのルシがコクーンでパージってことだな なるほど分からん 数論なんもわからん 数学の未解決問題は解...

COEIROINKのナコレコが，数学についてつぶやきます。今回のテーマは球の表面積です。知ってる人は知ってるが，知らない人は知らない話です。--- 音声素材 --- 無料AIト...

面白い おつー ちょこっとね 知らんかった うん ここまでの経緯ガン無視の切り方で草 おつ チョコの層厚そう 全く信用なくて草

コメント・いいね・広告ありがとうございます毎度のことですが この回から見られても殆ど問題ありません・一部素材について(コンテンツツリー登録外)◎効果音魔王魂 様 (...

天啓過ぎる こ無ゾ 目が死んでる 3乗にもう1回かければ4乗になるし、3乗自体を2乗すれば6乗が出る 思いっきり体の拡大に言及してて草 さよなら〜 ユー、代入しちゃいなよ 目に光がない・・・；； うんうん！総当たり法だね！ 固有なんちゃらのなんちゃら...

日本語で読める圏論の書籍について解説しています。紹介する本は以下の通り。1. S. Mac Lane『圏論の基礎』2. T. Leinster『ベーシック圏論』原著のarXiv版（無料ダウン...

基礎論と関わった内容なのいいな この動画でいうのもなんだがニッチすぎひんか？ 抽象化したんでしょ もう思想が強そう 聖人かな？ 基礎(からみっちりやるぞ) 基礎(みっちりやるという意味) 読めました 同じ著者のガロア理論の講義ノートもおすすめ 草 定...

今回でノートの一章が終わりです. 今回は抽象的になりますが丁寧に進めるつもりですのでよろしくお願いします.

Corollary1.20「俺はまだ実数に最大値はないと聞いてないぜ？」 単に日本語の数学用語が非日常っぽいというのもあるかな 無限公理から自明かと思ったけど順序関係とか未定義か おつ ヒェッ…… 多分ミスだね、A に 0 が含まれていないといけない...

5月にすら間に合わなかったが許してくださいTwitterやってます→@izou_exp

ほんとぉ? ｺｰｺｰﾛﾂﾞｰﾖｰｻﾄｰ あーこれ媒介変数表示か ?????????????? ずんだな定理だ ん？ ほぇ～ イノシシひいてそう 円かな？ おつ 青春ｗｗ この説明分かりやすくていいな ww 波の分解やで（分光屋的感 へーい すごいな ...

編集普通に間に合いませんでした申し訳ございません。今回は「数学小説　確固たる曖昧さ」という本のお話です。本書の数学は小学生でもがんばればついていけるレベルと...

いつものホテル 誰がなんと言おうと直線なのだ！ 面白かった パッシュの公理…… 謎の無限 曲率が0じゃなさそう 円書けてますか…？ 絶対成り立ってなさそうな図で草 草 私は数学好きで自習してるけど専門じゃない、そんな数学エンジョイ勢です ほう、それだ...

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

うぽつ もはや文字列www >< うぽつ は中のabを割ることをいってます 素数で普通に成り立ちました、lcm(a,b,c,d)を割る操作ha ue コメント位置間違えました動画の問題です aがある奇素数を約数に持つとすると最小公倍数も同じ素数を持つ...

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

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

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

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

え？主催なのに期間ギリギリまで動画が完成しなかった投稿者がいるだって？期間：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は書かなくてもいいんやな いい動画だった なんとなくノリが分かってきた ここすごいな この動画見てずっと遊んでる ...

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

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って書いてそう ↑おいゴルァ　数式覚えてんのか εδ論法と同系統じゃ...