ぐにらち - ユーザー情報

7:05

定理証明支援系Lean 4導入手順【VOICEROID解説】 動画解析

▶ 624 💬 36 ♡ 35 📁 3 2023/05/21

6:50

ゆかりんの未解決問題めぐり「Gorenstein対称性予想」【VOICEROID解説】 動画解析

▶ 828 💬 39 ♡ 36 📁 3 2022/09/24

15:18

きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】 動画解析

▶ 469 💬 22 ♡ 28 📁 2 2022/07/17

5:00

結月ゆかりの未解決問題めぐり「三角圏の八面体公理」【VOICEROID解説】 動画解析

▶ 842 💬 50 ♡ 47 📁 1 2022/07/08

14:08

【VOCIEROID解説】圏論の入門書入門 動画解析

▶ 1,569 💬 103 ♡ 70 📁 4 2022/06/22

14:44

【理工サイド交流祭】ゆかりんと学ぶ「数学の研究のやり方」 動画解析

▶ 1,375 💬 126 ♡ 77 📁 5 2022/05/22

8:51

きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】 動画解析

▶ 562 💬 15 ♡ 36 📁 1 2022/05/17

9:29

きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】 動画解析

▶ 854 💬 36 ♡ 33 📁 3 2022/05/15

9:44

ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】 動画解析

▶ 1,086 💬 32 ♡ 58 📁 2 2022/05/13

8:41

ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】 動画解析

▶ 1,862 💬 81 ♡ 92 📁 15 2022/05/07

3:57

琴葉姉妹のネーター環ゲーム！【数学】 動画解析

▶ 719 💬 20 ♡ 35 📁 3 2022/04/28

0:10

茜ちゃん「9 lemma証明するで！」【第二回10秒動画祭】 動画解析

▶ 449 💬 4 ♡ 22 📁 0 2022/04/21

0:10

茜ちゃんの蛇の補題チャレンジ【第二回10秒動画祭】 動画解析

▶ 527 💬 3 ♡ 28 📁 1 2022/04/20

4:23

琴葉姉妹とRobinson-Schensted対応【数学】 動画解析

▶ 416 💬 9 ♡ 22 📁 3 2022/04/17

16:14

ゆかりんと学ぶ「数学者への道」【VOICEROID解説】 動画解析

▶ 1,405 💬 102 ♡ 67 📁 9 2022/04/14

6:15

アーベル圏でfive lemma【VOICEROID解説】 動画解析

▶ 549 💬 13 ♡ 20 📁 4 2022/04/10

6:17

Five lemmaでぐるぐる【VOICEROID解説】 動画解析

▶ 416 💬 7 ♡ 19 📁 3 2022/04/08

8:59

琴葉姉妹が図式と追いかけっこするだけ 動画解析

▶ 597 💬 20 ♡ 24 📁 2 2022/04/04

16:31

【琴葉姉妹】三角圏の作り方 動画解析

▶ 1,279 💬 42 ♡ 41 📁 3 2022/04/01