V
主页
京东 11.11 红包
【VOICEROID数学】切蒲英教你用Lean证明满射=满态射【切蒲英的随性Lean证明#3】
发布人
www.youtube.com/watch?v=vugsmTeUwsg 要是我小学的时候也这么有觉悟, 现在也不会只能当骡子了吧? 上回:BV1vN4y1M7on Vro/理工/翻译问题QQ群:712818601 ---------- 作者:ぐにらち 翻译:花角 ---------- 低龄触切蒲英的第三期,Lean 随性证明。 这期这个系列就结束了,满射与Epic态射的等价性 证明:满射 = Epic态射 Vro/理工/翻译问题QQ群:712818601 ----info---- 切蒲英的数学定理证明游戏Lean的游玩动画跌丝。 这次是映射的满射和epic性的等价性揭示。 理清一切! 因为是第一次,有点紧张 回过神来才发现,上回到现在已经两个月了……。实在抱歉。 ----o-info---- きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の全射とエピ性の同値を示すよ。一区切りです。 初見プレイなので途中ちょっとガバってます。 前回:https://youtu.be/dntRR3HSrqY 気づいたら前回から2ヶ月空いてました……。ごめんなさい。 お借りした素材 解説枠:blueberry様 ニコニ・コモンズ nc152783 立ち絵:むにさが様 ニコニコ静画 im7853117 音楽:魔王魂様
打开封面
下载高清视频
观看高清视频
视频下载器
【VOICEROID数学】小学生也能学会的单射与单态射等价的证明!【东北切蒲英的随性 Lean 证明 #2】
【VOICEROID数学】用 Lean 来证明数学定理!【结月缘的 Lean 游玩讲座 #1】
【VOICEROID数学】无穷的大小,幂集公理。【琴叶姐妹数学基础理论#5】
【VOICELOID数学】对平民极其友好的范畴论入门书籍介绍!
【VOICEROID授权汉化】怎能错过的数学理论——范畴论
【VOICEROID数学】爱与和平?关系混乱的数学对象!【琴叶姐妹的数学基础理论#4】
【VOICEROID数学】想去日本当数学家嘛?可值得?可是要忍受单身和朋辈压力的惹!【结月缘的数学家之路】
解开的过去 / Unveiled Wounds - MrKolii
[ 酸性糖果 ] 躁核/ 废核歌单 / 【Acid Candy】- A loudcore weirdcore playlist
【VOICEROID数学】琴叶茜教你加法和自然数!【结月缘的 Lean 游玩讲座 #2】
斯手。斯指。斯爪。斯肤。斯身。斯弦。斯电波。斯通信。斯线。斯声。斯画面。斯合成音乐。斯音像。斯日。斯生活。我之一切。/结月缘+ukiyojingu
【VOICEROID数学】三角范畴的制作方法!【>来看看吧】
【VOICEROID】简单自制B站弹幕姬
【VOICEROID数学】八面体公理其实不必要?结月缘的未解决问题环节。
不值得生命的结束 / ending to a worthless life - my head hurts
ゆに室 - それって¥ur4yvr4o,+:。☆.*・+。
[ 中字 ] osakaOS - AyumuScript [ #16 ]
魔装少女 - kienai noroi
肏圈京 / DJハルウララ(アニメ版) - Fuck Tha Umapyoi Policum
Strongart通用层论29:c-软层与紧支上同调
全部大コンピ Vol.03
[ VOICEVOX 编程 ] web开发中,HTML和CSS是干什么吃的?/ずんだもん+四国めたん + ITPLUS #2.6
对于习惯了愉快、正确地听音乐的我们来说,不愉快、不合理的东西才是必要的。我甚至会说,这种噪音的反复也是有意义的。/VOICEROID 结月缘+ukiyojing
ןɐʇıƃıꓷ sǝuƃⱯ - The Hyperflip To Pipeline Otomad
我们错失了彼此的爱意 / We don't understand others - MrKolii
孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑孑
【東北きりたん】Mind Brand【UTAU Cover】+UST
逐渐对我的热爱丧失兴趣 / Losing interest in the things I like to do - please be quiet
C盘中的Amen核 / C:\\AM#N_C0RE - bxnwxghxrn
⚠ ☣ 有时很差 / sometimes bad - KENXQEE ☣
. .
第一讲:经典代数学的基本概念回顾
裂开。/VOICEPEAK 绁星灯 + HANIWA
月刊 software talk(ψ) 2024-05-07
已经只能往上看的二人
很高兴高兴了,很虚无虚无泳池 / わくわく虚無虚無プール 歌:初音ミク
ぇ<丶)、ζ、°すʚ♥ɞ
【タオルケットP】モ丿勹□unknown/feat.葛駄夜音
无条件爱X / Chlorenn - Unconditional love
这样一来、我可不开心坏了 / そしたら、わたしはうれしーです! 歌:琴葉葵とナースロボ_タイプT