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

"きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】" の動画はこちら

この動画をTwitterで共有！

外部プレーヤー埋め込みタグ

"きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】"のニコニコ動画詳細情報

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。前回：sm40469814次回：sm40779784お借りした素材解説枠：blueberry様ニコニ・コモンズnc152783立ち絵：むにさが様ニコニコ静画im7853117音楽：魔王魂様
動画ID：sm40481109
再生時間：8:51
再生回数：再生回数: 回
コメント数：15
マイリスト数：1
最新のコメント：数学の定理、表すこと案外コマンドの意味しおつうぽつおつ自明かなひwどwいwwwww うぽつきりりーんそうだね、粛清だねｗゆー、じゃなくて...
タグ：数学,VOICEROIDファンの数学サイド,Lean