V
主页
京东 11.11 红包
【VOICEROID数学】用 Lean 来证明数学定理!【结月缘的 Lean 游玩讲座 #1】
发布人
翻译好了。 失误把转载投成了自制。 原视频 → https://www.youtube.com/watch?v=hazk0aVoJnU ---------- 作者:ぐにらち 翻译:花角 ---------- Lean 的视频 B站上没有,但这是个很好的普及类型论+数学证明, 搞清楚数学语言的好机会,所以就翻译了。 Vro/理工/翻译问题QQ群:712818601 --------- ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】 2022年5月7日 数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。 ^面向萌新的数学定理证明游戏Lean的游玩方法讲解的实况视频。 ------------------------- 第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。 ^第一回是 Lean与Natural Number Game 的讲解,关于「refl」命令(^的使用)。 Natural Number Gameは↓のURLから。 ^Natural Number Game在以下URL https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ アクセスできないときのミラー: ^进不去的话,试试以下镜像: https://cbirkbeck.github.io/natural_number_game/ LeanやMathlibについて: ^关于Lean和Mathlib: https://leanprover-community.github.io/ お借りした素材 背景:みんちり様 ニコニ・コモンズ nc227434 解説枠:blueberry様 ニコニ・コモンズ nc155894 立ち絵: むにさが様 ニコニコ静画 im7050036 im6928060 山栗鼠様 ニコニコ静画 im5354179 音楽:sanche様、Sakuttipanda様
打开封面
下载高清视频
观看高清视频
视频下载器
【VOICEROID授权汉化】怎能错过的数学理论——范畴论
对于习惯了愉快、正确地听音乐的我们来说,不愉快、不合理的东西才是必要的。我甚至会说,这种噪音的反复也是有意义的。/VOICEROID 结月缘+ukiyojing
【VOICELOID数学】对平民极其友好的范畴论入门书籍介绍!
(熟肉)卖飞O杯的俊达萌
无色透明的我们在相互融合的同时,又渴望永不消失的血液和自己的半身。正因如此,我才希望血液的接触和消失能使彼此解体。/结月缘
【VOICEROID数学】光明与黑暗的悖论【琴叶姐妹的数学基础理论 #2】
热核聚变异常[VOICEROID剧场]
数学证明:投票无法实现民主
童 贞 女 上 司 (doodle dance) Meme.
【VOICEROID数学】只用空集生成一切?乌有宇宙【琴叶姐妹的数学基础理论 #3】
斯手。斯指。斯爪。斯肤。斯身。斯弦。斯电波。斯通信。斯线。斯声。斯画面。斯合成音乐。斯音像。斯日。斯生活。我之一切。/结月缘+ukiyojingu
【VOICEROID有机化学】和结月缘一起画鼠鼠!ChemDraw 的正确打开姿势!【理工侧交流祭】
【VOICEROID数学】无穷的大小,幂集公理。【琴叶姐妹数学基础理论#5】
(熟肉)去听了奇怪的讲座的小茜(俊达萌开设)
【翻译中字】【HoI4】听好了!绝对不要用战场宽度只有2的步兵师编制!【VOICEROID实况】
清动用世界上最纯粹的力量——求根公式
【小猿口算】榜一祖冲之翻车现场
我一直笑着,早上的占卜也不错,今天一定没问题,一定会是美好的一天。/VOICEPEAK 绁星灯 + HANIWA
(熟肉)VRO的各位对主人都是什么感情呢?
SOFTWARE TALK 月刊(α)
【VOICEROID剧场】至少互相说着suki【授权转载感觉不用汉化】
【玻璃窗】脑叶公司E.G.O::薄暝【VOICEROID剧场】
小明要算账,但是计算器上的3和5坏了,要计算50x36怎么办?
【授权汉化】被砍掉的捏他集 推特1【VOICEROID剧场】
以防你不知道还有几天假期就结束了
为啥养废的男孩越来越多?
【Voiceroid剧场】结月缘料理小剧场 《啊!汉堡和巧克力都变成毛豆味了!!》
【VOICEROID剧场】小灯的🎂豪取作战【授权转载感觉不用汉化】
(熟肉)朋友费【VOICEROID剧场】
【授权汉化】中二病缘【VOICEROID剧场】
Tik Tok上爆火的中国三年级数学题目难度震惊一堆老外!!!
【VOICEROID数学】环也非交换?小学生也好奇的Gorenstein对称性猜想。【东北切蒲英/结月缘的数学未解决问题环节 #2】
葛立恒数每秒减少自身一倍,减到0的时间依然是很大的一个数字吗?
【授权汉化】弦卷家的小缘系列 #6 | 另一位主人【VOICEROID剧场】
【彩虹六号】为什么说R6是最能整活的游戏 小葵成名录 39【VOICEROID实况】
幂运算 小球每次弹跳都会变大#几何图形
【德语科普】为什么德国人数学不好?
上午三点去死 / 3 AM DIE - DeadDevilSilence
将缓慢思考深入实装的我们,重复着不可避免的分歧。面对追求崇高的精神,我们的身体正在逐/渐/解/体。/ VOICEROID 结月缘+ukiyojingu
物理学家发现π的新公式,意义深远!