ぐにらち

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

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

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

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

【VOCIEROID解説】圏論の入門書入門

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

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

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

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

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

琴葉姉妹のネーター環ゲーム！

琴葉姉妹とRobinson-Schensted対応

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

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

Five lemmaでぐるぐる【VOICEROID解説】

琴葉姉妹が図式と追いかけっこするだけ【VOICEROID解説】

三角圏の作り方【VOICEROID解説】