ぐにらちさんの投稿動画
ぐにらちさんが公開している投稿動画の一覧
http://www.nicovideo.jp/user/82787233/video
定理証明支援系Lean 4導入手順【VOICEROID解説】
定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。流れ：VS Co
7:05｜2023年05月21日 14：23：02 投稿
ゆかりんの未解決問題めぐり「Gorenstein対称性予想」【VOICEROID解説】
環の左自己移入次元が有限なら右も有限、というGorenstein対称性予想を紹介します。お借りした素
6:50｜2022年09月24日 19：17：02 投稿
きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値
15:18｜2022年07月17日 13：13：02 投稿
結月ゆかりの未解決問題めぐり「三角圏の八面体公理」【VOICEROID解説】
数学の研究というと、リーマン予想などの凄く有名な未解決問題を頑張って解こうとしているイメージがあるか
5:00｜2022年07月08日 16：55：02 投稿
【VOCIEROID解説】圏論の入門書入門
日本語で読める圏論の書籍について解説しています。紹介する本は以下の通り。1. S. Mac Lane
14:08｜2022年06月22日 20：14：02 投稿
【理工サイド交流祭】ゆかりんと学ぶ「数学の研究のやり方」
ポスドクのゆかりさんが、数学の研究とは何をするのか、研究するにはどうしたらいいのかを解説します。数学
14:44｜2022年05月22日 13：03：02 投稿
きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。前回：
8:51｜2022年05月17日 20：47：02 投稿
きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。ゆかあかLea
9:29｜2022年05月15日 15：48：02 投稿
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第2回は「rw」コマンド・
9:44｜2022年05月13日 18：48：02 投稿
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第1回はLeanやNatu
8:41｜2022年05月07日 15：43：02 投稿
茜ちゃんの蛇の補題チャレンジ【第二回10秒動画祭】
9 lemma：sm40348264参考文献：T. Bühler, Exact categories
0:10｜2022年04月20日 20：04：02 投稿
琴葉姉妹とRobinson-Schensted対応【数学】
数の並び方（置換）とヤング盤が対応するというRS対応について。初等的な組合せ論だけど表現論由来で楽し
4:23｜2022年04月17日 22：36：02 投稿
ゆかりんと学ぶ「数学者への道」【VOICEROID解説】
ポスドクのゆかりさんが、数学の研究者への道のりを解説します。大学学部生・大学院修士・（学振）・博士・
16:14｜2022年04月14日 23：15：02 投稿
アーベル圏でfive lemma【VOICEROID解説】
アーベル圏でのfive lemmaの証明実況。そこまで大変ではないよ。sm40289227≪前｜次≫
6:15｜2022年04月10日 11：50：02 投稿
Five lemmaでぐるぐる【VOICEROID解説】
普通のfive lemmaの普通の証明です。Diagram chase実況。sm40273079≪前
6:17｜2022年04月08日 13：59：02 投稿
